runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007050905/p2cudf-paranoid-1.6/rand951a14.cudf.easy.log.runsolver ./p2cudf-paranoid-1.6 /home/misc2010/data/2010/easy//rand951a14.cudf /home/misc2010/tmp/201007050905/p2cudf-paranoid-1.6/rand951a14.cudf.easy.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.29 1.28 1.02 6/38 28106 /proc/meminfo: memFree=463332/1048576 swapFree=2095456/2097144 [pid=28101] ppid=28100 vsize=2388 CPUtime=0 /proc/28101/stat : 28101 (p2cudf-paranoid) S 28100 28101 24102 769 24102 4194304 365 0 0 0 0 0 0 0 25 0 1 0 525096999 2445312 262 1283457024 134512640 135191968 4288287904 18446744073709551615 4158658974 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28101/statm: 597 262 223 166 0 29 0 [pid=28102] ppid=28101 vsize=2384 CPUtime=0 /proc/28102/stat : 28102 (p2cudf) S 28101 28101 24102 769 24102 4194304 340 0 0 0 0 0 0 0 25 0 1 0 525097000 2441216 262 1283457024 134512640 135191968 4292427968 18446744073709551615 4158844574 0 0 4 65536 18446744071564457842 0 0 17 0 0 0 0 /proc/28102/statm: 596 262 224 166 0 28 0 [pid=28103] ppid=28102 vsize=2384 CPUtime=0 /proc/28103/stat : 28103 (p2cudf) R 28102 28101 24102 769 24102 4194368 104 0 0 0 0 0 0 0 25 0 1 0 525097000 2441216 115 1283457024 134512640 135191968 4292427968 18446744073709551615 4158685600 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/28103/statm: 596 115 75 166 0 28 0 [pid=28104] ppid=28103 vsize=10824 CPUtime=0 /proc/28104/stat : 28104 (java) R 28103 28101 24102 769 24102 4202496 756 0 0 0 0 0 0 0 25 0 2 0 525097000 11083776 483 1283457024 134512640 134550932 4292993296 18446744073709551615 4159618008 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/28104/statm: 2706 483 215 10 0 1187 0 [pid=28104/tid=28105] ppid=28103 vsize=10824 CPUtime=0 /proc/28104/task/28105/stat : 28105 (java) R 28103 28101 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 2 0 525097000 11083776 483 1283457024 134512640 134550932 4292993296 18446744073709551615 4159618008 0 0 0 0 0 0 0 -1 0 0 0 0 [pid=28106] ppid=28103 vsize=2384 CPUtime=0 /proc/28106/stat : 28106 (p2cudf) R 28103 28101 24102 769 24102 4194368 0 0 0 0 0 0 0 0 25 0 1 0 525097000 2441216 40 1283457024 134512640 135191968 4292427968 18446744073709551615 4158685600 0 65538 0 65538 0 0 0 17 0 0 0 0 /proc/28106/statm: 596 40 0 166 0 28 0 [startup+0.168159 s] /proc/loadavg: 1.29 1.28 1.02 6/38 28106 /proc/meminfo: memFree=463332/1048576 swapFree=2095456/2097144 [pid=28101] ppid=28100 vsize=2388 CPUtime=0 /proc/28101/stat : 28101 (p2cudf-paranoid) S 28100 28101 24102 769 24102 4194304 365 0 0 0 0 0 0 0 25 0 1 0 525096999 2445312 262 1283457024 134512640 135191968 4288287904 18446744073709551615 4158658974 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28101/statm: 597 262 223 166 0 29 0 [pid=28102] ppid=28101 vsize=2392 CPUtime=0.02 /proc/28102/stat : 28102 (p2cudf) S 28101 28101 24102 769 24102 4202496 377 2735 0 1 0 0 2 0 25 0 1 0 525097000 2449408 272 1283457024 134512640 135191968 4292427968 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28102/statm: 598 272 232 166 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4780 [startup+0.208176 s] /proc/loadavg: 1.29 1.28 1.02 6/38 28106 /proc/meminfo: memFree=463332/1048576 swapFree=2095456/2097144 [pid=28101] ppid=28100 vsize=2388 CPUtime=0 /proc/28101/stat : 28101 (p2cudf-paranoid) S 28100 28101 24102 769 24102 4194304 365 0 0 0 0 0 0 0 25 0 1 0 525096999 2445312 262 1283457024 134512640 135191968 4288287904 18446744073709551615 4158658974 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28101/statm: 597 262 223 166 0 29 0 [pid=28102] ppid=28101 vsize=2392 CPUtime=0.02 /proc/28102/stat : 28102 (p2cudf) S 28101 28101 24102 769 24102 4202496 377 2735 0 1 0 0 2 0 25 0 1 0 525097000 2449408 272 1283457024 134512640 135191968 4292427968 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28102/statm: 598 272 232 166 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4780 [startup+0.30827 s] /proc/loadavg: 1.29 1.28 1.02 6/38 28106 /proc/meminfo: memFree=463332/1048576 swapFree=2095456/2097144 [pid=28101] ppid=28100 vsize=2388 CPUtime=0 /proc/28101/stat : 28101 (p2cudf-paranoid) S 28100 28101 24102 769 24102 4194304 365 0 0 0 0 0 0 0 25 0 1 0 525096999 2445312 262 1283457024 134512640 135191968 4288287904 18446744073709551615 4158658974 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28101/statm: 597 262 223 166 0 29 0 [pid=28102] ppid=28101 vsize=2392 CPUtime=0.02 /proc/28102/stat : 28102 (p2cudf) S 28101 28101 24102 769 24102 4202496 377 2735 0 1 0 0 2 0 25 0 1 0 525097000 2449408 272 1283457024 134512640 135191968 4292427968 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28102/statm: 598 272 232 166 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4780 [startup+0.70831 s] /proc/loadavg: 1.29 1.28 1.02 6/38 28106 /proc/meminfo: memFree=463332/1048576 swapFree=2095456/2097144 [pid=28101] ppid=28100 vsize=2388 CPUtime=0 /proc/28101/stat : 28101 (p2cudf-paranoid) S 28100 28101 24102 769 24102 4194304 365 0 0 0 0 0 0 0 25 0 1 0 525096999 2445312 262 1283457024 134512640 135191968 4288287904 18446744073709551615 4158658974 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28101/statm: 597 262 223 166 0 29 0 [pid=28102] ppid=28101 vsize=2392 CPUtime=0.02 /proc/28102/stat : 28102 (p2cudf) S 28101 28101 24102 769 24102 4202496 377 2735 0 1 0 0 2 0 25 0 1 0 525097000 2449408 272 1283457024 134512640 135191968 4292427968 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28102/statm: 598 272 232 166 0 30 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 4780 [startup+1.50854 s] /proc/loadavg: 1.29 1.28 1.02 4/45 28124 /proc/meminfo: memFree=423792/1048576 swapFree=2095456/2097144 [pid=28101] ppid=28100 vsize=2388 CPUtime=0 /proc/28101/stat : 28101 (p2cudf-paranoid) S 28100 28101 24102 769 24102 4194304 365 0 0 0 0 0 0 0 25 0 1 0 525096999 2445312 262 1283457024 134512640 135191968 4288287904 18446744073709551615 4158658974 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28101/statm: 597 262 223 166 0 29 0 [pid=28102] ppid=28101 vsize=2392 CPUtime=0.02 /proc/28102/stat : 28102 (p2cudf) S 28101 28101 24102 769 24102 4202496 377 2735 0 1 0 0 2 0 25 0 1 0 525097000 2449408 272 1283457024 134512640 135191968 4292427968 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28102/statm: 598 272 232 166 0 30 0 [pid=28115] ppid=28102 vsize=891664 CPUtime=1.47 /proc/28115/stat : 28115 (java) S 28102 28101 24102 769 24102 4202496 22836 0 1 0 139 8 0 0 25 0 10 0 525097003 913063936 18007 1283457024 134512640 134550932 4294611312 18446744073709551615 4159886482 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28115/statm: 222916 18007 1430 10 0 220188 0 [pid=28115/tid=28116] ppid=28102 vsize=891664 CPUtime=0.79 /proc/28115/task/28116/stat : 28116 (java) R 28102 28101 24102 769 24102 4202560 9092 0 1 0 75 4 0 0 25 0 10 0 525097003 913063936 18007 1283457024 134512640 134550932 4294611312 18446744073709551615 103615277 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28115/tid=28117] ppid=28102 vsize=891664 CPUtime=0 /proc/28115/task/28117/stat : 28117 (java) S 28102 28101 24102 769 24102 4202560 2 0 0 0 0 0 0 0 18 0 10 0 525097005 913063936 18007 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 0 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28118] ppid=28102 vsize=891664 CPUtime=0 /proc/28115/task/28118/stat : 28118 (java) S 28102 28101 24102 769 24102 4202560 10 0 0 0 0 0 0 0 25 0 10 0 525097005 913063936 18007 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28119] ppid=28102 vsize=891664 CPUtime=0 /proc/28115/task/28119/stat : 28119 (java) S 28102 28101 24102 769 24102 4202560 5 0 0 0 0 0 0 0 25 0 10 0 525097005 913063936 18007 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28120] ppid=28102 vsize=891664 CPUtime=0 /proc/28115/task/28120/stat : 28120 (java) S 28102 28101 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 10 0 525097007 913063936 18007 1283457024 134512640 134550932 4294611312 18446744073709551615 4159908176 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28121] ppid=28102 vsize=891664 CPUtime=0.38 /proc/28115/task/28121/stat : 28121 (java) R 28102 28101 24102 769 24102 4202560 6907 0 0 0 36 2 0 0 22 0 10 0 525097007 913063936 18007 1283457024 134512640 134550932 4294611312 18446744073709551615 105497351 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28115/tid=28122] ppid=28102 vsize=891664 CPUtime=0.29 /proc/28115/task/28122/stat : 28122 (java) R 28102 28101 24102 769 24102 4202560 5997 0 0 0 27 2 0 0 24 0 10 0 525097007 913063936 18007 1283457024 134512640 134550932 4294611312 18446744073709551615 102092513 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28115/tid=28123] ppid=28102 vsize=891664 CPUtime=0 /proc/28115/task/28123/stat : 28123 (java) S 28102 28101 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 10 0 525097007 913063936 18007 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28124] ppid=28102 vsize=891664 CPUtime=0 /proc/28115/task/28124/stat : 28124 (java) S 28102 28101 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 10 0 525097007 913063936 18007 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 896444 [startup+3.109 s] /proc/loadavg: 1.29 1.28 1.02 5/45 28124 /proc/meminfo: memFree=360800/1048576 swapFree=2095456/2097144 [pid=28101] ppid=28100 vsize=2388 CPUtime=0 /proc/28101/stat : 28101 (p2cudf-paranoid) S 28100 28101 24102 769 24102 4194304 365 0 0 0 0 0 0 0 25 0 1 0 525096999 2445312 262 1283457024 134512640 135191968 4288287904 18446744073709551615 4158658974 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28101/statm: 597 262 223 166 0 29 0 [pid=28102] ppid=28101 vsize=2392 CPUtime=0.02 /proc/28102/stat : 28102 (p2cudf) S 28101 28101 24102 769 24102 4202496 377 2735 0 1 0 0 2 0 25 0 1 0 525097000 2449408 272 1283457024 134512640 135191968 4292427968 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28102/statm: 598 272 232 166 0 30 0 [pid=28115] ppid=28102 vsize=904544 CPUtime=3.07 /proc/28115/stat : 28115 (java) S 28102 28101 24102 769 24102 4202496 45188 0 1 0 291 16 0 0 25 0 10 0 525097003 926253056 36079 1283457024 134512640 134550932 4294611312 18446744073709551615 4159886482 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28115/statm: 226136 36079 1449 10 0 223408 0 [pid=28115/tid=28116] ppid=28102 vsize=904544 CPUtime=1.5 /proc/28115/task/28116/stat : 28116 (java) R 28102 28101 24102 769 24102 4202560 18394 0 1 0 142 8 0 0 25 0 10 0 525097003 926253056 36079 1283457024 134512640 134550932 4294611312 18446744073709551615 106548852 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28115/tid=28117] ppid=28102 vsize=904544 CPUtime=0.09 /proc/28115/task/28117/stat : 28117 (java) S 28102 28101 24102 769 24102 4202560 4579 0 0 0 9 0 0 0 16 0 10 0 525097005 926253056 36079 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 0 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28118] ppid=28102 vsize=904544 CPUtime=0 /proc/28115/task/28118/stat : 28118 (java) S 28102 28101 24102 769 24102 4202560 10 0 0 0 0 0 0 0 18 0 10 0 525097005 926253056 36079 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28119] ppid=28102 vsize=904544 CPUtime=0 /proc/28115/task/28119/stat : 28119 (java) S 28102 28101 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 10 0 525097005 926253056 36079 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28120] ppid=28102 vsize=904544 CPUtime=0 /proc/28115/task/28120/stat : 28120 (java) S 28102 28101 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 10 0 525097007 926253056 36079 1283457024 134512640 134550932 4294611312 18446744073709551615 4159908176 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28121] ppid=28102 vsize=904544 CPUtime=0.78 /proc/28115/task/28121/stat : 28121 (java) S 28102 28101 24102 769 24102 4202560 10471 0 0 0 73 5 0 0 20 0 10 0 525097007 926253056 36079 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28122] ppid=28102 vsize=904544 CPUtime=0.67 /proc/28115/task/28122/stat : 28122 (java) R 28102 28101 24102 769 24102 4202560 10903 0 0 0 65 2 0 0 25 0 10 0 525097007 926253056 36079 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28115/tid=28123] ppid=28102 vsize=904544 CPUtime=0 /proc/28115/task/28123/stat : 28123 (java) S 28102 28101 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 10 0 525097007 926253056 36079 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28124] ppid=28102 vsize=904544 CPUtime=0 /proc/28115/task/28124/stat : 28124 (java) S 28102 28101 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 10 0 525097007 926253056 36079 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 909324 [startup+6.32959 s] /proc/loadavg: 1.43 1.31 1.03 3/46 28125 /proc/meminfo: memFree=297552/1048576 swapFree=2095456/2097144 [pid=28101] ppid=28100 vsize=2388 CPUtime=0 /proc/28101/stat : 28101 (p2cudf-paranoid) S 28100 28101 24102 769 24102 4194304 365 0 0 0 0 0 0 0 25 0 1 0 525096999 2445312 262 1283457024 134512640 135191968 4288287904 18446744073709551615 4158658974 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28101/statm: 597 262 223 166 0 29 0 [pid=28102] ppid=28101 vsize=2392 CPUtime=0.02 /proc/28102/stat : 28102 (p2cudf) S 28101 28101 24102 769 24102 4202496 377 2735 0 1 0 0 2 0 25 0 1 0 525097000 2449408 272 1283457024 134512640 135191968 4292427968 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28102/statm: 598 272 232 166 0 30 0 [pid=28115] ppid=28102 vsize=905184 CPUtime=6.29 /proc/28115/stat : 28115 (java) S 28102 28101 24102 769 24102 4202496 53977 0 1 0 609 20 0 0 25 0 12 0 525097003 926908416 43066 1283457024 134512640 134550932 4294611312 18446744073709551615 4159886482 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28115/statm: 226296 43066 1499 10 0 223568 0 [pid=28115/tid=28116] ppid=28102 vsize=905184 CPUtime=2.71 /proc/28115/task/28116/stat : 28116 (java) S 28102 28101 24102 769 24102 4202560 18552 0 1 0 263 8 0 0 25 0 12 0 525097003 926908416 43066 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28117] ppid=28102 vsize=905184 CPUtime=0.25 /proc/28115/task/28117/stat : 28117 (java) S 28102 28101 24102 769 24102 4202560 11053 0 0 0 23 2 0 0 16 0 12 0 525097005 926908416 43066 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 0 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28118] ppid=28102 vsize=905184 CPUtime=0 /proc/28115/task/28118/stat : 28118 (java) S 28102 28101 24102 769 24102 4202560 10 0 0 0 0 0 0 0 18 0 12 0 525097005 926908416 43066 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28119] ppid=28102 vsize=905184 CPUtime=0 /proc/28115/task/28119/stat : 28119 (java) S 28102 28101 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 12 0 525097005 926908416 43066 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28120] ppid=28102 vsize=905184 CPUtime=0 /proc/28115/task/28120/stat : 28120 (java) S 28102 28101 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 12 0 525097007 926908416 43066 1283457024 134512640 134550932 4294611312 18446744073709551615 4159908176 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28121] ppid=28102 vsize=905184 CPUtime=2.1 /proc/28115/task/28121/stat : 28121 (java) R 28102 28101 24102 769 24102 4202560 12540 0 0 0 205 5 0 0 15 0 12 0 525097007 926908416 43066 1283457024 134512640 134550932 4294611312 18446744073709551615 106495368 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28115/tid=28122] ppid=28102 vsize=905184 CPUtime=1.21 /proc/28115/task/28122/stat : 28122 (java) R 28102 28101 24102 769 24102 4202560 10987 0 0 0 117 4 0 0 24 0 12 0 525097007 926908416 43066 1283457024 134512640 134550932 4294611312 18446744073709551615 4159910599 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28115/tid=28123] ppid=28102 vsize=905184 CPUtime=0 /proc/28115/task/28123/stat : 28123 (java) S 28102 28101 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 12 0 525097007 926908416 43066 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28124] ppid=28102 vsize=905184 CPUtime=0 /proc/28115/task/28124/stat : 28124 (java) S 28102 28101 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 12 0 525097007 926908416 43066 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28125] ppid=28102 vsize=905184 CPUtime=0 /proc/28115/task/28125/stat : 28125 (java) S 28102 28101 24102 769 24102 4202560 4 0 0 0 0 0 0 0 24 0 12 0 525097529 926908416 43066 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.31 Current children cumulated vsize (KiB) 909964 Solver just ended. Dumping a history of the last processes samples [startup+6.4025 s] /proc/loadavg: 1.43 1.31 1.03 3/46 28125 /proc/meminfo: memFree=297552/1048576 swapFree=2095456/2097144 [pid=28101] ppid=28100 vsize=2388 CPUtime=0 /proc/28101/stat : 28101 (p2cudf-paranoid) S 28100 28101 24102 769 24102 4194304 365 0 0 0 0 0 0 0 25 0 1 0 525096999 2445312 262 1283457024 134512640 135191968 4288287904 18446744073709551615 4158658974 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28101/statm: 597 262 223 166 0 29 0 [pid=28102] ppid=28101 vsize=2392 CPUtime=0.02 /proc/28102/stat : 28102 (p2cudf) S 28101 28101 24102 769 24102 4202496 377 2735 0 1 0 0 2 0 25 0 1 0 525097000 2449408 272 1283457024 134512640 135191968 4292427968 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28102/statm: 598 272 232 166 0 30 0 [pid=28115] ppid=28102 vsize=905184 CPUtime=6.32 /proc/28115/stat : 28115 (java) S 28102 28101 24102 769 24102 4202496 53988 0 1 0 612 20 0 0 25 0 12 0 525097003 926908416 43077 1283457024 134512640 134550932 4294611312 18446744073709551615 4159886482 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28115/statm: 226296 43077 1499 10 0 223568 0 [pid=28115/tid=28116] ppid=28102 vsize=905184 CPUtime=2.71 /proc/28115/task/28116/stat : 28116 (java) S 28102 28101 24102 769 24102 4202560 18552 0 1 0 263 8 0 0 25 0 12 0 525097003 926908416 43077 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28117] ppid=28102 vsize=905184 CPUtime=0.25 /proc/28115/task/28117/stat : 28117 (java) S 28102 28101 24102 769 24102 4202560 11053 0 0 0 23 2 0 0 16 0 12 0 525097005 926908416 43077 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 0 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28118] ppid=28102 vsize=905184 CPUtime=0 /proc/28115/task/28118/stat : 28118 (java) S 28102 28101 24102 769 24102 4202560 10 0 0 0 0 0 0 0 18 0 12 0 525097005 926908416 43077 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28119] ppid=28102 vsize=905184 CPUtime=0 /proc/28115/task/28119/stat : 28119 (java) S 28102 28101 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 12 0 525097005 926908416 43077 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28120] ppid=28102 vsize=905184 CPUtime=0 /proc/28115/task/28120/stat : 28120 (java) S 28102 28101 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 12 0 525097007 926908416 43077 1283457024 134512640 134550932 4294611312 18446744073709551615 4159908176 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28121] ppid=28102 vsize=905184 CPUtime=2.12 /proc/28115/task/28121/stat : 28121 (java) S 28102 28101 24102 769 24102 4202560 12543 0 0 0 207 5 0 0 15 0 12 0 525097007 926908416 43077 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28122] ppid=28102 vsize=905184 CPUtime=1.22 /proc/28115/task/28122/stat : 28122 (java) S 28102 28101 24102 769 24102 4202560 10991 0 0 0 118 4 0 0 24 0 12 0 525097007 926908416 43077 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28123] ppid=28102 vsize=905184 CPUtime=0 /proc/28115/task/28123/stat : 28123 (java) S 28102 28101 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 12 0 525097007 926908416 43077 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28124] ppid=28102 vsize=905184 CPUtime=0 /proc/28115/task/28124/stat : 28124 (java) R 28102 28101 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 12 0 525097007 926908416 43077 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28115/tid=28125] ppid=28102 vsize=905184 CPUtime=0 /proc/28115/task/28125/stat : 28125 (java) S 28102 28101 24102 769 24102 4202560 4 0 0 0 0 0 0 0 24 0 12 0 525097529 926908416 43077 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.34 Current children cumulated vsize (KiB) 909964 [startup+6.80652 s] /proc/loadavg: 1.43 1.31 1.03 1/47 28126 /proc/meminfo: memFree=299900/1048576 swapFree=2095456/2097144 [pid=28101] ppid=28100 vsize=2388 CPUtime=0 /proc/28101/stat : 28101 (p2cudf-paranoid) S 28100 28101 24102 769 24102 4194304 365 0 0 0 0 0 0 0 25 0 1 0 525096999 2445312 262 1283457024 134512640 135191968 4288287904 18446744073709551615 4158658974 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28101/statm: 597 262 223 166 0 29 0 [pid=28102] ppid=28101 vsize=2392 CPUtime=0.02 /proc/28102/stat : 28102 (p2cudf) S 28101 28101 24102 769 24102 4202496 377 2735 0 1 0 0 2 0 25 0 1 0 525097000 2449408 272 1283457024 134512640 135191968 4292427968 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28102/statm: 598 272 232 166 0 30 0 [pid=28115] ppid=28102 vsize=901860 CPUtime=6.32 /proc/28115/stat : 28115 (java) S 28102 28101 24102 769 24102 4202496 53988 0 1 0 612 20 0 0 25 0 12 0 525097003 923504640 42253 1283457024 134512640 134550932 4294611312 18446744073709551615 4159886482 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28115/statm: 225465 42253 1499 10 0 222737 0 [pid=28115/tid=28116] ppid=28102 vsize=901860 CPUtime=2.71 /proc/28115/task/28116/stat : 28116 (java) S 28102 28101 24102 769 24102 4202560 18552 0 1 0 263 8 0 0 25 0 12 0 525097003 923504640 42253 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28117] ppid=28102 vsize=901860 CPUtime=0.25 /proc/28115/task/28117/stat : 28117 (java) S 28102 28101 24102 769 24102 4202560 11053 0 0 0 23 2 0 0 15 0 12 0 525097005 923504640 42253 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 0 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28118] ppid=28102 vsize=901860 CPUtime=0 /proc/28115/task/28118/stat : 28118 (java) S 28102 28101 24102 769 24102 4202560 10 0 0 0 0 0 0 0 18 0 12 0 525097005 923504640 42253 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28119] ppid=28102 vsize=901860 CPUtime=0 /proc/28115/task/28119/stat : 28119 (java) S 28102 28101 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 12 0 525097005 923504640 42253 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28120] ppid=28102 vsize=901860 CPUtime=0 /proc/28115/task/28120/stat : 28120 (java) S 28102 28101 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 12 0 525097007 923504640 42253 1283457024 134512640 134550932 4294611312 18446744073709551615 4159908176 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28121] ppid=28102 vsize=901860 CPUtime=2.12 /proc/28115/task/28121/stat : 28121 (java) S 28102 28101 24102 769 24102 4202560 12543 0 0 0 207 5 0 0 15 0 12 0 525097007 923504640 42253 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28122] ppid=28102 vsize=901860 CPUtime=1.22 /proc/28115/task/28122/stat : 28122 (java) S 28102 28101 24102 769 24102 4202560 10991 0 0 0 118 4 0 0 24 0 12 0 525097007 923504640 42253 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28123] ppid=28102 vsize=901860 CPUtime=0 /proc/28115/task/28123/stat : 28123 (java) S 28102 28101 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 12 0 525097007 923504640 42253 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28124] ppid=28102 vsize=901860 CPUtime=0 /proc/28115/task/28124/stat : 28124 (java) S 28102 28101 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 12 0 525097007 923504640 42253 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28125] ppid=28102 vsize=901860 CPUtime=0 /proc/28115/task/28125/stat : 28125 (java) S 28102 28101 24102 769 24102 4202560 4 0 0 0 0 0 0 0 24 0 12 0 525097529 923504640 42253 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28126] ppid=28102 vsize=901860 CPUtime=0 /proc/28115/task/28126/stat : 28126 (java) S 28102 28101 24102 769 24102 4202560 4 0 0 0 0 0 0 0 25 0 12 0 525097630 923504640 42253 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.34 Current children cumulated vsize (KiB) 906640 [startup+7.01456 s] /proc/loadavg: 1.43 1.31 1.03 1/47 28126 /proc/meminfo: memFree=299900/1048576 swapFree=2095456/2097144 [pid=28101] ppid=28100 vsize=2388 CPUtime=0 /proc/28101/stat : 28101 (p2cudf-paranoid) S 28100 28101 24102 769 24102 4194304 365 0 0 0 0 0 0 0 25 0 1 0 525096999 2445312 262 1283457024 134512640 135191968 4288287904 18446744073709551615 4158658974 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28101/statm: 597 262 223 166 0 29 0 [pid=28102] ppid=28101 vsize=2392 CPUtime=0.02 /proc/28102/stat : 28102 (p2cudf) S 28101 28101 24102 769 24102 4202496 377 2735 0 1 0 0 2 0 25 0 1 0 525097000 2449408 272 1283457024 134512640 135191968 4292427968 18446744073709551615 4158683550 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28102/statm: 598 272 232 166 0 30 0 [pid=28115] ppid=28102 vsize=901860 CPUtime=6.46 /proc/28115/stat : 28115 (java) S 28102 28101 24102 769 24102 4202496 53999 0 1 0 622 24 0 0 25 0 12 0 525097003 923504640 42264 1283457024 134512640 134550932 4294611312 18446744073709551615 4159886482 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28115/statm: 225465 42264 1499 10 0 222737 0 [pid=28115/tid=28116] ppid=28102 vsize=901860 CPUtime=2.71 /proc/28115/task/28116/stat : 28116 (java) S 28102 28101 24102 769 24102 4202560 18552 0 1 0 263 8 0 0 25 0 12 0 525097003 923504640 42264 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28117] ppid=28102 vsize=901860 CPUtime=0.25 /proc/28115/task/28117/stat : 28117 (java) S 28102 28101 24102 769 24102 4202560 11053 0 0 0 23 2 0 0 15 0 12 0 525097005 923504640 42264 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 0 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28118] ppid=28102 vsize=901860 CPUtime=0 /proc/28115/task/28118/stat : 28118 (java) S 28102 28101 24102 769 24102 4202560 10 0 0 0 0 0 0 0 18 0 12 0 525097005 923504640 42264 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28119] ppid=28102 vsize=901860 CPUtime=0 /proc/28115/task/28119/stat : 28119 (java) S 28102 28101 24102 769 24102 4202560 8 0 0 0 0 0 0 0 18 0 12 0 525097005 923504640 42264 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28120] ppid=28102 vsize=901860 CPUtime=0 /proc/28115/task/28120/stat : 28120 (java) S 28102 28101 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 12 0 525097007 923504640 42264 1283457024 134512640 134550932 4294611312 18446744073709551615 4159908176 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28121] ppid=28102 vsize=901860 CPUtime=2.12 /proc/28115/task/28121/stat : 28121 (java) S 28102 28101 24102 769 24102 4202560 12543 0 0 0 207 5 0 0 15 0 12 0 525097007 923504640 42264 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28122] ppid=28102 vsize=901860 CPUtime=1.28 /proc/28115/task/28122/stat : 28122 (java) R 28102 28101 24102 769 24102 4202560 11000 0 0 0 124 4 0 0 19 0 12 0 525097007 923504640 42264 1283457024 134512640 134550932 4294611312 18446744073709551615 103976504 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28115/tid=28123] ppid=28102 vsize=901860 CPUtime=0 /proc/28115/task/28123/stat : 28123 (java) S 28102 28101 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 12 0 525097007 923504640 42264 1283457024 134512640 134550932 4294611312 18446744073709551615 4159899888 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28124] ppid=28102 vsize=901860 CPUtime=0 /proc/28115/task/28124/stat : 28124 (java) S 28102 28101 24102 769 24102 4202560 1 0 0 0 0 0 0 0 15 0 12 0 525097007 923504640 42264 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28125] ppid=28102 vsize=901860 CPUtime=0 /proc/28115/task/28125/stat : 28125 (java) S 28102 28101 24102 769 24102 4202560 4 0 0 0 0 0 0 0 24 0 12 0 525097529 923504640 42264 1283457024 134512640 134550932 4294611312 18446744073709551615 4159900680 0 4 0 16800975 18446612133020135488 0 0 -1 0 0 0 0 [pid=28115/tid=28126] ppid=28102 vsize=901860 CPUtime=0.07 /proc/28115/task/28126/stat : 28126 (java) R 28102 28101 24102 769 24102 4202560 6 0 0 0 3 4 0 0 20 0 12 0 525097630 923504640 42264 1283457024 134512640 134550932 4294611312 18446744073709551615 4159910599 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 6.48 Current children cumulated vsize (KiB) 906640 Child status: 0 Real time (s): 7.05449 CPU time (s): 6.51641 CPU user time (s): 6.24439 CPU system time (s): 0.272017 CPU usage (%): 92.3724 Max. virtual memory (cumulated for all children) (KiB): 915372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 6.24439 system time used= 0.272017 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 57499 page faults= 2 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 588 involuntary context switches= 595 runsolver used 0.008 second user time and 0 second system time The end