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-4257477-1501660537/watcher-4257477-1501660537 -o /tmp/evaluation-result-4257477-1501660537/solver-4257477-1501660537 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node131-1501638784-27505 --watchdog 300 java -jar HOME/AbsCon-basic.jar HOME/instance-4257477-1501660537.xml
pid=14404
running on 4 cores: 1,3,5,7
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: 2.12 2.07 2.00 3/196 14407
/proc/meminfo: memFree=26215420/32770624 swapFree=0/234740
[pid=14407] ppid=14404 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14407/stat : 14407 (runsolver) D 14404 14407 5131 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 14673938 24240128 108 18446744073709551615 4194304 4338465 140723108991328 140723108988968 140262070461143 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 27037696 140723108995231 140723108995654 140723108995654 140723108999114 0
/proc/14407/statm: 5918 108 54 36 0 2156 0
[startup+0.100057 s]
/proc/loadavg: 2.12 2.07 2.00 3/196 14407
/proc/meminfo: memFree=26215420/32770624 swapFree=0/234740
[pid=14407] ppid=14404 vsize=10151672 CPUtime=0.02 cores=1,3,5,7
/proc/14407/stat : 14407 (java) S 14404 14407 5131 0 -1 1077944320 4099 0 0 0 2 0 0 0 20 0 9 0 14673938 10395312128 5239 18446744073709551615 4194304 4196468 140720490916352 140720490898896 140488658415351 0 0 1 16784584 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
/proc/14407/statm: 2537918 5239 2114 1 0 2527423 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10151672
[startup+0.200211 s]
/proc/loadavg: 2.12 2.07 2.00 3/196 14407
/proc/meminfo: memFree=26215420/32770624 swapFree=0/234740
[pid=14407] ppid=14404 vsize=10551180 CPUtime=0.11 cores=1,3,5,7
/proc/14407/stat : 14407 (java) S 14404 14407 5131 0 -1 1077944320 5311 0 0 0 10 1 0 0 20 0 15 0 14673938 10804408320 6782 18446744073709551615 4194304 4196468 140720490916352 140720490898896 140488658415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
/proc/14407/statm: 2637795 6782 2736 1 0 2627269 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10551180
[startup+0.304527 s]
/proc/loadavg: 2.12 2.07 2.00 3/196 14407
/proc/meminfo: memFree=26215420/32770624 swapFree=0/234740
[pid=14407] ppid=14404 vsize=10553264 CPUtime=0.32 cores=1,3,5,7
/proc/14407/stat : 14407 (java) S 14404 14407 5131 0 -1 1077944320 9087 0 0 0 29 3 0 0 20 0 15 0 14673938 10806542336 10424 18446744073709551615 4194304 4196468 140720490916352 140720490898896 140488658415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
/proc/14407/statm: 2638316 10424 2915 1 0 2627269 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 10553264
[startup+0.700504 s]
/proc/loadavg: 2.12 2.07 2.00 3/196 14407
/proc/meminfo: memFree=26215420/32770624 swapFree=0/234740
[pid=14407] ppid=14404 vsize=10621952 CPUtime=1.27 cores=1,3,5,7
/proc/14407/stat : 14407 (java) S 14404 14407 5131 0 -1 1077944320 14067 0 0 0 122 5 0 0 20 0 16 0 14673938 10876878848 20283 18446744073709551615 4194304 4196468 140720490916352 140720490898896 140488658415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
/proc/14407/statm: 2655488 20283 3070 1 0 2644422 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 10621952
[startup+1.50079 s]
/proc/loadavg: 2.12 2.07 2.00 5/212 14423
/proc/meminfo: memFree=26108204/32770624 swapFree=0/234760
[pid=14407] ppid=14404 vsize=10624000 CPUtime=3.67 cores=1,3,5,7
/proc/14407/stat : 14407 (java) S 14404 14407 5131 0 -1 1077944320 25686 0 0 0 360 7 0 0 20 0 16 0 14673938 10878976000 30792 18446744073709551615 4194304 4196468 140720490916352 140720490898896 140488658415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
/proc/14407/statm: 2656000 30792 3097 1 0 2644934 0
[pid=14407/tid=14409] ppid=14404 vsize=10624000 CPUtime=0.2 cores=1,3,5,7
/proc/14407/task/14409/stat : 14409 (java) S 14404 14407 5131 0 -1 1077944384 6197 0 0 0 18 2 0 0 20 0 16 0 14673945 10878976000 30792 18446744073709551615 4194304 4196468 140720490916352 140488662658224 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14410] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14410/stat : 14410 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 30792 18446744073709551615 4194304 4196468 140720490916352 140488588835088 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14411] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14411/stat : 14411 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 30792 18446744073709551615 4194304 4196468 140720490916352 140488587782544 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14412] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14412/stat : 14412 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 30792 18446744073709551615 4194304 4196468 140720490916352 140488586730000 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14413] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14413/stat : 14413 (java) S 14404 14407 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 30792 18446744073709551615 4194304 4196468 140720490916352 140488585677456 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14414] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14414/stat : 14414 (java) S 14404 14407 5131 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 30792 18446744073709551615 4194304 4196468 140720490916352 140487698610672 140488658426498 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14415] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14415/stat : 14415 (java) S 14404 14407 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 30792 18446744073709551615 4194304 4196468 140720490916352 140487697556896 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14416] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14416/stat : 14416 (java) S 14404 14407 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 30792 18446744073709551615 4194304 4196468 140720490916352 140487696504304 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14417] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14417/stat : 14417 (java) S 14404 14407 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14673950 10878976000 30792 18446744073709551615 4194304 4196468 140720490916352 140487695452880 140488658433947 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14418] ppid=14404 vsize=10624000 CPUtime=0.94 cores=1,3,5,7
/proc/14407/task/14418/stat : 14418 (java) R 14404 14407 5131 0 -1 4202560 6133 0 0 0 93 1 0 0 20 0 16 0 14673950 10878976000 30792 18446744073709551615 4194304 4196468 140720490916352 140487694380280 140488641911822 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14419] ppid=14404 vsize=10624000 CPUtime=0.86 cores=1,3,5,7
/proc/14407/task/14419/stat : 14419 (java) R 14404 14407 5131 0 -1 4202560 3470 0 0 0 86 0 0 0 20 0 16 0 14673950 10878976000 30792 18446744073709551615 4194304 4196468 140720490916352 140487693346848 140488651512187 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14420] ppid=14404 vsize=10624000 CPUtime=0.47 cores=1,3,5,7
/proc/14407/task/14420/stat : 14420 (java) S 14404 14407 5131 0 -1 1077944384 2858 0 0 0 47 0 0 0 20 0 16 0 14673950 10878976000 30792 18446744073709551615 4194304 4196468 140720490916352 140487692294384 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14421] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14421/stat : 14421 (java) S 14404 14407 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14673950 10878976000 30792 18446744073709551615 4194304 4196468 140720490916352 140487691242080 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14422] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14422/stat : 14422 (java) S 14404 14407 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14673954 10878976000 30792 18446744073709551615 4194304 4196468 140720490916352 140487690189616 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14423] ppid=14404 vsize=10624000 CPUtime=1.16 cores=1,3,5,7
/proc/14407/task/14423/stat : 14423 (java) R 14404 14407 5131 0 -1 4202560 5660 0 0 0 114 2 0 0 20 0 16 0 14673971 10878976000 30792 18446744073709551615 4194304 4196468 140720490916352 140487686997848 140488267177795 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
Current children cumulated CPU time (s) 3.67
Current children cumulated vsize (KiB) 10624000
[startup+3.10058 s]
/proc/loadavg: 2.12 2.07 2.00 3/212 14423
/proc/meminfo: memFree=26098452/32770624 swapFree=0/234760
[pid=14407] ppid=14404 vsize=10624000 CPUtime=5.86 cores=1,3,5,7
/proc/14407/stat : 14407 (java) S 14404 14407 5131 0 -1 1077944320 28536 0 0 0 579 7 0 0 20 0 16 0 14673938 10878976000 32275 18446744073709551615 4194304 4196468 140720490916352 140720490898896 140488658415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
/proc/14407/statm: 2656000 32275 3097 1 0 2644934 0
[pid=14407/tid=14409] ppid=14404 vsize=10624000 CPUtime=0.2 cores=1,3,5,7
/proc/14407/task/14409/stat : 14409 (java) S 14404 14407 5131 0 -1 1077944384 6197 0 0 0 18 2 0 0 20 0 16 0 14673945 10878976000 32275 18446744073709551615 4194304 4196468 140720490916352 140488662658224 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14410] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14410/stat : 14410 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 32275 18446744073709551615 4194304 4196468 140720490916352 140488588835088 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14411] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14411/stat : 14411 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 32275 18446744073709551615 4194304 4196468 140720490916352 140488587782544 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14412] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14412/stat : 14412 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 32275 18446744073709551615 4194304 4196468 140720490916352 140488586730000 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14413] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14413/stat : 14413 (java) S 14404 14407 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 32275 18446744073709551615 4194304 4196468 140720490916352 140488585677456 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14414] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14414/stat : 14414 (java) S 14404 14407 5131 0 -1 1077944384 31 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 32275 18446744073709551615 4194304 4196468 140720490916352 140487698610672 140488658426498 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14415] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14415/stat : 14415 (java) S 14404 14407 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 32275 18446744073709551615 4194304 4196468 140720490916352 140487697556896 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14416] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14416/stat : 14416 (java) S 14404 14407 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 32275 18446744073709551615 4194304 4196468 140720490916352 140487696504304 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14417] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14417/stat : 14417 (java) S 14404 14407 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14673950 10878976000 32275 18446744073709551615 4194304 4196468 140720490916352 140487695452880 140488658433947 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14418] ppid=14404 vsize=10624000 CPUtime=1.16 cores=1,3,5,7
/proc/14407/task/14418/stat : 14418 (java) S 14404 14407 5131 0 -1 1077944384 7276 0 0 0 115 1 0 0 20 0 16 0 14673950 10878976000 32275 18446744073709551615 4194304 4196468 140720490916352 140487694399472 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14419] ppid=14404 vsize=10624000 CPUtime=1.19 cores=1,3,5,7
/proc/14407/task/14419/stat : 14419 (java) S 14404 14407 5131 0 -1 1077944384 4507 0 0 0 119 0 0 0 20 0 16 0 14673950 10878976000 32275 18446744073709551615 4194304 4196468 140720490916352 140487693346928 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14420] ppid=14404 vsize=10624000 CPUtime=0.51 cores=1,3,5,7
/proc/14407/task/14420/stat : 14420 (java) S 14404 14407 5131 0 -1 1077944384 3127 0 0 0 51 0 0 0 20 0 16 0 14673950 10878976000 32275 18446744073709551615 4194304 4196468 140720490916352 140487692294384 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14421] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14421/stat : 14421 (java) S 14404 14407 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14673950 10878976000 32275 18446744073709551615 4194304 4196468 140720490916352 140487691242080 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14422] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14422/stat : 14422 (java) S 14404 14407 5131 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 16 0 14673954 10878976000 32275 18446744073709551615 4194304 4196468 140720490916352 140487690189616 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14423] ppid=14404 vsize=10624000 CPUtime=2.75 cores=1,3,5,7
/proc/14407/task/14423/stat : 14423 (java) R 14404 14407 5131 0 -1 4202560 6027 0 0 0 273 2 0 0 20 0 16 0 14673971 10878976000 32275 18446744073709551615 4194304 4196468 140720490916352 140487686996800 140488268564611 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 10624000
[startup+6.30061 s]
/proc/loadavg: 2.11 2.07 2.00 3/212 14423
/proc/meminfo: memFree=26098320/32770624 swapFree=0/234772
[pid=14407] ppid=14404 vsize=10624000 CPUtime=9.28 cores=1,3,5,7
/proc/14407/stat : 14407 (java) S 14404 14407 5131 0 -1 1077944320 31246 0 0 0 920 8 0 0 20 0 16 0 14673938 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140720490898896 140488658415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
/proc/14407/statm: 2656000 31960 3100 1 0 2644934 0
[pid=14407/tid=14409] ppid=14404 vsize=10624000 CPUtime=0.2 cores=1,3,5,7
/proc/14407/task/14409/stat : 14409 (java) S 14404 14407 5131 0 -1 1077944384 6197 0 0 0 18 2 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488662658224 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14410] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14410/stat : 14410 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488588835088 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14411] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14411/stat : 14411 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488587782544 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14412] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14412/stat : 14412 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488586730000 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14413] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14413/stat : 14413 (java) S 14404 14407 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488585677456 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14414] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14414/stat : 14414 (java) S 14404 14407 5131 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487698610672 140488658426498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14415] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14415/stat : 14415 (java) S 14404 14407 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487697556896 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14416] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14416/stat : 14416 (java) S 14404 14407 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487696504304 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14417] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14417/stat : 14417 (java) S 14404 14407 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487695452880 140488658433947 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14418] ppid=14404 vsize=10624000 CPUtime=1.18 cores=1,3,5,7
/proc/14407/task/14418/stat : 14418 (java) S 14404 14407 5131 0 -1 1077944384 8216 0 0 0 117 1 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487694399472 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14419] ppid=14404 vsize=10624000 CPUtime=1.38 cores=1,3,5,7
/proc/14407/task/14419/stat : 14419 (java) S 14404 14407 5131 0 -1 1077944384 4869 0 0 0 138 0 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487693346928 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14420] ppid=14404 vsize=10624000 CPUtime=0.52 cores=1,3,5,7
/proc/14407/task/14420/stat : 14420 (java) S 14404 14407 5131 0 -1 1077944384 3234 0 0 0 52 0 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487692294384 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14421] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14421/stat : 14421 (java) S 14404 14407 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487691242080 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14422] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14422/stat : 14422 (java) S 14404 14407 5131 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 16 0 14673954 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487690189616 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14423] ppid=14404 vsize=10624000 CPUtime=5.95 cores=1,3,5,7
/proc/14407/task/14423/stat : 14423 (java) R 14404 14407 5131 0 -1 4202560 6577 0 0 0 593 2 0 0 20 0 16 0 14673971 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487686996592 140488268864218 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
Current children cumulated CPU time (s) 9.28
Current children cumulated vsize (KiB) 10624000
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14407 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40082 s]
/proc/loadavg: 2.11 2.07 2.00 3/212 14423
/proc/meminfo: memFree=26098320/32770624 swapFree=0/234772
[pid=14407] ppid=14404 vsize=10624000 CPUtime=9.38 cores=1,3,5,7
/proc/14407/stat : 14407 (java) S 14404 14407 5131 0 -1 1077944320 31246 0 0 0 930 8 0 0 20 0 16 0 14673938 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140720490898896 140488658415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
/proc/14407/statm: 2656000 31960 3100 1 0 2644934 0
[pid=14407/tid=14409] ppid=14404 vsize=10624000 CPUtime=0.2 cores=1,3,5,7
/proc/14407/task/14409/stat : 14409 (java) S 14404 14407 5131 0 -1 1077944384 6197 0 0 0 18 2 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488662658224 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14410] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14410/stat : 14410 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488588835088 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14411] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14411/stat : 14411 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488587782544 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14412] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14412/stat : 14412 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488586730000 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14413] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14413/stat : 14413 (java) S 14404 14407 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488585677456 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14414] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14414/stat : 14414 (java) S 14404 14407 5131 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487698610672 140488658426498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14415] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14415/stat : 14415 (java) S 14404 14407 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487697556896 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14416] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14416/stat : 14416 (java) S 14404 14407 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487696504304 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14417] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14417/stat : 14417 (java) S 14404 14407 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487695452880 140488658433947 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14418] ppid=14404 vsize=10624000 CPUtime=1.18 cores=1,3,5,7
/proc/14407/task/14418/stat : 14418 (java) S 14404 14407 5131 0 -1 1077944384 8216 0 0 0 117 1 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487694399472 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14419] ppid=14404 vsize=10624000 CPUtime=1.38 cores=1,3,5,7
/proc/14407/task/14419/stat : 14419 (java) S 14404 14407 5131 0 -1 1077944384 4869 0 0 0 138 0 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487693346928 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14420] ppid=14404 vsize=10624000 CPUtime=0.52 cores=1,3,5,7
/proc/14407/task/14420/stat : 14420 (java) S 14404 14407 5131 0 -1 1077944384 3234 0 0 0 52 0 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487692294384 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14421] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14421/stat : 14421 (java) S 14404 14407 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487691242080 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14422] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14422/stat : 14422 (java) S 14404 14407 5131 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 16 0 14673954 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487690189616 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14423] ppid=14404 vsize=10624000 CPUtime=6.05 cores=1,3,5,7
/proc/14407/task/14423/stat : 14423 (java) R 14404 14407 5131 0 -1 4202560 6577 0 0 0 603 2 0 0 20 0 16 0 14673971 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487686997720 140488267589690 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
Current children cumulated CPU time (s) 9.38
Current children cumulated vsize (KiB) 10624000
[startup+6.8006 s]
/proc/loadavg: 2.11 2.07 2.00 3/212 14423
/proc/meminfo: memFree=26098560/32770624 swapFree=0/234772
[pid=14407] ppid=14404 vsize=10624000 CPUtime=9.78 cores=1,3,5,7
/proc/14407/stat : 14407 (java) S 14404 14407 5131 0 -1 1077944320 31246 0 0 0 970 8 0 0 20 0 16 0 14673938 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140720490898896 140488658415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
/proc/14407/statm: 2656000 31960 3100 1 0 2644934 0
[pid=14407/tid=14409] ppid=14404 vsize=10624000 CPUtime=0.2 cores=1,3,5,7
/proc/14407/task/14409/stat : 14409 (java) S 14404 14407 5131 0 -1 1077944384 6197 0 0 0 18 2 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488662658224 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14410] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14410/stat : 14410 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488588835088 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14411] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14411/stat : 14411 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488587782544 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14412] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14412/stat : 14412 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488586730000 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14413] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14413/stat : 14413 (java) S 14404 14407 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488585677456 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14414] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14414/stat : 14414 (java) S 14404 14407 5131 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487698610672 140488658426498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14415] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14415/stat : 14415 (java) S 14404 14407 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487697556896 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14416] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14416/stat : 14416 (java) S 14404 14407 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487696504304 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14417] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14417/stat : 14417 (java) S 14404 14407 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487695452880 140488658433947 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14418] ppid=14404 vsize=10624000 CPUtime=1.18 cores=1,3,5,7
/proc/14407/task/14418/stat : 14418 (java) S 14404 14407 5131 0 -1 1077944384 8216 0 0 0 117 1 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487694399472 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14419] ppid=14404 vsize=10624000 CPUtime=1.38 cores=1,3,5,7
/proc/14407/task/14419/stat : 14419 (java) S 14404 14407 5131 0 -1 1077944384 4869 0 0 0 138 0 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487693346928 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14420] ppid=14404 vsize=10624000 CPUtime=0.52 cores=1,3,5,7
/proc/14407/task/14420/stat : 14420 (java) S 14404 14407 5131 0 -1 1077944384 3234 0 0 0 52 0 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487692294384 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14421] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14421/stat : 14421 (java) S 14404 14407 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487691242080 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14422] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14422/stat : 14422 (java) S 14404 14407 5131 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 16 0 14673954 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487690189616 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14423] ppid=14404 vsize=10624000 CPUtime=6.45 cores=1,3,5,7
/proc/14407/task/14423/stat : 14423 (java) R 14404 14407 5131 0 -1 4202560 6577 0 0 0 643 2 0 0 20 0 16 0 14673971 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487686997720 140488267879196 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
Current children cumulated CPU time (s) 9.78
Current children cumulated vsize (KiB) 10624000
[startup+7.20058 s]
/proc/loadavg: 2.11 2.07 2.00 3/212 14423
/proc/meminfo: memFree=26098560/32770624 swapFree=0/234772
[pid=14407] ppid=14404 vsize=10624000 CPUtime=10.18 cores=1,3,5,7
/proc/14407/stat : 14407 (java) S 14404 14407 5131 0 -1 1077944320 31246 0 0 0 1010 8 0 0 20 0 16 0 14673938 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140720490898896 140488658415351 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 5 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
/proc/14407/statm: 2656000 31960 3100 1 0 2644934 0
[pid=14407/tid=14409] ppid=14404 vsize=10624000 CPUtime=0.2 cores=1,3,5,7
/proc/14407/task/14409/stat : 14409 (java) S 14404 14407 5131 0 -1 1077944384 6197 0 0 0 18 2 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488662658224 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14410] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14410/stat : 14410 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488588835088 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14411] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14411/stat : 14411 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488587782544 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14412] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14412/stat : 14412 (java) S 14404 14407 5131 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488586730000 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14413] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14413/stat : 14413 (java) S 14404 14407 5131 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 14673945 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140488585677456 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14414] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14414/stat : 14414 (java) S 14404 14407 5131 0 -1 1077944384 309 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487698610672 140488658426498 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14415] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14415/stat : 14415 (java) S 14404 14407 5131 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487697556896 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14416] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14416/stat : 14416 (java) S 14404 14407 5131 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 14673947 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487696504304 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14417] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14417/stat : 14417 (java) S 14404 14407 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487695452880 140488658433947 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14418] ppid=14404 vsize=10624000 CPUtime=1.18 cores=1,3,5,7
/proc/14407/task/14418/stat : 14418 (java) S 14404 14407 5131 0 -1 1077944384 8216 0 0 0 117 1 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487694399472 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14419] ppid=14404 vsize=10624000 CPUtime=1.38 cores=1,3,5,7
/proc/14407/task/14419/stat : 14419 (java) S 14404 14407 5131 0 -1 1077944384 4869 0 0 0 138 0 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487693346928 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14420] ppid=14404 vsize=10624000 CPUtime=0.52 cores=1,3,5,7
/proc/14407/task/14420/stat : 14420 (java) S 14404 14407 5131 0 -1 1077944384 3234 0 0 0 52 0 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487692294384 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14421] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14421/stat : 14421 (java) S 14404 14407 5131 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 14673950 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487691242080 140488658425557 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14422] ppid=14404 vsize=10624000 CPUtime=0 cores=1,3,5,7
/proc/14407/task/14422/stat : 14422 (java) S 14404 14407 5131 0 -1 1077944384 483 0 0 0 0 0 0 0 20 0 16 0 14673954 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487690189616 140488658426498 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
[pid=14407/tid=14423] ppid=14404 vsize=10624000 CPUtime=6.85 cores=1,3,5,7
/proc/14407/task/14423/stat : 14423 (java) R 14404 14407 5131 0 -1 4202560 6577 0 0 0 683 2 0 0 20 0 16 0 14673971 10878976000 31960 18446744073709551615 4194304 4196468 140720490916352 140487686997720 140488267820465 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14880768 140720490922442 140720490922571 140720490922571 140720490926031 0
Current children cumulated CPU time (s) 10.18
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 7.25014
CPU time (s): 10.2427
CPU user time (s): 10.1572
CPU system time (s): 0.085565
CPU usage (%): 141.276
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.1572
system time used= 0.085565
maximum resident set size= 131404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31792
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= 2292
involuntary context switches= 17
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.03368 second user time and 0.044907 second system time
The end