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-3456046-1307661916/watcher-3456046-1307661916 -o /tmp/evaluation-result-3456046-1307661916/solver-3456046-1307661916 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456046-1307661916.opb
running on 4 cores: 0,2,4,6
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.88 1.97 1.83 2/195 10848
/proc/meminfo: memFree=29450584/32950928 swapFree=67050640/67111528
[pid=10848] ppid=10846 vsize=31604 CPUtime=0 cores=0,2,4,6
/proc/10848/stat : 10848 (java) S 10846 10848 9477 0 -1 4202496 1250 0 0 0 0 0 0 0 25 0 2 0 877790319 32362496 968 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/10848/statm: 7901 979 750 9 0 386 0
[pid=10848/tid=10849] ppid=10846 vsize=33748 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10849/stat : 10849 (java) R 10846 10848 9477 0 -1 4202560 173 0 0 0 0 0 0 0 25 0 2 0 877790320 34557952 1003 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251809270464 0 0 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.0383949 s]
/proc/loadavg: 1.88 1.97 1.83 2/195 10848
/proc/meminfo: memFree=29450584/32950928 swapFree=67050640/67111528
[pid=10848] ppid=10846 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/10848/stat : 10848 (java) S 10846 10848 9477 0 -1 4202496 11179 0 1 0 2 1 0 0 25 0 13 0 877790319 10718699520 10875 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826042853 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/10848/statm: 2616870 10875 1659 9 0 2607618 0
[pid=10848/tid=10849] ppid=10846 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/10848/task/10849/stat : 10849 (java) R 10846 10848 9477 0 -1 4202560 10031 0 1 0 2 1 0 0 25 0 13 0 877790320 10718699520 10875 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 47607559952696 0 4 0 16784584 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480
[startup+0.108358 s]
/proc/loadavg: 1.88 1.97 1.83 2/195 10848
/proc/meminfo: memFree=29450584/32950928 swapFree=67050640/67111528
[pid=10848] ppid=10846 vsize=10540300 CPUtime=0.11 cores=0,2,4,6
/proc/10848/stat : 10848 (java) S 10846 10848 9477 0 -1 4202496 13269 0 1 0 10 1 0 0 25 0 18 0 877790319 10793267200 12916 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10848/statm: 2635075 12916 2125 9 0 2625809 0
[pid=10848/tid=10849] ppid=10846 vsize=10540300 CPUtime=0.09 cores=0,2,4,6
/proc/10848/task/10849/stat : 10849 (java) R 10846 10848 9477 0 -1 4202560 11293 0 1 0 8 1 0 0 18 0 18 0 877790320 10793267200 12916 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826066763 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540300
[startup+0.300377 s]
/proc/loadavg: 1.88 1.97 1.83 2/195 10848
/proc/meminfo: memFree=29450584/32950928 swapFree=67050640/67111528
[pid=10848] ppid=10846 vsize=10544392 CPUtime=0.57 cores=0,2,4,6
/proc/10848/stat : 10848 (java) S 10846 10848 9477 0 -1 4202496 19335 0 1 0 54 3 0 0 25 0 19 0 877790319 10797457408 16909 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10848/statm: 2636098 16910 2192 9 0 2626832 0
[pid=10848/tid=10849] ppid=10846 vsize=10544392 CPUtime=0.27 cores=0,2,4,6
/proc/10848/task/10849/stat : 10849 (java) R 10846 10848 9477 0 -1 4202560 13555 0 1 0 26 1 0 0 19 0 19 0 877790320 10797457408 16910 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 46912505559026 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 10544392
[startup+0.700316 s]
/proc/loadavg: 1.88 1.97 1.83 2/195 10848
/proc/meminfo: memFree=29450584/32950928 swapFree=67050640/67111528
[pid=10848] ppid=10846 vsize=10557920 CPUtime=1.76 cores=0,2,4,6
/proc/10848/stat : 10848 (java) S 10846 10848 9477 0 -1 4202496 50026 0 1 0 169 7 0 0 25 0 19 0 877790319 10811310080 42752 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10848/statm: 2639480 42754 2217 9 0 2630214 0
[pid=10848/tid=10849] ppid=10846 vsize=10557920 CPUtime=0.67 cores=0,2,4,6
/proc/10848/task/10849/stat : 10849 (java) R 10846 10848 9477 0 -1 4202560 33058 0 1 0 64 3 0 0 18 0 19 0 877790320 10811310080 42754 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 46912505558902 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.76
Current children cumulated vsize (KiB) 10557920
[startup+1.50118 s]
/proc/loadavg: 1.88 1.97 1.83 3/214 10867
/proc/meminfo: memFree=29172148/32950928 swapFree=67050640/67111528
[pid=10848] ppid=10846 vsize=10557920 CPUtime=2.94 cores=0,2,4,6
/proc/10848/stat : 10848 (java) S 10846 10848 9477 0 -1 4202496 129989 0 1 0 278 16 0 0 25 0 19 0 877790319 10811310080 122396 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10848/statm: 2639480 122400 2221 9 0 2630214 0
[pid=10848/tid=10849] ppid=10846 vsize=10557920 CPUtime=1.47 cores=0,2,4,6
/proc/10848/task/10849/stat : 10849 (java) R 10846 10848 9477 0 -1 4202560 112839 0 1 0 135 12 0 0 19 0 19 0 877790320 10811310080 122402 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 46912505585523 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10848/tid=10851] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10851/stat : 10851 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 122404 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10852] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10852/stat : 10852 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 122406 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10853] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10853/stat : 10853 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 122409 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10854] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10854/stat : 10854 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 122412 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10855] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10855/stat : 10855 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 122415 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10856] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10856/stat : 10856 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 122418 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10857] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10857/stat : 10857 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 122420 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10858] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10858/stat : 10858 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 122422 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10859] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10859/stat : 10859 (java) S 10846 10848 9477 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877790322 10811310080 122425 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056704 0 0 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10860] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10860/stat : 10860 (java) S 10846 10848 9477 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877790323 10811310080 122427 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10861] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10861/stat : 10861 (java) S 10846 10848 9477 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877790323 10811310080 122430 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10862] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10862/stat : 10862 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790325 10811310080 122432 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826063793 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10863] ppid=10846 vsize=10557920 CPUtime=0.76 cores=0,2,4,6
/proc/10848/task/10863/stat : 10863 (java) S 10846 10848 9477 0 -1 4202560 7330 0 0 0 75 1 0 0 21 0 19 0 877790325 10811310080 122435 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 0 0 0 0
[pid=10848/tid=10864] ppid=10846 vsize=10557920 CPUtime=0.69 cores=0,2,4,6
/proc/10848/task/10864/stat : 10864 (java) S 10846 10848 9477 0 -1 4202560 8666 0 0 0 67 2 0 0 15 0 19 0 877790325 10811310080 122437 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10865] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10865/stat : 10865 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790325 10811310080 122440 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10866] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10866/stat : 10866 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877790325 10811310080 122443 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056704 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10867] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10867/stat : 10867 (java) S 10846 10848 9477 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877790332 10811310080 122445 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056704 0 4 0 16800975 18446604451987968256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 10557920
[startup+3.10092 s]
/proc/loadavg: 1.88 1.97 1.83 3/214 10867
/proc/meminfo: memFree=28730580/32950928 swapFree=67050640/67111528
[pid=10848] ppid=10846 vsize=10557920 CPUtime=4.57 cores=0,2,4,6
/proc/10848/stat : 10848 (java) S 10846 10848 9477 0 -1 4202496 284732 0 1 0 424 33 0 0 25 0 19 0 877790319 10811310080 277136 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10848/statm: 2639480 277138 2221 9 0 2630214 0
[pid=10848/tid=10849] ppid=10846 vsize=10557920 CPUtime=3.07 cores=0,2,4,6
/proc/10848/task/10849/stat : 10849 (java) R 10846 10848 9477 0 -1 4202560 267574 0 1 0 278 29 0 0 18 0 19 0 877790320 10811310080 277139 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 46912505587008 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10848/tid=10851] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10851/stat : 10851 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 277142 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10852] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10852/stat : 10852 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 277144 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10853] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10853/stat : 10853 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 277146 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10854] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10854/stat : 10854 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 277149 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10855] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10855/stat : 10855 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 277151 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10856] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10856/stat : 10856 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 277153 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10857] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10857/stat : 10857 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 277155 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10858] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10858/stat : 10858 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 277158 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10859] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10859/stat : 10859 (java) S 10846 10848 9477 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 877790322 10811310080 277160 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056704 0 0 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10860] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10860/stat : 10860 (java) S 10846 10848 9477 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877790323 10811310080 277162 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10861] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10861/stat : 10861 (java) S 10846 10848 9477 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877790323 10811310080 277164 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10862] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10862/stat : 10862 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790325 10811310080 277166 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826063793 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10863] ppid=10846 vsize=10557920 CPUtime=0.79 cores=0,2,4,6
/proc/10848/task/10863/stat : 10863 (java) S 10846 10848 9477 0 -1 4202560 7334 0 0 0 78 1 0 0 15 0 19 0 877790325 10811310080 277169 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 0 0 0 0
[pid=10848/tid=10864] ppid=10846 vsize=10557920 CPUtime=0.69 cores=0,2,4,6
/proc/10848/task/10864/stat : 10864 (java) S 10846 10848 9477 0 -1 4202560 8666 0 0 0 67 2 0 0 15 0 19 0 877790325 10811310080 277171 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10865] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10865/stat : 10865 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790325 10811310080 277174 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10866] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10866/stat : 10866 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 877790325 10811310080 277177 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056704 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10867] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10867/stat : 10867 (java) S 10846 10848 9477 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877790332 10811310080 277179 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056704 0 4 0 16800975 18446604451987968256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 10557920
Solver just ended. Dumping a history of the last processes samples
[startup+4.70158 s]
/proc/loadavg: 1.88 1.97 1.83 3/214 10867
/proc/meminfo: memFree=27876844/32950928 swapFree=67050640/67111528
[pid=10848] ppid=10846 vsize=10557920 CPUtime=6.17 cores=0,2,4,6
/proc/10848/stat : 10848 (java) S 10846 10848 9477 0 -1 4202496 436874 0 1 0 570 47 0 0 25 0 19 0 877790319 10811310080 429277 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10848/statm: 2639480 429281 2222 9 0 2630214 0
[pid=10848/tid=10849] ppid=10846 vsize=10557920 CPUtime=4.68 cores=0,2,4,6
/proc/10848/task/10849/stat : 10849 (java) R 10846 10848 9477 0 -1 4202560 419718 0 1 0 424 44 0 0 20 0 19 0 877790320 10811310080 429283 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 46912505585538 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10848/tid=10851] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10851/stat : 10851 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 429285 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10852] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10852/stat : 10852 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 429287 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10853] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10853/stat : 10853 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 429289 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10854] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10854/stat : 10854 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 429291 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10855] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10855/stat : 10855 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 429294 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10856] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10856/stat : 10856 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 429296 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10857] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10857/stat : 10857 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 429298 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10858] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10858/stat : 10858 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 429300 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10859] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10859/stat : 10859 (java) S 10846 10848 9477 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 877790322 10811310080 429302 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056704 0 0 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10860] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10860/stat : 10860 (java) S 10846 10848 9477 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877790323 10811310080 429304 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10861] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10861/stat : 10861 (java) S 10846 10848 9477 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877790323 10811310080 429306 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10862] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10862/stat : 10862 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790325 10811310080 429308 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826063793 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10863] ppid=10846 vsize=10557920 CPUtime=0.79 cores=0,2,4,6
/proc/10848/task/10863/stat : 10863 (java) S 10846 10848 9477 0 -1 4202560 7334 0 0 0 78 1 0 0 15 0 19 0 877790325 10811310080 429311 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 0 0 0 0
[pid=10848/tid=10864] ppid=10846 vsize=10557920 CPUtime=0.69 cores=0,2,4,6
/proc/10848/task/10864/stat : 10864 (java) S 10846 10848 9477 0 -1 4202560 8666 0 0 0 67 2 0 0 15 0 19 0 877790325 10811310080 429313 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10865] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10865/stat : 10865 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790325 10811310080 429315 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10866] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10866/stat : 10866 (java) S 10846 10848 9477 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877790325 10811310080 429317 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056704 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10867] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10867/stat : 10867 (java) S 10846 10848 9477 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877790332 10811310080 429320 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056704 0 4 0 16800975 18446604451987968256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 10557920
[startup+5.10147 s]
/proc/loadavg: 1.88 1.97 1.83 3/214 10867
/proc/meminfo: memFree=27876844/32950928 swapFree=67050640/67111528
[pid=10848] ppid=10846 vsize=10557920 CPUtime=6.57 cores=0,2,4,6
/proc/10848/stat : 10848 (java) S 10846 10848 9477 0 -1 4202496 473988 0 1 0 606 51 0 0 25 0 19 0 877790319 10811310080 466391 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10848/statm: 2639480 466394 2222 9 0 2630214 0
[pid=10848/tid=10849] ppid=10846 vsize=10557920 CPUtime=5.08 cores=0,2,4,6
/proc/10848/task/10849/stat : 10849 (java) R 10846 10848 9477 0 -1 4202560 456830 0 1 0 460 48 0 0 21 0 19 0 877790320 10811310080 466395 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 46912505587011 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=10848/tid=10851] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10851/stat : 10851 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 466396 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10852] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10852/stat : 10852 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 466398 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10853] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10853/stat : 10853 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 466400 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10854] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10854/stat : 10854 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 466403 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10855] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10855/stat : 10855 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 466405 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10856] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10856/stat : 10856 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 466408 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10857] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10857/stat : 10857 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 466410 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10858] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10858/stat : 10858 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790321 10811310080 466413 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10859] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10859/stat : 10859 (java) S 10846 10848 9477 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 877790322 10811310080 466415 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056704 0 0 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10860] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10860/stat : 10860 (java) S 10846 10848 9477 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 877790323 10811310080 466418 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10861] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10861/stat : 10861 (java) S 10846 10848 9477 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 877790323 10811310080 466421 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10862] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10862/stat : 10862 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790325 10811310080 466423 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826063793 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10863] ppid=10846 vsize=10557920 CPUtime=0.79 cores=0,2,4,6
/proc/10848/task/10863/stat : 10863 (java) S 10846 10848 9477 0 -1 4202560 7334 0 0 0 78 1 0 0 15 0 19 0 877790325 10811310080 466425 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 0 0 0 0
[pid=10848/tid=10864] ppid=10846 vsize=10557920 CPUtime=0.69 cores=0,2,4,6
/proc/10848/task/10864/stat : 10864 (java) S 10846 10848 9477 0 -1 4202560 8666 0 0 0 67 2 0 0 15 0 19 0 877790325 10811310080 466428 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 4 0 0 0
[pid=10848/tid=10865] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10865/stat : 10865 (java) S 10846 10848 9477 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 877790325 10811310080 466430 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056089 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10866] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10866/stat : 10866 (java) S 10846 10848 9477 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 877790325 10811310080 466433 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056704 0 4 0 16800975 18446604451987968256 0 0 -1 6 0 0 0
[pid=10848/tid=10867] ppid=10846 vsize=10557920 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10867/stat : 10867 (java) S 10846 10848 9477 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 877790332 10811310080 466435 33554432000 1073741824 1073778376 140734500547056 18446744073709551615 251826056704 0 4 0 16800975 18446604451987968256 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 6.57
Current children cumulated vsize (KiB) 10557920
[startup+5.50751 s]
/proc/loadavg: 1.89 1.97 1.83 3/214 10867
/proc/meminfo: memFree=27466652/32950928 swapFree=67050640/67111528
[pid=10848] ppid=10846 vsize=0 CPUtime=6.99 cores=0,2,4,6
/proc/10848/stat : 10848 (java) Z 10846 10848 9477 0 -1 4203548 508671 0 1 0 643 56 0 0 18 0 2 0 877790319 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/10848/statm: 0 0 0 0 0 0 0
[pid=10848/tid=10858] ppid=10846 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/10848/task/10858/stat : 10858 (java) R 10846 10848 9477 0 -1 4203588 1 0 0 0 0 0 0 0 18 0 2 0 877790321 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.99
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 5.57584
CPU time (s): 7.06492
CPU user time (s): 6.43102
CPU system time (s): 0.633903
CPU usage (%): 126.706
Max. virtual memory (cumulated for all children) (KiB): 10558684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.43102
system time used= 0.633903
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 508671
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= 354
involuntary context switches= 83
runsolver used 0.010998 second user time and 0.025996 second system time
The end