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-4245519-1500701409/watcher-4245519-1500701409 -o /tmp/evaluation-result-4245519-1500701409/solver-4245519-1500701409 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500682496-8517 --watchdog 2560 java -Xmx10000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 678182766 --timelimit 2400 --memlimit 15500 --nbcore 8 HOME/instance-4245519-1500701409.xml
pid=11609
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.40 1.43 1.49 3/262 11612
/proc/meminfo: memFree=29529300/32770624 swapFree=5856/276284
[pid=11612] ppid=11609 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/stat : 11612 (java) S 11609 11612 8485 0 -1 1077944320 1717 0 0 0 0 0 0 0 20 0 2 0 5409588 369864704 1413 33554432000 4194304 4196468 140728353981888 140728353964432 139720628051703 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
/proc/11612/statm: 90299 1413 1072 1 0 79210 0
[pid=11612/tid=11613] ppid=11609 vsize=361196 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11613/stat : 11613 (java) S 11609 11612 8485 0 -1 1077944384 401 0 0 0 0 0 0 0 20 0 2 0 5409588 369864704 1413 33554432000 4194304 4196468 140728353981888 139720632293792 139720628062850 0 4 0 16784584 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[startup+0.100096 s]
/proc/loadavg: 1.40 1.43 1.49 3/262 11612
/proc/meminfo: memFree=29529300/32770624 swapFree=5856/276284
[pid=11612] ppid=11609 vsize=13263912 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11612/stat : 11612 (java) S 11609 11612 8485 0 -1 1077944320 6622 0 0 0 8 1 0 0 20 0 20 0 5409588 13582245888 6863 33554432000 4194304 4196468 140728353981888 140728353964432 139720628051703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
/proc/11612/statm: 3315978 6863 3246 1 0 3303698 0
[pid=11612/tid=11613] ppid=11609 vsize=13263912 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11613/stat : 11613 (java) R 11609 11612 8485 0 -1 4202560 4713 0 0 0 7 1 0 0 20 0 20 0 5409588 13582245888 6929 33554432000 4194304 4196468 140728353981888 139720632289712 139720516299730 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13263912
[startup+0.200376 s]
/proc/loadavg: 1.40 1.43 1.49 3/262 11612
/proc/meminfo: memFree=29529300/32770624 swapFree=5856/276284
[pid=11612] ppid=11609 vsize=13263912 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/11612/stat : 11612 (java) S 11609 11612 8485 0 -1 1077944320 9054 0 0 0 23 3 0 0 20 0 20 0 5409588 13582245888 9486 33554432000 4194304 4196468 140728353981888 140728353964432 139720628051703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
/proc/11612/statm: 3315978 9486 3542 1 0 3303698 0
[pid=11612/tid=11613] ppid=11609 vsize=13263912 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11613/stat : 11613 (java) R 11609 11612 8485 0 -1 4202560 6776 0 0 0 16 2 0 0 20 0 20 0 5409588 13582245888 9486 33554432000 4194304 4196468 140728353981888 139720632278976 139720628075293 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 13263912
[startup+0.300303 s]
/proc/loadavg: 1.40 1.43 1.49 3/262 11612
/proc/meminfo: memFree=29529300/32770624 swapFree=5856/276284
[pid=11612] ppid=11609 vsize=13263912 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/11612/stat : 11612 (java) S 11609 11612 8485 0 -1 1077944320 10292 0 0 0 40 4 0 0 20 0 20 0 5409588 13582245888 11574 33554432000 4194304 4196468 140728353981888 140728353964432 139720628051703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
/proc/11612/statm: 3315978 11574 3693 1 0 3303698 0
[pid=11612/tid=11613] ppid=11609 vsize=13263912 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11613/stat : 11613 (java) R 11609 11612 8485 0 -1 4202560 7467 0 0 0 25 2 0 0 20 0 20 0 5409588 13582245888 11574 33554432000 4194304 4196468 140728353981888 139720632281136 139720628073629 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 13263912
[startup+0.700374 s]
/proc/loadavg: 1.40 1.43 1.49 3/262 11612
/proc/meminfo: memFree=29529300/32770624 swapFree=5856/276284
[pid=11612] ppid=11609 vsize=13268028 CPUtime=1.15 cores=1,3,5,7,9,11,13,15
/proc/11612/stat : 11612 (java) S 11609 11612 8485 0 -1 1077944320 12850 0 0 0 110 5 0 0 20 0 20 0 5409588 13586460672 18729 33554432000 4194304 4196468 140728353981888 140728353964432 139720628051703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
/proc/11612/statm: 3317007 18729 3754 1 0 3304722 0
[pid=11612/tid=11613] ppid=11609 vsize=13268028 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11613/stat : 11613 (java) R 11609 11612 8485 0 -1 4202560 9331 0 0 0 64 3 0 0 20 0 20 0 5409588 13586460672 18729 33554432000 4194304 4196468 140728353981888 139720632261856 139720628063638 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
Current children cumulated CPU time (s) 1.15
Current children cumulated vsize (KiB) 13268028
[startup+1.50105 s]
/proc/loadavg: 1.40 1.43 1.49 6/282 11632
/proc/meminfo: memFree=29380000/32770624 swapFree=5856/276636
[pid=11612] ppid=11609 vsize=13268028 CPUtime=4.26 cores=1,3,5,7,9,11,13,15
/proc/11612/stat : 11612 (java) S 11609 11612 8485 0 -1 1077944320 37722 0 0 0 415 11 0 0 20 0 20 0 5409588 13586460672 59299 33554432000 4194304 4196468 140728353981888 140728353964432 139720628051703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
/proc/11612/statm: 3317007 59299 3789 1 0 3304722 0
[pid=11612/tid=11613] ppid=11609 vsize=13268028 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11613/stat : 11613 (java) R 11609 11612 8485 0 -1 4202560 10593 0 0 0 141 5 0 0 20 0 20 0 5409588 13586460672 59299 33554432000 4194304 4196468 140728353981888 139720632286904 139720264689659 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11615] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11615/stat : 11615 (java) S 11609 11612 8485 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 5409589 13586460672 59299 33554432000 4194304 4196468 140728353981888 139720589011600 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11616] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11616/stat : 11616 (java) S 11609 11612 8485 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 5409589 13586460672 59299 33554432000 4194304 4196468 140728353981888 139720226486800 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11617] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11617/stat : 11617 (java) S 11609 11612 8485 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 5409589 13586460672 59299 33554432000 4194304 4196468 140728353981888 139720225434000 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11618] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11618/stat : 11618 (java) S 11609 11612 8485 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 5409589 13586460672 59299 33554432000 4194304 4196468 140728353981888 139720224381200 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11619] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11619/stat : 11619 (java) S 11609 11612 8485 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 20 0 5409589 13586460672 59299 33554432000 4194304 4196468 140728353981888 139720223329424 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11620] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11620/stat : 11620 (java) S 11609 11612 8485 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 20 0 5409589 13586460672 59299 33554432000 4194304 4196468 140728353981888 139720222276624 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11621] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11621/stat : 11621 (java) S 11609 11612 8485 0 -1 1077944384 74 0 0 0 0 0 0 0 20 0 20 0 5409589 13586460672 59299 33554432000 4194304 4196468 140728353981888 139720221223824 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11622] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11622/stat : 11622 (java) S 11609 11612 8485 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 5409589 13586460672 59299 33554432000 4194304 4196468 140728353981888 139720220171024 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11623] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11623/stat : 11623 (java) S 11609 11612 8485 0 -1 1077944384 180 0 0 0 0 0 0 0 20 0 20 0 5409591 13586460672 59299 33554432000 4194304 4196468 140728353981888 139719956384112 139720628062850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11624] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11624/stat : 11624 (java) S 11609 11612 8485 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 20 0 5409592 13586460672 59299 33554432000 4194304 4196468 140728353981888 139719955330144 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11625] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11625/stat : 11625 (java) S 11609 11612 8485 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 20 0 5409592 13586460672 59811 33554432000 4194304 4196468 140728353981888 139719954277248 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11626] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11626/stat : 11626 (java) S 11609 11612 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5409595 13586460672 59811 33554432000 4194304 4196468 140728353981888 139719953225552 139720628070299 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11627] ppid=11609 vsize=13268028 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11627/stat : 11627 (java) R 11609 11612 8485 0 -1 4202560 7865 0 0 0 78 1 0 0 20 0 20 0 5409595 13586460672 59811 33554432000 4194304 4196468 140728353981888 139719952167128 139720612444939 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11628] ppid=11609 vsize=13268028 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11628/stat : 11628 (java) R 11609 11612 8485 0 -1 4202560 7646 0 0 0 78 1 0 0 20 0 20 0 5409595 13586460672 59811 33554432000 4194304 4196468 140728353981888 139719951110816 139720612443684 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11629] ppid=11609 vsize=13268028 CPUtime=0.77 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11629/stat : 11629 (java) R 11609 11612 8485 0 -1 4202560 6902 0 0 0 76 1 0 0 20 0 20 0 5409595 13586460672 59811 33554432000 4194304 4196468 140728353981888 139719950050496 139720606028150 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11630] ppid=11609 vsize=13268028 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11630/stat : 11630 (java) S 11609 11612 8485 0 -1 1077944384 2525 0 0 0 36 0 0 0 20 0 20 0 5409595 13586460672 59811 33554432000 4194304 4196468 140728353981888 139719949015536 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11631] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11631/stat : 11631 (java) S 11609 11612 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5409596 13586460672 59811 33554432000 4194304 4196468 140728353981888 139719947962976 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11632] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11632/stat : 11632 (java) S 11609 11612 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5409596 13586460672 59811 33554432000 4194304 4196468 140728353981888 139719946910256 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 13268028
[startup+3.10077 s]
/proc/loadavg: 1.40 1.43 1.49 3/282 11632
/proc/meminfo: memFree=29295392/32770624 swapFree=5856/276360
[pid=11612] ppid=11609 vsize=13268028 CPUtime=7.7 cores=1,3,5,7,9,11,13,15
/proc/11612/stat : 11612 (java) S 11609 11612 8485 0 -1 1077944320 40030 0 0 0 755 15 0 0 20 0 20 0 5409588 13586460672 62027 33554432000 4194304 4196468 140728353981888 140728353964432 139720628051703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
/proc/11612/statm: 3317007 62027 3801 1 0 3304722 0
[pid=11612/tid=11613] ppid=11609 vsize=13268028 CPUtime=3.04 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11613/stat : 11613 (java) R 11609 11612 8485 0 -1 4202560 11017 0 0 0 299 5 0 0 20 0 20 0 5409588 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720632289808 139720269171851 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11615] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11615/stat : 11615 (java) S 11609 11612 8485 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720589011600 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11616] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11616/stat : 11616 (java) S 11609 11612 8485 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720226486800 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11617] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11617/stat : 11617 (java) S 11609 11612 8485 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 5409589 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720225434000 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11618] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11618/stat : 11618 (java) S 11609 11612 8485 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 5409589 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720224381200 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11619] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11619/stat : 11619 (java) S 11609 11612 8485 0 -1 1077944384 635 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720223329424 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11620] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11620/stat : 11620 (java) S 11609 11612 8485 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720222276624 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11621] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11621/stat : 11621 (java) S 11609 11612 8485 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720221223824 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11622] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11622/stat : 11622 (java) S 11609 11612 8485 0 -1 1077944384 113 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720220171024 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11623] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11623/stat : 11623 (java) S 11609 11612 8485 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 5409591 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719956384112 139720628062850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11624] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11624/stat : 11624 (java) S 11609 11612 8485 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 5409592 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719955330144 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11625] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11625/stat : 11625 (java) S 11609 11612 8485 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 5409592 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719954277248 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11626] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11626/stat : 11626 (java) S 11609 11612 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5409595 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719953225552 139720628070299 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11627] ppid=11609 vsize=13268028 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11627/stat : 11627 (java) S 11609 11612 8485 0 -1 1077944384 8120 0 0 0 135 1 0 0 20 0 20 0 5409595 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719952173936 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11628] ppid=11609 vsize=13268028 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11628/stat : 11628 (java) S 11609 11612 8485 0 -1 1077944384 7923 0 0 0 137 1 0 0 20 0 20 0 5409595 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719951121136 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11629] ppid=11609 vsize=13268028 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11629/stat : 11629 (java) S 11609 11612 8485 0 -1 1077944384 7501 0 0 0 133 1 0 0 20 0 20 0 5409595 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719950068336 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11630] ppid=11609 vsize=13268028 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11630/stat : 11630 (java) S 11609 11612 8485 0 -1 1077944384 2642 0 0 0 39 0 0 0 20 0 20 0 5409595 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719949015536 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11631] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11631/stat : 11631 (java) S 11609 11612 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5409596 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719947962976 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11632] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11632/stat : 11632 (java) S 11609 11612 8485 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 5409596 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719946910256 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
Current children cumulated CPU time (s) 7.7
Current children cumulated vsize (KiB) 13268028
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11612 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.201 s]
/proc/loadavg: 1.40 1.43 1.49 3/282 11632
/proc/meminfo: memFree=29295392/32770624 swapFree=5856/276360
[pid=11612] ppid=11609 vsize=13268028 CPUtime=7.8 cores=1,3,5,7,9,11,13,15
/proc/11612/stat : 11612 (java) S 11609 11612 8485 0 -1 1077944320 40030 0 0 0 765 15 0 0 20 0 20 0 5409588 13586460672 62027 33554432000 4194304 4196468 140728353981888 140728353964432 139720628051703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
/proc/11612/statm: 3317007 62027 3801 1 0 3304722 0
[pid=11612/tid=11613] ppid=11609 vsize=13268028 CPUtime=3.14 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11613/stat : 11613 (java) R 11609 11612 8485 0 -1 4202560 11017 0 0 0 309 5 0 0 20 0 20 0 5409588 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720632289808 139720269019991 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11615] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11615/stat : 11615 (java) S 11609 11612 8485 0 -1 1077944384 77 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720589011600 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11616] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11616/stat : 11616 (java) S 11609 11612 8485 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720226486800 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11617] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11617/stat : 11617 (java) S 11609 11612 8485 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 20 0 5409589 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720225434000 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11618] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11618/stat : 11618 (java) S 11609 11612 8485 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 20 0 5409589 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720224381200 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11619] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11619/stat : 11619 (java) S 11609 11612 8485 0 -1 1077944384 635 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720223329424 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11620] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11620/stat : 11620 (java) S 11609 11612 8485 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720222276624 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11621] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11621/stat : 11621 (java) S 11609 11612 8485 0 -1 1077944384 79 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720221223824 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11622] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11622/stat : 11622 (java) S 11609 11612 8485 0 -1 1077944384 113 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 62027 33554432000 4194304 4196468 140728353981888 139720220171024 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11623] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11623/stat : 11623 (java) S 11609 11612 8485 0 -1 1077944384 321 0 0 0 1 0 0 0 20 0 20 0 5409591 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719956384112 139720628062850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11624] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11624/stat : 11624 (java) S 11609 11612 8485 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 5409592 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719955330144 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11625] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11625/stat : 11625 (java) S 11609 11612 8485 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 5409592 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719954277248 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11626] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11626/stat : 11626 (java) S 11609 11612 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5409595 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719953225552 139720628070299 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11627] ppid=11609 vsize=13268028 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11627/stat : 11627 (java) S 11609 11612 8485 0 -1 1077944384 8120 0 0 0 135 1 0 0 20 0 20 0 5409595 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719952173936 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11628] ppid=11609 vsize=13268028 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11628/stat : 11628 (java) S 11609 11612 8485 0 -1 1077944384 7923 0 0 0 137 1 0 0 20 0 20 0 5409595 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719951121136 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11629] ppid=11609 vsize=13268028 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11629/stat : 11629 (java) S 11609 11612 8485 0 -1 1077944384 7501 0 0 0 133 1 0 0 20 0 20 0 5409595 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719950068336 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11630] ppid=11609 vsize=13268028 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11630/stat : 11630 (java) S 11609 11612 8485 0 -1 1077944384 2642 0 0 0 39 0 0 0 20 0 20 0 5409595 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719949015536 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11631] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11631/stat : 11631 (java) S 11609 11612 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5409596 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719947962976 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11632] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11632/stat : 11632 (java) S 11609 11612 8485 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 5409596 13586460672 62027 33554432000 4194304 4196468 140728353981888 139719946910256 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
Current children cumulated CPU time (s) 7.8
Current children cumulated vsize (KiB) 13268028
[startup+4.00075 s]
/proc/loadavg: 1.40 1.43 1.49 3/282 11632
/proc/meminfo: memFree=29293284/32770624 swapFree=5856/276360
[pid=11612] ppid=11609 vsize=13268028 CPUtime=8.65 cores=1,3,5,7,9,11,13,15
/proc/11612/stat : 11612 (java) S 11609 11612 8485 0 -1 1077944320 40279 0 0 0 846 19 0 0 20 0 20 0 5409588 13586460672 92353 33554432000 4194304 4196468 140728353981888 140728353964432 139720628051703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
/proc/11612/statm: 3317007 92353 3801 1 0 3304722 0
[pid=11612/tid=11613] ppid=11609 vsize=13268028 CPUtime=3.92 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11613/stat : 11613 (java) R 11609 11612 8485 0 -1 4202560 11089 0 0 0 385 7 0 0 20 0 20 0 5409588 13586460672 92353 33554432000 4194304 4196468 140728353981888 139720632290032 139720270041541 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11615] ppid=11609 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11615/stat : 11615 (java) S 11609 11612 8485 0 -1 1077944384 83 0 0 0 1 1 0 0 20 0 20 0 5409589 13586460672 92353 33554432000 4194304 4196468 140728353981888 139720589011600 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11616] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11616/stat : 11616 (java) S 11609 11612 8485 0 -1 1077944384 36 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 92353 33554432000 4194304 4196468 140728353981888 139720226486800 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11617] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11617/stat : 11617 (java) S 11609 11612 8485 0 -1 1077944384 26 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 92353 33554432000 4194304 4196468 140728353981888 139720225434000 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11618] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11618/stat : 11618 (java) S 11609 11612 8485 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 92353 33554432000 4194304 4196468 140728353981888 139720224381200 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11619] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11619/stat : 11619 (java) S 11609 11612 8485 0 -1 1077944384 638 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 92353 33554432000 4194304 4196468 140728353981888 139720223329424 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11620] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11620/stat : 11620 (java) S 11609 11612 8485 0 -1 1077944384 106 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 92353 33554432000 4194304 4196468 140728353981888 139720222276624 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11621] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11621/stat : 11621 (java) S 11609 11612 8485 0 -1 1077944384 81 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 92353 33554432000 4194304 4196468 140728353981888 139720221223824 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11622] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11622/stat : 11622 (java) S 11609 11612 8485 0 -1 1077944384 115 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 92353 33554432000 4194304 4196468 140728353981888 139720220171024 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11623] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11623/stat : 11623 (java) S 11609 11612 8485 0 -1 1077944384 448 0 0 0 1 0 0 0 20 0 20 0 5409591 13586460672 92353 33554432000 4194304 4196468 140728353981888 139719956384112 139720628062850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11624] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11624/stat : 11624 (java) S 11609 11612 8485 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 5409592 13586460672 92353 33554432000 4194304 4196468 140728353981888 139719955330144 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11625] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11625/stat : 11625 (java) S 11609 11612 8485 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 5409592 13586460672 92353 33554432000 4194304 4196468 140728353981888 139719954277248 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11626] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11626/stat : 11626 (java) S 11609 11612 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5409595 13586460672 92353 33554432000 4194304 4196468 140728353981888 139719953225552 139720628070299 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11627] ppid=11609 vsize=13268028 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11627/stat : 11627 (java) S 11609 11612 8485 0 -1 1077944384 8120 0 0 0 135 1 0 0 20 0 20 0 5409595 13586460672 92353 33554432000 4194304 4196468 140728353981888 139719952173936 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11628] ppid=11609 vsize=13268028 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11628/stat : 11628 (java) S 11609 11612 8485 0 -1 1077944384 7923 0 0 0 137 1 0 0 20 0 20 0 5409595 13586460672 92353 33554432000 4194304 4196468 140728353981888 139719951121136 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11629] ppid=11609 vsize=13268028 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11629/stat : 11629 (java) S 11609 11612 8485 0 -1 1077944384 7501 0 0 0 133 1 0 0 20 0 20 0 5409595 13586460672 92353 33554432000 4194304 4196468 140728353981888 139719950068336 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11630] ppid=11609 vsize=13268028 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11630/stat : 11630 (java) S 11609 11612 8485 0 -1 1077944384 2642 0 0 0 39 0 0 0 20 0 20 0 5409595 13586460672 92353 33554432000 4194304 4196468 140728353981888 139719949015536 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11631] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11631/stat : 11631 (java) S 11609 11612 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5409596 13586460672 92353 33554432000 4194304 4196468 140728353981888 139719947962976 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11632] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11632/stat : 11632 (java) S 11609 11612 8485 0 -1 1077944384 9 0 0 0 0 0 0 0 20 0 20 0 5409596 13586460672 92353 33554432000 4194304 4196468 140728353981888 139719946910256 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
Current children cumulated CPU time (s) 8.65
Current children cumulated vsize (KiB) 13268028
[startup+4.80077 s]
/proc/loadavg: 1.40 1.43 1.49 3/282 11632
/proc/meminfo: memFree=29171584/32770624 swapFree=5856/276360
[pid=11612] ppid=11609 vsize=13268028 CPUtime=9.47 cores=1,3,5,7,9,11,13,15
/proc/11612/stat : 11612 (java) S 11609 11612 8485 0 -1 1077944320 40297 0 0 0 927 20 0 0 20 0 20 0 5409588 13586460672 92865 33554432000 4194304 4196468 140728353981888 140728353964432 139720628051703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
/proc/11612/statm: 3317007 92865 3801 1 0 3304722 0
[pid=11612/tid=11613] ppid=11609 vsize=13268028 CPUtime=4.72 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11613/stat : 11613 (java) R 11609 11612 8485 0 -1 4202560 11091 0 0 0 465 7 0 0 20 0 20 0 5409588 13586460672 92865 33554432000 4194304 4196468 140728353981888 139720632290032 139720270040872 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11615] ppid=11609 vsize=13268028 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11615/stat : 11615 (java) S 11609 11612 8485 0 -1 1077944384 83 0 0 0 1 1 0 0 20 0 20 0 5409589 13586460672 92865 33554432000 4194304 4196468 140728353981888 139720589011600 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11616] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11616/stat : 11616 (java) S 11609 11612 8485 0 -1 1077944384 38 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 92865 33554432000 4194304 4196468 140728353981888 139720226486800 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11617] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11617/stat : 11617 (java) S 11609 11612 8485 0 -1 1077944384 27 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 92865 33554432000 4194304 4196468 140728353981888 139720225434000 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11618] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11618/stat : 11618 (java) S 11609 11612 8485 0 -1 1077944384 23 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 92865 33554432000 4194304 4196468 140728353981888 139720224381200 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11619] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11619/stat : 11619 (java) S 11609 11612 8485 0 -1 1077944384 640 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 92865 33554432000 4194304 4196468 140728353981888 139720223329424 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11620] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11620/stat : 11620 (java) S 11609 11612 8485 0 -1 1077944384 108 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 92865 33554432000 4194304 4196468 140728353981888 139720222276624 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11621] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11621/stat : 11621 (java) S 11609 11612 8485 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 92865 33554432000 4194304 4196468 140728353981888 139720221223824 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11622] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11622/stat : 11622 (java) S 11609 11612 8485 0 -1 1077944384 116 0 0 0 1 0 0 0 20 0 20 0 5409589 13586460672 92865 33554432000 4194304 4196468 140728353981888 139720220171024 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11623] ppid=11609 vsize=13268028 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11623/stat : 11623 (java) S 11609 11612 8485 0 -1 1077944384 451 0 0 0 1 0 0 0 20 0 20 0 5409591 13586460672 92865 33554432000 4194304 4196468 140728353981888 139719956384112 139720628062850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11624] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11624/stat : 11624 (java) S 11609 11612 8485 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 20 0 5409592 13586460672 92865 33554432000 4194304 4196468 140728353981888 139719955330144 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11625] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11625/stat : 11625 (java) S 11609 11612 8485 0 -1 1077944384 57 0 0 0 0 0 0 0 20 0 20 0 5409592 13586460672 92865 33554432000 4194304 4196468 140728353981888 139719954277248 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11626] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11626/stat : 11626 (java) S 11609 11612 8485 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 5409595 13586460672 92865 33554432000 4194304 4196468 140728353981888 139719953225552 139720628070299 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11627] ppid=11609 vsize=13268028 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11627/stat : 11627 (java) S 11609 11612 8485 0 -1 1077944384 8120 0 0 0 135 1 0 0 20 0 20 0 5409595 13586460672 92865 33554432000 4194304 4196468 140728353981888 139719952173936 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11628] ppid=11609 vsize=13268028 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11628/stat : 11628 (java) S 11609 11612 8485 0 -1 1077944384 7923 0 0 0 137 1 0 0 20 0 20 0 5409595 13586460672 92865 33554432000 4194304 4196468 140728353981888 139719951121136 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11629] ppid=11609 vsize=13268028 CPUtime=1.34 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11629/stat : 11629 (java) S 11609 11612 8485 0 -1 1077944384 7501 0 0 0 133 1 0 0 20 0 20 0 5409595 13586460672 92865 33554432000 4194304 4196468 140728353981888 139719950068336 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11630] ppid=11609 vsize=13268028 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11630/stat : 11630 (java) S 11609 11612 8485 0 -1 1077944384 2642 0 0 0 39 0 0 0 20 0 20 0 5409595 13586460672 92865 33554432000 4194304 4196468 140728353981888 139719949015536 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11631] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11631/stat : 11631 (java) S 11609 11612 8485 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 5409596 13586460672 92865 33554432000 4194304 4196468 140728353981888 139719947962976 139720628061909 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
[pid=11612/tid=11632] ppid=11609 vsize=13268028 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11632/stat : 11632 (java) S 11609 11612 8485 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 20 0 5409596 13586460672 92865 33554432000 4194304 4196468 140728353981888 139719946910256 139720628062850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29638656 140728353989770 140728353989956 140728353989956 140728353992655 0
Current children cumulated CPU time (s) 9.47
Current children cumulated vsize (KiB) 13268028
[startup+5.20075 s]
/proc/loadavg: 1.40 1.43 1.49 3/282 11632
/proc/meminfo: memFree=29171584/32770624 swapFree=5856/276360
[pid=11612] ppid=11609 vsize=0 CPUtime=9.81 cores=1,3,5,7,9,11,13,15
/proc/11612/stat : 11612 (java) Z 11609 11612 8485 0 -1 4227084 40811 0 0 0 960 21 0 0 20 0 2 0 5409588 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/11612/statm: 0 0 0 0 0 0 0
[pid=11612/tid=11618] ppid=11609 vsize=0 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11618/stat : 11618 (java) D 11609 11612 8485 0 -1 4203588 23 0 0 0 1 1 0 0 20 0 2 0 5409589 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 9 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.81
Current children cumulated vsize (KiB) 0
[startup+5.30049 s]
/proc/loadavg: 1.40 1.43 1.49 3/282 11632
/proc/meminfo: memFree=29171584/32770624 swapFree=5856/276360
[pid=11612] ppid=11609 vsize=0 CPUtime=9.81 cores=1,3,5,7,9,11,13,15
/proc/11612/stat : 11612 (java) Z 11609 11612 8485 0 -1 4227084 40811 0 0 0 960 21 0 0 20 0 2 0 5409588 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 0 0 0 0 0 0 0 0
/proc/11612/statm: 0 0 0 0 0 0 0
[pid=11612/tid=11618] ppid=11609 vsize=0 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/11612/task/11618/stat : 11618 (java) D 11609 11612 8485 0 -1 4203588 23 0 0 0 1 1 0 0 20 0 2 0 5409589 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 9 0 0 0 0 0 0 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.81
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 5.38925
CPU time (s): 9.82277
CPU user time (s): 9.60988
CPU system time (s): 0.212883
CPU usage (%): 182.266
Max. virtual memory (cumulated for all children) (KiB): 13268028
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.60988
system time used= 0.212883
maximum resident set size= 371460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40811
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3259
involuntary context switches= 645
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040626 second user time and 0.04555 second system time
The end