runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4264261-1502284484/watcher-4264261-1502284484 -o /tmp/evaluation-result-4264261-1502284484/solver-4264261-1502284484 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502258125-5060 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4264261-1502284484.xml
pid=9462
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.87 1.89 1.94 3/204 9465
/proc/meminfo: memFree=30918340/32770624 swapFree=0/521984
[pid=9465] ppid=9462 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/9465/stat : 9465 (runsolver) D 9462 9465 31388 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 75954617 24240128 108 18446744073709551615 4194304 4338465 140735184412640 140735184410280 140523337990871 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 7352320 140735184416928 140735184417353 140735184417353 140735184420810 0
/proc/9465/statm: 5918 108 54 36 0 2156 0
[startup+0.100111 s]
/proc/loadavg: 1.87 1.89 1.94 3/204 9465
/proc/meminfo: memFree=30918340/32770624 swapFree=0/521984
[pid=9465] ppid=9462 vsize=10018544 CPUtime=0.01 cores=0,2,4,6
/proc/9465/stat : 9465 (java) S 9462 9465 31388 0 -1 1077944320 3778 0 0 0 1 0 0 0 20 0 7 0 75954617 10258989056 3975 18446744073709551615 4194304 4196468 140736681911472 140736681894016 140496260148983 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
/proc/9465/statm: 2504636 3975 2017 1 0 2494133 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10018544
[startup+0.200271 s]
/proc/loadavg: 1.87 1.89 1.94 3/204 9465
/proc/meminfo: memFree=30918340/32770624 swapFree=0/521984
[pid=9465] ppid=9462 vsize=10551180 CPUtime=0.09 cores=0,2,4,6
/proc/9465/stat : 9465 (java) S 9462 9465 31388 0 -1 1077944320 5163 0 0 0 8 1 0 0 20 0 15 0 75954617 10804408320 6691 18446744073709551615 4194304 4196468 140736681911472 140736681894016 140496260148983 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
/proc/9465/statm: 2637795 6691 2678 1 0 2627261 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10551180
[startup+0.300597 s]
/proc/loadavg: 1.87 1.89 1.94 3/204 9465
/proc/meminfo: memFree=30918340/32770624 swapFree=0/521984
[pid=9465] ppid=9462 vsize=10553264 CPUtime=0.29 cores=0,2,4,6
/proc/9465/stat : 9465 (java) S 9462 9465 31388 0 -1 1077944320 9048 0 0 0 26 3 0 0 20 0 15 0 75954617 10806542336 9899 18446744073709551615 4194304 4196468 140736681911472 140736681894016 140496260148983 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
/proc/9465/statm: 2638316 9899 2921 1 0 2627261 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10553264
[startup+0.700209 s]
/proc/loadavg: 1.87 1.89 1.94 3/204 9465
/proc/meminfo: memFree=30918340/32770624 swapFree=0/521984
[pid=9465] ppid=9462 vsize=10621952 CPUtime=1.35 cores=0,2,4,6
/proc/9465/stat : 9465 (java) S 9462 9465 31388 0 -1 1077944320 14701 0 0 0 129 6 0 0 20 0 16 0 75954617 10876878848 21991 18446744073709551615 4194304 4196468 140736681911472 140736681894016 140496260148983 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
/proc/9465/statm: 2655488 21991 3082 1 0 2644414 0
Current children cumulated CPU time (s) 1.35
Current children cumulated vsize (KiB) 10621952
[startup+1.5007 s]
/proc/loadavg: 2.04 1.92 1.95 6/220 9481
/proc/meminfo: memFree=30806796/32770624 swapFree=0/522032
[pid=9465] ppid=9462 vsize=10624000 CPUtime=3.62 cores=0,2,4,6
/proc/9465/stat : 9465 (java) S 9462 9465 31388 0 -1 1077944320 20107 0 0 0 355 7 0 0 20 0 16 0 75954617 10878976000 34675 18446744073709551615 4194304 4196468 140736681911472 140736681894016 140496260148983 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
/proc/9465/statm: 2656000 34675 3109 1 0 2644926 0
[pid=9465/tid=9467] ppid=9462 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/9465/task/9467/stat : 9467 (java) S 9462 9465 31388 0 -1 1077944384 6244 0 0 0 19 2 0 0 20 0 16 0 75954625 10878976000 34675 18446744073709551615 4194304 4196468 140736681911472 140496264391856 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9468] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9468/stat : 9468 (java) S 9462 9465 31388 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 75954625 10878976000 34675 18446744073709551615 4194304 4196468 140736681911472 140495871794192 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9469] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9469/stat : 9469 (java) S 9462 9465 31388 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 75954625 10878976000 34675 18446744073709551615 4194304 4196468 140736681911472 140495870741648 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9470] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9470/stat : 9470 (java) S 9462 9465 31388 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 75954625 10878976000 34675 18446744073709551615 4194304 4196468 140736681911472 140495869688592 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9471] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9471/stat : 9471 (java) S 9462 9465 31388 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 75954625 10878976000 34675 18446744073709551615 4194304 4196468 140736681911472 140495868636048 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9472] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9472/stat : 9472 (java) S 9462 9465 31388 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 75954627 10878976000 34675 18446744073709551615 4194304 4196468 140736681911472 140495756957936 140496260160130 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9473] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9473/stat : 9473 (java) S 9462 9465 31388 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 75954627 10878976000 34675 18446744073709551615 4194304 4196468 140736681911472 140495755904160 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9474] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9474/stat : 9474 (java) S 9462 9465 31388 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 75954628 10878976000 34675 18446744073709551615 4194304 4196468 140736681911472 140495754851056 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9475] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9475/stat : 9475 (java) S 9462 9465 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 75954630 10878976000 34675 18446744073709551615 4194304 4196468 140736681911472 140495753799632 140496260167579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9476] ppid=9462 vsize=10624000 CPUtime=0.83 cores=0,2,4,6
/proc/9465/task/9476/stat : 9476 (java) R 9462 9465 31388 0 -1 4202560 3294 0 0 0 83 0 0 0 20 0 16 0 75954630 10878976000 34675 18446744073709551615 4194304 4196468 140736681911472 140495752747760 140496245058000 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9477] ppid=9462 vsize=10624000 CPUtime=0.77 cores=0,2,4,6
/proc/9465/task/9477/stat : 9477 (java) S 9462 9465 31388 0 -1 1077944384 2653 0 0 0 77 0 0 0 20 0 16 0 75954630 10878976000 34675 18446744073709551615 4194304 4196468 140736681911472 140495751695216 140496260160130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9478] ppid=9462 vsize=10624000 CPUtime=0.63 cores=0,2,4,6
/proc/9465/task/9478/stat : 9478 (java) S 9462 9465 31388 0 -1 1077944384 2614 0 0 0 63 0 0 0 20 0 16 0 75954630 10878976000 34675 18446744073709551615 4194304 4196468 140736681911472 140495750642160 140496260160130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9479] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9479/stat : 9479 (java) S 9462 9465 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 75954630 10878976000 34675 18446744073709551615 4194304 4196468 140736681911472 140495749589856 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9480] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9480/stat : 9480 (java) S 9462 9465 31388 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 75954634 10878976000 34675 18446744073709551615 4194304 4196468 140736681911472 140495748536880 140496260160130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9481] ppid=9462 vsize=10624000 CPUtime=1.15 cores=0,2,4,6
/proc/9465/task/9481/stat : 9481 (java) R 9462 9465 31388 0 -1 4202560 3932 0 0 0 112 3 0 0 20 0 16 0 75954651 10878976000 34675 18446744073709551615 4194304 4196468 140736681911472 140495745346000 140495908809408 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 9465 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60086 s]
/proc/loadavg: 2.04 1.92 1.95 6/220 9481
/proc/meminfo: memFree=30806796/32770624 swapFree=0/522032
[pid=9465] ppid=9462 vsize=10624000 CPUtime=3.79 cores=0,2,4,6
/proc/9465/stat : 9465 (java) S 9462 9465 31388 0 -1 1077944320 20220 0 0 0 372 7 0 0 20 0 16 0 75954617 10878976000 34705 18446744073709551615 4194304 4196468 140736681911472 140736681894016 140496260148983 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
/proc/9465/statm: 2656000 34705 3109 1 0 2644926 0
[pid=9465/tid=9467] ppid=9462 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/9465/task/9467/stat : 9467 (java) S 9462 9465 31388 0 -1 1077944384 6244 0 0 0 19 2 0 0 20 0 16 0 75954625 10878976000 34705 18446744073709551615 4194304 4196468 140736681911472 140496264391856 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9468] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9468/stat : 9468 (java) S 9462 9465 31388 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 75954625 10878976000 34705 18446744073709551615 4194304 4196468 140736681911472 140495871794192 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9469] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9469/stat : 9469 (java) S 9462 9465 31388 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 75954625 10878976000 34705 18446744073709551615 4194304 4196468 140736681911472 140495870741648 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9470] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9470/stat : 9470 (java) S 9462 9465 31388 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 75954625 10878976000 34705 18446744073709551615 4194304 4196468 140736681911472 140495869688592 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9471] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9471/stat : 9471 (java) S 9462 9465 31388 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 75954625 10878976000 34705 18446744073709551615 4194304 4196468 140736681911472 140495868636048 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9472] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9472/stat : 9472 (java) S 9462 9465 31388 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 75954627 10878976000 34705 18446744073709551615 4194304 4196468 140736681911472 140495756957936 140496260160130 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9473] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9473/stat : 9473 (java) S 9462 9465 31388 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 75954627 10878976000 34705 18446744073709551615 4194304 4196468 140736681911472 140495755904160 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9474] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9474/stat : 9474 (java) S 9462 9465 31388 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 75954628 10878976000 34705 18446744073709551615 4194304 4196468 140736681911472 140495754851056 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9475] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9475/stat : 9475 (java) S 9462 9465 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 75954630 10878976000 34705 18446744073709551615 4194304 4196468 140736681911472 140495753799632 140496260167579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9476] ppid=9462 vsize=10624000 CPUtime=0.87 cores=0,2,4,6
/proc/9465/task/9476/stat : 9476 (java) S 9462 9465 31388 0 -1 1077944384 3365 0 0 0 87 0 0 0 20 0 16 0 75954630 10878976000 34705 18446744073709551615 4194304 4196468 140736681911472 140495752747760 140496260160130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9477] ppid=9462 vsize=10624000 CPUtime=0.79 cores=0,2,4,6
/proc/9465/task/9477/stat : 9477 (java) S 9462 9465 31388 0 -1 1077944384 2659 0 0 0 79 0 0 0 20 0 16 0 75954630 10878976000 34705 18446744073709551615 4194304 4196468 140736681911472 140495751695216 140496260160130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9478] ppid=9462 vsize=10624000 CPUtime=0.64 cores=0,2,4,6
/proc/9465/task/9478/stat : 9478 (java) S 9462 9465 31388 0 -1 1077944384 2650 0 0 0 64 0 0 0 20 0 16 0 75954630 10878976000 34705 18446744073709551615 4194304 4196468 140736681911472 140495750642160 140496260160130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9479] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9479/stat : 9479 (java) S 9462 9465 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 75954630 10878976000 34705 18446744073709551615 4194304 4196468 140736681911472 140495749589856 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9480] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9480/stat : 9480 (java) S 9462 9465 31388 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 75954634 10878976000 34705 18446744073709551615 4194304 4196468 140736681911472 140495748536880 140496260160130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9481] ppid=9462 vsize=10624000 CPUtime=1.25 cores=0,2,4,6
/proc/9465/task/9481/stat : 9481 (java) R 9462 9465 31388 0 -1 4202560 3933 0 0 0 122 3 0 0 20 0 16 0 75954651 10878976000 34705 18446744073709551615 4194304 4196468 140736681911472 140495745271072 140495909236166 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
Current children cumulated CPU time (s) 3.79
Current children cumulated vsize (KiB) 10624000
[startup+1.80072 s]
/proc/loadavg: 2.04 1.92 1.95 6/220 9481
/proc/meminfo: memFree=30806796/32770624 swapFree=0/522032
[pid=9465] ppid=9462 vsize=10624000 CPUtime=4.06 cores=0,2,4,6
/proc/9465/stat : 9465 (java) S 9462 9465 31388 0 -1 1077944320 21967 0 0 0 398 8 0 0 20 0 16 0 75954617 10878976000 35879 18446744073709551615 4194304 4196468 140736681911472 140736681894016 140496260148983 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 7 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
/proc/9465/statm: 2656000 35879 3109 1 0 2644926 0
[pid=9465/tid=9467] ppid=9462 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/9465/task/9467/stat : 9467 (java) S 9462 9465 31388 0 -1 1077944384 6244 0 0 0 19 2 0 0 20 0 16 0 75954625 10878976000 35879 18446744073709551615 4194304 4196468 140736681911472 140496264391856 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9468] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9468/stat : 9468 (java) S 9462 9465 31388 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 75954625 10878976000 35879 18446744073709551615 4194304 4196468 140736681911472 140495871794192 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9469] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9469/stat : 9469 (java) S 9462 9465 31388 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 75954625 10878976000 35879 18446744073709551615 4194304 4196468 140736681911472 140495870741648 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9470] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9470/stat : 9470 (java) S 9462 9465 31388 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 75954625 10878976000 35879 18446744073709551615 4194304 4196468 140736681911472 140495869688592 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9471] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9471/stat : 9471 (java) S 9462 9465 31388 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 75954625 10878976000 35879 18446744073709551615 4194304 4196468 140736681911472 140495868636048 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9472] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9472/stat : 9472 (java) S 9462 9465 31388 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 75954627 10878976000 35879 18446744073709551615 4194304 4196468 140736681911472 140495756957936 140496260160130 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9473] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9473/stat : 9473 (java) S 9462 9465 31388 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 75954627 10878976000 35879 18446744073709551615 4194304 4196468 140736681911472 140495755904160 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9474] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9474/stat : 9474 (java) S 9462 9465 31388 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 75954628 10878976000 35879 18446744073709551615 4194304 4196468 140736681911472 140495754851056 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9475] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9475/stat : 9475 (java) S 9462 9465 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 75954630 10878976000 35879 18446744073709551615 4194304 4196468 140736681911472 140495753799632 140496260167579 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9476] ppid=9462 vsize=10624000 CPUtime=0.88 cores=0,2,4,6
/proc/9465/task/9476/stat : 9476 (java) S 9462 9465 31388 0 -1 1077944384 3374 0 0 0 88 0 0 0 20 0 16 0 75954630 10878976000 35879 18446744073709551615 4194304 4196468 140736681911472 140495752747760 140496260160130 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9477] ppid=9462 vsize=10624000 CPUtime=0.84 cores=0,2,4,6
/proc/9465/task/9477/stat : 9477 (java) S 9462 9465 31388 0 -1 1077944384 2678 0 0 0 84 0 0 0 20 0 16 0 75954630 10878976000 35879 18446744073709551615 4194304 4196468 140736681911472 140495751695216 140496260160130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9478] ppid=9462 vsize=10624000 CPUtime=0.65 cores=0,2,4,6
/proc/9465/task/9478/stat : 9478 (java) S 9462 9465 31388 0 -1 1077944384 2672 0 0 0 65 0 0 0 20 0 16 0 75954630 10878976000 35879 18446744073709551615 4194304 4196468 140736681911472 140495750642160 140496260160130 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9479] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9479/stat : 9479 (java) S 9462 9465 31388 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 75954630 10878976000 35879 18446744073709551615 4194304 4196468 140736681911472 140495749589856 140496260159189 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9480] ppid=9462 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/9465/task/9480/stat : 9480 (java) S 9462 9465 31388 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 75954634 10878976000 35879 18446744073709551615 4194304 4196468 140736681911472 140495748536880 140496260160130 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
[pid=9465/tid=9481] ppid=9462 vsize=10624000 CPUtime=1.45 cores=0,2,4,6
/proc/9465/task/9481/stat : 9481 (java) R 9462 9465 31388 0 -1 4202560 5629 0 0 0 141 4 0 0 20 0 16 0 75954651 10878976000 35879 18446744073709551615 4194304 4196468 140736681911472 140495745334480 140495909483856 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6803456 140736681914829 140736681914958 140736681914958 140736681918415 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 1.86573
CPU time (s): 4.24472
CPU user time (s): 4.14901
CPU system time (s): 0.095707
CPU usage (%): 227.509
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.14901
system time used= 0.095707
maximum resident set size= 146276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24013
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2304
involuntary context switches= 9
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.01085 second user time and 0.011836 second system time
The end