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 (6801 MiB free)
memory of node 1: 16384 MiB (8531 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295024-1532513203/watcher-4295024-1532513203 -o /tmp/evaluation-result-4295024-1532513203/solver-4295024-1532513203 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532498695-4223 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1478484214 -superng HOME/instance-4295024-1532513203.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
solver pid=6663, runsolver pid=6660
Current StackSize limit: 8192 KiB
[startup+0.100089 s]*
/proc/loadavg: 1.68 1.96 1.94 3/210 6720
/proc/meminfo: memFree=15693728/32770624 swapFree=67108860/67108860
[pid=6663] ppid=6660 vsize=9972712 memory=16812 CPUtime=0.08 cores=0,2,4,6
/proc/6663/stat : 6663 (java) S 6660 6663 4192 0 -1 1077944320 4322 13273 0 0 1 0 5 2 20 0 6 0 68883463 10212057088 4203 33554432000 4194304 4196468 140733635428464 140733635411008 139893493522167 0 0 0 16784584 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
/proc/6663/statm: 2493178 4203 1934 1 0 2481616 0
[pid=6663/tid=6716] ppid=6660 vsize=9972712 memory=4718545630382498451 CPUtime=0.08 cores=0,2,4,6
/proc/6663/task/6716/stat : 6716 (java) R 6660 6663 4192 0 -1 4202560 2169 13273 0 0 1 0 5 2 20 0 6 0 68883472 10212057088 4203 33554432000 4194304 4196468 140733635428464 139893465358928 139893477602684 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6717] ppid=6660 vsize=9972712 memory=5793855704886417849 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6717/stat : 6717 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 6 0 68883473 10212057088 4203 33554432000 4194304 4196468 140733635428464 139893497764112 139893493532373 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6718] ppid=6660 vsize=9972712 memory=140453876524672 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6718/stat : 6718 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 6 0 68883473 10212057088 4203 33554432000 4194304 4196468 140733635428464 139893396654480 139893493532373 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6719] ppid=6660 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6719/stat : 6719 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 6 0 68883473 10212057088 4203 33554432000 4194304 4196468 140733635428464 139893395601936 139893493532373 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6720] ppid=6660 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6720/stat : 6720 (java) S 6660 6663 4192 0 -1 1077944384 2 13273 0 0 0 0 5 2 20 0 6 0 68883473 10212057088 4203 33554432000 4194304 4196468 140733635428464 139893394549392 139893493532373 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16812 KiB
[startup+0.210278 s]*
/proc/loadavg: 1.68 1.96 1.94 3/219 6729
/proc/meminfo: memFree=15672124/32770624 swapFree=67108860/67108860
[pid=6663] ppid=6660 vsize=10818904 memory=43520 CPUtime=0.25 cores=0,2,4,6
/proc/6663/stat : 6663 (java) S 6660 6663 4192 0 -1 1077944320 8094 13273 0 0 17 1 5 2 20 0 15 0 68883463 11078557696 10880 33554432000 4194304 4196468 140733635428464 140733635411008 139893493522167 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
/proc/6663/statm: 2704726 10880 2969 1 0 2667149 0
[pid=6663/tid=6716] ppid=6660 vsize=10821524 memory=-2899909650764262549 CPUtime=0.18 cores=0,2,4,6
/proc/6663/task/6716/stat : 6716 (java) R 6660 6663 4192 0 -1 4202560 5061 13273 0 0 10 1 5 2 20 0 15 0 68883472 11081240576 11210 33554432000 4194304 4196468 140733635428464 139893465346976 139893486201885 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6717] ppid=6660 vsize=10821524 memory=4211974180081315210 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6717/stat : 6717 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883473 11081240576 11210 33554432000 4194304 4196468 140733635428464 139893497764112 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6718] ppid=6660 vsize=10821524 memory=140453876524672 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6718/stat : 6718 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883473 11081240576 11276 33554432000 4194304 4196468 140733635428464 139893396654480 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6719] ppid=6660 vsize=10821524 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6719/stat : 6719 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883473 11081240576 11276 33554432000 4194304 4196468 140733635428464 139893395601936 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6720] ppid=6660 vsize=10821524 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6720/stat : 6720 (java) S 6660 6663 4192 0 -1 1077944384 2 13273 0 0 0 0 5 2 20 0 15 0 68883473 11081240576 11276 33554432000 4194304 4196468 140733635428464 139893394549392 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6721] ppid=6660 vsize=10821524 memory=140453876524672 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6721/stat : 6721 (java) S 6660 6663 4192 0 -1 1077944384 2 13273 0 0 0 0 5 2 20 0 15 0 68883474 11081240576 11276 33554432000 4194304 4196468 140733635428464 139892952918512 139893493533314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6722] ppid=6660 vsize=10821524 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6722/stat : 6722 (java) S 6660 6663 4192 0 -1 1077944384 13 13273 0 0 0 0 5 2 20 0 15 0 68883475 11081240576 11276 33554432000 4194304 4196468 140733635428464 139892386424224 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6723] ppid=6660 vsize=10821524 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6723/stat : 6723 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883475 11081240576 11342 33554432000 4194304 4196468 140733635428464 139892252206576 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6724] ppid=6660 vsize=10821524 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6724/stat : 6724 (java) S 6660 6663 4192 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 68883478 11081240576 11342 33554432000 4194304 4196468 140733635428464 139892011915984 139893493540763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6725] ppid=6660 vsize=10821524 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6663/task/6725/stat : 6725 (java) S 6660 6663 4192 0 -1 1077944384 495 13273 0 0 1 0 5 2 20 0 15 0 68883478 11081240576 11342 33554432000 4194304 4196468 140733635428464 139892951865328 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6726] ppid=6660 vsize=10821524 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6663/task/6726/stat : 6726 (java) S 6660 6663 4192 0 -1 1077944384 89 13273 0 0 1 0 5 2 20 0 15 0 68883478 11081240576 11342 33554432000 4194304 4196468 140733635428464 139892950812784 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6727] ppid=6660 vsize=10821524 memory=140453876524672 CPUtime=0.1 cores=0,2,4,6
/proc/6663/task/6727/stat : 6727 (java) S 6660 6663 4192 0 -1 1077944384 551 13273 0 0 3 0 5 2 20 0 15 0 68883478 11081240576 11408 33554432000 4194304 4196468 140733635428464 139892949760240 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6728] ppid=6660 vsize=10821524 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6728/stat : 6728 (java) S 6660 6663 4192 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 68883478 11081240576 11408 33554432000 4194304 4196468 140733635428464 139891978357344 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6729] ppid=6660 vsize=10821524 memory=140453876524672 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6729/stat : 6729 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883478 11081240576 11408 33554432000 4194304 4196468 140733635428464 139892948708144 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818904 KiB
Current children cumulated memory: 43520 KiB
[startup+0.310541 s]*
/proc/loadavg: 1.68 1.96 1.94 3/219 6729
/proc/meminfo: memFree=15660836/32770624 swapFree=67108860/67108860
[pid=6663] ppid=6660 vsize=10819352 memory=54184 CPUtime=0.38 cores=0,2,4,6
/proc/6663/stat : 6663 (java) S 6660 6663 4192 0 -1 1077944320 10585 13273 0 0 29 2 5 2 20 0 15 0 68883463 11079016448 13546 33554432000 4194304 4196468 140733635428464 140733635411008 139893493522167 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
/proc/6663/statm: 2704838 13546 3088 1 0 2667149 0
[pid=6663/tid=6716] ppid=6660 vsize=10819352 memory=8112282956445269571 CPUtime=0.27 cores=0,2,4,6
/proc/6663/task/6716/stat : 6716 (java) R 6660 6663 4192 0 -1 4202560 7233 13273 0 0 19 1 5 2 20 0 15 0 68883472 11079016448 13546 33554432000 4194304 4196468 140733635428464 139893465334176 139893493544093 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6717] ppid=6660 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6717/stat : 6717 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883473 11079016448 13546 33554432000 4194304 4196468 140733635428464 139893497764112 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6718] ppid=6660 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6718/stat : 6718 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883473 11079016448 13546 33554432000 4194304 4196468 140733635428464 139893396654480 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6719] ppid=6660 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6719/stat : 6719 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883473 11079016448 13546 33554432000 4194304 4196468 140733635428464 139893395601936 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6720] ppid=6660 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6720/stat : 6720 (java) S 6660 6663 4192 0 -1 1077944384 2 13273 0 0 0 0 5 2 20 0 15 0 68883473 11079016448 13546 33554432000 4194304 4196468 140733635428464 139893394549392 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6721] ppid=6660 vsize=10819352 memory=140453876524671 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6721/stat : 6721 (java) S 6660 6663 4192 0 -1 1077944384 2 13273 0 0 0 0 5 2 20 0 15 0 68883474 11079016448 13546 33554432000 4194304 4196468 140733635428464 139892952918512 139893493533314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6722] ppid=6660 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6722/stat : 6722 (java) S 6660 6663 4192 0 -1 1077944384 13 13273 0 0 0 0 5 2 20 0 15 0 68883475 11079016448 13546 33554432000 4194304 4196468 140733635428464 139892386424224 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6723] ppid=6660 vsize=10819352 memory=140453876524672 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6723/stat : 6723 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883475 11079016448 13546 33554432000 4194304 4196468 140733635428464 139892252206576 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6724] ppid=6660 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6724/stat : 6724 (java) S 6660 6663 4192 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 68883478 11079016448 13546 33554432000 4194304 4196468 140733635428464 139892011915984 139893493540763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6725] ppid=6660 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6663/task/6725/stat : 6725 (java) R 6660 6663 4192 0 -1 4202560 495 13273 0 0 1 0 5 2 20 0 15 0 68883478 11079016448 13546 33554432000 4194304 4196468 140733635428464 139892951865328 139893493534102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6726] ppid=6660 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6663/task/6726/stat : 6726 (java) S 6660 6663 4192 0 -1 1077944384 90 13273 0 0 1 0 5 2 20 0 15 0 68883478 11079016448 13546 33554432000 4194304 4196468 140733635428464 139892950812784 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6727] ppid=6660 vsize=10819352 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/6663/task/6727/stat : 6727 (java) S 6660 6663 4192 0 -1 1077944384 560 13273 0 0 5 0 5 2 20 0 15 0 68883478 11079016448 13546 33554432000 4194304 4196468 140733635428464 139892949760240 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6728] ppid=6660 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6728/stat : 6728 (java) S 6660 6663 4192 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 68883478 11079016448 13546 33554432000 4194304 4196468 140733635428464 139891978357344 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6729] ppid=6660 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6729/stat : 6729 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883478 11079016448 13546 33554432000 4194304 4196468 140733635428464 139892948708144 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54184 KiB
[startup+0.700734 s]
/proc/loadavg: 1.68 1.96 1.94 3/219 6729
/proc/meminfo: memFree=15649564/32770624 swapFree=67108860/67108860
[pid=6663] ppid=6660 vsize=10819352 memory=86288 CPUtime=0.98 cores=0,2,4,6
/proc/6663/stat : 6663 (java) S 6660 6663 4192 0 -1 1077944320 16733 13273 0 0 87 4 5 2 20 0 15 0 68883463 11079016448 21572 33554432000 4194304 4196468 140733635428464 140733635411008 139893493522167 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
/proc/6663/statm: 2704838 21572 3237 1 0 2667149 0
[pid=6663/tid=6716] ppid=6660 vsize=10819352 memory=0 CPUtime=0.66 cores=0,2,4,6
/proc/6663/task/6716/stat : 6716 (java) R 6660 6663 4192 0 -1 4202560 12292 13273 0 0 56 3 5 2 20 0 15 0 68883472 11079016448 21572 33554432000 4194304 4196468 140733635428464 139893465343888 139893493545757 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6717] ppid=6660 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6717/stat : 6717 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883473 11079016448 21572 33554432000 4194304 4196468 140733635428464 139893497764112 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6718] ppid=6660 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6718/stat : 6718 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883473 11079016448 21572 33554432000 4194304 4196468 140733635428464 139893396654480 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6719] ppid=6660 vsize=10819352 memory=4132 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6719/stat : 6719 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883473 11079016448 21572 33554432000 4194304 4196468 140733635428464 139893395601936 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6720] ppid=6660 vsize=10819352 memory=2241 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6720/stat : 6720 (java) S 6660 6663 4192 0 -1 1077944384 2 13273 0 0 0 0 5 2 20 0 15 0 68883473 11079016448 21572 33554432000 4194304 4196468 140733635428464 139893394549392 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6721] ppid=6660 vsize=10819352 memory=2244 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6721/stat : 6721 (java) R 6660 6663 4192 0 -1 4202560 5 13273 0 0 0 0 5 2 20 0 15 0 68883474 11079016448 21572 33554432000 4194304 4196468 140733635428464 139892952918512 139893493543514 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6722] ppid=6660 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6722/stat : 6722 (java) S 6660 6663 4192 0 -1 1077944384 13 13273 0 0 0 0 5 2 20 0 15 0 68883475 11079016448 21572 33554432000 4194304 4196468 140733635428464 139892386424224 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6723] ppid=6660 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6723/stat : 6723 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883475 11079016448 21572 33554432000 4194304 4196468 140733635428464 139892252206576 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6724] ppid=6660 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6724/stat : 6724 (java) S 6660 6663 4192 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 68883478 11079016448 21572 33554432000 4194304 4196468 140733635428464 139892011915984 139893493540763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6725] ppid=6660 vsize=10819352 memory=30305 CPUtime=0.15 cores=0,2,4,6
/proc/6663/task/6725/stat : 6725 (java) S 6660 6663 4192 0 -1 1077944384 915 13273 0 0 8 0 5 2 20 0 15 0 68883478 11079016448 21572 33554432000 4194304 4196468 140733635428464 139892951865328 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6726] ppid=6660 vsize=10819352 memory=0 CPUtime=0.15 cores=0,2,4,6
/proc/6663/task/6726/stat : 6726 (java) S 6660 6663 4192 0 -1 1077944384 676 13273 0 0 8 0 5 2 20 0 15 0 68883478 11079016448 21572 33554432000 4194304 4196468 140733635428464 139892950812784 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6727] ppid=6660 vsize=10819352 memory=3533419649945857444 CPUtime=0.2 cores=0,2,4,6
/proc/6663/task/6727/stat : 6727 (java) S 6660 6663 4192 0 -1 1077944384 632 13273 0 0 13 0 5 2 20 0 15 0 68883478 11079016448 21572 33554432000 4194304 4196468 140733635428464 139892949760240 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6728] ppid=6660 vsize=10819352 memory=-6305718304012525184 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6728/stat : 6728 (java) S 6660 6663 4192 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 68883478 11079016448 21572 33554432000 4194304 4196468 140733635428464 139891978357344 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6729] ppid=6660 vsize=10819352 memory=-7094132109863559211 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6729/stat : 6729 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883478 11079016448 21572 33554432000 4194304 4196468 140733635428464 139892948708144 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86288 KiB
[startup+1.50258 s]
/proc/loadavg: 1.68 1.96 1.94 6/219 6729
/proc/meminfo: memFree=15603852/32770624 swapFree=67108860/67108860
[pid=6663] ppid=6660 vsize=10834252 memory=177972 CPUtime=2.27 cores=0,2,4,6
/proc/6663/stat : 6663 (java) S 6660 6663 4192 0 -1 1077944320 23979 13273 0 0 210 10 5 2 20 0 15 0 68883463 11094274048 44493 33554432000 4194304 4196468 140733635428464 140733635411008 139893493522167 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
/proc/6663/statm: 2708563 44493 3466 1 0 2670221 0
[pid=6663/tid=6716] ppid=6660 vsize=10834252 memory=191 CPUtime=1.42 cores=0,2,4,6
/proc/6663/task/6716/stat : 6716 (java) R 6660 6663 4192 0 -1 4202560 17876 13273 0 0 130 5 5 2 20 0 15 0 68883472 11094274048 44493 33554432000 4194304 4196468 140733635428464 139893465354064 139893479215648 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6717] ppid=6660 vsize=10834252 memory=117 CPUtime=0.08 cores=0,2,4,6
/proc/6663/task/6717/stat : 6717 (java) S 6660 6663 4192 0 -1 1077944384 207 13273 0 0 1 0 5 2 20 0 15 0 68883473 11094274048 44493 33554432000 4194304 4196468 140733635428464 139893497764112 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6718] ppid=6660 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6718/stat : 6718 (java) S 6660 6663 4192 0 -1 1077944384 17 13273 0 0 0 0 5 2 20 0 15 0 68883473 11094274048 44493 33554432000 4194304 4196468 140733635428464 139893396654480 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6719] ppid=6660 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6719/stat : 6719 (java) S 6660 6663 4192 0 -1 1077944384 58 13273 0 0 0 0 5 2 20 0 15 0 68883473 11094274048 44493 33554432000 4194304 4196468 140733635428464 139893395601936 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6720] ppid=6660 vsize=10834252 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/6663/task/6720/stat : 6720 (java) S 6660 6663 4192 0 -1 1077944384 36 13273 0 0 1 0 5 2 20 0 15 0 68883473 11094274048 44493 33554432000 4194304 4196468 140733635428464 139893394549392 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6721] ppid=6660 vsize=10834252 memory=3533419649945857444 CPUtime=0.08 cores=0,2,4,6
/proc/6663/task/6721/stat : 6721 (java) S 6660 6663 4192 0 -1 1077944384 57 13273 0 0 1 0 5 2 20 0 15 0 68883474 11094274048 44493 33554432000 4194304 4196468 140733635428464 139892952918512 139893493533314 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6722] ppid=6660 vsize=10834252 memory=280907504201792 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6722/stat : 6722 (java) S 6660 6663 4192 0 -1 1077944384 14 13273 0 0 0 0 5 2 20 0 15 0 68883475 11094274048 44493 33554432000 4194304 4196468 140733635428464 139892386424288 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6723] ppid=6660 vsize=10834252 memory=280907504206240 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6723/stat : 6723 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883475 11094274048 44493 33554432000 4194304 4196468 140733635428464 139892252206592 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6724] ppid=6660 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6724/stat : 6724 (java) S 6660 6663 4192 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 68883478 11094274048 44493 33554432000 4194304 4196468 140733635428464 139892011915984 139893493540763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6725] ppid=6660 vsize=10834252 memory=6944656575208382560 CPUtime=0.28 cores=0,2,4,6
/proc/6663/task/6725/stat : 6725 (java) S 6660 6663 4192 0 -1 1077944384 1446 13273 0 0 21 0 5 2 20 0 15 0 68883478 11094274048 44493 33554432000 4194304 4196468 140733635428464 139892951865328 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6726] ppid=6660 vsize=10834252 memory=0 CPUtime=0.26 cores=0,2,4,6
/proc/6663/task/6726/stat : 6726 (java) S 6660 6663 4192 0 -1 1077944384 887 13273 0 0 19 0 5 2 20 0 15 0 68883478 11094274048 44493 33554432000 4194304 4196468 140733635428464 139892950812784 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6727] ppid=6660 vsize=10834252 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/6663/task/6727/stat : 6727 (java) S 6660 6663 4192 0 -1 1077944384 1186 13273 0 0 31 0 5 2 20 0 15 0 68883478 11094274048 44493 33554432000 4194304 4196468 140733635428464 139892949760240 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6728] ppid=6660 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6728/stat : 6728 (java) S 6660 6663 4192 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 68883478 11094274048 44493 33554432000 4194304 4196468 140733635428464 139891978357344 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6729] ppid=6660 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6729/stat : 6729 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883478 11094274048 44493 33554432000 4194304 4196468 140733635428464 139892948708144 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
Current children cumulated CPU time: 2.27 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/meminfo: memFree=15425404/32770624 swapFree=67108860/67108860
[pid=6663] ppid=6660 vsize=10844512 memory=261872 CPUtime=5.89 cores=0,2,4,6
/proc/6663/stat : 6663 (java) S 6660 6663 4192 0 -1 1077944320 40405 13273 0 0 566 16 5 2 20 0 15 0 68883463 11104780288 65468 33554432000 4194304 4196468 140733635428464 140733635411008 139893493522167 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
/proc/6663/statm: 2711128 65468 3495 1 0 2672781 0
[pid=6663/tid=6716] ppid=6660 vsize=10844512 memory=0 CPUtime=2.98 cores=0,2,4,6
/proc/6663/task/6716/stat : 6716 (java) R 6660 6663 4192 0 -1 4202560 28110 13273 0 0 283 8 5 2 20 0 15 0 68883472 11104780288 65468 33554432000 4194304 4196468 140733635428464 139893465346816 139893493534102 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6717] ppid=6660 vsize=10844512 memory=74 CPUtime=0.09 cores=0,2,4,6
/proc/6663/task/6717/stat : 6717 (java) S 6660 6663 4192 0 -1 1077944384 216 13273 0 0 2 0 5 2 20 0 15 0 68883473 11104780288 65468 33554432000 4194304 4196468 140733635428464 139893497764112 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6718] ppid=6660 vsize=10844512 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6663/task/6718/stat : 6718 (java) S 6660 6663 4192 0 -1 1077944384 62 13273 0 0 3 0 5 2 20 0 15 0 68883473 11104780288 65468 33554432000 4194304 4196468 140733635428464 139893396654480 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6719] ppid=6660 vsize=10844512 memory=280907504201696 CPUtime=0.09 cores=0,2,4,6
/proc/6663/task/6719/stat : 6719 (java) S 6660 6663 4192 0 -1 1077944384 73 13273 0 0 2 0 5 2 20 0 15 0 68883473 11104780288 65468 33554432000 4194304 4196468 140733635428464 139893395601936 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6720] ppid=6660 vsize=10844512 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6663/task/6720/stat : 6720 (java) S 6660 6663 4192 0 -1 1077944384 47 13273 0 0 3 0 5 2 20 0 15 0 68883473 11104780288 65468 33554432000 4194304 4196468 140733635428464 139893394549392 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6721] ppid=6660 vsize=10844512 memory=55 CPUtime=0.1 cores=0,2,4,6
/proc/6663/task/6721/stat : 6721 (java) S 6660 6663 4192 0 -1 1077944384 1183 13273 0 0 3 0 5 2 20 0 15 0 68883474 11104780288 65468 33554432000 4194304 4196468 140733635428464 139892952918512 139893493533314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6722] ppid=6660 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6722/stat : 6722 (java) S 6660 6663 4192 0 -1 1077944384 14 13273 0 0 0 0 5 2 20 0 15 0 68883475 11104780288 65468 33554432000 4194304 4196468 140733635428464 139892386424288 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6723] ppid=6660 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6723/stat : 6723 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883475 11104780288 65468 33554432000 4194304 4196468 140733635428464 139892252206592 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6724] ppid=6660 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6724/stat : 6724 (java) S 6660 6663 4192 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 68883478 11104780288 65468 33554432000 4194304 4196468 140733635428464 139892011915984 139893493540763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6725] ppid=6660 vsize=10844512 memory=9130442918573080450 CPUtime=1.06 cores=0,2,4,6
/proc/6663/task/6725/stat : 6725 (java) R 6660 6663 4192 0 -1 4202560 3396 13273 0 0 98 1 5 2 20 0 15 0 68883478 11104780288 65468 33554432000 4194304 4196468 140733635428464 139892951835104 139893472814955 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6726] ppid=6660 vsize=10844512 memory=667680 CPUtime=0.73 cores=0,2,4,6
/proc/6663/task/6726/stat : 6726 (java) R 6660 6663 4192 0 -1 4202560 1495 13273 0 0 65 1 5 2 20 0 15 0 68883478 11104780288 65468 33554432000 4194304 4196468 140733635428464 139892950812784 139893475047905 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6727] ppid=6660 vsize=10844512 memory=0 CPUtime=1.1 cores=0,2,4,6
/proc/6663/task/6727/stat : 6727 (java) R 6660 6663 4192 0 -1 1077944384 3614 13273 0 0 102 1 5 2 20 0 15 0 68883478 11104780288 65468 33554432000 4194304 4196468 140733635428464 139892949760240 139893493533314 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6728] ppid=6660 vsize=10844512 memory=303993173188018202 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6728/stat : 6728 (java) S 6660 6663 4192 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 68883478 11104780288 65468 33554432000 4194304 4196468 140733635428464 139891978357344 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6729] ppid=6660 vsize=10844512 memory=302022869909766459 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6729/stat : 6729 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883478 11104780288 65468 33554432000 4194304 4196468 140733635428464 139892948708144 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 261872 KiB
[startup+4.04914 s]
# the end of solver process 6663 was just reported to runsolver
# cumulated CPU time of all completed processes: user=8.17819 s, system=0.26228 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20084 s]
/proc/loadavg: 1.68 1.96 1.94 4/219 6729
/proc/meminfo: memFree=15425404/32770624 swapFree=67108860/67108860
[pid=6663] ppid=6660 vsize=10844512 memory=262992 CPUtime=6.19 cores=0,2,4,6
/proc/6663/stat : 6663 (java) S 6660 6663 4192 0 -1 1077944320 43220 13273 0 0 595 17 5 2 20 0 15 0 68883463 11104780288 65748 33554432000 4194304 4196468 140733635428464 140733635411008 139893493522167 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
/proc/6663/statm: 2711128 65748 3496 1 0 2672781 0
[pid=6663/tid=6716] ppid=6660 vsize=10844512 memory=280907504942864 CPUtime=3.08 cores=0,2,4,6
/proc/6663/task/6716/stat : 6716 (java) R 6660 6663 4192 0 -1 4202560 29187 13273 0 0 292 9 5 2 20 0 15 0 68883472 11104780288 65748 33554432000 4194304 4196468 140733635428464 139893465350992 139893474928438 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6717] ppid=6660 vsize=10844512 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6663/task/6717/stat : 6717 (java) S 6660 6663 4192 0 -1 1077944384 216 13273 0 0 2 0 5 2 20 0 15 0 68883473 11104780288 65748 33554432000 4194304 4196468 140733635428464 139893497764112 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6718] ppid=6660 vsize=10844512 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6663/task/6718/stat : 6718 (java) S 6660 6663 4192 0 -1 1077944384 62 13273 0 0 3 0 5 2 20 0 15 0 68883473 11104780288 65748 33554432000 4194304 4196468 140733635428464 139893396654480 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6719] ppid=6660 vsize=10844512 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6663/task/6719/stat : 6719 (java) S 6660 6663 4192 0 -1 1077944384 73 13273 0 0 2 0 5 2 20 0 15 0 68883473 11104780288 65748 33554432000 4194304 4196468 140733635428464 139893395601936 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6720] ppid=6660 vsize=10844512 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6663/task/6720/stat : 6720 (java) S 6660 6663 4192 0 -1 1077944384 47 13273 0 0 3 0 5 2 20 0 15 0 68883473 11104780288 65748 33554432000 4194304 4196468 140733635428464 139893394549392 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6721] ppid=6660 vsize=10844512 memory=3009 CPUtime=0.1 cores=0,2,4,6
/proc/6663/task/6721/stat : 6721 (java) S 6660 6663 4192 0 -1 1077944384 1183 13273 0 0 3 0 5 2 20 0 15 0 68883474 11104780288 65748 33554432000 4194304 4196468 140733635428464 139892952918512 139893493533314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6722] ppid=6660 vsize=10844512 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6722/stat : 6722 (java) S 6660 6663 4192 0 -1 1077944384 14 13273 0 0 0 0 5 2 20 0 15 0 68883475 11104780288 65748 33554432000 4194304 4196468 140733635428464 139892386424288 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6723] ppid=6660 vsize=10844512 memory=-5628408999910123566 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6723/stat : 6723 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883475 11104780288 65748 33554432000 4194304 4196468 140733635428464 139892252206592 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6724] ppid=6660 vsize=10844512 memory=6944652177228980320 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6724/stat : 6724 (java) S 6660 6663 4192 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 68883478 11104780288 65748 33554432000 4194304 4196468 140733635428464 139892011915984 139893493540763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6725] ppid=6660 vsize=10844512 memory=6944656592455360604 CPUtime=1.13 cores=0,2,4,6
/proc/6663/task/6725/stat : 6725 (java) R 6660 6663 4192 0 -1 4202560 4011 13273 0 0 105 1 5 2 20 0 15 0 68883478 11104780288 65748 33554432000 4194304 4196468 140733635428464 139892951852288 139893476890368 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6726] ppid=6660 vsize=10844512 memory=-5628408999910123566 CPUtime=0.8 cores=0,2,4,6
/proc/6663/task/6726/stat : 6726 (java) S 6660 6663 4192 0 -1 1077944384 2072 13273 0 0 72 1 5 2 20 0 15 0 68883478 11104780288 65748 33554432000 4194304 4196468 140733635428464 139892950812784 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6727] ppid=6660 vsize=10844512 memory=164 CPUtime=1.16 cores=0,2,4,6
/proc/6663/task/6727/stat : 6727 (java) S 6660 6663 4192 0 -1 1077944384 4167 13273 0 0 108 1 5 2 20 0 15 0 68883478 11104780288 65748 33554432000 4194304 4196468 140733635428464 139892949760240 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6728] ppid=6660 vsize=10844512 memory=6944656592455350634 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6728/stat : 6728 (java) S 6660 6663 4192 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 68883478 11104780288 65748 33554432000 4194304 4196468 140733635428464 139891978357344 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6729] ppid=6660 vsize=10844512 memory=140453876525249 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6729/stat : 6729 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883478 11104780288 65748 33554432000 4194304 4196468 140733635428464 139892948708144 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
Current children cumulated CPU time: 6.19 s
Current children cumulated vsize: 10844512 KiB
Current children cumulated memory: 262992 KiB
[startup+3.60066 s]
/proc/loadavg: 1.68 1.96 1.94 4/219 6729
/proc/meminfo: memFree=15425404/32770624 swapFree=67108860/67108860
[pid=6663] ppid=6660 vsize=10848608 memory=269396 CPUtime=7.26 cores=0,2,4,6
/proc/6663/stat : 6663 (java) S 6660 6663 4192 0 -1 1077944320 50667 13273 0 0 700 19 5 2 20 0 15 0 68883463 11108974592 67349 33554432000 4194304 4196468 140733635428464 140733635411008 139893493522167 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
/proc/6663/statm: 2712152 67349 3498 1 0 2673805 0
[pid=6663/tid=6716] ppid=6660 vsize=10848608 memory=0 CPUtime=3.47 cores=0,2,4,6
/proc/6663/task/6716/stat : 6716 (java) R 6660 6663 4192 0 -1 4202560 33502 13273 0 0 331 9 5 2 20 0 15 0 68883472 11108974592 67349 33554432000 4194304 4196468 140733635428464 139893465352704 139893479726081 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6717] ppid=6660 vsize=10848608 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6663/task/6717/stat : 6717 (java) S 6660 6663 4192 0 -1 1077944384 216 13273 0 0 2 0 5 2 20 0 15 0 68883473 11108974592 67349 33554432000 4194304 4196468 140733635428464 139893497764112 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6718] ppid=6660 vsize=10848608 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6663/task/6718/stat : 6718 (java) S 6660 6663 4192 0 -1 1077944384 62 13273 0 0 3 0 5 2 20 0 15 0 68883473 11108974592 67349 33554432000 4194304 4196468 140733635428464 139893396654480 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6719] ppid=6660 vsize=10848608 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6663/task/6719/stat : 6719 (java) S 6660 6663 4192 0 -1 1077944384 73 13273 0 0 2 0 5 2 20 0 15 0 68883473 11108974592 67349 33554432000 4194304 4196468 140733635428464 139893395601936 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6720] ppid=6660 vsize=10848608 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6663/task/6720/stat : 6720 (java) S 6660 6663 4192 0 -1 1077944384 47 13273 0 0 3 0 5 2 20 0 15 0 68883473 11108974592 67349 33554432000 4194304 4196468 140733635428464 139893394549392 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6721] ppid=6660 vsize=10848608 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6663/task/6721/stat : 6721 (java) S 6660 6663 4192 0 -1 1077944384 1205 13273 0 0 3 0 5 2 20 0 15 0 68883474 11108974592 67349 33554432000 4194304 4196468 140733635428464 139892952918512 139893493533314 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6722] ppid=6660 vsize=10848608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6722/stat : 6722 (java) S 6660 6663 4192 0 -1 1077944384 14 13273 0 0 0 0 5 2 20 0 15 0 68883475 11108974592 67349 33554432000 4194304 4196468 140733635428464 139892386424288 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6723] ppid=6660 vsize=10848608 memory=14 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6723/stat : 6723 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 15 0 68883475 11108974592 67349 33554432000 4194304 4196468 140733635428464 139892252206592 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6724] ppid=6660 vsize=10848608 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6724/stat : 6724 (java) S 6660 6663 4192 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 68883478 11108974592 67349 33554432000 4194304 4196468 140733635428464 139892011915984 139893493540763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6725] ppid=6660 vsize=10848608 memory=7813587196152197430 CPUtime=1.45 cores=0,2,4,6
/proc/6663/task/6725/stat : 6725 (java) R 6660 6663 4192 0 -1 4202560 4426 13273 0 0 137 1 5 2 20 0 15 0 68883478 11108974592 67349 33554432000 4194304 4196468 140733635428464 139892951842480 139893478403910 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6726] ppid=6660 vsize=10848608 memory=5859570522891898960 CPUtime=0.96 cores=0,2,4,6
/proc/6663/task/6726/stat : 6726 (java) S 6660 6663 4192 0 -1 1077944384 3037 13273 0 0 88 1 5 2 20 0 15 0 68883478 11108974592 67349 33554432000 4194304 4196468 140733635428464 139892950812784 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6727] ppid=6660 vsize=10848608 memory=7588675599774802240 CPUtime=1.34 cores=0,2,4,6
/proc/6663/task/6727/stat : 6727 (java) S 6660 6663 4192 0 -1 1077944384 5881 13273 0 0 125 2 5 2 20 0 15 0 68883478 11108974592 67349 33554432000 4194304 4196468 140733635428464 139892949760240 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6728] ppid=6660 vsize=10848608 memory=6010432387093113440 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6728/stat : 6728 (java) S 6660 6663 4192 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 15 0 68883478 11108974592 67349 33554432000 4194304 4196468 140733635428464 139891978357344 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6729] ppid=6660 vsize=10848608 memory=55 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6729/stat : 6729 (java) S 6660 6663 4192 0 -1 1077944384 10 13273 0 0 0 0 5 2 20 0 15 0 68883478 11108974592 67349 33554432000 4194304 4196468 140733635428464 139892948708144 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
Current children cumulated CPU time: 7.26 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 269396 KiB
[startup+4.00065 s]*
/proc/loadavg: 1.86 1.99 1.95 5/219 6729
/proc/meminfo: memFree=15348892/32770624 swapFree=67108860/67108860
[pid=6663] ppid=6660 vsize=10918824 memory=316628 CPUtime=8.37 cores=0,2,4,6
/proc/6663/stat : 6663 (java) S 6660 6663 4192 0 -1 1077944320 72233 13273 0 0 809 21 5 2 20 0 15 0 68883463 11180875776 79157 33554432000 4194304 4196468 140733635428464 140733635411008 139893493522167 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
/proc/6663/statm: 2729706 79157 3499 1 0 2691359 0
[pid=6663/tid=6716] ppid=6660 vsize=10951596 memory=592565523061224371 CPUtime=3.88 cores=0,2,4,6
/proc/6663/task/6716/stat : 6716 (java) R 6660 6663 4192 0 -1 4202560 49558 13273 0 0 370 11 5 2 20 0 15 0 68883472 11214434304 79178 33554432000 4194304 4196468 140733635428464 139893465358464 139893493520644 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6717] ppid=6660 vsize=10951596 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6663/task/6717/stat : 6717 (java) S 6660 6663 4192 0 -1 1077944384 216 13273 0 0 2 0 5 2 20 0 15 0 68883473 11214434304 79178 33554432000 4194304 4196468 140733635428464 139893497764112 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6718] ppid=6660 vsize=10951596 memory=16097061590269975 CPUtime=0.1 cores=0,2,4,6
/proc/6663/task/6718/stat : 6718 (java) S 6660 6663 4192 0 -1 1077944384 62 13273 0 0 3 0 5 2 20 0 15 0 68883473 11214434304 79178 33554432000 4194304 4196468 140733635428464 139893396654480 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6719] ppid=6660 vsize=10951596 memory=7300392438560155500 CPUtime=0.09 cores=0,2,4,6
/proc/6663/task/6719/stat : 6719 (java) S 6660 6663 4192 0 -1 1077944384 73 13273 0 0 2 0 5 2 20 0 15 0 68883473 11214434304 79178 33554432000 4194304 4196468 140733635428464 139893395601936 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6720] ppid=6660 vsize=10951596 memory=3467771756832371000 CPUtime=0.1 cores=0,2,4,6
/proc/6663/task/6720/stat : 6720 (java) S 6660 6663 4192 0 -1 1077944384 47 13273 0 0 3 0 5 2 20 0 15 0 68883473 11214434304 79178 33554432000 4194304 4196468 140733635428464 139893394549392 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6721] ppid=6660 vsize=10951596 memory=3547067328466262454 CPUtime=0.1 cores=0,2,4,6
/proc/6663/task/6721/stat : 6721 (java) S 6660 6663 4192 0 -1 1077944384 1391 13273 0 0 3 0 5 2 20 0 15 0 68883474 11214434304 79690 33554432000 4194304 4196468 140733635428464 139892952918512 139893493533314 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6722] ppid=6660 vsize=10951596 memory=3689353199920160821 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6722/stat : 6722 (java) S 6660 6663 4192 0 -1 1077944384 14 13273 0 0 0 0 5 2 20 0 16 0 68883475 11214434304 79690 33554432000 4194304 4196468 140733635428464 139892386424288 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6723] ppid=6660 vsize=10951596 memory=-7740504416950458516 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6723/stat : 6723 (java) S 6660 6663 4192 0 -1 1077944384 1 13273 0 0 0 0 5 2 20 0 16 0 68883475 11214434304 79690 33554432000 4194304 4196468 140733635428464 139892252206592 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6724] ppid=6660 vsize=11017132 memory=10 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6724/stat : 6724 (java) S 6660 6663 4192 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 16 0 68883478 11281543168 79690 33554432000 4194304 4196468 140733635428464 139892011915984 139893493540763 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6725] ppid=6660 vsize=11017132 memory=0 CPUtime=1.86 cores=0,2,4,6
/proc/6663/task/6725/stat : 6725 (java) R 6660 6663 4192 0 -1 4202560 8660 13273 0 0 178 1 5 2 20 0 16 0 68883478 11281543168 79690 33554432000 4194304 4196468 140733635428464 139892951851352 139893475042872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6726] ppid=6660 vsize=11017132 memory=-1 CPUtime=1.11 cores=0,2,4,6
/proc/6663/task/6726/stat : 6726 (java) R 6660 6663 4192 0 -1 4202560 3816 13273 0 0 103 1 5 2 20 0 16 0 68883478 11281543168 79690 33554432000 4194304 4196468 140733635428464 139892950800736 139893475067752 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6727] ppid=6660 vsize=11017132 memory=140453876524672 CPUtime=1.49 cores=0,2,4,6
/proc/6663/task/6727/stat : 6727 (java) R 6660 6663 4192 0 -1 1077944384 6222 13273 0 0 139 3 5 2 20 0 16 0 68883478 11281543168 79690 33554432000 4194304 4196468 140733635428464 139892949760240 139893493533314 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6728] ppid=6660 vsize=11017132 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6728/stat : 6728 (java) S 6660 6663 4192 0 -1 1077944384 3 13273 0 0 0 0 5 2 20 0 16 0 68883478 11281543168 79690 33554432000 4194304 4196468 140733635428464 139891978357344 139893493532373 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6729] ppid=6660 vsize=11017132 memory=280907628605472 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6729/stat : 6729 (java) S 6660 6663 4192 0 -1 1077944384 10 13273 0 0 0 0 5 2 20 0 16 0 68883478 11281543168 79690 33554432000 4194304 4196468 140733635428464 139892948708144 139893493533314 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
[pid=6663/tid=6730] ppid=6660 vsize=11017132 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/6663/task/6730/stat : 6730 (java) R 6660 6663 4192 0 -1 4202560 3 13273 0 0 0 0 5 2 20 0 16 0 68883864 11281543168 79690 33554432000 4194304 4196468 140733635428464 139891446901984 139893473160593 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11571200 140733635434667 140733635437916 140733635437916 140733635440591 0
Current children cumulated CPU time: 8.37 s
Current children cumulated vsize: 10918824 KiB
Current children cumulated memory: 316628 KiB
Child status: 0
Real time (s): 4.04919
CPU time (s): 8.44047
CPU user time (s): 8.17819
CPU system time (s): 0.26228
CPU usage (%): 208.448
Max. virtual memory (cumulated for all children) (KiB): 10918824
Max. memory (cumulated for all children) (KiB): 316628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.17819
system time used= 0.26228
maximum resident set size= 318760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 85617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6673
involuntary context switches= 53
# summary of solver processes directly reported to runsolver:
# pid: 6663
# total CPU time (s): 8.44047
# total CPU user time (s): 8.17819
# total CPU system time (s): 0.26228
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.055654 second user time and 0.07857 second system time
The end