runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3456107-1307663032/watcher-3456107-1307663032 -o /tmp/evaluation-result-3456107-1307663032/solver-3456107-1307663032 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456107-1307663032.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.92 2/173 25203
/proc/meminfo: memFree=31946684/32951124 swapFree=67064368/67111528
[pid=25203] ppid=25201 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25201 25203 22401 0 -1 4202496 1228 0 0 0 0 0 0 0 18 0 2 0 877903650 31260672 949 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458747877 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/25203/statm: 7632 954 728 9 0 383 0
[pid=25203/tid=25206] ppid=25201 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25206/stat : 25206 (java) R 25201 25203 22401 0 -1 4202560 123 0 0 0 0 0 0 0 17 0 2 0 877903651 31260672 956 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244446945024 0 0 4096 0 0 0 0 -1 1 0 0 0
[startup+0.0276791 s]
/proc/loadavg: 1.92 1.98 1.92 2/173 25203
/proc/meminfo: memFree=31946684/32951124 swapFree=67064368/67111528
[pid=25203] ppid=25201 vsize=10454868 CPUtime=0.02 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25201 25203 22401 0 -1 4202496 10574 0 1 0 1 1 0 0 18 0 10 0 877903650 10705784832 10274 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458747877 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/25203/statm: 2613717 10283 1465 9 0 2604465 0
[pid=25203/tid=25206] ppid=25201 vsize=10454868 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25206/stat : 25206 (java) R 25201 25203 22401 0 -1 4202560 9466 0 1 0 0 0 0 0 19 0 10 0 877903651 10705784832 10286 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 46912504009831 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10454868
[startup+0.104679 s]
/proc/loadavg: 1.92 1.98 1.92 2/173 25203
/proc/meminfo: memFree=31946684/32951124 swapFree=67064368/67111528
[pid=25203] ppid=25201 vsize=10539980 CPUtime=0.1 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25201 25203 22401 0 -1 4202496 13067 0 1 0 9 1 0 0 18 0 18 0 877903650 10792939520 12765 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25203/statm: 2634995 12765 2092 9 0 2625729 0
[pid=25203/tid=25206] ppid=25201 vsize=10539980 CPUtime=0.09 cores=1,3,5,7
/proc/25203/task/25206/stat : 25206 (java) R 25201 25203 22401 0 -1 4202560 11173 0 1 0 8 1 0 0 18 0 18 0 877903651 10792939520 12765 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 46912496204241 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539980
[startup+0.300619 s]
/proc/loadavg: 1.92 1.98 1.92 2/173 25203
/proc/meminfo: memFree=31946684/32951124 swapFree=67064368/67111528
[pid=25203] ppid=25201 vsize=10541932 CPUtime=0.44 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25201 25203 22401 0 -1 4202496 15210 0 1 0 43 1 0 0 18 0 19 0 877903650 10794938368 14630 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25203/statm: 2635483 14630 2201 9 0 2626217 0
[pid=25203/tid=25206] ppid=25201 vsize=10541932 CPUtime=0.28 cores=1,3,5,7
/proc/25203/task/25206/stat : 25206 (java) R 25201 25203 22401 0 -1 4202560 12505 0 1 0 27 1 0 0 19 0 19 0 877903651 10794938368 14630 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 46912505580068 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 10541932
[startup+0.700541 s]
/proc/loadavg: 1.92 1.98 1.92 2/173 25203
/proc/meminfo: memFree=31946684/32951124 swapFree=67064368/67111528
[pid=25203] ppid=25201 vsize=10553928 CPUtime=1.64 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25201 25203 22401 0 -1 4202496 34470 0 1 0 160 4 0 0 18 0 19 0 877903650 10807222272 30198 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25203/statm: 2638482 30201 2219 9 0 2629216 0
[pid=25203/tid=25206] ppid=25201 vsize=10553928 CPUtime=0.68 cores=1,3,5,7
/proc/25203/task/25206/stat : 25206 (java) R 25201 25203 22401 0 -1 4202560 21433 0 1 0 66 2 0 0 19 0 19 0 877903651 10807222272 30202 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 46912505652777 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.64
Current children cumulated vsize (KiB) 10553928
[startup+1.5014 s]
/proc/loadavg: 2.09 2.02 1.93 5/211 25242
/proc/meminfo: memFree=31582840/32951124 swapFree=67064368/67111528
[pid=25203] ppid=25201 vsize=10553928 CPUtime=2.66 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25201 25203 22401 0 -1 4202496 78246 0 1 0 258 8 0 0 18 0 19 0 877903650 10807222272 73973 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25203/statm: 2638482 73975 2225 9 0 2629216 0
[pid=25203/tid=25206] ppid=25201 vsize=10553928 CPUtime=1.48 cores=1,3,5,7
/proc/25203/task/25206/stat : 25206 (java) R 25201 25203 22401 0 -1 4202560 65176 0 1 0 142 6 0 0 20 0 19 0 877903651 10807222272 73976 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 46912505654507 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25203/tid=25208] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25208/stat : 25208 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877903652 10807222272 73977 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25209] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25209/stat : 25209 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 73978 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25210] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25210/stat : 25210 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 73979 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25211] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25211/stat : 25211 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 73980 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25212] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25212/stat : 25212 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 73982 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25213] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25213/stat : 25213 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 73983 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25214] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25214/stat : 25214 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 73984 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25215] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25215/stat : 25215 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 73986 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25224] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25224/stat : 25224 (java) S 25201 25203 22401 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877903653 10807222272 73987 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761728 0 0 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25226] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25226/stat : 25226 (java) S 25201 25203 22401 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 877903654 10807222272 73989 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25228] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25228/stat : 25228 (java) S 25201 25203 22401 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 877903654 10807222272 73990 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25231] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25231/stat : 25231 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903656 10807222272 73992 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458768817 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25233] ppid=25201 vsize=10553928 CPUtime=0.62 cores=1,3,5,7
/proc/25203/task/25233/stat : 25233 (java) S 25201 25203 22401 0 -1 4202560 6140 0 0 0 62 0 0 0 15 0 19 0 877903656 10807222272 73993 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 1 0 0 0
[pid=25203/tid=25235] ppid=25201 vsize=10553928 CPUtime=0.53 cores=1,3,5,7
/proc/25203/task/25235/stat : 25235 (java) S 25201 25203 22401 0 -1 4202560 5775 0 0 0 53 0 0 0 15 0 19 0 877903656 10807222272 73995 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25237] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25237/stat : 25237 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877903656 10807222272 73997 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25239] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25239/stat : 25239 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877903656 10807222272 73998 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761728 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25240] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25240/stat : 25240 (java) S 25201 25203 22401 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877903677 10807222272 73999 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761728 0 4 0 16800975 18446604471088475072 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.66
Current children cumulated vsize (KiB) 10553928
[startup+3.1011 s]
/proc/loadavg: 2.09 2.02 1.93 4/211 25242
/proc/meminfo: memFree=30965320/32951124 swapFree=67064368/67111528
[pid=25203] ppid=25201 vsize=10553928 CPUtime=4.36 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25201 25203 22401 0 -1 4202496 163835 0 1 0 416 20 0 0 18 0 19 0 877903650 10807222272 159562 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25203/statm: 2638482 159563 2225 9 0 2629216 0
[pid=25203/tid=25206] ppid=25201 vsize=10553928 CPUtime=3.08 cores=1,3,5,7
/proc/25203/task/25206/stat : 25206 (java) R 25201 25203 22401 0 -1 4202560 150753 0 1 0 290 18 0 0 25 0 19 0 877903651 10807222272 159564 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 46912505653157 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25203/tid=25208] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25208/stat : 25208 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877903652 10807222272 159566 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25209] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25209/stat : 25209 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 159567 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25210] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25210/stat : 25210 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 159568 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25211] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25211/stat : 25211 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 159570 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25212] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25212/stat : 25212 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 159572 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25213] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25213/stat : 25213 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 159574 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25214] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25214/stat : 25214 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 159575 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25215] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25215/stat : 25215 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 159576 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25224] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25224/stat : 25224 (java) S 25201 25203 22401 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877903653 10807222272 159577 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761728 0 0 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25226] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25226/stat : 25226 (java) S 25201 25203 22401 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 877903654 10807222272 159579 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25228] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25228/stat : 25228 (java) S 25201 25203 22401 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 877903654 10807222272 159580 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25231] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25231/stat : 25231 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903656 10807222272 159582 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458768817 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25233] ppid=25201 vsize=10553928 CPUtime=0.71 cores=1,3,5,7
/proc/25203/task/25233/stat : 25233 (java) S 25201 25203 22401 0 -1 4202560 6150 0 0 0 71 0 0 0 15 0 19 0 877903656 10807222272 159585 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 1 0 0 0
[pid=25203/tid=25235] ppid=25201 vsize=10553928 CPUtime=0.54 cores=1,3,5,7
/proc/25203/task/25235/stat : 25235 (java) S 25201 25203 22401 0 -1 4202560 5776 0 0 0 54 0 0 0 15 0 19 0 877903656 10807222272 159587 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25237] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25237/stat : 25237 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877903656 10807222272 159589 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25239] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25239/stat : 25239 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877903656 10807222272 159591 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761728 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25240] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25240/stat : 25240 (java) S 25201 25203 22401 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877903677 10807222272 159593 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761728 0 4 0 16800975 18446604471088475072 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 10553928
Solver just ended. Dumping a history of the last processes samples
[startup+3.50103 s]
/proc/loadavg: 2.09 2.02 1.93 4/211 25242
/proc/meminfo: memFree=30297532/32951124 swapFree=67064368/67111528
[pid=25203] ppid=25201 vsize=10553928 CPUtime=4.76 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25201 25203 22401 0 -1 4202496 186262 0 1 0 454 22 0 0 18 0 19 0 877903650 10807222272 181989 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25203/statm: 2638482 181991 2225 9 0 2629216 0
[pid=25203/tid=25206] ppid=25201 vsize=10553928 CPUtime=3.48 cores=1,3,5,7
/proc/25203/task/25206/stat : 25206 (java) R 25201 25203 22401 0 -1 4202560 173181 0 1 0 328 20 0 0 25 0 19 0 877903651 10807222272 181993 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 46912505654196 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25203/tid=25208] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25208/stat : 25208 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877903652 10807222272 181994 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25209] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25209/stat : 25209 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 181995 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25210] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25210/stat : 25210 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 181996 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25211] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25211/stat : 25211 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 181998 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25212] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25212/stat : 25212 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 181999 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25213] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25213/stat : 25213 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 182000 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25214] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25214/stat : 25214 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 182001 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25215] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25215/stat : 25215 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 182003 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25224] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25224/stat : 25224 (java) S 25201 25203 22401 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877903653 10807222272 182005 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761728 0 0 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25226] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25226/stat : 25226 (java) S 25201 25203 22401 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 877903654 10807222272 182006 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25228] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25228/stat : 25228 (java) S 25201 25203 22401 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 877903654 10807222272 182008 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25231] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25231/stat : 25231 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903656 10807222272 182010 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458768817 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25233] ppid=25201 vsize=10553928 CPUtime=0.71 cores=1,3,5,7
/proc/25203/task/25233/stat : 25233 (java) S 25201 25203 22401 0 -1 4202560 6150 0 0 0 71 0 0 0 15 0 19 0 877903656 10807222272 182011 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 1 0 0 0
[pid=25203/tid=25235] ppid=25201 vsize=10553928 CPUtime=0.54 cores=1,3,5,7
/proc/25203/task/25235/stat : 25235 (java) S 25201 25203 22401 0 -1 4202560 5776 0 0 0 54 0 0 0 15 0 19 0 877903656 10807222272 182013 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25237] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25237/stat : 25237 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877903656 10807222272 182014 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25239] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25239/stat : 25239 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877903656 10807222272 182016 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761728 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25240] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25240/stat : 25240 (java) S 25201 25203 22401 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877903677 10807222272 182017 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761728 0 4 0 16800975 18446604471088475072 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.76
Current children cumulated vsize (KiB) 10553928
[startup+3.601 s]
/proc/loadavg: 2.09 2.02 1.93 4/211 25242
/proc/meminfo: memFree=30297532/32951124 swapFree=67064368/67111528
[pid=25203] ppid=25201 vsize=10553928 CPUtime=4.86 cores=1,3,5,7
/proc/25203/stat : 25203 (java) S 25201 25203 22401 0 -1 4202496 191725 0 1 0 463 23 0 0 18 0 19 0 877903650 10807222272 187452 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458747877 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/25203/statm: 2638482 187454 2225 9 0 2629216 0
[pid=25203/tid=25206] ppid=25201 vsize=10553928 CPUtime=3.58 cores=1,3,5,7
/proc/25203/task/25206/stat : 25206 (java) R 25201 25203 22401 0 -1 4202560 178644 0 1 0 337 21 0 0 25 0 19 0 877903651 10807222272 187455 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 46912505612458 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=25203/tid=25208] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25208/stat : 25208 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 877903652 10807222272 187456 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25209] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25209/stat : 25209 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 187457 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25210] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25210/stat : 25210 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 187458 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25211] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25211/stat : 25211 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 187460 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25212] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25212/stat : 25212 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 187461 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25213] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25213/stat : 25213 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 187463 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25214] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25214/stat : 25214 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 187463 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25215] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25215/stat : 25215 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903652 10807222272 187465 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25224] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25224/stat : 25224 (java) S 25201 25203 22401 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877903653 10807222272 187466 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761728 0 0 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25226] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25226/stat : 25226 (java) S 25201 25203 22401 0 -1 4202560 16 0 0 0 0 0 0 0 21 0 19 0 877903654 10807222272 187467 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25228] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25228/stat : 25228 (java) S 25201 25203 22401 0 -1 4202560 7 0 0 0 0 0 0 0 22 0 19 0 877903654 10807222272 187468 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25231] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25231/stat : 25231 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 877903656 10807222272 187469 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458768817 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25233] ppid=25201 vsize=10553928 CPUtime=0.71 cores=1,3,5,7
/proc/25203/task/25233/stat : 25233 (java) S 25201 25203 22401 0 -1 4202560 6150 0 0 0 71 0 0 0 15 0 19 0 877903656 10807222272 187470 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 1 0 0 0
[pid=25203/tid=25235] ppid=25201 vsize=10553928 CPUtime=0.54 cores=1,3,5,7
/proc/25203/task/25235/stat : 25235 (java) S 25201 25203 22401 0 -1 4202560 5776 0 0 0 54 0 0 0 15 0 19 0 877903656 10807222272 187471 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25237] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25237/stat : 25237 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 877903656 10807222272 187472 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761113 0 4 0 16800975 18446604471088475072 0 0 -1 5 0 0 0
[pid=25203/tid=25239] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25239/stat : 25239 (java) S 25201 25203 22401 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877903656 10807222272 187474 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761728 0 4 0 16800975 18446604471088475072 0 0 -1 7 0 0 0
[pid=25203/tid=25240] ppid=25201 vsize=10553928 CPUtime=0 cores=1,3,5,7
/proc/25203/task/25240/stat : 25240 (java) S 25201 25203 22401 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877903677 10807222272 187475 33554432000 1073741824 1073778376 140734105837088 18446744073709551615 244458761728 0 4 0 16800975 18446604471088475072 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.86
Current children cumulated vsize (KiB) 10553928
Child status: 30
Real time (s): 3.66074
CPU time (s): 4.94125
CPU user time (s): 4.67929
CPU system time (s): 0.26196
CPU usage (%): 134.98
Max. virtual memory (cumulated for all children) (KiB): 10553928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.67929
system time used= 0.26196
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192296
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 393
involuntary context switches= 42
runsolver used 0.005999 second user time and 0.019996 second system time
The end