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-4257589-1501647178/watcher-4257589-1501647178 -o /tmp/evaluation-result-4257589-1501647178/solver-4257589-1501647178 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501642909-6626 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257589-1501647178.xml
pid=10536
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.97 1.97 1.91 3/199 10539
/proc/meminfo: memFree=31663528/32770624 swapFree=0/322580
[pid=10539] ppid=10536 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10539/stat : 10539 (runsolver) D 10536 10539 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 12223611 24240128 108 18446744073709551615 4194304 4338465 140736674737760 140736674735400 139834189927127 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 16355328 140736674742432 140736674742854 140736674742854 140736674746314 0
/proc/10539/statm: 5918 108 54 36 0 2156 0
[startup+0.100148 s]
/proc/loadavg: 1.97 1.97 1.91 3/199 10539
/proc/meminfo: memFree=31663528/32770624 swapFree=0/322580
[pid=10539] ppid=10536 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10539/stat : 10539 (runsolver) D 10536 10539 5234 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 12223611 24240128 108 18446744073709551615 4194304 4338465 140736674737760 140736674735400 139834189927127 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 16355328 140736674742432 140736674742854 140736674742854 140736674746314 0
/proc/10539/statm: 5918 108 54 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200318 s]
/proc/loadavg: 1.97 1.97 1.91 3/199 10539
/proc/meminfo: memFree=31663528/32770624 swapFree=0/322580
[pid=10539] ppid=10536 vsize=10484492 CPUtime=0.05 cores=0,2,4,6
/proc/10539/stat : 10539 (java) S 10536 10539 5234 0 -1 1077944320 4833 0 0 0 5 0 0 0 20 0 14 0 12223611 10736119808 5877 18446744073709551615 4194304 4196468 140724372763888 140724372746432 140563808554743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
/proc/10539/statm: 2621123 5877 2569 1 0 2610628 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10484492
[startup+0.300316 s]
/proc/loadavg: 1.97 1.97 1.91 3/199 10539
/proc/meminfo: memFree=31663528/32770624 swapFree=0/322580
[pid=10539] ppid=10536 vsize=10551180 CPUtime=0.22 cores=0,2,4,6
/proc/10539/stat : 10539 (java) S 10536 10539 5234 0 -1 1077944320 8628 0 0 0 20 2 0 0 20 0 15 0 12223611 10804408320 8985 18446744073709551615 4194304 4196468 140724372763888 140724372746432 140563808554743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
/proc/10539/statm: 2637795 8985 2887 1 0 2627269 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 10551180
[startup+0.707612 s]
/proc/loadavg: 1.97 1.97 1.91 3/199 10539
/proc/meminfo: memFree=31663528/32770624 swapFree=0/322580
[pid=10539] ppid=10536 vsize=10621952 CPUtime=1.12 cores=0,2,4,6
/proc/10539/stat : 10539 (java) S 10536 10539 5234 0 -1 1077944320 13368 0 0 0 107 5 0 0 20 0 16 0 12223611 10876878848 19031 18446744073709551615 4194304 4196468 140724372763888 140724372746432 140563808554743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
/proc/10539/statm: 2655488 19031 3067 1 0 2644422 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 10621952
[startup+1.5006 s]
/proc/loadavg: 1.97 1.97 1.91 6/215 10555
/proc/meminfo: memFree=31553536/32770624 swapFree=0/322588
[pid=10539] ppid=10536 vsize=10624000 CPUtime=3.09 cores=0,2,4,6
/proc/10539/stat : 10539 (java) S 10536 10539 5234 0 -1 1077944320 18864 0 0 0 302 7 0 0 20 0 16 0 12223611 10878976000 26613 18446744073709551615 4194304 4196468 140724372763888 140724372746432 140563808554743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
/proc/10539/statm: 2656000 26613 3096 1 0 2644934 0
[pid=10539/tid=10541] ppid=10536 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/10539/task/10541/stat : 10541 (java) S 10536 10539 5234 0 -1 1077944384 6193 0 0 0 19 2 0 0 20 0 16 0 12223622 10878976000 26613 18446744073709551615 4194304 4196468 140724372763888 140563812797616 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10542] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10542/stat : 10542 (java) S 10536 10539 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12223622 10878976000 26613 18446744073709551615 4194304 4196468 140724372763888 140563749591824 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10543] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10543/stat : 10543 (java) S 10536 10539 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12223622 10878976000 26613 18446744073709551615 4194304 4196468 140724372763888 140563748539280 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10544] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10544/stat : 10544 (java) S 10536 10539 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12223622 10878976000 26613 18446744073709551615 4194304 4196468 140724372763888 140563747486736 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10545] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10545/stat : 10545 (java) S 10536 10539 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 12223622 10878976000 26613 18446744073709551615 4194304 4196468 140724372763888 140563746434192 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10546] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10546/stat : 10546 (java) S 10536 10539 5234 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 12223624 10878976000 26613 18446744073709551615 4194304 4196468 140724372763888 140563304953840 140563808565890 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10547] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10547/stat : 10547 (java) S 10536 10539 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 12223624 10878976000 26613 18446744073709551615 4194304 4196468 140724372763888 140563303900064 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10548] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10548/stat : 10548 (java) S 10536 10539 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 12223624 10878976000 26613 18446744073709551615 4194304 4196468 140724372763888 140563302847472 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10549] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10549/stat : 10549 (java) S 10536 10539 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12223627 10878976000 26613 18446744073709551615 4194304 4196468 140724372763888 140563301796048 140563808573339 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10550] ppid=10536 vsize=10624000 CPUtime=0.64 cores=0,2,4,6
/proc/10539/task/10550/stat : 10550 (java) S 10536 10539 5234 0 -1 1077944384 1471 0 0 0 64 0 0 0 20 0 16 0 12223627 10878976000 26613 18446744073709551615 4194304 4196468 140724372763888 140563300743664 140563808565890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10551] ppid=10536 vsize=10624000 CPUtime=0.66 cores=0,2,4,6
/proc/10539/task/10551/stat : 10551 (java) S 10536 10539 5234 0 -1 1077944384 1577 0 0 0 66 0 0 0 20 0 16 0 12223627 10878976000 26613 18446744073709551615 4194304 4196468 140724372763888 140563299691120 140563808565890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10552] ppid=10536 vsize=10624000 CPUtime=0.42 cores=0,2,4,6
/proc/10539/task/10552/stat : 10552 (java) S 10536 10539 5234 0 -1 1077944384 2451 0 0 0 42 0 0 0 20 0 16 0 12223627 10878976000 26613 18446744073709551615 4194304 4196468 140724372763888 140563298638576 140563808565890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10553] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10553/stat : 10553 (java) S 10536 10539 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12223627 10878976000 26613 18446744073709551615 4194304 4196468 140724372763888 140563297586272 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10554] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10554/stat : 10554 (java) S 10536 10539 5234 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 12223631 10878976000 26613 18446744073709551615 4194304 4196468 140724372763888 140563296532784 140563808565890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10555] ppid=10536 vsize=10624000 CPUtime=1.11 cores=0,2,4,6
/proc/10539/task/10555/stat : 10555 (java) R 10536 10539 5234 0 -1 4202560 5795 0 0 0 109 2 0 0 20 0 16 0 12223648 10878976000 26613 18446744073709551615 4194304 4196468 140724372763888 140563293335040 140563429237214 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 10539 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.6007 s]
/proc/loadavg: 1.97 1.97 1.91 6/215 10555
/proc/meminfo: memFree=31553536/32770624 swapFree=0/322588
[pid=10539] ppid=10536 vsize=10624000 CPUtime=3.2 cores=0,2,4,6
/proc/10539/stat : 10539 (java) S 10536 10539 5234 0 -1 1077944320 19172 0 0 0 313 7 0 0 20 0 16 0 12223611 10878976000 27127 18446744073709551615 4194304 4196468 140724372763888 140724372746432 140563808554743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
/proc/10539/statm: 2656000 27127 3096 1 0 2644934 0
[pid=10539/tid=10541] ppid=10536 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/10539/task/10541/stat : 10541 (java) S 10536 10539 5234 0 -1 1077944384 6193 0 0 0 19 2 0 0 20 0 16 0 12223622 10878976000 27127 18446744073709551615 4194304 4196468 140724372763888 140563812797616 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10542] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10542/stat : 10542 (java) S 10536 10539 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12223622 10878976000 27127 18446744073709551615 4194304 4196468 140724372763888 140563749591824 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10543] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10543/stat : 10543 (java) S 10536 10539 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12223622 10878976000 27127 18446744073709551615 4194304 4196468 140724372763888 140563748539280 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10544] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10544/stat : 10544 (java) S 10536 10539 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12223622 10878976000 27127 18446744073709551615 4194304 4196468 140724372763888 140563747486736 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10545] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10545/stat : 10545 (java) S 10536 10539 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 12223622 10878976000 27127 18446744073709551615 4194304 4196468 140724372763888 140563746434192 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10546] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10546/stat : 10546 (java) S 10536 10539 5234 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 16 0 12223624 10878976000 27127 18446744073709551615 4194304 4196468 140724372763888 140563304953840 140563808565890 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10547] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10547/stat : 10547 (java) S 10536 10539 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 12223624 10878976000 27127 18446744073709551615 4194304 4196468 140724372763888 140563303900064 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10548] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10548/stat : 10548 (java) S 10536 10539 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 12223624 10878976000 27127 18446744073709551615 4194304 4196468 140724372763888 140563302847472 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10549] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10549/stat : 10549 (java) S 10536 10539 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12223627 10878976000 27127 18446744073709551615 4194304 4196468 140724372763888 140563301796048 140563808573339 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10550] ppid=10536 vsize=10624000 CPUtime=0.65 cores=0,2,4,6
/proc/10539/task/10550/stat : 10550 (java) R 10536 10539 5234 0 -1 4202560 1770 0 0 0 65 0 0 0 20 0 16 0 12223627 10878976000 27127 18446744073709551615 4194304 4196468 140724372763888 140563300743664 140563789255040 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10551] ppid=10536 vsize=10624000 CPUtime=0.66 cores=0,2,4,6
/proc/10539/task/10551/stat : 10551 (java) S 10536 10539 5234 0 -1 1077944384 1578 0 0 0 66 0 0 0 20 0 16 0 12223627 10878976000 27127 18446744073709551615 4194304 4196468 140724372763888 140563299691120 140563808565890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10552] ppid=10536 vsize=10624000 CPUtime=0.42 cores=0,2,4,6
/proc/10539/task/10552/stat : 10552 (java) S 10536 10539 5234 0 -1 1077944384 2451 0 0 0 42 0 0 0 20 0 16 0 12223627 10878976000 27127 18446744073709551615 4194304 4196468 140724372763888 140563298638576 140563808565890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10553] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10553/stat : 10553 (java) S 10536 10539 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12223627 10878976000 27127 18446744073709551615 4194304 4196468 140724372763888 140563297586272 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10554] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10554/stat : 10554 (java) S 10536 10539 5234 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 12223631 10878976000 27127 18446744073709551615 4194304 4196468 140724372763888 140563296532784 140563808565890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10555] ppid=10536 vsize=10624000 CPUtime=1.21 cores=0,2,4,6
/proc/10539/task/10555/stat : 10555 (java) R 10536 10539 5234 0 -1 4202560 5805 0 0 0 119 2 0 0 20 0 16 0 12223648 10878976000 27127 18446744073709551615 4194304 4196468 140724372763888 140563293341784 140563429389421 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 10624000
[startup+2.00054 s]
/proc/loadavg: 1.97 1.97 1.91 6/215 10555
/proc/meminfo: memFree=31553536/32770624 swapFree=0/322588
[pid=10539] ppid=10536 vsize=10624000 CPUtime=3.62 cores=0,2,4,6
/proc/10539/stat : 10539 (java) S 10536 10539 5234 0 -1 1077944320 19612 0 0 0 355 7 0 0 20 0 16 0 12223611 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140724372746432 140563808554743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
/proc/10539/statm: 2656000 28161 3100 1 0 2644934 0
[pid=10539/tid=10541] ppid=10536 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/10539/task/10541/stat : 10541 (java) S 10536 10539 5234 0 -1 1077944384 6193 0 0 0 19 2 0 0 20 0 16 0 12223622 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563812797616 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10542] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10542/stat : 10542 (java) S 10536 10539 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12223622 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563749591824 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10543] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10543/stat : 10543 (java) S 10536 10539 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12223622 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563748539280 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10544] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10544/stat : 10544 (java) S 10536 10539 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12223622 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563747486736 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10545] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10545/stat : 10545 (java) S 10536 10539 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 12223622 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563746434192 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10546] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10546/stat : 10546 (java) S 10536 10539 5234 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 16 0 12223624 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563304953840 140563808565890 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10547] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10547/stat : 10547 (java) S 10536 10539 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 12223624 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563303900064 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10548] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10548/stat : 10548 (java) S 10536 10539 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 12223624 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563302847472 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10549] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10549/stat : 10549 (java) S 10536 10539 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12223627 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563301796048 140563808573339 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10550] ppid=10536 vsize=10624000 CPUtime=0.67 cores=0,2,4,6
/proc/10539/task/10550/stat : 10550 (java) S 10536 10539 5234 0 -1 1077944384 1860 0 0 0 67 0 0 0 20 0 16 0 12223627 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563300743664 140563808565890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10551] ppid=10536 vsize=10624000 CPUtime=0.67 cores=0,2,4,6
/proc/10539/task/10551/stat : 10551 (java) S 10536 10539 5234 0 -1 1077944384 1816 0 0 0 67 0 0 0 20 0 16 0 12223627 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563299691120 140563808565890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10552] ppid=10536 vsize=10624000 CPUtime=0.42 cores=0,2,4,6
/proc/10539/task/10552/stat : 10552 (java) S 10536 10539 5234 0 -1 1077944384 2462 0 0 0 42 0 0 0 20 0 16 0 12223627 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563298638576 140563808565890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10553] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10553/stat : 10553 (java) S 10536 10539 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12223627 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563297586272 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10554] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10554/stat : 10554 (java) S 10536 10539 5234 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 12223631 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563296532784 140563808565890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10555] ppid=10536 vsize=10624000 CPUtime=1.62 cores=0,2,4,6
/proc/10539/task/10555/stat : 10555 (java) R 10536 10539 5234 0 -1 4202560 5822 0 0 0 159 3 0 0 20 0 16 0 12223648 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563293340064 140563429389417 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 10624000
[startup+2.10056 s]
/proc/loadavg: 1.97 1.97 1.91 6/215 10555
/proc/meminfo: memFree=31553536/32770624 swapFree=0/322588
[pid=10539] ppid=10536 vsize=10624000 CPUtime=3.72 cores=0,2,4,6
/proc/10539/stat : 10539 (java) S 10536 10539 5234 0 -1 1077944320 19614 0 0 0 365 7 0 0 20 0 16 0 12223611 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140724372746432 140563808554743 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 10 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
/proc/10539/statm: 2656000 28161 3100 1 0 2644934 0
[pid=10539/tid=10541] ppid=10536 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/10539/task/10541/stat : 10541 (java) S 10536 10539 5234 0 -1 1077944384 6193 0 0 0 19 2 0 0 20 0 16 0 12223622 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563812797616 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10542] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10542/stat : 10542 (java) S 10536 10539 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12223622 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563749591824 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10543] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10543/stat : 10543 (java) S 10536 10539 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12223622 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563748539280 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10544] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10544/stat : 10544 (java) S 10536 10539 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 12223622 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563747486736 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10545] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10545/stat : 10545 (java) S 10536 10539 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 12223622 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563746434192 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10546] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10546/stat : 10546 (java) S 10536 10539 5234 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 16 0 12223624 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563304953840 140563808565890 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10547] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10547/stat : 10547 (java) S 10536 10539 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 12223624 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563303900064 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10548] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10548/stat : 10548 (java) S 10536 10539 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 12223624 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563302847472 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10549] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10549/stat : 10549 (java) S 10536 10539 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12223627 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563301796048 140563808573339 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10550] ppid=10536 vsize=10624000 CPUtime=0.67 cores=0,2,4,6
/proc/10539/task/10550/stat : 10550 (java) S 10536 10539 5234 0 -1 1077944384 1860 0 0 0 67 0 0 0 20 0 16 0 12223627 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563300743664 140563808565890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10551] ppid=10536 vsize=10624000 CPUtime=0.67 cores=0,2,4,6
/proc/10539/task/10551/stat : 10551 (java) S 10536 10539 5234 0 -1 1077944384 1816 0 0 0 67 0 0 0 20 0 16 0 12223627 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563299691120 140563808565890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10552] ppid=10536 vsize=10624000 CPUtime=0.42 cores=0,2,4,6
/proc/10539/task/10552/stat : 10552 (java) S 10536 10539 5234 0 -1 1077944384 2464 0 0 0 42 0 0 0 20 0 16 0 12223627 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563298638576 140563808565890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10553] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10553/stat : 10553 (java) S 10536 10539 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 12223627 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563297586272 140563808564949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10554] ppid=10536 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/10539/task/10554/stat : 10554 (java) S 10536 10539 5234 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 16 0 12223631 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563296532784 140563808565890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
[pid=10539/tid=10555] ppid=10536 vsize=10624000 CPUtime=1.72 cores=0,2,4,6
/proc/10539/task/10555/stat : 10555 (java) R 10536 10539 5234 0 -1 4202560 5822 0 0 0 169 3 0 0 20 0 16 0 12223648 10878976000 28161 18446744073709551615 4194304 4196468 140724372763888 140563293340064 140563429391069 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37793792 140724372767178 140724372767307 140724372767307 140724372770767 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 2.19107
CPU time (s): 3.82207
CPU user time (s): 3.74198
CPU system time (s): 0.080091
CPU usage (%): 174.438
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.74198
system time used= 0.080091
maximum resident set size= 114852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20103
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2127
involuntary context switches= 12
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.011757 second user time and 0.018094 second system time
The end