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 (2141 MiB free)
memory of node 1: 16384 MiB (505 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402856-1568970237/watcher-4402856-1568970237 -o /var/tmp/evaluation-result-4402856-1568970237/solver-4402856-1568970237 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node146-1568967595-5563 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=251912797 HOME/instance-4402856-1568970237.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=6309, runsolver pid=6306
[startup+0.100127 s]*
/proc/loadavg: 1.82 1.72 1.60 3/219 6366
/proc/meminfo: memFree=2704804/32770624 swapFree=67001716/67108860
[pid=6309] ppid=6306 vsize=9972712 memory=18324 CPUtime=0.09 cores=0,2,4,6
/proc/6309/stat : 6309 (java) S 6306 6309 5532 0 -1 1077944320 4326 13289 0 0 1 0 5 3 20 0 6 0 472937680 10212057088 4581 33554432000 4194304 4196468 140728942310000 140728942292544 140386621648631 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
/proc/6309/statm: 2493178 4581 1930 1 0 2481616 0
[pid=6309/tid=6362] ppid=6306 vsize=9972712 memory=8514726395714820750 CPUtime=0.09 cores=0,2,4,6
/proc/6309/task/6362/stat : 6362 (java) R 6306 6309 5532 0 -1 4202560 2132 13289 0 0 1 0 5 3 20 0 6 0 472937689 10212057088 4581 33554432000 4194304 4196468 140728942310000 140386593485392 140386605729118 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6363] ppid=6306 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6363/stat : 6363 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 6 0 472937690 10212057088 4581 33554432000 4194304 4196468 140728942310000 140386625890832 140386621658837 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6364] ppid=6306 vsize=9972712 memory=140582464788096 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6364/stat : 6364 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 6 0 472937690 10212057088 4581 33554432000 4194304 4196468 140728942310000 140386514164368 140386621658837 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6365] ppid=6306 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6365/stat : 6365 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 6 0 472937690 10212057088 4581 33554432000 4194304 4196468 140728942310000 140386513111312 140386621658837 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6366] ppid=6306 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6366/stat : 6366 (java) S 6306 6309 5532 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 6 0 472937690 10212057088 4581 33554432000 4194304 4196468 140728942310000 140386512058768 140386621658837 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18324 KiB
[startup+0.211199 s]*
/proc/loadavg: 1.82 1.72 1.60 3/228 6375
/proc/meminfo: memFree=2685560/32770624 swapFree=67001716/67108860
[pid=6309] ppid=6306 vsize=10819716 memory=40304 CPUtime=0.26 cores=0,2,4,6
/proc/6309/stat : 6309 (java) S 6306 6309 5532 0 -1 1077944320 6930 13289 0 0 17 1 5 3 20 0 15 0 472937680 11079389184 10076 33554432000 4194304 4196468 140728942310000 140728942292544 140386621648631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
/proc/6309/statm: 2704929 10076 3163 1 0 2667149 0
[pid=6309/tid=6362] ppid=6306 vsize=10819732 memory=5450916389569530688 CPUtime=0.19 cores=0,2,4,6
/proc/6309/task/6362/stat : 6362 (java) R 6306 6309 5532 0 -1 4202560 3542 13289 0 0 11 0 5 3 20 0 15 0 472937689 11079405568 10107 33554432000 4194304 4196468 140728942310000 140386593459664 140386614326724 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6363] ppid=6306 vsize=10820756 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6363/stat : 6363 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 472937690 11080454144 10107 33554432000 4194304 4196468 140728942310000 140386625890832 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6364] ppid=6306 vsize=10820756 memory=140582464788096 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6364/stat : 6364 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 472937690 11080454144 10107 33554432000 4194304 4196468 140728942310000 140386514164368 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6365] ppid=6306 vsize=10819732 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6365/stat : 6365 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 472937690 11079405568 10107 33554432000 4194304 4196468 140728942310000 140386513111312 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6366] ppid=6306 vsize=10819732 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6366/stat : 6366 (java) S 6306 6309 5532 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 472937690 11079405568 10107 33554432000 4194304 4196468 140728942310000 140386512058768 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6367] ppid=6306 vsize=10819732 memory=140582464788096 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6367/stat : 6367 (java) S 6306 6309 5532 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 472937691 11079405568 10107 33554432000 4194304 4196468 140728942310000 140386080221936 140386621659778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6368] ppid=6306 vsize=10819732 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6368/stat : 6368 (java) S 6306 6309 5532 0 -1 1077944384 33 13289 0 0 0 0 5 3 20 0 15 0 472937691 11079405568 10107 33554432000 4194304 4196468 140728942310000 140386079168160 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6369] ppid=6306 vsize=10819732 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6369/stat : 6369 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 472937692 11079405568 10107 33554432000 4194304 4196468 140728942310000 140385502356720 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6370] ppid=6306 vsize=10819732 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6370/stat : 6370 (java) S 6306 6309 5532 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 472937694 11079405568 10107 33554432000 4194304 4196468 140728942310000 140385194957264 140386621667227 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6371] ppid=6306 vsize=10819732 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6309/task/6371/stat : 6371 (java) S 6306 6309 5532 0 -1 1077944384 575 13289 0 0 1 0 5 3 20 0 15 0 472937694 11079405568 10107 33554432000 4194304 4196468 140728942310000 140386045610224 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6372] ppid=6306 vsize=10819732 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6372/stat : 6372 (java) S 6306 6309 5532 0 -1 1077944384 59 13289 0 0 0 0 5 3 20 0 15 0 472937694 11079405568 10107 33554432000 4194304 4196468 140728942310000 140386044557680 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6373] ppid=6306 vsize=10819740 memory=140582464788096 CPUtime=0.11 cores=0,2,4,6
/proc/6309/task/6373/stat : 6373 (java) S 6306 6309 5532 0 -1 1077944384 608 13289 0 0 3 0 5 3 20 0 15 0 472937694 11079413760 10107 33554432000 4194304 4196468 140728942310000 140386043504624 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6374] ppid=6306 vsize=10819740 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6374/stat : 6374 (java) S 6306 6309 5532 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 472937695 11079413760 10107 33554432000 4194304 4196468 140728942310000 140385161398624 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6375] ppid=6306 vsize=10819740 memory=140582464788096 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6375/stat : 6375 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 472937695 11079413760 10107 33554432000 4194304 4196468 140728942310000 140386042453040 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819716 KiB
Current children cumulated memory: 40304 KiB
[startup+0.310443 s]*
/proc/loadavg: 1.82 1.72 1.60 3/228 6375
/proc/meminfo: memFree=2672740/32770624 swapFree=67001716/67108860
[pid=6309] ppid=6306 vsize=10820196 memory=49400 CPUtime=0.4 cores=0,2,4,6
/proc/6309/stat : 6309 (java) S 6306 6309 5532 0 -1 1077944320 10565 13289 0 0 29 3 5 3 20 0 15 0 472937680 11079880704 12350 33554432000 4194304 4196468 140728942310000 140728942292544 140386621648631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
/proc/6309/statm: 2705049 12350 3320 1 0 2667149 0
[pid=6309/tid=6362] ppid=6306 vsize=10820196 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/6309/task/6362/stat : 6362 (java) R 6306 6309 5532 0 -1 4202560 7069 13289 0 0 19 2 5 3 20 0 15 0 472937689 11079880704 12350 33554432000 4194304 4196468 140728942310000 140386593457552 140386605729118 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6363] ppid=6306 vsize=10820196 memory=7518315836510530153 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6363/stat : 6363 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 472937690 11079880704 12350 33554432000 4194304 4196468 140728942310000 140386625890832 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6364] ppid=6306 vsize=10820196 memory=5788339726952981056 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6364/stat : 6364 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 472937690 11079880704 12350 33554432000 4194304 4196468 140728942310000 140386514164368 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6365] ppid=6306 vsize=10820196 memory=7019607670406662598 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6365/stat : 6365 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 472937690 11079880704 12350 33554432000 4194304 4196468 140728942310000 140386513111312 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6366] ppid=6306 vsize=10820196 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6366/stat : 6366 (java) S 6306 6309 5532 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 472937690 11079880704 12350 33554432000 4194304 4196468 140728942310000 140386512058768 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6367] ppid=6306 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6367/stat : 6367 (java) S 6306 6309 5532 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 472937691 11079880704 12350 33554432000 4194304 4196468 140728942310000 140386080221936 140386621659778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6368] ppid=6306 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6368/stat : 6368 (java) S 6306 6309 5532 0 -1 1077944384 33 13289 0 0 0 0 5 3 20 0 15 0 472937691 11079880704 12350 33554432000 4194304 4196468 140728942310000 140386079168160 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6369] ppid=6306 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6369/stat : 6369 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 472937692 11079880704 12350 33554432000 4194304 4196468 140728942310000 140385502356720 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6370] ppid=6306 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6370/stat : 6370 (java) S 6306 6309 5532 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 472937694 11079880704 12350 33554432000 4194304 4196468 140728942310000 140385194957264 140386621667227 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6371] ppid=6306 vsize=10820196 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6309/task/6371/stat : 6371 (java) S 6306 6309 5532 0 -1 1077944384 576 13289 0 0 2 0 5 3 20 0 15 0 472937694 11079880704 12350 33554432000 4194304 4196468 140728942310000 140386045610224 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6372] ppid=6306 vsize=10820196 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6309/task/6372/stat : 6372 (java) S 6306 6309 5532 0 -1 1077944384 68 13289 0 0 1 0 5 3 20 0 15 0 472937694 11079880704 12350 33554432000 4194304 4196468 140728942310000 140386044557680 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6373] ppid=6306 vsize=10820196 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6309/task/6373/stat : 6373 (java) R 6306 6309 5532 0 -1 4202560 616 13289 0 0 5 0 5 3 20 0 15 0 472937694 11079880704 12350 33554432000 4194304 4196468 140728942310000 140386043504624 140386621669978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6374] ppid=6306 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6374/stat : 6374 (java) S 6306 6309 5532 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 472937695 11079880704 12350 33554432000 4194304 4196468 140728942310000 140385161398624 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6375] ppid=6306 vsize=10820196 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6375/stat : 6375 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 472937695 11079880704 12350 33554432000 4194304 4196468 140728942310000 140386042453040 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 49400 KiB
[startup+0.701194 s]
/proc/loadavg: 1.82 1.72 1.60 3/228 6375
/proc/meminfo: memFree=2658824/32770624 swapFree=67001716/67108860
[pid=6309] ppid=6306 vsize=10824364 memory=81156 CPUtime=1.15 cores=0,2,4,6
/proc/6309/stat : 6309 (java) S 6306 6309 5532 0 -1 1077944320 14560 13289 0 0 102 5 5 3 20 0 15 0 472937680 11084148736 20289 33554432000 4194304 4196468 140728942310000 140728942292544 140386621648631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
/proc/6309/statm: 2706091 20289 3509 1 0 2668173 0
[pid=6309/tid=6362] ppid=6306 vsize=10824364 memory=2241 CPUtime=0.67 cores=0,2,4,6
/proc/6309/task/6362/stat : 6362 (java) R 6306 6309 5532 0 -1 4202560 9947 13289 0 0 55 4 5 3 20 0 15 0 472937689 11084148736 20289 33554432000 4194304 4196468 140728942310000 140386593465296 140386607343623 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6363] ppid=6306 vsize=10824364 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6363/stat : 6363 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 472937690 11084148736 20289 33554432000 4194304 4196468 140728942310000 140386625890832 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6364] ppid=6306 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6364/stat : 6364 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 472937690 11084148736 20289 33554432000 4194304 4196468 140728942310000 140386514164368 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6365] ppid=6306 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6365/stat : 6365 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 472937690 11084148736 20289 33554432000 4194304 4196468 140728942310000 140386513111312 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6366] ppid=6306 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6366/stat : 6366 (java) S 6306 6309 5532 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 472937690 11084148736 20289 33554432000 4194304 4196468 140728942310000 140386512058768 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6367] ppid=6306 vsize=10824364 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6367/stat : 6367 (java) S 6306 6309 5532 0 -1 1077944384 5 13289 0 0 0 0 5 3 20 0 15 0 472937691 11084148736 20289 33554432000 4194304 4196468 140728942310000 140386080221936 140386621659778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6368] ppid=6306 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6368/stat : 6368 (java) S 6306 6309 5532 0 -1 1077944384 33 13289 0 0 0 0 5 3 20 0 15 0 472937691 11084148736 20289 33554432000 4194304 4196468 140728942310000 140386079168160 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6369] ppid=6306 vsize=10824364 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6369/stat : 6369 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 472937692 11084148736 20289 33554432000 4194304 4196468 140728942310000 140385502356720 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6370] ppid=6306 vsize=10824364 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6370/stat : 6370 (java) S 6306 6309 5532 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 472937694 11084148736 20289 33554432000 4194304 4196468 140728942310000 140385194957264 140386621667227 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6371] ppid=6306 vsize=10824364 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/6309/task/6371/stat : 6371 (java) R 6306 6309 5532 0 -1 4202560 1140 13289 0 0 16 0 5 3 20 0 15 0 472937694 11084148736 20289 33554432000 4194304 4196468 140728942310000 140386045610224 140386605608560 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6372] ppid=6306 vsize=10824364 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/6309/task/6372/stat : 6372 (java) S 6306 6309 5532 0 -1 1077944384 443 13289 0 0 12 0 5 3 20 0 15 0 472937694 11084148736 20289 33554432000 4194304 4196468 140728942310000 140386044557680 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6373] ppid=6306 vsize=10824364 memory=0 CPUtime=0.25 cores=0,2,4,6
/proc/6309/task/6373/stat : 6373 (java) S 6306 6309 5532 0 -1 1077944384 776 13289 0 0 17 0 5 3 20 0 15 0 472937694 11084148736 20289 33554432000 4194304 4196468 140728942310000 140386043504624 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6374] ppid=6306 vsize=10824364 memory=140582332696560 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6374/stat : 6374 (java) S 6306 6309 5532 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 472937695 11084148736 20289 33554432000 4194304 4196468 140728942310000 140385161398624 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6375] ppid=6306 vsize=10824364 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6375/stat : 6375 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 472937695 11084148736 20289 33554432000 4194304 4196468 140728942310000 140386042453040 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81156 KiB
[startup+1.50205 s]
/proc/loadavg: 1.82 1.72 1.60 4/228 6375
/proc/meminfo: memFree=2614528/32770624 swapFree=67001716/67108860
[pid=6309] ppid=6306 vsize=10834680 memory=167384 CPUtime=2.51 cores=0,2,4,6
/proc/6309/stat : 6309 (java) S 6306 6309 5532 0 -1 1077944320 21272 13289 0 0 234 9 5 3 20 0 15 0 472937680 11094712320 41846 33554432000 4194304 4196468 140728942310000 140728942292544 140386621648631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
/proc/6309/statm: 2708670 41846 3584 1 0 2670733 0
[pid=6309/tid=6362] ppid=6306 vsize=10834680 memory=16 CPUtime=1.44 cores=0,2,4,6
/proc/6309/task/6362/stat : 6362 (java) R 6306 6309 5532 0 -1 4202560 14871 13289 0 0 131 5 5 3 20 0 15 0 472937689 11094712320 41846 33554432000 4194304 4196468 140728942310000 140386593450928 140386190337927 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6363] ppid=6306 vsize=10834680 memory=27 CPUtime=0.09 cores=0,2,4,6
/proc/6309/task/6363/stat : 6363 (java) S 6306 6309 5532 0 -1 1077944384 61 13289 0 0 1 0 5 3 20 0 15 0 472937690 11094712320 41846 33554432000 4194304 4196468 140728942310000 140386625890832 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6364] ppid=6306 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6309/task/6364/stat : 6364 (java) S 6306 6309 5532 0 -1 1077944384 31 13289 0 0 1 0 5 3 20 0 15 0 472937690 11094712320 41846 33554432000 4194304 4196468 140728942310000 140386514164368 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6365] ppid=6306 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6309/task/6365/stat : 6365 (java) S 6306 6309 5532 0 -1 1077944384 387 13289 0 0 1 0 5 3 20 0 15 0 472937690 11094712320 41846 33554432000 4194304 4196468 140728942310000 140386513111312 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6366] ppid=6306 vsize=10834680 memory=95652 CPUtime=0.09 cores=0,2,4,6
/proc/6309/task/6366/stat : 6366 (java) S 6306 6309 5532 0 -1 1077944384 84 13289 0 0 1 0 5 3 20 0 15 0 472937690 11094712320 41846 33554432000 4194304 4196468 140728942310000 140386512058768 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6367] ppid=6306 vsize=10834680 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6309/task/6367/stat : 6367 (java) S 6306 6309 5532 0 -1 1077944384 174 13289 0 0 1 0 5 3 20 0 15 0 472937691 11094712320 41846 33554432000 4194304 4196468 140728942310000 140386080221936 140386621659778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6368] ppid=6306 vsize=10834680 memory=7014751519616816486 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6368/stat : 6368 (java) S 6306 6309 5532 0 -1 1077944384 33 13289 0 0 0 0 5 3 20 0 15 0 472937691 11094712320 41846 33554432000 4194304 4196468 140728942310000 140386079168224 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6369] ppid=6306 vsize=10834680 memory=7734476528324863577 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6369/stat : 6369 (java) S 6306 6309 5532 0 -1 1077944384 2 13289 0 0 0 0 5 3 20 0 15 0 472937692 11094712320 41846 33554432000 4194304 4196468 140728942310000 140385502356736 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6370] ppid=6306 vsize=10834680 memory=7668052836077888875 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6370/stat : 6370 (java) S 6306 6309 5532 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 472937694 11094712320 41846 33554432000 4194304 4196468 140728942310000 140385194957264 140386621667227 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6371] ppid=6306 vsize=10834680 memory=5571041044932745317 CPUtime=0.36 cores=0,2,4,6
/proc/6309/task/6371/stat : 6371 (java) S 6306 6309 5532 0 -1 1077944384 1227 13289 0 0 28 0 5 3 20 0 15 0 472937694 11094712320 41846 33554432000 4194304 4196468 140728942310000 140386045610224 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6372] ppid=6306 vsize=10834680 memory=7449891050483116897 CPUtime=0.34 cores=0,2,4,6
/proc/6309/task/6372/stat : 6372 (java) S 6306 6309 5532 0 -1 1077944384 651 13289 0 0 25 1 5 3 20 0 15 0 472937694 11094712320 41846 33554432000 4194304 4196468 140728942310000 140386044557680 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6373] ppid=6306 vsize=10834680 memory=7014751519616816486 CPUtime=0.49 cores=0,2,4,6
/proc/6309/task/6373/stat : 6373 (java) R 6306 6309 5532 0 -1 1077944384 1544 13289 0 0 41 0 5 3 20 0 15 0 472937694 11094712320 41846 33554432000 4194304 4196468 140728942310000 140386043504624 140386621659778 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6374] ppid=6306 vsize=10834680 memory=7014751519616816486 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6374/stat : 6374 (java) S 6306 6309 5532 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 472937695 11094712320 41846 33554432000 4194304 4196468 140728942310000 140385161398624 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6375] ppid=6306 vsize=10834680 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6375/stat : 6375 (java) S 6306 6309 5532 0 -1 1077944384 1 13289 0 0 0 0 5 3 20 0 15 0 472937695 11094712320 41846 33554432000 4194304 4196468 140728942310000 140386042453040 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
Current children cumulated CPU time: 2.51 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/6309/task/6362/stat : 6362 (java) R 6306 6309 5532 0 -1 4202560 65105 13289 0 0 235617 48 5 3 20 0 15 0 472937689 11107315712 239995 33554432000 4194304 4196468 140728942310000 140386593484992 140386207562386 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6363] ppid=6306 vsize=10846988 memory=959948 CPUtime=12.82 cores=0,2,4,6
/proc/6309/task/6363/stat : 6363 (java) S 6306 6309 5532 0 -1 1077944384 15429 13289 0 0 1220 54 5 3 20 0 15 0 472937690 11107315712 239995 33554432000 4194304 4196468 140728942310000 140386625890832 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6364] ppid=6306 vsize=10846988 memory=959948 CPUtime=12.81 cores=0,2,4,6
/proc/6309/task/6364/stat : 6364 (java) S 6306 6309 5532 0 -1 1077944384 23848 13289 0 0 1219 54 5 3 20 0 15 0 472937690 11107315712 239995 33554432000 4194304 4196468 140728942310000 140386514164368 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6365] ppid=6306 vsize=10846988 memory=959980 CPUtime=12.81 cores=0,2,4,6
/proc/6309/task/6365/stat : 6365 (java) S 6306 6309 5532 0 -1 1077944384 18230 13289 0 0 1218 55 5 3 20 0 15 0 472937690 11107315712 239995 33554432000 4194304 4196468 140728942310000 140386513111312 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6366] ppid=6306 vsize=10846988 memory=959980 CPUtime=12.87 cores=0,2,4,6
/proc/6309/task/6366/stat : 6366 (java) S 6306 6309 5532 0 -1 1077944384 22664 13289 0 0 1226 53 5 3 20 0 15 0 472937690 11107315712 239995 33554432000 4194304 4196468 140728942310000 140386512058768 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6367] ppid=6306 vsize=10846988 memory=959980 CPUtime=10.5 cores=0,2,4,6
/proc/6309/task/6367/stat : 6367 (java) S 6306 6309 5532 0 -1 1077944384 19730 13289 0 0 985 57 5 3 20 0 15 0 472937691 11107315712 239995 33554432000 4194304 4196468 140728942310000 140386080221936 140386621659778 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6368] ppid=6306 vsize=10846988 memory=959980 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6368/stat : 6368 (java) S 6306 6309 5532 0 -1 1077944384 44 13289 0 0 0 0 5 3 20 0 15 0 472937691 11107315712 239995 33554432000 4194304 4196468 140728942310000 140386079168224 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6369] ppid=6306 vsize=10846988 memory=959980 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6369/stat : 6369 (java) S 6306 6309 5532 0 -1 1077944384 7 13289 0 0 0 0 5 3 20 0 15 0 472937692 11107315712 239995 33554432000 4194304 4196468 140728942310000 140385502356736 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6370] ppid=6306 vsize=10846988 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6370/stat : 6370 (java) S 6306 6309 5532 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 472937694 11107315712 239995 33554432000 4194304 4196468 140728942310000 140385194957264 140386621667227 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6371] ppid=6306 vsize=10846988 memory=959980 CPUtime=3.59 cores=0,2,4,6
/proc/6309/task/6371/stat : 6371 (java) S 6306 6309 5532 0 -1 1077944384 9407 13289 0 0 348 3 5 3 20 0 15 0 472937694 11107315712 239995 33554432000 4194304 4196468 140728942310000 140386045610224 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6372] ppid=6306 vsize=10846988 memory=3616 CPUtime=3.67 cores=0,2,4,6
/proc/6309/task/6372/stat : 6372 (java) S 6306 6309 5532 0 -1 1077944384 13023 13289 0 0 356 3 5 3 20 0 15 0 472937694 11107315712 239995 33554432000 4194304 4196468 140728942310000 140386044557680 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6373] ppid=6306 vsize=10846988 memory=959980 CPUtime=1.9 cores=0,2,4,6
/proc/6309/task/6373/stat : 6373 (java) S 6306 6309 5532 0 -1 1077944384 7330 13289 0 0 178 4 5 3 20 0 15 0 472937694 11107315712 239995 33554432000 4194304 4196468 140728942310000 140386043504624 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6374] ppid=6306 vsize=10846988 memory=959980 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6374/stat : 6374 (java) S 6306 6309 5532 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 472937695 11107315712 239995 33554432000 4194304 4196468 140728942310000 140385161398624 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6375] ppid=6306 vsize=10846988 memory=959980 CPUtime=1.49 cores=0,2,4,6
/proc/6309/task/6375/stat : 6375 (java) S 6306 6309 5532 0 -1 1077944384 1218 13289 0 0 72 69 5 3 20 0 15 0 472937695 11107315712 239995 33554432000 4194304 4196468 140728942310000 140386042453040 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
Current children cumulated CPU time: 2428.57 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 959980 KiB
[startup+2442.3 s]
/proc/loadavg: 1.42 1.50 1.53 3/228 6853
/proc/meminfo: memFree=2650280/32770624 swapFree=67001720/67108860
[pid=6309] ppid=6306 vsize=10846988 memory=955396 CPUtime=2489.6 cores=0,2,4,6
/proc/6309/stat : 6309 (java) S 6306 6309 5532 0 -1 1077944320 199743 13289 0 0 248602 350 5 3 20 0 15 0 472937680 11107315712 238849 33554432000 4194304 4196468 140728942310000 140728942292544 140386621648631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
/proc/6309/statm: 2711747 238849 3628 1 0 2673805 0
[pid=6309/tid=6362] ppid=6306 vsize=10846988 memory=960000 CPUtime=2416.05 cores=0,2,4,6
/proc/6309/task/6362/stat : 6362 (java) R 6306 6309 5532 0 -1 4202560 65809 13289 0 0 241548 49 5 3 20 0 15 0 472937689 11107315712 238849 33554432000 4194304 4196468 140728942310000 140386593484720 140386194292180 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6363] ppid=6306 vsize=10846988 memory=960000 CPUtime=13.16 cores=0,2,4,6
/proc/6309/task/6363/stat : 6363 (java) S 6306 6309 5532 0 -1 1077944384 15645 13289 0 0 1253 55 5 3 20 0 15 0 472937690 11107315712 238849 33554432000 4194304 4196468 140728942310000 140386625890832 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6364] ppid=6306 vsize=10846988 memory=955376 CPUtime=13.16 cores=0,2,4,6
/proc/6309/task/6364/stat : 6364 (java) S 6306 6309 5532 0 -1 1077944384 23868 13289 0 0 1253 55 5 3 20 0 15 0 472937690 11107315712 238849 33554432000 4194304 4196468 140728942310000 140386514164368 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6365] ppid=6306 vsize=10846988 memory=955396 CPUtime=13.16 cores=0,2,4,6
/proc/6309/task/6365/stat : 6365 (java) S 6306 6309 5532 0 -1 1077944384 18343 13289 0 0 1252 56 5 3 20 0 15 0 472937690 11107315712 238849 33554432000 4194304 4196468 140728942310000 140386513111312 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6366] ppid=6306 vsize=10846988 memory=955396 CPUtime=13.21 cores=0,2,4,6
/proc/6309/task/6366/stat : 6366 (java) S 6306 6309 5532 0 -1 1077944384 22872 13289 0 0 1259 54 5 3 20 0 15 0 472937690 11107315712 238849 33554432000 4194304 4196468 140728942310000 140386512058768 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6367] ppid=6306 vsize=10846988 memory=955396 CPUtime=10.78 cores=0,2,4,6
/proc/6309/task/6367/stat : 6367 (java) S 6306 6309 5532 0 -1 1077944384 19944 13289 0 0 1012 58 5 3 20 0 15 0 472937691 11107315712 238849 33554432000 4194304 4196468 140728942310000 140386080221936 140386621659778 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6368] ppid=6306 vsize=10846988 memory=955396 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6368/stat : 6368 (java) S 6306 6309 5532 0 -1 1077944384 44 13289 0 0 0 0 5 3 20 0 15 0 472937691 11107315712 238849 33554432000 4194304 4196468 140728942310000 140386079168224 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6369] ppid=6306 vsize=10846988 memory=955396 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6369/stat : 6369 (java) S 6306 6309 5532 0 -1 1077944384 7 13289 0 0 0 0 5 3 20 0 15 0 472937692 11107315712 238849 33554432000 4194304 4196468 140728942310000 140385502356736 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6370] ppid=6306 vsize=10846988 memory=955396 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6370/stat : 6370 (java) S 6306 6309 5532 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 472937694 11107315712 238849 33554432000 4194304 4196468 140728942310000 140385194957264 140386621667227 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6371] ppid=6306 vsize=10846988 memory=955396 CPUtime=3.59 cores=0,2,4,6
/proc/6309/task/6371/stat : 6371 (java) S 6306 6309 5532 0 -1 1077944384 9409 13289 0 0 348 3 5 3 20 0 15 0 472937694 11107315712 238849 33554432000 4194304 4196468 140728942310000 140386045610224 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6372] ppid=6306 vsize=10846988 memory=955396 CPUtime=3.67 cores=0,2,4,6
/proc/6309/task/6372/stat : 6372 (java) S 6306 6309 5532 0 -1 1077944384 13025 13289 0 0 356 3 5 3 20 0 15 0 472937694 11107315712 238849 33554432000 4194304 4196468 140728942310000 140386044557680 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6373] ppid=6306 vsize=10846988 memory=955396 CPUtime=1.9 cores=0,2,4,6
/proc/6309/task/6373/stat : 6373 (java) S 6306 6309 5532 0 -1 1077944384 7332 13289 0 0 178 4 5 3 20 0 15 0 472937694 11107315712 238849 33554432000 4194304 4196468 140728942310000 140386043504624 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6374] ppid=6306 vsize=10846988 memory=955396 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6374/stat : 6374 (java) S 6306 6309 5532 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 472937695 11107315712 238849 33554432000 4194304 4196468 140728942310000 140385161398624 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6375] ppid=6306 vsize=10846988 memory=955396 CPUtime=1.53 cores=0,2,4,6
/proc/6309/task/6375/stat : 6375 (java) S 6306 6309 5532 0 -1 1077944384 1236 13289 0 0 74 71 5 3 20 0 15 0 472937695 11107315712 238849 33554432000 4194304 4196468 140728942310000 140386042453040 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
Current children cumulated CPU time: 2489.6 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 955396 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2472.3 s]
/proc/loadavg: 1.40 1.49 1.52 3/228 6856
/proc/meminfo: memFree=2632944/32770624 swapFree=67001720/67108860
[pid=6309] ppid=6306 vsize=10846988 memory=955456 CPUtime=2520.08 cores=0,2,4,6
/proc/6309/stat : 6309 (java) S 6306 6309 5532 0 -1 1077944320 200655 13289 0 0 251646 354 5 3 20 0 15 0 472937680 11107315712 238864 33554432000 4194304 4196468 140728942310000 140728942292544 140386621648631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
/proc/6309/statm: 2711747 238864 3628 1 0 2673805 0
[pid=6309/tid=6362] ppid=6306 vsize=10846988 memory=1317 CPUtime=2445.7 cores=0,2,4,6
/proc/6309/task/6362/stat : 6362 (java) R 6306 6309 5532 0 -1 4202560 66170 13289 0 0 244512 50 5 3 20 0 15 0 472937689 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386593484768 140386206761067 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6363] ppid=6306 vsize=10846988 memory=955452 CPUtime=13.34 cores=0,2,4,6
/proc/6309/task/6363/stat : 6363 (java) S 6306 6309 5532 0 -1 1077944384 15707 13289 0 0 1270 56 5 3 20 0 15 0 472937690 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386625890832 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6364] ppid=6306 vsize=10846988 memory=955452 CPUtime=13.32 cores=0,2,4,6
/proc/6309/task/6364/stat : 6364 (java) S 6306 6309 5532 0 -1 1077944384 24092 13289 0 0 1269 55 5 3 20 0 15 0 472937690 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386514164368 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6365] ppid=6306 vsize=10846988 memory=3616 CPUtime=13.33 cores=0,2,4,6
/proc/6309/task/6365/stat : 6365 (java) S 6306 6309 5532 0 -1 1077944384 18382 13289 0 0 1268 57 5 3 20 0 15 0 472937690 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386513111312 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6366] ppid=6306 vsize=10846988 memory=955456 CPUtime=13.38 cores=0,2,4,6
/proc/6309/task/6366/stat : 6366 (java) S 6306 6309 5532 0 -1 1077944384 22878 13289 0 0 1276 54 5 3 20 0 15 0 472937690 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386512058768 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6367] ppid=6306 vsize=10846988 memory=955456 CPUtime=10.92 cores=0,2,4,6
/proc/6309/task/6367/stat : 6367 (java) S 6306 6309 5532 0 -1 1077944384 20141 13289 0 0 1025 59 5 3 20 0 15 0 472937691 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386080221936 140386621659778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6368] ppid=6306 vsize=10846988 memory=955456 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6368/stat : 6368 (java) S 6306 6309 5532 0 -1 1077944384 44 13289 0 0 0 0 5 3 20 0 15 0 472937691 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386079168224 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6369] ppid=6306 vsize=10846988 memory=955456 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6369/stat : 6369 (java) S 6306 6309 5532 0 -1 1077944384 7 13289 0 0 0 0 5 3 20 0 15 0 472937692 11107315712 238864 33554432000 4194304 4196468 140728942310000 140385502356736 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6370] ppid=6306 vsize=10846988 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6370/stat : 6370 (java) S 6306 6309 5532 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 472937694 11107315712 238864 33554432000 4194304 4196468 140728942310000 140385194957264 140386621667227 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6371] ppid=6306 vsize=10846988 memory=0 CPUtime=3.59 cores=0,2,4,6
/proc/6309/task/6371/stat : 6371 (java) S 6306 6309 5532 0 -1 1077944384 9413 13289 0 0 348 3 5 3 20 0 15 0 472937694 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386045610224 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6372] ppid=6306 vsize=10846988 memory=955456 CPUtime=3.67 cores=0,2,4,6
/proc/6309/task/6372/stat : 6372 (java) S 6306 6309 5532 0 -1 1077944384 13027 13289 0 0 356 3 5 3 20 0 15 0 472937694 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386044557680 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6373] ppid=6306 vsize=10846988 memory=955456 CPUtime=1.9 cores=0,2,4,6
/proc/6309/task/6373/stat : 6373 (java) S 6306 6309 5532 0 -1 1077944384 7334 13289 0 0 178 4 5 3 20 0 15 0 472937694 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386043504624 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6374] ppid=6306 vsize=10846988 memory=955456 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6374/stat : 6374 (java) S 6306 6309 5532 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 472937695 11107315712 238864 33554432000 4194304 4196468 140728942310000 140385161398624 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6375] ppid=6306 vsize=10846988 memory=3616 CPUtime=1.54 cores=0,2,4,6
/proc/6309/task/6375/stat : 6375 (java) S 6306 6309 5532 0 -1 1077944384 1251 13289 0 0 74 72 5 3 20 0 15 0 472937695 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386042453040 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 955456 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2472.33 s]
# the end of solver process 6309 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.54 s, system=3.58788 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2472.3 s]
/proc/loadavg: 1.40 1.49 1.52 3/228 6856
/proc/meminfo: memFree=2632944/32770624 swapFree=67001720/67108860
[pid=6309] ppid=6306 vsize=10846988 memory=955456 CPUtime=2520.08 cores=0,2,4,6
/proc/6309/stat : 6309 (java) S 6306 6309 5532 0 -1 1077944320 200655 13289 0 0 251646 354 5 3 20 0 15 0 472937680 11107315712 238864 33554432000 4194304 4196468 140728942310000 140728942292544 140386621648631 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
/proc/6309/statm: 2711747 238864 3628 1 0 2673805 0
[pid=6309/tid=6362] ppid=6306 vsize=10846988 memory=1317 CPUtime=2445.7 cores=0,2,4,6
/proc/6309/task/6362/stat : 6362 (java) R 6306 6309 5532 0 -1 4202560 66170 13289 0 0 244512 50 5 3 20 0 15 0 472937689 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386593484768 140386206761067 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6363] ppid=6306 vsize=10846988 memory=955452 CPUtime=13.34 cores=0,2,4,6
/proc/6309/task/6363/stat : 6363 (java) S 6306 6309 5532 0 -1 1077944384 15707 13289 0 0 1270 56 5 3 20 0 15 0 472937690 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386625890832 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6364] ppid=6306 vsize=10846988 memory=955452 CPUtime=13.32 cores=0,2,4,6
/proc/6309/task/6364/stat : 6364 (java) S 6306 6309 5532 0 -1 1077944384 24092 13289 0 0 1269 55 5 3 20 0 15 0 472937690 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386514164368 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6365] ppid=6306 vsize=10846988 memory=3616 CPUtime=13.33 cores=0,2,4,6
/proc/6309/task/6365/stat : 6365 (java) S 6306 6309 5532 0 -1 1077944384 18382 13289 0 0 1268 57 5 3 20 0 15 0 472937690 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386513111312 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6366] ppid=6306 vsize=10846988 memory=955456 CPUtime=13.38 cores=0,2,4,6
/proc/6309/task/6366/stat : 6366 (java) S 6306 6309 5532 0 -1 1077944384 22878 13289 0 0 1276 54 5 3 20 0 15 0 472937690 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386512058768 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6367] ppid=6306 vsize=10846988 memory=955456 CPUtime=10.92 cores=0,2,4,6
/proc/6309/task/6367/stat : 6367 (java) S 6306 6309 5532 0 -1 1077944384 20141 13289 0 0 1025 59 5 3 20 0 15 0 472937691 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386080221936 140386621659778 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6368] ppid=6306 vsize=10846988 memory=955456 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6368/stat : 6368 (java) S 6306 6309 5532 0 -1 1077944384 44 13289 0 0 0 0 5 3 20 0 15 0 472937691 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386079168224 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6369] ppid=6306 vsize=10846988 memory=955456 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6369/stat : 6369 (java) S 6306 6309 5532 0 -1 1077944384 7 13289 0 0 0 0 5 3 20 0 15 0 472937692 11107315712 238864 33554432000 4194304 4196468 140728942310000 140385502356736 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6370] ppid=6306 vsize=10846988 memory=33 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6370/stat : 6370 (java) S 6306 6309 5532 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 472937694 11107315712 238864 33554432000 4194304 4196468 140728942310000 140385194957264 140386621667227 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6371] ppid=6306 vsize=10846988 memory=0 CPUtime=3.59 cores=0,2,4,6
/proc/6309/task/6371/stat : 6371 (java) S 6306 6309 5532 0 -1 1077944384 9413 13289 0 0 348 3 5 3 20 0 15 0 472937694 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386045610224 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6372] ppid=6306 vsize=10846988 memory=955456 CPUtime=3.67 cores=0,2,4,6
/proc/6309/task/6372/stat : 6372 (java) S 6306 6309 5532 0 -1 1077944384 13027 13289 0 0 356 3 5 3 20 0 15 0 472937694 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386044557680 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6373] ppid=6306 vsize=10846988 memory=955456 CPUtime=1.9 cores=0,2,4,6
/proc/6309/task/6373/stat : 6373 (java) S 6306 6309 5532 0 -1 1077944384 7334 13289 0 0 178 4 5 3 20 0 15 0 472937694 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386043504624 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6374] ppid=6306 vsize=10846988 memory=955456 CPUtime=0.08 cores=0,2,4,6
/proc/6309/task/6374/stat : 6374 (java) S 6306 6309 5532 0 -1 1077944384 3 13289 0 0 0 0 5 3 20 0 15 0 472937695 11107315712 238864 33554432000 4194304 4196468 140728942310000 140385161398624 140386621658837 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
[pid=6309/tid=6375] ppid=6306 vsize=10846988 memory=3616 CPUtime=1.54 cores=0,2,4,6
/proc/6309/task/6375/stat : 6375 (java) S 6306 6309 5532 0 -1 1077944384 1251 13289 0 0 74 72 5 3 20 0 15 0 472937695 11107315712 238864 33554432000 4194304 4196468 140728942310000 140386042453040 140386621659778 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10645504 140728942312036 140728942314677 140728942314677 140728942317519 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 955456 KiB
Child status: 143
Real time (s): 2472.33
CPU time (s): 2520.12
CPU user time (s): 2516.54
CPU system time (s): 3.58788
CPU usage (%): 101.933
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1084844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.54
system time used= 3.58788
maximum resident set size= 1084844
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 214955
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 284266
involuntary context switches= 7318
# summary of solver processes directly reported to runsolver:
# pid: 6309
# total CPU time (s): 2520.12
# total CPU user time (s): 2516.54
# total CPU system time (s): 3.58788
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.9254 second user time and 23.1501 second system time
The end