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 (8228 MiB free)
memory of node 1: 16384 MiB (12599 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4299835-1532831725/watcher-4299835-1532831725 -o /tmp/evaluation-result-4299835-1532831725/solver-4299835-1532831725 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node148-1532809183-3226 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4299835-1532831725.xml --timelimit 2520
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=6720, runsolver pid=6717
[startup+0.10008 s]*
/proc/loadavg: 1.86 1.82 1.86 4/215 6735
/proc/meminfo: memFree=21311856/32770624 swapFree=67108404/67108860
[pid=6720] ppid=6717 vsize=10661056 memory=27404 CPUtime=0.13 cores=0,2,4,6
/proc/6720/stat : 6720 (java) S 6717 6720 3195 0 -1 1077944320 5268 0 0 0 12 1 0 0 20 0 15 0 100735638 10916921344 6851 33554432000 4194304 4196468 140729375664736 140729375647280 140139571592951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
/proc/6720/statm: 2665264 6851 2814 1 0 2627263 0
[pid=6720/tid=6722] ppid=6717 vsize=10661056 memory=-8682199503641343168 CPUtime=0.09 cores=0,2,4,6
/proc/6720/task/6722/stat : 6722 (java) R 6717 6720 3195 0 -1 4202560 3130 0 0 0 9 0 0 0 20 0 15 0 100735638 10916921344 6851 33554432000 4194304 4196468 140729375664736 140139575823840 140139563834341 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6723] ppid=6717 vsize=10661056 memory=8257237230052613020 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6723/stat : 6723 (java) S 6717 6720 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100735639 10916921344 6851 33554432000 4194304 4196468 140729375664736 140139497667728 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6724] ppid=6717 vsize=10661056 memory=140235122304640 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6724/stat : 6724 (java) S 6717 6720 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100735639 10916921344 6851 33554432000 4194304 4196468 140729375664736 140139496614928 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6725] ppid=6717 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6725/stat : 6725 (java) S 6717 6720 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100735639 10916921344 6851 33554432000 4194304 4196468 140729375664736 140139495562128 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6726] ppid=6717 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6726/stat : 6726 (java) S 6717 6720 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100735639 10916921344 6851 33554432000 4194304 4196468 140729375664736 140139494509328 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6727] ppid=6717 vsize=10661056 memory=140235122304640 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6727/stat : 6727 (java) S 6717 6720 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100735640 10916921344 6851 33554432000 4194304 4196468 140729375664736 140138605689200 140139571604098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6728] ppid=6717 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6728/stat : 6728 (java) S 6717 6720 3195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100735641 10916921344 6851 33554432000 4194304 4196468 140729375664736 140138604635168 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6729] ppid=6717 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6729/stat : 6729 (java) S 6717 6720 3195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100735641 10916921344 6851 33554432000 4194304 4196468 140729375664736 140138603582320 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6730] ppid=6717 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6730/stat : 6730 (java) S 6717 6720 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100735643 10916921344 6851 33554432000 4194304 4196468 140729375664736 140138602530640 140139571611547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6731] ppid=6717 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6731/stat : 6731 (java) S 6717 6720 3195 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 100735643 10916921344 6851 33554432000 4194304 4196468 140729375664736 140138601479024 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6732] ppid=6717 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6732/stat : 6732 (java) S 6717 6720 3195 0 -1 1077944384 131 0 0 0 0 0 0 0 20 0 15 0 100735643 10916921344 6851 33554432000 4194304 4196468 140729375664736 140138600426224 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6733] ppid=6717 vsize=10661056 memory=140235122304640 CPUtime=0.01 cores=0,2,4,6
/proc/6720/task/6733/stat : 6733 (java) S 6717 6720 3195 0 -1 1077944384 338 0 0 0 1 0 0 0 20 0 15 0 100735643 10916921344 6851 33554432000 4194304 4196468 140729375664736 140138599373424 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6734] ppid=6717 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6734/stat : 6734 (java) S 6717 6720 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100735643 10916921344 6851 33554432000 4194304 4196468 140729375664736 140138598320864 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6735] ppid=6717 vsize=10661056 memory=140235122304640 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6735/stat : 6735 (java) S 6717 6720 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100735644 10916921344 6851 33554432000 4194304 4196468 140729375664736 140138597268144 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27404 KiB
[startup+0.210549 s]*
/proc/loadavg: 1.86 1.82 1.86 4/215 6735
/proc/meminfo: memFree=21299824/32770624 swapFree=67108404/67108860
[pid=6720] ppid=6717 vsize=10661056 memory=40436 CPUtime=0.33 cores=0,2,4,6
/proc/6720/stat : 6720 (java) S 6717 6720 3195 0 -1 1077944320 8213 0 0 0 31 2 0 0 20 0 15 0 100735638 10916921344 10109 33554432000 4194304 4196468 140729375664736 140729375647280 140139571592951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
/proc/6720/statm: 2665264 10109 2991 1 0 2627263 0
[pid=6720/tid=6722] ppid=6717 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/6720/task/6722/stat : 6722 (java) R 6717 6720 3195 0 -1 4202560 5177 0 0 0 19 1 0 0 20 0 15 0 100735638 10916921344 10173 33554432000 4194304 4196468 140729375664736 140139575829280 140139571604886 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6723] ppid=6717 vsize=10661056 memory=345 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6723/stat : 6723 (java) S 6717 6720 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100735639 10916921344 10173 33554432000 4194304 4196468 140729375664736 140139497667728 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6724] ppid=6717 vsize=10661056 memory=140235122791279 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6724/stat : 6724 (java) S 6717 6720 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100735639 10916921344 10173 33554432000 4194304 4196468 140729375664736 140139496614928 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6725] ppid=6717 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6725/stat : 6725 (java) S 6717 6720 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100735639 10916921344 10173 33554432000 4194304 4196468 140729375664736 140139495562128 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6726] ppid=6717 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6726/stat : 6726 (java) S 6717 6720 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100735639 10916921344 10173 33554432000 4194304 4196468 140729375664736 140139494509328 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6727] ppid=6717 vsize=10661056 memory=140235122304640 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6727/stat : 6727 (java) S 6717 6720 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100735640 10916921344 10173 33554432000 4194304 4196468 140729375664736 140138605689200 140139571604098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6728] ppid=6717 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6728/stat : 6728 (java) S 6717 6720 3195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100735641 10916921344 10173 33554432000 4194304 4196468 140729375664736 140138604635168 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6729] ppid=6717 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6729/stat : 6729 (java) S 6717 6720 3195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100735641 10916921344 10173 33554432000 4194304 4196468 140729375664736 140138603582320 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6730] ppid=6717 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6730/stat : 6730 (java) S 6717 6720 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100735643 10916921344 10173 33554432000 4194304 4196468 140729375664736 140138602530640 140139571611547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6731] ppid=6717 vsize=10661056 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/6720/task/6731/stat : 6731 (java) S 6717 6720 3195 0 -1 1077944384 448 0 0 0 2 0 0 0 20 0 15 0 100735643 10916921344 10173 33554432000 4194304 4196468 140729375664736 140138601479024 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6732] ppid=6717 vsize=10661056 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/6720/task/6732/stat : 6732 (java) S 6717 6720 3195 0 -1 1077944384 283 0 0 0 2 0 0 0 20 0 15 0 100735643 10916921344 10173 33554432000 4194304 4196468 140729375664736 140138600426224 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6733] ppid=6717 vsize=10661056 memory=140235122304640 CPUtime=0.08 cores=0,2,4,6
/proc/6720/task/6733/stat : 6733 (java) S 6717 6720 3195 0 -1 1077944384 940 0 0 0 8 0 0 0 20 0 15 0 100735643 10916921344 10173 33554432000 4194304 4196468 140729375664736 140138599373424 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6734] ppid=6717 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6734/stat : 6734 (java) S 6717 6720 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100735643 10916921344 10173 33554432000 4194304 4196468 140729375664736 140138598320864 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6735] ppid=6717 vsize=10661056 memory=140235122304640 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6735/stat : 6735 (java) S 6717 6720 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100735644 10916921344 10173 33554432000 4194304 4196468 140729375664736 140138597268144 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40436 KiB
[startup+0.313424 s]*
/proc/loadavg: 1.86 1.82 1.86 6/215 6735
/proc/meminfo: memFree=21290024/32770624 swapFree=67108404/67108860
[pid=6720] ppid=6717 vsize=10661132 memory=49852 CPUtime=0.61 cores=0,2,4,6
/proc/6720/stat : 6720 (java) S 6717 6720 3195 0 -1 1077944320 9585 0 0 0 58 3 0 0 20 0 15 0 100735638 10916999168 12463 33554432000 4194304 4196468 140729375664736 140729375647280 140139571592951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
/proc/6720/statm: 2665283 12463 3070 1 0 2627263 0
[pid=6720/tid=6722] ppid=6717 vsize=10661132 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/6720/task/6722/stat : 6722 (java) R 6717 6720 3195 0 -1 4202560 5480 0 0 0 28 2 0 0 20 0 15 0 100735638 10916999168 12463 33554432000 4194304 4196468 140729375664736 140139575827648 140139571614877 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6723] ppid=6717 vsize=10661132 memory=290763883793350679 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6723/stat : 6723 (java) S 6717 6720 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 12463 33554432000 4194304 4196468 140729375664736 140139497667728 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6724] ppid=6717 vsize=10661132 memory=13706246715238040 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6724/stat : 6724 (java) S 6717 6720 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 12463 33554432000 4194304 4196468 140729375664736 140139496614928 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6725] ppid=6717 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6725/stat : 6725 (java) S 6717 6720 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 12463 33554432000 4194304 4196468 140729375664736 140139495562128 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6726] ppid=6717 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6726/stat : 6726 (java) S 6717 6720 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 12463 33554432000 4194304 4196468 140729375664736 140139494509328 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6727] ppid=6717 vsize=10661132 memory=140235122304640 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6727/stat : 6727 (java) S 6717 6720 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100735640 10916999168 12463 33554432000 4194304 4196468 140729375664736 140138605689200 140139571604098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6728] ppid=6717 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6728/stat : 6728 (java) S 6717 6720 3195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100735641 10916999168 12463 33554432000 4194304 4196468 140729375664736 140138604635168 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6729] ppid=6717 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6729/stat : 6729 (java) S 6717 6720 3195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100735641 10916999168 12463 33554432000 4194304 4196468 140729375664736 140138603582320 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6730] ppid=6717 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6730/stat : 6730 (java) S 6717 6720 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100735643 10916999168 12463 33554432000 4194304 4196468 140729375664736 140138602530640 140139571611547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6731] ppid=6717 vsize=10661132 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/6720/task/6731/stat : 6731 (java) S 6717 6720 3195 0 -1 1077944384 820 0 0 0 6 0 0 0 20 0 15 0 100735643 10916999168 12463 33554432000 4194304 4196468 140729375664736 140138601479024 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6732] ppid=6717 vsize=10661132 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6720/task/6732/stat : 6732 (java) R 6717 6720 3195 0 -1 4202560 717 0 0 0 8 0 0 0 20 0 15 0 100735643 10916999168 12463 33554432000 4194304 4196468 140729375664736 140138600412104 140139550839532 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6733] ppid=6717 vsize=10661132 memory=140235122304640 CPUtime=0.15 cores=0,2,4,6
/proc/6720/task/6733/stat : 6733 (java) R 6717 6720 3195 0 -1 4202560 1240 0 0 0 15 0 0 0 20 0 15 0 100735643 10916999168 12463 33554432000 4194304 4196468 140729375664736 140138599373520 140139162501241 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6734] ppid=6717 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6734/stat : 6734 (java) S 6717 6720 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100735643 10916999168 12463 33554432000 4194304 4196468 140729375664736 140138598320864 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6735] ppid=6717 vsize=10661132 memory=140235122304640 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6735/stat : 6735 (java) S 6717 6720 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100735644 10916999168 12463 33554432000 4194304 4196468 140729375664736 140138597268144 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
Current children cumulated CPU time: 0.61 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 49852 KiB
[startup+0.700775 s]
/proc/loadavg: 1.86 1.82 1.86 5/215 6735
/proc/meminfo: memFree=21270740/32770624 swapFree=67108404/67108860
[pid=6720] ppid=6717 vsize=10661132 memory=90952 CPUtime=1.77 cores=0,2,4,6
/proc/6720/stat : 6720 (java) S 6717 6720 3195 0 -1 1077944320 14824 0 0 0 172 5 0 0 20 0 15 0 100735638 10916999168 22738 33554432000 4194304 4196468 140729375664736 140729375647280 140139571592951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
/proc/6720/statm: 2665283 22738 3118 1 0 2627263 0
[pid=6720/tid=6722] ppid=6717 vsize=10661132 memory=1840 CPUtime=0.66 cores=0,2,4,6
/proc/6720/task/6722/stat : 6722 (java) R 6717 6720 3195 0 -1 4202560 5784 0 0 0 64 2 0 0 20 0 15 0 100735638 10916999168 22738 33554432000 4194304 4196468 140729375664736 140139575832032 140139165796131 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6723] ppid=6717 vsize=10661132 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6723/stat : 6723 (java) S 6717 6720 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 22738 33554432000 4194304 4196468 140729375664736 140139497667728 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6724] ppid=6717 vsize=10661132 memory=796 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6724/stat : 6724 (java) S 6717 6720 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 22738 33554432000 4194304 4196468 140729375664736 140139496614928 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6725] ppid=6717 vsize=10661132 memory=11008 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6725/stat : 6725 (java) S 6717 6720 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 22738 33554432000 4194304 4196468 140729375664736 140139495562128 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6726] ppid=6717 vsize=10661132 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6726/stat : 6726 (java) S 6717 6720 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 22738 33554432000 4194304 4196468 140729375664736 140139494509328 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6727] ppid=6717 vsize=10661132 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6727/stat : 6727 (java) S 6717 6720 3195 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 100735640 10916999168 22738 33554432000 4194304 4196468 140729375664736 140138605689200 140139571604098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6728] ppid=6717 vsize=10661132 memory=8568 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6728/stat : 6728 (java) S 6717 6720 3195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100735641 10916999168 22738 33554432000 4194304 4196468 140729375664736 140138604635168 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6729] ppid=6717 vsize=10661132 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6729/stat : 6729 (java) S 6717 6720 3195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100735641 10916999168 22738 33554432000 4194304 4196468 140729375664736 140138603582320 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6730] ppid=6717 vsize=10661132 memory=6297835844906604903 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6730/stat : 6730 (java) S 6717 6720 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100735643 10916999168 22738 33554432000 4194304 4196468 140729375664736 140138602530640 140139571611547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6731] ppid=6717 vsize=10661132 memory=7597685182856913236 CPUtime=0.4 cores=0,2,4,6
/proc/6720/task/6731/stat : 6731 (java) R 6717 6720 3195 0 -1 4202560 3145 0 0 0 39 1 0 0 20 0 15 0 100735643 10916999168 22738 33554432000 4194304 4196468 140729375664736 140138601467824 140139555987901 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6732] ppid=6717 vsize=10661132 memory=7523071198212214892 CPUtime=0.42 cores=0,2,4,6
/proc/6720/task/6732/stat : 6732 (java) R 6717 6720 3195 0 -1 4202560 2840 0 0 0 42 0 0 0 20 0 15 0 100735643 10916999168 22738 33554432000 4194304 4196468 140729375664736 140138600406568 140139553115184 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6733] ppid=6717 vsize=10661132 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/6720/task/6733/stat : 6733 (java) S 6717 6720 3195 0 -1 1077944384 1683 0 0 0 25 0 0 0 20 0 15 0 100735643 10916999168 22738 33554432000 4194304 4196468 140729375664736 140138599373424 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6734] ppid=6717 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6734/stat : 6734 (java) S 6717 6720 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100735643 10916999168 22738 33554432000 4194304 4196468 140729375664736 140138598320864 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6735] ppid=6717 vsize=10661132 memory=33 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6735/stat : 6735 (java) S 6717 6720 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100735644 10916999168 22738 33554432000 4194304 4196468 140729375664736 140138597268144 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 90952 KiB
[startup+1.50072 s]
/proc/loadavg: 1.86 1.82 1.86 3/215 6735
/proc/meminfo: memFree=21223960/32770624 swapFree=67108404/67108860
[pid=6720] ppid=6717 vsize=10661132 memory=175368 CPUtime=3.15 cores=0,2,4,6
/proc/6720/stat : 6720 (java) S 6717 6720 3195 0 -1 1077944320 15912 0 0 0 308 7 0 0 20 0 15 0 100735638 10916999168 43842 33554432000 4194304 4196468 140729375664736 140729375647280 140139571592951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
/proc/6720/statm: 2665283 43842 3120 1 0 2627263 0
[pid=6720/tid=6722] ppid=6717 vsize=10661132 memory=8112282956445269571 CPUtime=1.46 cores=0,2,4,6
/proc/6720/task/6722/stat : 6722 (java) R 6717 6720 3195 0 -1 4202560 5872 0 0 0 142 4 0 0 20 0 15 0 100735638 10916999168 43842 33554432000 4194304 4196468 140729375664736 140139575833488 140729375918018 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6723] ppid=6717 vsize=10661132 memory=-8754540793456063680 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6723/stat : 6723 (java) S 6717 6720 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 43842 33554432000 4194304 4196468 140729375664736 140139497667728 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6724] ppid=6717 vsize=10661132 memory=-2843874019102283166 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6724/stat : 6724 (java) S 6717 6720 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 43842 33554432000 4194304 4196468 140729375664736 140139496614928 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6725] ppid=6717 vsize=10661132 memory=5450919713671312938 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6725/stat : 6725 (java) S 6717 6720 3195 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 43842 33554432000 4194304 4196468 140729375664736 140139495562128 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6726] ppid=6717 vsize=10661132 memory=7005738693937936738 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6726/stat : 6726 (java) S 6717 6720 3195 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 43842 33554432000 4194304 4196468 140729375664736 140139494509328 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6727] ppid=6717 vsize=10661132 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6727/stat : 6727 (java) S 6717 6720 3195 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 100735640 10916999168 43842 33554432000 4194304 4196468 140729375664736 140138605689200 140139571604098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6728] ppid=6717 vsize=10661132 memory=7595713762717560935 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6728/stat : 6728 (java) S 6717 6720 3195 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 100735641 10916999168 43842 33554432000 4194304 4196468 140729375664736 140138604635168 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6729] ppid=6717 vsize=10661132 memory=7447098269037253200 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6729/stat : 6729 (java) S 6717 6720 3195 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 100735641 10916999168 43842 33554432000 4194304 4196468 140729375664736 140138603582320 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6730] ppid=6717 vsize=10661132 memory=7451894300419318880 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6730/stat : 6730 (java) S 6717 6720 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100735643 10916999168 43842 33554432000 4194304 4196468 140729375664736 140138602530640 140139571611547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6731] ppid=6717 vsize=10661132 memory=7526543756056844410 CPUtime=0.67 cores=0,2,4,6
/proc/6720/task/6731/stat : 6731 (java) S 6717 6720 3195 0 -1 1077944384 3338 0 0 0 66 1 0 0 20 0 15 0 100735643 10916999168 43842 33554432000 4194304 4196468 140729375664736 140138601479024 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6732] ppid=6717 vsize=10661132 memory=0 CPUtime=0.69 cores=0,2,4,6
/proc/6720/task/6732/stat : 6732 (java) S 6717 6720 3195 0 -1 1077944384 3247 0 0 0 69 0 0 0 20 0 15 0 100735643 10916999168 43842 33554432000 4194304 4196468 140729375664736 140138600426224 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6733] ppid=6717 vsize=10661132 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/6720/task/6733/stat : 6733 (java) S 6717 6720 3195 0 -1 1077944384 2067 0 0 0 28 0 0 0 20 0 15 0 100735643 10916999168 43842 33554432000 4194304 4196468 140729375664736 140138599373424 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6734] ppid=6717 vsize=10661132 memory=8112282956445269571 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6734/stat : 6734 (java) S 6717 6720 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100735643 10916999168 43842 33554432000 4194304 4196468 140729375664736 140138598320864 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6735] ppid=6717 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6735/stat : 6735 (java) S 6717 6720 3195 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 100735644 10916999168 43842 33554432000 4194304 4196468 140729375664736 140138597268144 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
Current children cumulated CPU time: 3.15 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 175368 KiB
[startup+3.10999 s]
/proc/loadavg: 1.86 1.82 1.86 3/215 6735
/proc/meminfo: memFree=21130960/32770624 swapFree=67108404/67108860
[pid=6720] ppid=6717 vsize=10661132 memory=208580 CPUtime=4.96 cores=0,2,4,6
/proc/6720/stat : 6720 (java) S 6717 6720 3195 0 -1 1077944320 19825 0 0 0 486 10 0 0 20 0 15 0 100735638 10916999168 52145 33554432000 4194304 4196468 140729375664736 140729375647280 140139571592951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
/proc/6720/statm: 2665283 52145 3154 1 0 2627263 0
[pid=6720/tid=6722] ppid=6717 vsize=10661132 memory=6656426216303648864 CPUtime=3.06 cores=0,2,4,6
/proc/6720/task/6722/stat : 6722 (java) R 6717 6720 3195 0 -1 4202560 6292 0 0 0 301 5 0 0 20 0 15 0 100735638 10916999168 52145 33554432000 4194304 4196468 140729375664736 140139575832400 140729375918018 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6723] ppid=6717 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6723/stat : 6723 (java) S 6717 6720 3195 0 -1 1077944384 173 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 52145 33554432000 4194304 4196468 140729375664736 140139497667728 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6724] ppid=6717 vsize=10661132 memory=7367994820020691277 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6724/stat : 6724 (java) S 6717 6720 3195 0 -1 1077944384 188 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 52145 33554432000 4194304 4196468 140729375664736 140139496614928 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6725] ppid=6717 vsize=10661132 memory=6299250989520741733 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6725/stat : 6725 (java) S 6717 6720 3195 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 52145 33554432000 4194304 4196468 140729375664736 140139495562128 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6726] ppid=6717 vsize=10661132 memory=7014751519667540324 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6726/stat : 6726 (java) S 6717 6720 3195 0 -1 1077944384 103 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 52145 33554432000 4194304 4196468 140729375664736 140139494509328 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6727] ppid=6717 vsize=10661132 memory=28926604745294 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6727/stat : 6727 (java) S 6717 6720 3195 0 -1 1077944384 185 0 0 0 0 0 0 0 20 0 15 0 100735640 10916999168 52145 33554432000 4194304 4196468 140729375664736 140138605689200 140139571604098 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6728] ppid=6717 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6728/stat : 6728 (java) S 6717 6720 3195 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 100735641 10916999168 52145 33554432000 4194304 4196468 140729375664736 140138604635168 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6729] ppid=6717 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6729/stat : 6729 (java) S 6717 6720 3195 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 100735641 10916999168 52145 33554432000 4194304 4196468 140729375664736 140138603582320 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6730] ppid=6717 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6730/stat : 6730 (java) S 6717 6720 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100735643 10916999168 52145 33554432000 4194304 4196468 140729375664736 140138602530640 140139571611547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6731] ppid=6717 vsize=10661132 memory=0 CPUtime=0.75 cores=0,2,4,6
/proc/6720/task/6731/stat : 6731 (java) S 6717 6720 3195 0 -1 1077944384 4630 0 0 0 74 1 0 0 20 0 15 0 100735643 10916999168 52145 33554432000 4194304 4196468 140729375664736 140138601479024 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6732] ppid=6717 vsize=10661132 memory=0 CPUtime=0.79 cores=0,2,4,6
/proc/6720/task/6732/stat : 6732 (java) S 6717 6720 3195 0 -1 1077944384 4640 0 0 0 79 0 0 0 20 0 15 0 100735643 10916999168 52145 33554432000 4194304 4196468 140729375664736 140138600426224 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6733] ppid=6717 vsize=10661132 memory=200260 CPUtime=0.28 cores=0,2,4,6
/proc/6720/task/6733/stat : 6733 (java) S 6717 6720 3195 0 -1 1077944384 2136 0 0 0 28 0 0 0 20 0 15 0 100735643 10916999168 52145 33554432000 4194304 4196468 140729375664736 140138599373424 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6734] ppid=6717 vsize=10661132 memory=57488962505337 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6734/stat : 6734 (java) S 6717 6720 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100735643 10916999168 52145 33554432000 4194304 4196468 140729375664736 140138598320864 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6735] ppid=6717 vsize=10661132 memory=280469954507408 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6735/stat : 6735 (java) S 6717 6720 3195 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 100735644 10916999168 52145 33554432000 4194304 4196468 140729375664736 140138597268144 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
Current children cumulated CPU time: 4.96 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 208580 KiB
[startup+6.30076 s]
/proc/loadavg: 1.87 1.82 1.86 6/215 6735
/proc/meminfo: memFree=21138652/32770624 swapFree=67108404/67108860
[pid=6720] ppid=6717 vsize=10661132 memory=192760 CPUtime=8.23 cores=0,2,4,6
/proc/6720/stat : 6720 (java) S 6717 6720 3195 0 -1 1077944320 20843 0 0 0 810 13 0 0 20 0 15 0 100735638 10916999168 48190 33554432000 4194304 4196468 140729375664736 140729375647280 140139571592951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
/proc/6720/statm: 2665283 48190 3154 1 0 2627263 0
[pid=6720/tid=6722] ppid=6717 vsize=10661132 memory=280469954887552 CPUtime=6.23 cores=0,2,4,6
/proc/6720/task/6722/stat : 6722 (java) R 6717 6720 3195 0 -1 4202560 6368 0 0 0 616 7 0 0 20 0 15 0 100735638 10916999168 48190 33554432000 4194304 4196468 140729375664736 140139575833552 140729375918018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6723] ppid=6717 vsize=10661132 memory=8170778092372639848 CPUtime=0.02 cores=0,2,4,6
/proc/6720/task/6723/stat : 6723 (java) S 6717 6720 3195 0 -1 1077944384 211 0 0 0 2 0 0 0 20 0 15 0 100735639 10916999168 48190 33554432000 4194304 4196468 140729375664736 140139497667728 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6724] ppid=6717 vsize=10661132 memory=7666911534620372834 CPUtime=0.01 cores=0,2,4,6
/proc/6720/task/6724/stat : 6724 (java) S 6717 6720 3195 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 15 0 100735639 10916999168 48190 33554432000 4194304 4196468 140729375664736 140139496614928 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6725] ppid=6717 vsize=10661132 memory=199868 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6725/stat : 6725 (java) S 6717 6720 3195 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 48190 33554432000 4194304 4196468 140729375664736 140139495562128 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6726] ppid=6717 vsize=10661132 memory=208600 CPUtime=0.02 cores=0,2,4,6
/proc/6720/task/6726/stat : 6726 (java) S 6717 6720 3195 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 15 0 100735639 10916999168 48190 33554432000 4194304 4196468 140729375664736 140139494509328 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6727] ppid=6717 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6727/stat : 6727 (java) S 6717 6720 3195 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 15 0 100735640 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138605689200 140139571604098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6728] ppid=6717 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6728/stat : 6728 (java) S 6717 6720 3195 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 100735641 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138604635168 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6729] ppid=6717 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6729/stat : 6729 (java) S 6717 6720 3195 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 100735641 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138603582320 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6730] ppid=6717 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6730/stat : 6730 (java) S 6717 6720 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100735643 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138602530640 140139571611547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6731] ppid=6717 vsize=10661132 memory=0 CPUtime=0.76 cores=0,2,4,6
/proc/6720/task/6731/stat : 6731 (java) S 6717 6720 3195 0 -1 1077944384 4782 0 0 0 75 1 0 0 20 0 15 0 100735643 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138601479024 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6732] ppid=6717 vsize=10661132 memory=0 CPUtime=0.8 cores=0,2,4,6
/proc/6720/task/6732/stat : 6732 (java) S 6717 6720 3195 0 -1 1077944384 4858 0 0 0 80 0 0 0 20 0 15 0 100735643 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138600426224 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6733] ppid=6717 vsize=10661132 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/6720/task/6733/stat : 6733 (java) S 6717 6720 3195 0 -1 1077944384 2195 0 0 0 29 0 0 0 20 0 15 0 100735643 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138599373424 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6734] ppid=6717 vsize=10661132 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6734/stat : 6734 (java) S 6717 6720 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100735643 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138598320864 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6735] ppid=6717 vsize=10661132 memory=-2605811476043407915 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6735/stat : 6735 (java) S 6717 6720 3195 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 15 0 100735644 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138597268144 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
Current children cumulated CPU time: 8.23 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 192760 KiB
[startup+6.47831 s]
# the end of solver process 6720 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.27626 s, system=0.137569 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.40091 s]
/proc/loadavg: 1.87 1.82 1.86 6/215 6735
/proc/meminfo: memFree=21138652/32770624 swapFree=67108404/67108860
[pid=6720] ppid=6717 vsize=10661132 memory=192760 CPUtime=8.33 cores=0,2,4,6
/proc/6720/stat : 6720 (java) S 6717 6720 3195 0 -1 1077944320 20848 0 0 0 820 13 0 0 20 0 15 0 100735638 10916999168 48190 33554432000 4194304 4196468 140729375664736 140729375647280 140139571592951 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
/proc/6720/statm: 2665283 48190 3154 1 0 2627263 0
[pid=6720/tid=6722] ppid=6717 vsize=10661132 memory=280469954925056 CPUtime=6.33 cores=0,2,4,6
/proc/6720/task/6722/stat : 6722 (java) R 6717 6720 3195 0 -1 4202560 6373 0 0 0 626 7 0 0 20 0 15 0 100735638 10916999168 48190 33554432000 4194304 4196468 140729375664736 140139575833552 140729375918018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6723] ppid=6717 vsize=10661132 memory=8112282956445269571 CPUtime=0.02 cores=0,2,4,6
/proc/6720/task/6723/stat : 6723 (java) S 6717 6720 3195 0 -1 1077944384 211 0 0 0 2 0 0 0 20 0 15 0 100735639 10916999168 48190 33554432000 4194304 4196468 140729375664736 140139497667728 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6724] ppid=6717 vsize=10661132 memory=6958448866314184762 CPUtime=0.01 cores=0,2,4,6
/proc/6720/task/6724/stat : 6724 (java) S 6717 6720 3195 0 -1 1077944384 380 0 0 0 1 0 0 0 20 0 15 0 100735639 10916999168 48190 33554432000 4194304 4196468 140729375664736 140139496614928 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6725] ppid=6717 vsize=10661132 memory=6958453264360695866 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6725/stat : 6725 (java) S 6717 6720 3195 0 -1 1077944384 63 0 0 0 0 0 0 0 20 0 15 0 100735639 10916999168 48190 33554432000 4194304 4196468 140729375664736 140139495562128 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6726] ppid=6717 vsize=10661132 memory=6944656592455875178 CPUtime=0.02 cores=0,2,4,6
/proc/6720/task/6726/stat : 6726 (java) S 6717 6720 3195 0 -1 1077944384 117 0 0 0 2 0 0 0 20 0 15 0 100735639 10916999168 48190 33554432000 4194304 4196468 140729375664736 140139494509328 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6727] ppid=6717 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6727/stat : 6727 (java) S 6717 6720 3195 0 -1 1077944384 206 0 0 0 0 0 0 0 20 0 15 0 100735640 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138605689200 140139571604098 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6728] ppid=6717 vsize=10661132 memory=28 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6728/stat : 6728 (java) S 6717 6720 3195 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 15 0 100735641 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138604635168 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6729] ppid=6717 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6729/stat : 6729 (java) S 6717 6720 3195 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 100735641 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138603582320 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6730] ppid=6717 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6730/stat : 6730 (java) S 6717 6720 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100735643 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138602530640 140139571611547 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6731] ppid=6717 vsize=10661132 memory=234 CPUtime=0.76 cores=0,2,4,6
/proc/6720/task/6731/stat : 6731 (java) S 6717 6720 3195 0 -1 1077944384 4782 0 0 0 75 1 0 0 20 0 15 0 100735643 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138601479024 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6732] ppid=6717 vsize=10661132 memory=3554 CPUtime=0.8 cores=0,2,4,6
/proc/6720/task/6732/stat : 6732 (java) S 6717 6720 3195 0 -1 1077944384 4858 0 0 0 80 0 0 0 20 0 15 0 100735643 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138600426224 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6733] ppid=6717 vsize=10661132 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/6720/task/6733/stat : 6733 (java) S 6717 6720 3195 0 -1 1077944384 2195 0 0 0 29 0 0 0 20 0 15 0 100735643 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138599373424 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6734] ppid=6717 vsize=10661132 memory=103 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6734/stat : 6734 (java) S 6717 6720 3195 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 100735643 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138598320864 140139571603157 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
[pid=6720/tid=6735] ppid=6717 vsize=10661132 memory=199956 CPUtime=0 cores=0,2,4,6
/proc/6720/task/6735/stat : 6735 (java) S 6717 6720 3195 0 -1 1077944384 260 0 0 0 0 0 0 0 20 0 15 0 100735644 10916999168 48190 33554432000 4194304 4196468 140729375664736 140138597268144 140139571604098 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9228288 140729375671452 140729375671561 140729375671561 140729375674319 0
Current children cumulated CPU time: 8.33 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 192760 KiB
Child status: 0
Real time (s): 6.47841
CPU time (s): 8.41383
CPU user time (s): 8.27626
CPU system time (s): 0.137569
CPU usage (%): 129.875
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 208600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.27626
system time used= 0.137569
maximum resident set size= 208604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22076
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1738
involuntary context switches= 24
# summary of solver processes directly reported to runsolver:
# pid: 6720
# total CPU time (s): 8.41383
# total CPU user time (s): 8.27626
# total CPU system time (s): 0.137569
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.058731 second user time and 0.107465 second system time
The end