runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (15309 MiB free)
memory of node 1: 16384 MiB (15221 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4273726-1502706319/watcher-4273726-1502706319 -o /tmp/evaluation-result-4273726-1502706319/solver-4273726-1502706319 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502662832-10387 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-conf_order.jar --randomseed 1170221254 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4273726-1502706319.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=16593, runsolver pid=16590
[startup+0.100081 s]*
/proc/loadavg: 1.50 1.39 1.34 3/204 16599
/proc/meminfo: memFree=31255500/32770624 swapFree=67105588/67108860
[pid=16593] ppid=16590 vsize=13440536 memory=16712 CPUtime=0.01 cores=0,2,4,6
/proc/16593/stat : 16593 (java) S 16590 16593 12560 0 -1 1077944320 3508 0 0 0 1 0 0 0 20 0 7 0 72827246 13763108864 4178 18446744073709551615 4194304 4196468 140721588653632 140721588636176 140012579188471 0 0 1 16784584 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
/proc/16593/statm: 3360134 4178 1951 1 0 3349631 0
[pid=16593/tid=16595] ppid=16590 vsize=13440536 memory=7077796292425249400 CPUtime=0.01 cores=0,2,4,6
/proc/16593/task/16595/stat : 16595 (java) R 16590 16593 12560 0 -1 4202560 2245 0 0 0 1 0 0 0 20 0 7 0 72827255 13763108864 4244 18446744073709551615 4194304 4196468 140721588653632 140012583430928 140012562562816 0 4 1 16784584 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16596] ppid=16590 vsize=13440536 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16596/stat : 16596 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 72827256 13763108864 4244 18446744073709551615 4194304 4196468 140721588653632 140012513623056 140012579198677 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16597] ppid=16590 vsize=13440536 memory=140509387892352 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16597/stat : 16597 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 72827256 13763108864 4244 18446744073709551615 4194304 4196468 140721588653632 140012512570512 140012579198677 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16598] ppid=16590 vsize=13440536 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16598/stat : 16598 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 7 0 72827256 13763108864 4244 18446744073709551615 4194304 4196468 140721588653632 140012177505040 140012579198677 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16599] ppid=16590 vsize=13440536 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16599/stat : 16599 (java) S 16590 16593 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 72827256 13763108864 4244 18446744073709551615 4194304 4196468 140721588653632 140012176452496 140012579198677 0 4 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16600] ppid=16590 vsize=13440536 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16600/stat : 16600 (java) S 16590 16593 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 7 0 72827257 13763108864 4244 18446744073709551615 4194304 4196468 140721588653632 140012125575408 140012579199618 0 0 1 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 13440536 KiB
Current children cumulated memory: 16712 KiB
[startup+0.209889 s]*
/proc/loadavg: 1.50 1.39 1.34 4/213 16608
/proc/meminfo: memFree=31245860/32770624 swapFree=67105588/67108860
[pid=16593] ppid=16590 vsize=13979532 memory=33768 CPUtime=0.11 cores=0,2,4,6
/proc/16593/stat : 16593 (java) S 16590 16593 12560 0 -1 1077944320 7613 0 0 0 10 1 0 0 20 0 15 0 72827246 14315040768 8442 18446744073709551615 4194304 4196468 140721588653632 140721588636176 140012579188471 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
/proc/16593/statm: 3494883 8442 3383 1 0 3483662 0
[pid=16593/tid=16595] ppid=16590 vsize=13976944 memory=8316850467074736180 CPUtime=0.09 cores=0,2,4,6
/proc/16593/task/16595/stat : 16595 (java) R 16590 16593 12560 0 -1 4202560 5632 0 0 0 8 1 0 0 20 0 15 0 72827255 14312390656 8011 18446744073709551615 4194304 4196468 140721588653632 140012583377920 140012571868189 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16596] ppid=16590 vsize=13976944 memory=9220 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16596/stat : 16596 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72827256 14312390656 8011 18446744073709551615 4194304 4196468 140721588653632 140012513623056 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16597] ppid=16590 vsize=13976944 memory=3474165373545948832 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16597/stat : 16597 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72827256 14312390656 8011 18446744073709551615 4194304 4196468 140721588653632 140012512570512 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16598] ppid=16590 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16598/stat : 16598 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72827256 14312390656 8011 18446744073709551615 4194304 4196468 140721588653632 140012177505040 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16599] ppid=16590 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16599/stat : 16599 (java) S 16590 16593 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72827256 14312390656 8077 18446744073709551615 4194304 4196468 140721588653632 140012176452496 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16600] ppid=16590 vsize=13976944 memory=140509387892352 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16600/stat : 16600 (java) S 16590 16593 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72827257 14312390656 8077 18446744073709551615 4194304 4196468 140721588653632 140012125575408 140012579199618 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16601] ppid=16590 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16601/stat : 16601 (java) S 16590 16593 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72827258 14312390656 8077 18446744073709551615 4194304 4196468 140721588653632 140012124521632 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16602] ppid=16590 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16602/stat : 16602 (java) S 16590 16593 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72827258 14312390656 8077 18446744073709551615 4194304 4196468 140721588653632 140012123468528 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16603] ppid=16590 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16603/stat : 16603 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14312390656 8143 18446744073709551615 4194304 4196468 140721588653632 140012122417104 140012579207067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16604] ppid=16590 vsize=13976944 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16604/stat : 16604 (java) S 16590 16593 12560 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 72827260 14312390656 8143 18446744073709551615 4194304 4196468 140721588653632 140012121365232 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16605] ppid=16590 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16605/stat : 16605 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14312390656 8143 18446744073709551615 4194304 4196468 140721588653632 140012120312688 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16606] ppid=16590 vsize=13976944 memory=140509387892352 CPUtime=0.01 cores=0,2,4,6
/proc/16593/task/16606/stat : 16606 (java) S 16590 16593 12560 0 -1 1077944384 364 0 0 0 1 0 0 0 20 0 15 0 72827260 14312390656 8143 18446744073709551615 4194304 4196468 140721588653632 140012119259632 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16607] ppid=16590 vsize=13976944 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16607/stat : 16607 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14312390656 8143 18446744073709551615 4194304 4196468 140721588653632 140012118207328 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16608] ppid=16590 vsize=13976944 memory=140509387892352 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16608/stat : 16608 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72827264 14312390656 8143 18446744073709551615 4194304 4196468 140721588653632 140012117154352 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13979532 KiB
Current children cumulated memory: 33768 KiB
[startup+0.310138 s]*
/proc/loadavg: 1.50 1.39 1.34 4/213 16608
/proc/meminfo: memFree=31236076/32770624 swapFree=67105588/67108860
[pid=16593] ppid=16590 vsize=13975920 memory=41160 CPUtime=0.27 cores=0,2,4,6
/proc/16593/stat : 16593 (java) S 16590 16593 12560 0 -1 1077944320 10474 0 0 0 25 2 0 0 20 0 15 0 72827246 14311342080 10290 18446744073709551615 4194304 4196468 140721588653632 140721588636176 140012579188471 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
/proc/16593/statm: 3493980 10290 3588 1 0 3482759 0
[pid=16593/tid=16595] ppid=16590 vsize=13975920 memory=8316850467074736180 CPUtime=0.18 cores=0,2,4,6
/proc/16593/task/16595/stat : 16595 (java) R 16590 16593 12560 0 -1 4202560 8081 0 0 0 16 2 0 0 20 0 15 0 72827255 14311342080 10290 18446744073709551615 4194304 4196468 140721588653632 140012583409072 140012579210397 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16596] ppid=16590 vsize=13975920 memory=9220 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16596/stat : 16596 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72827256 14311342080 10290 18446744073709551615 4194304 4196468 140721588653632 140012513623056 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16597] ppid=16590 vsize=13975920 memory=3474165373545948832 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16597/stat : 16597 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72827256 14311342080 10290 18446744073709551615 4194304 4196468 140721588653632 140012512570512 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16598] ppid=16590 vsize=13975920 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16598/stat : 16598 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72827256 14311342080 10290 18446744073709551615 4194304 4196468 140721588653632 140012177505040 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16599] ppid=16590 vsize=13975920 memory=3472328279047811119 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16599/stat : 16599 (java) S 16590 16593 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72827256 14311342080 10290 18446744073709551615 4194304 4196468 140721588653632 140012176452496 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16600] ppid=16590 vsize=13975920 memory=3184238429463860912 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16600/stat : 16600 (java) S 16590 16593 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72827257 14311342080 10290 18446744073709551615 4194304 4196468 140721588653632 140012125575408 140012579199618 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16601] ppid=16590 vsize=13975920 memory=8031728410328445491 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16601/stat : 16601 (java) S 16590 16593 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72827258 14311342080 10290 18446744073709551615 4194304 4196468 140721588653632 140012124521632 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16602] ppid=16590 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16602/stat : 16602 (java) S 16590 16593 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72827258 14311342080 10290 18446744073709551615 4194304 4196468 140721588653632 140012123468528 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16603] ppid=16590 vsize=13975920 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16603/stat : 16603 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14311342080 10290 18446744073709551615 4194304 4196468 140721588653632 140012122417104 140012579207067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16604] ppid=16590 vsize=13975920 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/16593/task/16604/stat : 16604 (java) S 16590 16593 12560 0 -1 1077944384 344 0 0 0 1 0 0 0 20 0 15 0 72827260 14311342080 10290 18446744073709551615 4194304 4196468 140721588653632 140012121365232 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16605] ppid=16590 vsize=13975920 memory=3472323898181169199 CPUtime=0.01 cores=0,2,4,6
/proc/16593/task/16605/stat : 16605 (java) R 16590 16593 12560 0 -1 4202560 237 0 0 0 1 0 0 0 20 0 15 0 72827260 14311342080 10290 18446744073709551615 4194304 4196468 140721588653632 140012120312688 140012559685488 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16606] ppid=16590 vsize=13975920 memory=8386792415696558830 CPUtime=0.05 cores=0,2,4,6
/proc/16593/task/16606/stat : 16606 (java) S 16590 16593 12560 0 -1 1077944384 445 0 0 0 5 0 0 0 20 0 15 0 72827260 14311342080 10290 18446744073709551615 4194304 4196468 140721588653632 140012119259632 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16607] ppid=16590 vsize=13975920 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16607/stat : 16607 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14311342080 10290 18446744073709551615 4194304 4196468 140721588653632 140012118207328 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16608] ppid=16590 vsize=13975920 memory=140509387892352 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16608/stat : 16608 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72827264 14311342080 10290 18446744073709551615 4194304 4196468 140721588653632 140012117154352 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 41160 KiB
[startup+0.700903 s]
/proc/loadavg: 1.50 1.39 1.34 3/213 16608
/proc/meminfo: memFree=31221992/32770624 swapFree=67105588/67108860
[pid=16593] ppid=16590 vsize=13977988 memory=68876 CPUtime=1.05 cores=0,2,4,6
/proc/16593/stat : 16593 (java) S 16590 16593 12560 0 -1 1077944320 13421 0 0 0 100 5 0 0 20 0 15 0 72827246 14313459712 17219 18446744073709551615 4194304 4196468 140721588653632 140721588636176 140012579188471 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
/proc/16593/statm: 3494497 17219 3732 1 0 3483271 0
[pid=16593/tid=16595] ppid=16590 vsize=13977988 memory=0 CPUtime=0.56 cores=0,2,4,6
/proc/16593/task/16595/stat : 16595 (java) R 16590 16593 12560 0 -1 4202560 9918 0 0 0 53 3 0 0 20 0 15 0 72827255 14313459712 17219 18446744073709551615 4194304 4196468 140721588653632 140012583424400 140012561006860 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16596] ppid=16590 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16596/stat : 16596 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72827256 14313459712 17219 18446744073709551615 4194304 4196468 140721588653632 140012513623056 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16597] ppid=16590 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16597/stat : 16597 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72827256 14313459712 17219 18446744073709551615 4194304 4196468 140721588653632 140012512570512 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16598] ppid=16590 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16598/stat : 16598 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72827256 14313459712 17219 18446744073709551615 4194304 4196468 140721588653632 140012177505040 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16599] ppid=16590 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16599/stat : 16599 (java) S 16590 16593 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72827256 14313459712 17219 18446744073709551615 4194304 4196468 140721588653632 140012176452496 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16600] ppid=16590 vsize=13977988 memory=1196 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16600/stat : 16600 (java) S 16590 16593 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72827257 14313459712 17219 18446744073709551615 4194304 4196468 140721588653632 140012125575408 140012579199618 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16601] ppid=16590 vsize=13977988 memory=8620 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16601/stat : 16601 (java) S 16590 16593 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72827258 14313459712 17219 18446744073709551615 4194304 4196468 140721588653632 140012124521632 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16602] ppid=16590 vsize=13977988 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16602/stat : 16602 (java) S 16590 16593 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72827258 14313459712 17219 18446744073709551615 4194304 4196468 140721588653632 140012123468528 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16603] ppid=16590 vsize=13977988 memory=14260 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16603/stat : 16603 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14313459712 17219 18446744073709551615 4194304 4196468 140721588653632 140012122417104 140012579207067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16604] ppid=16590 vsize=13977988 memory=796 CPUtime=0.11 cores=0,2,4,6
/proc/16593/task/16604/stat : 16604 (java) S 16590 16593 12560 0 -1 1077944384 684 0 0 0 11 0 0 0 20 0 15 0 72827260 14313459712 17219 18446744073709551615 4194304 4196468 140721588653632 140012121365232 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16605] ppid=16590 vsize=13977988 memory=3472328279047811153 CPUtime=0.12 cores=0,2,4,6
/proc/16593/task/16605/stat : 16605 (java) S 16590 16593 12560 0 -1 1077944384 648 0 0 0 12 0 0 0 20 0 15 0 72827260 14313459712 17219 18446744073709551615 4194304 4196468 140721588653632 140012120312688 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16606] ppid=16590 vsize=13977988 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/16593/task/16606/stat : 16606 (java) S 16590 16593 12560 0 -1 1077944384 789 0 0 0 22 0 0 0 20 0 15 0 72827260 14313459712 17219 18446744073709551615 4194304 4196468 140721588653632 140012119259632 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16607] ppid=16590 vsize=13977988 memory=737 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16607/stat : 16607 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14313459712 17219 18446744073709551615 4194304 4196468 140721588653632 140012118207328 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16608] ppid=16590 vsize=13977988 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16608/stat : 16608 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72827264 14313459712 17219 18446744073709551615 4194304 4196468 140721588653632 140012117154352 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
Current children cumulated CPU time: 1.05 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 68876 KiB
[startup+1.5007 s]
/proc/loadavg: 1.50 1.39 1.34 3/213 16608
/proc/meminfo: memFree=31179716/32770624 swapFree=67105588/67108860
[pid=16593] ppid=16590 vsize=13982084 memory=142564 CPUtime=3.16 cores=0,2,4,6
/proc/16593/stat : 16593 (java) S 16590 16593 12560 0 -1 1077944320 27002 0 0 0 308 8 0 0 20 0 15 0 72827246 14317654016 35641 18446744073709551615 4194304 4196468 140721588653632 140721588636176 140012579188471 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
/proc/16593/statm: 3495521 35641 3758 1 0 3484295 0
[pid=16593/tid=16595] ppid=16590 vsize=13982084 memory=1292 CPUtime=1.36 cores=0,2,4,6
/proc/16593/task/16595/stat : 16595 (java) R 16590 16593 12560 0 -1 4202560 12760 0 0 0 131 5 0 0 20 0 15 0 72827255 14317654016 35641 18446744073709551615 4194304 4196468 140721588653632 140012583424720 140012579200406 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16596] ppid=16590 vsize=13982084 memory=281018502461888 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16596/stat : 16596 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72827256 14317654016 35641 18446744073709551615 4194304 4196468 140721588653632 140012513623056 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16597] ppid=16590 vsize=13982084 memory=-7522837415797432224 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16597/stat : 16597 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72827256 14317654016 35641 18446744073709551615 4194304 4196468 140721588653632 140012512570512 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16598] ppid=16590 vsize=13982084 memory=6933690287860520088 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16598/stat : 16598 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72827256 14317654016 35641 18446744073709551615 4194304 4196468 140721588653632 140012177505040 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16599] ppid=16590 vsize=13982084 memory=6944656592455359580 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16599/stat : 16599 (java) S 16590 16593 12560 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 72827256 14317654016 35641 18446744073709551615 4194304 4196468 140721588653632 140012176452496 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16600] ppid=16590 vsize=13982084 memory=-7101718590825193272 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16600/stat : 16600 (java) S 16590 16593 12560 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 72827257 14317654016 35641 18446744073709551615 4194304 4196468 140721588653632 140012125575408 140012579199618 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16601] ppid=16590 vsize=13982084 memory=-7966001958750355552 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16601/stat : 16601 (java) S 16590 16593 12560 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 72827258 14317654016 35641 18446744073709551615 4194304 4196468 140721588653632 140012124521632 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16602] ppid=16590 vsize=13982084 memory=-3040564339240289162 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16602/stat : 16602 (java) S 16590 16593 12560 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 72827258 14317654016 35641 18446744073709551615 4194304 4196468 140721588653632 140012123468528 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16603] ppid=16590 vsize=13982084 memory=7954317294030186840 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16603/stat : 16603 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14317654016 35641 18446744073709551615 4194304 4196468 140721588653632 140012122417104 140012579207067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16604] ppid=16590 vsize=13982084 memory=4639924115538006630 CPUtime=0.66 cores=0,2,4,6
/proc/16593/task/16604/stat : 16604 (java) R 16590 16593 12560 0 -1 4202560 4366 0 0 0 65 1 0 0 20 0 15 0 72827260 14317654016 35641 18446744073709551615 4194304 4196468 140721588653632 140012121357720 140012563873031 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16605] ppid=16590 vsize=13982084 memory=0 CPUtime=0.68 cores=0,2,4,6
/proc/16593/task/16605/stat : 16605 (java) R 16590 16593 12560 0 -1 4202560 6601 0 0 0 68 0 0 0 20 0 15 0 72827260 14317654016 35641 18446744073709551615 4194304 4196468 140721588653632 140012120299232 140012559517848 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16606] ppid=16590 vsize=13982084 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/16593/task/16606/stat : 16606 (java) S 16590 16593 12560 0 -1 1077944384 1897 0 0 0 43 0 0 0 20 0 15 0 72827260 14317654016 35641 18446744073709551615 4194304 4196468 140721588653632 140012119259632 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16607] ppid=16590 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16607/stat : 16607 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14317654016 35641 18446744073709551615 4194304 4196468 140721588653632 140012118207328 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16608] ppid=16590 vsize=13982084 memory=0 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16608/stat : 16608 (java) S 16590 16593 12560 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 72827264 14317654016 35641 18446744073709551615 4194304 4196468 140721588653632 140012117154352 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
################
# More data... #
################
/proc/16593/task/16595/stat : 16595 (java) R 16590 16593 12560 0 -1 4202560 33208 0 0 0 242847 30 0 0 20 0 15 0 72827255 14317654016 66753 18446744073709551615 4194304 4196468 140721588653632 140012583426848 140012197618788 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16596] ppid=16590 vsize=13982084 memory=267012 CPUtime=5.53 cores=0,2,4,6
/proc/16593/task/16596/stat : 16596 (java) S 16590 16593 12560 0 -1 1077944384 2503 0 0 0 521 32 0 0 20 0 15 0 72827256 14317654016 66753 18446744073709551615 4194304 4196468 140721588653632 140012513623056 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16597] ppid=16590 vsize=13982084 memory=267012 CPUtime=5.55 cores=0,2,4,6
/proc/16593/task/16597/stat : 16597 (java) S 16590 16593 12560 0 -1 1077944384 2348 0 0 0 521 34 0 0 20 0 15 0 72827256 14317654016 66753 18446744073709551615 4194304 4196468 140721588653632 140012512570512 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16598] ppid=16590 vsize=13982084 memory=267012 CPUtime=5.54 cores=0,2,4,6
/proc/16593/task/16598/stat : 16598 (java) S 16590 16593 12560 0 -1 1077944384 3960 0 0 0 520 34 0 0 20 0 15 0 72827256 14317654016 66753 18446744073709551615 4194304 4196468 140721588653632 140012177505040 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16599] ppid=16590 vsize=13982084 memory=267012 CPUtime=5.58 cores=0,2,4,6
/proc/16593/task/16599/stat : 16599 (java) S 16590 16593 12560 0 -1 1077944384 2577 0 0 0 522 36 0 0 20 0 15 0 72827256 14317654016 66753 18446744073709551615 4194304 4196468 140721588653632 140012176452496 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16600] ppid=16590 vsize=13982084 memory=267012 CPUtime=4.88 cores=0,2,4,6
/proc/16593/task/16600/stat : 16600 (java) S 16590 16593 12560 0 -1 1077944384 5401 0 0 0 455 33 0 0 20 0 15 0 72827257 14317654016 66753 18446744073709551615 4194304 4196468 140721588653632 140012125575408 140012579199618 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16601] ppid=16590 vsize=13982084 memory=267012 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16601/stat : 16601 (java) S 16590 16593 12560 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 72827258 14317654016 66753 18446744073709551615 4194304 4196468 140721588653632 140012124521696 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16602] ppid=16590 vsize=13982084 memory=267012 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16602/stat : 16602 (java) S 16590 16593 12560 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 72827258 14317654016 66753 18446744073709551615 4194304 4196468 140721588653632 140012123468544 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16603] ppid=16590 vsize=13982084 memory=267012 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16603/stat : 16603 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14317654016 66753 18446744073709551615 4194304 4196468 140721588653632 140012122417104 140012579207067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16604] ppid=16590 vsize=13982084 memory=1744 CPUtime=1.05 cores=0,2,4,6
/proc/16593/task/16604/stat : 16604 (java) S 16590 16593 12560 0 -1 1077944384 6231 0 0 0 104 1 0 0 20 0 15 0 72827260 14317654016 66753 18446744073709551615 4194304 4196468 140721588653632 140012121365232 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16605] ppid=16590 vsize=13982084 memory=956 CPUtime=0.95 cores=0,2,4,6
/proc/16593/task/16605/stat : 16605 (java) S 16590 16593 12560 0 -1 1077944384 8330 0 0 0 94 1 0 0 20 0 15 0 72827260 14317654016 66753 18446744073709551615 4194304 4196468 140721588653632 140012120312688 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16606] ppid=16590 vsize=13982084 memory=267012 CPUtime=0.47 cores=0,2,4,6
/proc/16593/task/16606/stat : 16606 (java) S 16590 16593 12560 0 -1 1077944384 3098 0 0 0 47 0 0 0 20 0 15 0 72827260 14317654016 66753 18446744073709551615 4194304 4196468 140721588653632 140012119259632 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16607] ppid=16590 vsize=13982084 memory=267012 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16607/stat : 16607 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14317654016 66753 18446744073709551615 4194304 4196468 140721588653632 140012118207328 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16608] ppid=16590 vsize=13982084 memory=267012 CPUtime=1.17 cores=0,2,4,6
/proc/16593/task/16608/stat : 16608 (java) S 16590 16593 12560 0 -1 1077944384 582 0 0 0 60 57 0 0 20 0 15 0 72827264 14317654016 66753 18446744073709551615 4194304 4196468 140721588653632 140012117154352 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 56 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
Current children cumulated CPU time: 2459.57 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 267012 KiB
[startup+2502.3 s]
/proc/loadavg: 1.23 1.37 1.39 3/210 18373
/proc/meminfo: memFree=30922292/32770624 swapFree=67105588/67108860
[pid=16593] ppid=16590 vsize=13982084 memory=271108 CPUtime=2520.02 cores=0,2,4,6
/proc/16593/stat : 16593 (java) S 16590 16593 12560 0 -1 1077944320 70730 0 0 0 251787 215 0 0 20 0 15 0 72827246 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140721588636176 140012579188471 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
/proc/16593/statm: 3495521 67777 3790 1 0 3484295 0
[pid=16593/tid=16595] ppid=16590 vsize=13982084 memory=271108 CPUtime=2488.42 cores=0,2,4,6
/proc/16593/task/16595/stat : 16595 (java) R 16590 16593 12560 0 -1 4202560 33738 0 0 0 248812 30 0 0 20 0 15 0 72827255 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012583426992 140012197106432 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16596] ppid=16590 vsize=13982084 memory=271108 CPUtime=5.7 cores=0,2,4,6
/proc/16593/task/16596/stat : 16596 (java) S 16590 16593 12560 0 -1 1077944384 2612 0 0 0 537 33 0 0 20 0 15 0 72827256 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012513623056 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16597] ppid=16590 vsize=13982084 memory=271108 CPUtime=5.7 cores=0,2,4,6
/proc/16593/task/16597/stat : 16597 (java) S 16590 16593 12560 0 -1 1077944384 2390 0 0 0 535 35 0 0 20 0 15 0 72827256 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012512570512 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16598] ppid=16590 vsize=13982084 memory=271108 CPUtime=5.7 cores=0,2,4,6
/proc/16593/task/16598/stat : 16598 (java) S 16590 16593 12560 0 -1 1077944384 4018 0 0 0 535 35 0 0 20 0 15 0 72827256 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012177505040 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16599] ppid=16590 vsize=13982084 memory=271108 CPUtime=5.74 cores=0,2,4,6
/proc/16593/task/16599/stat : 16599 (java) S 16590 16593 12560 0 -1 1077944384 2716 0 0 0 537 37 0 0 20 0 15 0 72827256 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012176452496 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16600] ppid=16590 vsize=13982084 memory=271108 CPUtime=4.99 cores=0,2,4,6
/proc/16593/task/16600/stat : 16600 (java) S 16590 16593 12560 0 -1 1077944384 5578 0 0 0 466 33 0 0 20 0 15 0 72827257 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012125575408 140012579199618 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16601] ppid=16590 vsize=13982084 memory=269060 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16601/stat : 16601 (java) S 16590 16593 12560 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 72827258 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012124521696 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16602] ppid=16590 vsize=13982084 memory=271108 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16602/stat : 16602 (java) S 16590 16593 12560 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 72827258 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012123468544 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16603] ppid=16590 vsize=13982084 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16603/stat : 16603 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012122417104 140012579207067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16604] ppid=16590 vsize=13982084 memory=-8774313645642428999 CPUtime=1.05 cores=0,2,4,6
/proc/16593/task/16604/stat : 16604 (java) S 16590 16593 12560 0 -1 1077944384 6233 0 0 0 104 1 0 0 20 0 15 0 72827260 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012121365232 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16605] ppid=16590 vsize=13982084 memory=8620 CPUtime=0.95 cores=0,2,4,6
/proc/16593/task/16605/stat : 16605 (java) S 16590 16593 12560 0 -1 1077944384 8332 0 0 0 94 1 0 0 20 0 15 0 72827260 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012120312688 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16606] ppid=16590 vsize=13982084 memory=271108 CPUtime=0.47 cores=0,2,4,6
/proc/16593/task/16606/stat : 16606 (java) S 16590 16593 12560 0 -1 1077944384 3100 0 0 0 47 0 0 0 20 0 15 0 72827260 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012119259632 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16607] ppid=16590 vsize=13982084 memory=271108 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16607/stat : 16607 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012118207328 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16608] ppid=16590 vsize=13982084 memory=4144 CPUtime=1.2 cores=0,2,4,6
/proc/16593/task/16608/stat : 16608 (java) S 16590 16593 12560 0 -1 1077944384 600 0 0 0 61 59 0 0 20 0 15 0 72827264 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012117154352 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 271108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2502.3 s]
/proc/loadavg: 1.23 1.37 1.39 3/210 18373
/proc/meminfo: memFree=30922292/32770624 swapFree=67105588/67108860
[pid=16593] ppid=16590 vsize=13982084 memory=271108 CPUtime=2520.02 cores=0,2,4,6
/proc/16593/stat : 16593 (java) S 16590 16593 12560 0 -1 1077944320 70730 0 0 0 251787 215 0 0 20 0 15 0 72827246 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140721588636176 140012579188471 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
/proc/16593/statm: 3495521 67777 3790 1 0 3484295 0
[pid=16593/tid=16595] ppid=16590 vsize=13982084 memory=271108 CPUtime=2488.42 cores=0,2,4,6
/proc/16593/task/16595/stat : 16595 (java) R 16590 16593 12560 0 -1 4202560 33738 0 0 0 248812 30 0 0 20 0 15 0 72827255 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012583426992 140012197106432 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16596] ppid=16590 vsize=13982084 memory=271108 CPUtime=5.7 cores=0,2,4,6
/proc/16593/task/16596/stat : 16596 (java) S 16590 16593 12560 0 -1 1077944384 2612 0 0 0 537 33 0 0 20 0 15 0 72827256 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012513623056 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16597] ppid=16590 vsize=13982084 memory=271108 CPUtime=5.7 cores=0,2,4,6
/proc/16593/task/16597/stat : 16597 (java) S 16590 16593 12560 0 -1 1077944384 2390 0 0 0 535 35 0 0 20 0 15 0 72827256 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012512570512 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16598] ppid=16590 vsize=13982084 memory=271108 CPUtime=5.7 cores=0,2,4,6
/proc/16593/task/16598/stat : 16598 (java) S 16590 16593 12560 0 -1 1077944384 4018 0 0 0 535 35 0 0 20 0 15 0 72827256 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012177505040 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16599] ppid=16590 vsize=13982084 memory=271108 CPUtime=5.74 cores=0,2,4,6
/proc/16593/task/16599/stat : 16599 (java) S 16590 16593 12560 0 -1 1077944384 2716 0 0 0 537 37 0 0 20 0 15 0 72827256 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012176452496 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16600] ppid=16590 vsize=13982084 memory=271108 CPUtime=4.99 cores=0,2,4,6
/proc/16593/task/16600/stat : 16600 (java) S 16590 16593 12560 0 -1 1077944384 5578 0 0 0 466 33 0 0 20 0 15 0 72827257 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012125575408 140012579199618 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16601] ppid=16590 vsize=13982084 memory=269060 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16601/stat : 16601 (java) S 16590 16593 12560 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 72827258 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012124521696 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16602] ppid=16590 vsize=13982084 memory=271108 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16602/stat : 16602 (java) S 16590 16593 12560 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 72827258 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012123468544 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16603] ppid=16590 vsize=13982084 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16603/stat : 16603 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012122417104 140012579207067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16604] ppid=16590 vsize=13982084 memory=-8774313645642428999 CPUtime=1.05 cores=0,2,4,6
/proc/16593/task/16604/stat : 16604 (java) S 16590 16593 12560 0 -1 1077944384 6233 0 0 0 104 1 0 0 20 0 15 0 72827260 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012121365232 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16605] ppid=16590 vsize=13982084 memory=8620 CPUtime=0.95 cores=0,2,4,6
/proc/16593/task/16605/stat : 16605 (java) S 16590 16593 12560 0 -1 1077944384 8332 0 0 0 94 1 0 0 20 0 15 0 72827260 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012120312688 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16606] ppid=16590 vsize=13982084 memory=271108 CPUtime=0.47 cores=0,2,4,6
/proc/16593/task/16606/stat : 16606 (java) S 16590 16593 12560 0 -1 1077944384 3100 0 0 0 47 0 0 0 20 0 15 0 72827260 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012119259632 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16607] ppid=16590 vsize=13982084 memory=271108 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16607/stat : 16607 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012118207328 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16608] ppid=16590 vsize=13982084 memory=4144 CPUtime=1.2 cores=0,2,4,6
/proc/16593/task/16608/stat : 16608 (java) S 16590 16593 12560 0 -1 1077944384 600 0 0 0 61 59 0 0 20 0 15 0 72827264 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012117154352 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 271108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2502.31 s]
# the end of solver process 16593 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.89 s, system=2.15879 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2502.3 s]
/proc/loadavg: 1.23 1.37 1.39 3/210 18373
/proc/meminfo: memFree=30922292/32770624 swapFree=67105588/67108860
[pid=16593] ppid=16590 vsize=13982084 memory=271108 CPUtime=2520.02 cores=0,2,4,6
/proc/16593/stat : 16593 (java) S 16590 16593 12560 0 -1 1077944320 70730 0 0 0 251787 215 0 0 20 0 15 0 72827246 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140721588636176 140012579188471 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 8 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
/proc/16593/statm: 3495521 67777 3790 1 0 3484295 0
[pid=16593/tid=16595] ppid=16590 vsize=13982084 memory=271108 CPUtime=2488.42 cores=0,2,4,6
/proc/16593/task/16595/stat : 16595 (java) R 16590 16593 12560 0 -1 4202560 33738 0 0 0 248812 30 0 0 20 0 15 0 72827255 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012583426992 140012197106432 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16596] ppid=16590 vsize=13982084 memory=271108 CPUtime=5.7 cores=0,2,4,6
/proc/16593/task/16596/stat : 16596 (java) S 16590 16593 12560 0 -1 1077944384 2612 0 0 0 537 33 0 0 20 0 15 0 72827256 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012513623056 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16597] ppid=16590 vsize=13982084 memory=271108 CPUtime=5.7 cores=0,2,4,6
/proc/16593/task/16597/stat : 16597 (java) S 16590 16593 12560 0 -1 1077944384 2390 0 0 0 535 35 0 0 20 0 15 0 72827256 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012512570512 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16598] ppid=16590 vsize=13982084 memory=271108 CPUtime=5.7 cores=0,2,4,6
/proc/16593/task/16598/stat : 16598 (java) S 16590 16593 12560 0 -1 1077944384 4018 0 0 0 535 35 0 0 20 0 15 0 72827256 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012177505040 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16599] ppid=16590 vsize=13982084 memory=271108 CPUtime=5.74 cores=0,2,4,6
/proc/16593/task/16599/stat : 16599 (java) S 16590 16593 12560 0 -1 1077944384 2716 0 0 0 537 37 0 0 20 0 15 0 72827256 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012176452496 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16600] ppid=16590 vsize=13982084 memory=271108 CPUtime=4.99 cores=0,2,4,6
/proc/16593/task/16600/stat : 16600 (java) S 16590 16593 12560 0 -1 1077944384 5578 0 0 0 466 33 0 0 20 0 15 0 72827257 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012125575408 140012579199618 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16601] ppid=16590 vsize=13982084 memory=269060 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16601/stat : 16601 (java) S 16590 16593 12560 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 72827258 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012124521696 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16602] ppid=16590 vsize=13982084 memory=271108 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16602/stat : 16602 (java) S 16590 16593 12560 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 15 0 72827258 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012123468544 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16603] ppid=16590 vsize=13982084 memory=4144 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16603/stat : 16603 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012122417104 140012579207067 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16604] ppid=16590 vsize=13982084 memory=-8774313645642428999 CPUtime=1.05 cores=0,2,4,6
/proc/16593/task/16604/stat : 16604 (java) S 16590 16593 12560 0 -1 1077944384 6233 0 0 0 104 1 0 0 20 0 15 0 72827260 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012121365232 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16605] ppid=16590 vsize=13982084 memory=8620 CPUtime=0.95 cores=0,2,4,6
/proc/16593/task/16605/stat : 16605 (java) S 16590 16593 12560 0 -1 1077944384 8332 0 0 0 94 1 0 0 20 0 15 0 72827260 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012120312688 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16606] ppid=16590 vsize=13982084 memory=271108 CPUtime=0.47 cores=0,2,4,6
/proc/16593/task/16606/stat : 16606 (java) S 16590 16593 12560 0 -1 1077944384 3100 0 0 0 47 0 0 0 20 0 15 0 72827260 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012119259632 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16607] ppid=16590 vsize=13982084 memory=271108 CPUtime=0 cores=0,2,4,6
/proc/16593/task/16607/stat : 16607 (java) S 16590 16593 12560 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 72827260 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012118207328 140012579198677 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
[pid=16593/tid=16608] ppid=16590 vsize=13982084 memory=4144 CPUtime=1.2 cores=0,2,4,6
/proc/16593/task/16608/stat : 16608 (java) S 16590 16593 12560 0 -1 1077944384 600 0 0 0 61 59 0 0 20 0 15 0 72827264 14317654016 67777 18446744073709551615 4194304 4196468 140721588653632 140012117154352 140012579199618 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 56 0 0 6293624 6294260 27926528 140721588658542 140721588658729 140721588658729 140721588662223 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 13982084 KiB
Current children cumulated memory: 271108 KiB
Child status: 143
Real time (s): 2502.31
CPU time (s): 2520.05
CPU user time (s): 2517.89
CPU system time (s): 2.15879
CPU usage (%): 100.709
Max. virtual memory (cumulated for all children) (KiB): 13982084
Max. memory (cumulated for all children) (KiB): 271108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.89
system time used= 2.15879
maximum resident set size= 271628
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 71064
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 195468
involuntary context switches= 6895
# summary of solver processes directly reported to runsolver:
# pid: 16593
# total CPU time (s): 2520.05
# total CPU user time (s): 2517.89
# total CPU system time (s): 2.15879
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.714 second user time and 22.5996 second system time
The end