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 (13263 MiB free)
memory of node 1: 16384 MiB (10140 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4294716-1532478018/watcher-4294716-1532478018 -o /tmp/evaluation-result-4294716-1532478018/solver-4294716-1532478018 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532470571-27173 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=77294667 -superng HOME/instance-4294716-1532478018.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=29346, runsolver pid=29343
Current StackSize limit: 8192 KiB
[startup+0.100693 s]*
/proc/loadavg: 1.81 1.52 1.39 2/207 29403
/proc/meminfo: memFree=23957372/32770624 swapFree=67108860/67108860
[pid=29346] ppid=29343 vsize=9972712 memory=17076 CPUtime=0.08 cores=0,2,4,6
/proc/29346/stat : 29346 (java) S 29343 29346 27142 0 -1 1077944320 4426 12926 0 0 1 0 5 2 20 0 6 0 65365020 10212057088 4269 33554432000 4194304 4196468 140724462544336 140724462526880 140651553558263 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
/proc/29346/statm: 2493178 4269 1934 1 0 2481616 0
[pid=29346/tid=29399] ppid=29343 vsize=9972712 memory=4279135704013962638 CPUtime=0.08 cores=0,2,4,6
/proc/29346/task/29399/stat : 29399 (java) R 29343 29346 27142 0 -1 4202560 2249 12926 0 0 1 0 5 2 20 0 6 0 65365029 10212057088 4269 33554432000 4194304 4196468 140724462544336 140651525395024 140651546275415 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29400] ppid=29343 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29400/stat : 29400 (java) S 29343 29346 27142 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 6 0 65365030 10212057088 4269 33554432000 4194304 4196468 140724462544336 140651557800848 140651553568469 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29401] ppid=29343 vsize=9972712 memory=140629065492096 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29401/stat : 29401 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 6 0 65365030 10212057088 4269 33554432000 4194304 4196468 140724462544336 140651456690960 140651553568469 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29402] ppid=29343 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29402/stat : 29402 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 6 0 65365030 10212057088 4269 33554432000 4194304 4196468 140724462544336 140651125402768 140651553568469 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29403] ppid=29343 vsize=9972712 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29403/stat : 29403 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 6 0 65365030 10212057088 4269 33554432000 4194304 4196468 140724462544336 140651124349968 140651553568469 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17076 KiB
[startup+0.20979 s]*
/proc/loadavg: 1.81 1.52 1.39 3/216 29412
/proc/meminfo: memFree=23937568/32770624 swapFree=67108860/67108860
[pid=29346] ppid=29343 vsize=10819896 memory=43708 CPUtime=0.26 cores=0,2,4,6
/proc/29346/stat : 29346 (java) S 29343 29346 27142 0 -1 1077944320 8753 12926 0 0 16 3 5 2 20 0 15 0 65365020 11079573504 10935 33554432000 4194304 4196468 140724462544336 140724462526880 140651553558263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
/proc/29346/statm: 2704974 10935 2965 1 0 2667397 0
[pid=29346/tid=29399] ppid=29343 vsize=10818904 memory=7022364594140610616 CPUtime=0.18 cores=0,2,4,6
/proc/29346/task/29399/stat : 29399 (java) D 29343 29346 27142 0 -1 1077944384 5396 12926 0 0 10 1 5 2 20 0 15 0 65365029 11078557696 10927 33554432000 4194304 4196468 140724462544336 140651525383072 140651546237485 0 4 0 16800975 18446744072101756452 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29400] ppid=29343 vsize=10818904 memory=364 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29400/stat : 29400 (java) S 29343 29346 27142 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 65365030 11078557696 10927 33554432000 4194304 4196468 140724462544336 140651557800848 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29401] ppid=29343 vsize=10818936 memory=140629065519260 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29401/stat : 29401 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 65365030 11078590464 10927 33554432000 4194304 4196468 140724462544336 140651456690960 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29402] ppid=29343 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29402/stat : 29402 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 65365030 11078590464 10927 33554432000 4194304 4196468 140724462544336 140651125402768 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29403] ppid=29343 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29403/stat : 29403 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 65365030 11078590464 10927 33554432000 4194304 4196468 140724462544336 140651124349968 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29404] ppid=29343 vsize=10818936 memory=140629065492096 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29404/stat : 29404 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 65365031 11078590464 10927 33554432000 4194304 4196468 140724462544336 140651013081200 140651553569410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29405] ppid=29343 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29405/stat : 29405 (java) S 29343 29346 27142 0 -1 1077944384 13 12926 0 0 0 0 5 2 20 0 15 0 65365032 11078590464 10992 33554432000 4194304 4196468 140724462544336 140650448151328 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29406] ppid=29343 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29406/stat : 29406 (java) S 29343 29346 27142 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 65365032 11078590464 10992 33554432000 4194304 4196468 140724462544336 140650313933936 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29407] ppid=29343 vsize=10818936 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29407/stat : 29407 (java) S 29343 29346 27142 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 65365035 11078590464 11058 33554432000 4194304 4196468 140724462544336 140650073643088 140651553576859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29408] ppid=29343 vsize=10818936 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29346/task/29408/stat : 29408 (java) S 29343 29346 27142 0 -1 1077944384 529 12926 0 0 1 0 5 2 20 0 15 0 65365035 11078590464 11058 33554432000 4194304 4196468 140724462544336 140651012029040 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29409] ppid=29343 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29409/stat : 29409 (java) S 29343 29346 27142 0 -1 1077944384 53 12926 0 0 0 0 5 2 20 0 15 0 65365035 11078590464 11058 33554432000 4194304 4196468 140724462544336 140651010976240 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29410] ppid=29343 vsize=10818936 memory=140629065492096 CPUtime=0.1 cores=0,2,4,6
/proc/29346/task/29410/stat : 29410 (java) S 29343 29346 27142 0 -1 1077944384 557 12926 0 0 3 0 5 2 20 0 15 0 65365035 11078590464 11124 33554432000 4194304 4196468 140724462544336 140651009923952 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29411] ppid=29343 vsize=10818936 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29411/stat : 29411 (java) S 29343 29346 27142 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 65365035 11078590464 11124 33554432000 4194304 4196468 140724462544336 140650040085472 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29412] ppid=29343 vsize=10818936 memory=140629065492096 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29412/stat : 29412 (java) S 29343 29346 27142 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 65365035 11078590464 11124 33554432000 4194304 4196468 140724462544336 140651008870832 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10819896 KiB
Current children cumulated memory: 43708 KiB
[startup+0.31019 s]*
/proc/loadavg: 1.81 1.52 1.39 3/216 29412
/proc/meminfo: memFree=23925660/32770624 swapFree=67108860/67108860
[pid=29346] ppid=29343 vsize=10819352 memory=54168 CPUtime=0.38 cores=0,2,4,6
/proc/29346/stat : 29346 (java) S 29343 29346 27142 0 -1 1077944320 10600 12926 0 0 28 3 5 2 20 0 15 0 65365020 11079016448 13542 33554432000 4194304 4196468 140724462544336 140724462526880 140651553558263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
/proc/29346/statm: 2704838 13542 3084 1 0 2667149 0
[pid=29346/tid=29399] ppid=29343 vsize=10819352 memory=6791534058613427641 CPUtime=0.28 cores=0,2,4,6
/proc/29346/task/29399/stat : 29399 (java) R 29343 29346 27142 0 -1 4202560 7238 12926 0 0 19 2 5 2 20 0 15 0 65365029 11079016448 13542 33554432000 4194304 4196468 140724462544336 140651525370272 140651545795390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29400] ppid=29343 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29400/stat : 29400 (java) S 29343 29346 27142 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 65365030 11079016448 13542 33554432000 4194304 4196468 140724462544336 140651557800848 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29401] ppid=29343 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29401/stat : 29401 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 65365030 11079016448 13542 33554432000 4194304 4196468 140724462544336 140651456690960 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29402] ppid=29343 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29402/stat : 29402 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 65365030 11079016448 13542 33554432000 4194304 4196468 140724462544336 140651125402768 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29403] ppid=29343 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29403/stat : 29403 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 65365030 11079016448 13542 33554432000 4194304 4196468 140724462544336 140651124349968 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29404] ppid=29343 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29404/stat : 29404 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 65365031 11079016448 13542 33554432000 4194304 4196468 140724462544336 140651013081200 140651553569410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29405] ppid=29343 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29405/stat : 29405 (java) S 29343 29346 27142 0 -1 1077944384 13 12926 0 0 0 0 5 2 20 0 15 0 65365032 11079016448 13542 33554432000 4194304 4196468 140724462544336 140650448151328 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29406] ppid=29343 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29406/stat : 29406 (java) S 29343 29346 27142 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 65365032 11079016448 13542 33554432000 4194304 4196468 140724462544336 140650313933936 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29407] ppid=29343 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29407/stat : 29407 (java) S 29343 29346 27142 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 65365035 11079016448 13542 33554432000 4194304 4196468 140724462544336 140650073643088 140651553576859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29408] ppid=29343 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29346/task/29408/stat : 29408 (java) S 29343 29346 27142 0 -1 1077944384 529 12926 0 0 1 0 5 2 20 0 15 0 65365035 11079016448 13542 33554432000 4194304 4196468 140724462544336 140651012029040 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29409] ppid=29343 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/29346/task/29409/stat : 29409 (java) R 29343 29346 27142 0 -1 4202560 54 12926 0 0 1 0 5 2 20 0 15 0 65365035 11079016448 13542 33554432000 4194304 4196468 140724462544336 140651010976240 140651553579610 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29410] ppid=29343 vsize=10819352 memory=140629065492096 CPUtime=0.11 cores=0,2,4,6
/proc/29346/task/29410/stat : 29410 (java) R 29343 29346 27142 0 -1 4202560 562 12926 0 0 4 0 5 2 20 0 15 0 65365035 11079016448 13542 33554432000 4194304 4196468 140724462544336 140651009923952 140651553579610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29411] ppid=29343 vsize=10819352 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29411/stat : 29411 (java) S 29343 29346 27142 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 65365035 11079016448 13542 33554432000 4194304 4196468 140724462544336 140650040085472 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29412] ppid=29343 vsize=10819352 memory=140629065492096 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29412/stat : 29412 (java) S 29343 29346 27142 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 65365035 11079016448 13542 33554432000 4194304 4196468 140724462544336 140651008870832 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 54168 KiB
[startup+0.700693 s]
/proc/loadavg: 1.75 1.51 1.39 4/216 29412
/proc/meminfo: memFree=23915048/32770624 swapFree=67108860/67108860
[pid=29346] ppid=29343 vsize=10819352 memory=86372 CPUtime=0.99 cores=0,2,4,6
/proc/29346/stat : 29346 (java) S 29343 29346 27142 0 -1 1077944320 16732 12926 0 0 87 5 5 2 20 0 15 0 65365020 11079016448 21593 33554432000 4194304 4196468 140724462544336 140724462526880 140651553558263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
/proc/29346/statm: 2704838 21593 3237 1 0 2667149 0
[pid=29346/tid=29399] ppid=29343 vsize=10819352 memory=0 CPUtime=0.65 cores=0,2,4,6
/proc/29346/task/29399/stat : 29399 (java) R 29343 29346 27142 0 -1 4202560 12328 12926 0 0 55 3 5 2 20 0 15 0 65365029 11079016448 21593 33554432000 4194304 4196468 140724462544336 140651525379088 140651535121819 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29400] ppid=29343 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29400/stat : 29400 (java) S 29343 29346 27142 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 65365030 11079016448 21593 33554432000 4194304 4196468 140724462544336 140651557800848 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29401] ppid=29343 vsize=10819352 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29401/stat : 29401 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 65365030 11079016448 21593 33554432000 4194304 4196468 140724462544336 140651456690960 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29402] ppid=29343 vsize=10819352 memory=140628906357552 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29402/stat : 29402 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 65365030 11079016448 21593 33554432000 4194304 4196468 140724462544336 140651125402768 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29403] ppid=29343 vsize=10819352 memory=140630114173521 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29403/stat : 29403 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 65365030 11079016448 21593 33554432000 4194304 4196468 140724462544336 140651124349968 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29404] ppid=29343 vsize=10819352 memory=1624 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29404/stat : 29404 (java) S 29343 29346 27142 0 -1 1077944384 5 12926 0 0 0 0 5 2 20 0 15 0 65365031 11079016448 21593 33554432000 4194304 4196468 140724462544336 140651013081200 140651553569410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29405] ppid=29343 vsize=10819352 memory=4639098309541127270 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29405/stat : 29405 (java) S 29343 29346 27142 0 -1 1077944384 13 12926 0 0 0 0 5 2 20 0 15 0 65365032 11079016448 21593 33554432000 4194304 4196468 140724462544336 140650448151328 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29406] ppid=29343 vsize=10819352 memory=7885635084775281009 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29406/stat : 29406 (java) S 29343 29346 27142 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 65365032 11079016448 21593 33554432000 4194304 4196468 140724462544336 140650313933936 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29407] ppid=29343 vsize=10819352 memory=12656 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29407/stat : 29407 (java) S 29343 29346 27142 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 65365035 11079016448 21593 33554432000 4194304 4196468 140724462544336 140650073643088 140651553576859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29408] ppid=29343 vsize=10819352 memory=4052 CPUtime=0.16 cores=0,2,4,6
/proc/29346/task/29408/stat : 29408 (java) S 29343 29346 27142 0 -1 1077944384 1099 12926 0 0 9 0 5 2 20 0 15 0 65365035 11079016448 21593 33554432000 4194304 4196468 140724462544336 140651012029040 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29409] ppid=29343 vsize=10819352 memory=18444 CPUtime=0.14 cores=0,2,4,6
/proc/29346/task/29409/stat : 29409 (java) S 29343 29346 27142 0 -1 1077944384 451 12926 0 0 7 0 5 2 20 0 15 0 65365035 11079016448 21593 33554432000 4194304 4196468 140724462544336 140651010976240 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29410] ppid=29343 vsize=10819352 memory=640 CPUtime=0.2 cores=0,2,4,6
/proc/29346/task/29410/stat : 29410 (java) S 29343 29346 27142 0 -1 1077944384 633 12926 0 0 13 0 5 2 20 0 15 0 65365035 11079016448 21593 33554432000 4194304 4196468 140724462544336 140651009923952 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29411] ppid=29343 vsize=10819352 memory=1784 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29411/stat : 29411 (java) S 29343 29346 27142 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 65365035 11079016448 21593 33554432000 4194304 4196468 140724462544336 140650040085472 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29412] ppid=29343 vsize=10819352 memory=1236 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29412/stat : 29412 (java) S 29343 29346 27142 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 65365035 11079016448 21593 33554432000 4194304 4196468 140724462544336 140651008870832 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
Current children cumulated CPU time: 0.99 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86372 KiB
[startup+1.50073 s]
/proc/loadavg: 1.75 1.51 1.39 4/216 29412
/proc/meminfo: memFree=23869832/32770624 swapFree=67108860/67108860
[pid=29346] ppid=29343 vsize=10834252 memory=180808 CPUtime=2.47 cores=0,2,4,6
/proc/29346/stat : 29346 (java) S 29343 29346 27142 0 -1 1077944320 23763 12926 0 0 230 10 5 2 20 0 15 0 65365020 11094274048 45202 33554432000 4194304 4196468 140724462544336 140724462526880 140651553558263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
/proc/29346/statm: 2708563 45202 3472 1 0 2670221 0
[pid=29346/tid=29399] ppid=29343 vsize=10834252 memory=63272 CPUtime=1.42 cores=0,2,4,6
/proc/29346/task/29399/stat : 29399 (java) R 29343 29346 27142 0 -1 4202560 17371 12926 0 0 130 5 5 2 20 0 15 0 65365029 11094274048 45202 33554432000 4194304 4196468 140724462544336 140651525374232 140651553572112 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29400] ppid=29343 vsize=10834252 memory=6791534058613427641 CPUtime=0.08 cores=0,2,4,6
/proc/29346/task/29400/stat : 29400 (java) S 29343 29346 27142 0 -1 1077944384 18 12926 0 0 1 0 5 2 20 0 15 0 65365030 11094274048 45202 33554432000 4194304 4196468 140724462544336 140651557800848 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29401] ppid=29343 vsize=10834252 memory=281257812746400 CPUtime=0.08 cores=0,2,4,6
/proc/29346/task/29401/stat : 29401 (java) S 29343 29346 27142 0 -1 1077944384 60 12926 0 0 1 0 5 2 20 0 15 0 65365030 11094274048 45202 33554432000 4194304 4196468 140724462544336 140651456690960 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29402] ppid=29343 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29346/task/29402/stat : 29402 (java) S 29343 29346 27142 0 -1 1077944384 28 12926 0 0 1 0 5 2 20 0 15 0 65365030 11094274048 45202 33554432000 4194304 4196468 140724462544336 140651125402768 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29403] ppid=29343 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29346/task/29403/stat : 29403 (java) S 29343 29346 27142 0 -1 1077944384 165 12926 0 0 1 0 5 2 20 0 15 0 65365030 11094274048 45202 33554432000 4194304 4196468 140724462544336 140651124349968 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29404] ppid=29343 vsize=10834252 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/29346/task/29404/stat : 29404 (java) S 29343 29346 27142 0 -1 1077944384 50 12926 0 0 1 0 5 2 20 0 15 0 65365031 11094274048 45202 33554432000 4194304 4196468 140724462544336 140651013081200 140651553569410 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29405] ppid=29343 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29405/stat : 29405 (java) S 29343 29346 27142 0 -1 1077944384 13 12926 0 0 0 0 5 2 20 0 15 0 65365032 11094274048 45202 33554432000 4194304 4196468 140724462544336 140650448151392 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29406] ppid=29343 vsize=10834252 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29406/stat : 29406 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 65365032 11094274048 45202 33554432000 4194304 4196468 140724462544336 140650313933952 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29407] ppid=29343 vsize=10834252 memory=-5921431000321636112 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29407/stat : 29407 (java) S 29343 29346 27142 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 65365035 11094274048 45202 33554432000 4194304 4196468 140724462544336 140650073643088 140651553576859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29408] ppid=29343 vsize=10834252 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/29346/task/29408/stat : 29408 (java) S 29343 29346 27142 0 -1 1077944384 1593 12926 0 0 27 0 5 2 20 0 15 0 65365035 11094274048 45202 33554432000 4194304 4196468 140724462544336 140651012029040 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29409] ppid=29343 vsize=10834252 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/29346/task/29409/stat : 29409 (java) S 29343 29346 27142 0 -1 1077944384 773 12926 0 0 24 0 5 2 20 0 15 0 65365035 11094274048 45202 33554432000 4194304 4196468 140724462544336 140651010976240 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29410] ppid=29343 vsize=10834252 memory=6791534058613427641 CPUtime=0.48 cores=0,2,4,6
/proc/29346/task/29410/stat : 29410 (java) S 29343 29346 27142 0 -1 1077944384 1495 12926 0 0 41 0 5 2 20 0 15 0 65365035 11094274048 45202 33554432000 4194304 4196468 140724462544336 140651009923952 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29411] ppid=29343 vsize=10834252 memory=4638778398332698720 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29411/stat : 29411 (java) S 29343 29346 27142 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 65365035 11094274048 45202 33554432000 4194304 4196468 140724462544336 140650040085472 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29412] ppid=29343 vsize=10834252 memory=281257812990848 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29412/stat : 29412 (java) S 29343 29346 27142 0 -1 1077944384 1 12926 0 0 0 0 5 2 20 0 15 0 65365035 11094274048 45202 33554432000 4194304 4196468 140724462544336 140651008870832 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
/proc/29346/task/29399/stat : 29399 (java) R 29343 29346 27142 0 -1 4202560 89125 12926 0 0 237025 35 5 2 20 0 15 0 65365029 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651525392368 140651154842416 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29400] ppid=29343 vsize=10848608 memory=56 CPUtime=6.16 cores=0,2,4,6
/proc/29346/task/29400/stat : 29400 (java) S 29343 29346 27142 0 -1 1077944384 15718 12926 0 0 570 39 5 2 20 0 15 0 65365030 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651557800848 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29401] ppid=29343 vsize=10848608 memory=782732 CPUtime=6.14 cores=0,2,4,6
/proc/29346/task/29401/stat : 29401 (java) S 29343 29346 27142 0 -1 1077944384 19046 12926 0 0 571 36 5 2 20 0 15 0 65365030 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651456690960 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29402] ppid=29343 vsize=10848608 memory=3763094171694677799 CPUtime=6.12 cores=0,2,4,6
/proc/29346/task/29402/stat : 29402 (java) S 29343 29346 27142 0 -1 1077944384 14152 12926 0 0 568 37 5 2 20 0 15 0 65365030 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651125402768 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29403] ppid=29343 vsize=10848608 memory=782732 CPUtime=6.13 cores=0,2,4,6
/proc/29346/task/29403/stat : 29403 (java) S 29343 29346 27142 0 -1 1077944384 10957 12926 0 0 568 38 5 2 20 0 15 0 65365030 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651124349968 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29404] ppid=29343 vsize=10848608 memory=782732 CPUtime=4.25 cores=0,2,4,6
/proc/29346/task/29404/stat : 29404 (java) S 29343 29346 27142 0 -1 1077944384 16378 12926 0 0 393 25 5 2 20 0 15 0 65365031 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651013081200 140651553569410 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29405] ppid=29343 vsize=10848608 memory=4028 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29405/stat : 29405 (java) S 29343 29346 27142 0 -1 1077944384 13 12926 0 0 0 0 5 2 20 0 15 0 65365032 11108974592 195683 33554432000 4194304 4196468 140724462544336 140650448151392 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29406] ppid=29343 vsize=10848608 memory=782732 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29406/stat : 29406 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 65365032 11108974592 195683 33554432000 4194304 4196468 140724462544336 140650313933952 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29407] ppid=29343 vsize=10848608 memory=1296 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29407/stat : 29407 (java) S 29343 29346 27142 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 65365035 11108974592 195683 33554432000 4194304 4196468 140724462544336 140650073643088 140651553576859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29408] ppid=29343 vsize=10848608 memory=782732 CPUtime=3.71 cores=0,2,4,6
/proc/29346/task/29408/stat : 29408 (java) S 29343 29346 27142 0 -1 1077944384 16735 12926 0 0 361 3 5 2 20 0 15 0 65365035 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651012029040 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29409] ppid=29343 vsize=10848608 memory=5520 CPUtime=3.66 cores=0,2,4,6
/proc/29346/task/29409/stat : 29409 (java) S 29343 29346 27142 0 -1 1077944384 13868 12926 0 0 357 2 5 2 20 0 15 0 65365035 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651010976240 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29410] ppid=29343 vsize=10848608 memory=1004 CPUtime=1.96 cores=0,2,4,6
/proc/29346/task/29410/stat : 29410 (java) S 29343 29346 27142 0 -1 1077944384 16333 12926 0 0 186 3 5 2 20 0 15 0 65365035 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651009923952 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29411] ppid=29343 vsize=10848608 memory=11956 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29411/stat : 29411 (java) S 29343 29346 27142 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 65365035 11108974592 195683 33554432000 4194304 4196468 140724462544336 140650040085472 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29412] ppid=29343 vsize=10848608 memory=782732 CPUtime=1.12 cores=0,2,4,6
/proc/29346/task/29412/stat : 29412 (java) S 29343 29346 27142 0 -1 1077944384 1371 12926 0 0 53 52 5 2 20 0 15 0 65365035 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651008870832 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
Current children cumulated CPU time: 2409.42 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 782732 KiB
[startup+2442.3 s]
/proc/loadavg: 1.61 1.53 1.45 3/215 29616
/proc/meminfo: memFree=22659592/32770624 swapFree=67108860/67108860
[pid=29346] ppid=29343 vsize=10848608 memory=782732 CPUtime=2469.88 cores=0,2,4,6
/proc/29346/stat : 29346 (java) S 29343 29346 27142 0 -1 1077944320 216742 12926 0 0 246735 246 5 2 20 0 15 0 65365020 11108974592 195683 33554432000 4194304 4196468 140724462544336 140724462526880 140651553558263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
/proc/29346/statm: 2712152 195683 3524 1 0 2673805 0
[pid=29346/tid=29399] ppid=29343 vsize=10848608 memory=782732 CPUtime=2430.37 cores=0,2,4,6
/proc/29346/task/29399/stat : 29399 (java) R 29343 29346 27142 0 -1 4202560 89501 12926 0 0 242995 35 5 2 20 0 15 0 65365029 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651525392368 140651143940878 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29400] ppid=29343 vsize=10848608 memory=782732 CPUtime=6.32 cores=0,2,4,6
/proc/29346/task/29400/stat : 29400 (java) S 29343 29346 27142 0 -1 1077944384 15733 12926 0 0 585 40 5 2 20 0 15 0 65365030 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651557800848 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29401] ppid=29343 vsize=10848608 memory=1944 CPUtime=6.3 cores=0,2,4,6
/proc/29346/task/29401/stat : 29401 (java) S 29343 29346 27142 0 -1 1077944384 19138 12926 0 0 586 37 5 2 20 0 15 0 65365030 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651456690960 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29402] ppid=29343 vsize=10848608 memory=782732 CPUtime=6.28 cores=0,2,4,6
/proc/29346/task/29402/stat : 29402 (java) S 29343 29346 27142 0 -1 1077944384 14172 12926 0 0 583 38 5 2 20 0 15 0 65365030 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651125402768 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29403] ppid=29343 vsize=10848608 memory=782732 CPUtime=6.28 cores=0,2,4,6
/proc/29346/task/29403/stat : 29403 (java) S 29343 29346 27142 0 -1 1077944384 11102 12926 0 0 583 38 5 2 20 0 15 0 65365030 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651124349968 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29404] ppid=29343 vsize=10848608 memory=782732 CPUtime=4.35 cores=0,2,4,6
/proc/29346/task/29404/stat : 29404 (java) S 29343 29346 27142 0 -1 1077944384 16557 12926 0 0 403 25 5 2 20 0 15 0 65365031 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651013081200 140651553569410 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29405] ppid=29343 vsize=10848608 memory=782732 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29405/stat : 29405 (java) S 29343 29346 27142 0 -1 1077944384 13 12926 0 0 0 0 5 2 20 0 15 0 65365032 11108974592 195683 33554432000 4194304 4196468 140724462544336 140650448151392 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29406] ppid=29343 vsize=10848608 memory=7 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29406/stat : 29406 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 65365032 11108974592 195683 33554432000 4194304 4196468 140724462544336 140650313933952 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29407] ppid=29343 vsize=10848608 memory=4028 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29407/stat : 29407 (java) S 29343 29346 27142 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 65365035 11108974592 195683 33554432000 4194304 4196468 140724462544336 140650073643088 140651553576859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29408] ppid=29343 vsize=10848608 memory=782732 CPUtime=3.71 cores=0,2,4,6
/proc/29346/task/29408/stat : 29408 (java) S 29343 29346 27142 0 -1 1077944384 16737 12926 0 0 361 3 5 2 20 0 15 0 65365035 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651012029040 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29409] ppid=29343 vsize=10848608 memory=1624 CPUtime=3.66 cores=0,2,4,6
/proc/29346/task/29409/stat : 29409 (java) S 29343 29346 27142 0 -1 1077944384 13870 12926 0 0 357 2 5 2 20 0 15 0 65365035 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651010976240 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29410] ppid=29343 vsize=10848608 memory=1200 CPUtime=1.96 cores=0,2,4,6
/proc/29346/task/29410/stat : 29410 (java) S 29343 29346 27142 0 -1 1077944384 16335 12926 0 0 186 3 5 2 20 0 15 0 65365035 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651009923952 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29411] ppid=29343 vsize=10848608 memory=782732 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29411/stat : 29411 (java) S 29343 29346 27142 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 65365035 11108974592 195683 33554432000 4194304 4196468 140724462544336 140650040085472 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29412] ppid=29343 vsize=10848608 memory=782732 CPUtime=1.15 cores=0,2,4,6
/proc/29346/task/29412/stat : 29412 (java) S 29343 29346 27142 0 -1 1077944384 1388 12926 0 0 54 54 5 2 20 0 15 0 65365035 11108974592 195683 33554432000 4194304 4196468 140724462544336 140651008870832 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
Current children cumulated CPU time: 2469.88 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 782732 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2492.11 s]
/proc/loadavg: 1.76 1.59 1.48 3/216 29639
/proc/meminfo: memFree=22835432/32770624 swapFree=67108860/67108860
[pid=29346] ppid=29343 vsize=10848608 memory=784788 CPUtime=2520.07 cores=0,2,4,6
/proc/29346/stat : 29346 (java) S 29343 29346 27142 0 -1 1077944320 218524 12926 0 0 251751 249 5 2 20 0 15 0 65365020 11108974592 196197 33554432000 4194304 4196468 140724462544336 140724462526880 140651553558263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
/proc/29346/statm: 2712152 196197 3524 1 0 2673805 0
[pid=29346/tid=29399] ppid=29343 vsize=10848608 memory=782736 CPUtime=2479.94 cores=0,2,4,6
/proc/29346/task/29399/stat : 29399 (java) R 29343 29346 27142 0 -1 4202560 90155 12926 0 0 247952 35 5 2 20 0 15 0 65365029 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651525392112 140651154071568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29400] ppid=29343 vsize=10848608 memory=782736 CPUtime=6.44 cores=0,2,4,6
/proc/29346/task/29400/stat : 29400 (java) S 29343 29346 27142 0 -1 1077944384 16143 12926 0 0 597 40 5 2 20 0 15 0 65365030 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651557800848 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29401] ppid=29343 vsize=10848608 memory=782736 CPUtime=6.43 cores=0,2,4,6
/proc/29346/task/29401/stat : 29401 (java) S 29343 29346 27142 0 -1 1077944384 19189 12926 0 0 598 38 5 2 20 0 15 0 65365030 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651456690960 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29402] ppid=29343 vsize=10848608 memory=782736 CPUtime=6.4 cores=0,2,4,6
/proc/29346/task/29402/stat : 29402 (java) S 29343 29346 27142 0 -1 1077944384 14225 12926 0 0 595 38 5 2 20 0 15 0 65365030 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651125402768 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29403] ppid=29343 vsize=10848608 memory=782732 CPUtime=6.42 cores=0,2,4,6
/proc/29346/task/29403/stat : 29403 (java) S 29343 29346 27142 0 -1 1077944384 11216 12926 0 0 596 39 5 2 20 0 15 0 65365030 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651124349968 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29404] ppid=29343 vsize=10848608 memory=782736 CPUtime=4.45 cores=0,2,4,6
/proc/29346/task/29404/stat : 29404 (java) S 29343 29346 27142 0 -1 1077944384 16750 12926 0 0 412 26 5 2 20 0 15 0 65365031 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651013081200 140651553569410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29405] ppid=29343 vsize=10848608 memory=782740 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29405/stat : 29405 (java) S 29343 29346 27142 0 -1 1077944384 13 12926 0 0 0 0 5 2 20 0 15 0 65365032 11108974592 196197 33554432000 4194304 4196468 140724462544336 140650448151392 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29406] ppid=29343 vsize=10848608 memory=782736 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29406/stat : 29406 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 65365032 11108974592 196197 33554432000 4194304 4196468 140724462544336 140650313933952 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29407] ppid=29343 vsize=10848608 memory=782736 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29407/stat : 29407 (java) S 29343 29346 27142 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 65365035 11108974592 196197 33554432000 4194304 4196468 140724462544336 140650073643088 140651553576859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29408] ppid=29343 vsize=10848608 memory=782736 CPUtime=3.71 cores=0,2,4,6
/proc/29346/task/29408/stat : 29408 (java) S 29343 29346 27142 0 -1 1077944384 16739 12926 0 0 361 3 5 2 20 0 15 0 65365035 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651012029040 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29409] ppid=29343 vsize=10848608 memory=782736 CPUtime=3.66 cores=0,2,4,6
/proc/29346/task/29409/stat : 29409 (java) S 29343 29346 27142 0 -1 1077944384 13872 12926 0 0 357 2 5 2 20 0 15 0 65365035 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651010976240 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29410] ppid=29343 vsize=10848608 memory=782736 CPUtime=1.96 cores=0,2,4,6
/proc/29346/task/29410/stat : 29410 (java) S 29343 29346 27142 0 -1 1077944384 16619 12926 0 0 186 3 5 2 20 0 15 0 65365035 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651009923952 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29411] ppid=29343 vsize=10848608 memory=792 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29411/stat : 29411 (java) S 29343 29346 27142 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 65365035 11108974592 196197 33554432000 4194304 4196468 140724462544336 140650040085472 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29412] ppid=29343 vsize=10848608 memory=1228 CPUtime=1.17 cores=0,2,4,6
/proc/29346/task/29412/stat : 29412 (java) S 29343 29346 27142 0 -1 1077944384 1407 12926 0 0 55 55 5 2 20 0 15 0 65365035 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651008870832 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 784788 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2492.14 s]
# the end of solver process 29346 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.59 s, system=2.53202 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2492.11 s]
/proc/loadavg: 1.76 1.59 1.48 3/216 29639
/proc/meminfo: memFree=22835432/32770624 swapFree=67108860/67108860
[pid=29346] ppid=29343 vsize=10848608 memory=784788 CPUtime=2520.07 cores=0,2,4,6
/proc/29346/stat : 29346 (java) S 29343 29346 27142 0 -1 1077944320 218524 12926 0 0 251751 249 5 2 20 0 15 0 65365020 11108974592 196197 33554432000 4194304 4196468 140724462544336 140724462526880 140651553558263 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
/proc/29346/statm: 2712152 196197 3524 1 0 2673805 0
[pid=29346/tid=29399] ppid=29343 vsize=10848608 memory=782736 CPUtime=2479.94 cores=0,2,4,6
/proc/29346/task/29399/stat : 29399 (java) R 29343 29346 27142 0 -1 4202560 90155 12926 0 0 247952 35 5 2 20 0 15 0 65365029 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651525392112 140651154071568 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29400] ppid=29343 vsize=10848608 memory=782736 CPUtime=6.44 cores=0,2,4,6
/proc/29346/task/29400/stat : 29400 (java) S 29343 29346 27142 0 -1 1077944384 16143 12926 0 0 597 40 5 2 20 0 15 0 65365030 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651557800848 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29401] ppid=29343 vsize=10848608 memory=782736 CPUtime=6.43 cores=0,2,4,6
/proc/29346/task/29401/stat : 29401 (java) S 29343 29346 27142 0 -1 1077944384 19189 12926 0 0 598 38 5 2 20 0 15 0 65365030 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651456690960 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29402] ppid=29343 vsize=10848608 memory=782736 CPUtime=6.4 cores=0,2,4,6
/proc/29346/task/29402/stat : 29402 (java) S 29343 29346 27142 0 -1 1077944384 14225 12926 0 0 595 38 5 2 20 0 15 0 65365030 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651125402768 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29403] ppid=29343 vsize=10848608 memory=782732 CPUtime=6.42 cores=0,2,4,6
/proc/29346/task/29403/stat : 29403 (java) S 29343 29346 27142 0 -1 1077944384 11216 12926 0 0 596 39 5 2 20 0 15 0 65365030 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651124349968 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29404] ppid=29343 vsize=10848608 memory=782736 CPUtime=4.45 cores=0,2,4,6
/proc/29346/task/29404/stat : 29404 (java) S 29343 29346 27142 0 -1 1077944384 16750 12926 0 0 412 26 5 2 20 0 15 0 65365031 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651013081200 140651553569410 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29405] ppid=29343 vsize=10848608 memory=782740 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29405/stat : 29405 (java) S 29343 29346 27142 0 -1 1077944384 13 12926 0 0 0 0 5 2 20 0 15 0 65365032 11108974592 196197 33554432000 4194304 4196468 140724462544336 140650448151392 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29406] ppid=29343 vsize=10848608 memory=782736 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29406/stat : 29406 (java) S 29343 29346 27142 0 -1 1077944384 2 12926 0 0 0 0 5 2 20 0 15 0 65365032 11108974592 196197 33554432000 4194304 4196468 140724462544336 140650313933952 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29407] ppid=29343 vsize=10848608 memory=782736 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29407/stat : 29407 (java) S 29343 29346 27142 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 65365035 11108974592 196197 33554432000 4194304 4196468 140724462544336 140650073643088 140651553576859 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29408] ppid=29343 vsize=10848608 memory=782736 CPUtime=3.71 cores=0,2,4,6
/proc/29346/task/29408/stat : 29408 (java) S 29343 29346 27142 0 -1 1077944384 16739 12926 0 0 361 3 5 2 20 0 15 0 65365035 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651012029040 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29409] ppid=29343 vsize=10848608 memory=782736 CPUtime=3.66 cores=0,2,4,6
/proc/29346/task/29409/stat : 29409 (java) S 29343 29346 27142 0 -1 1077944384 13872 12926 0 0 357 2 5 2 20 0 15 0 65365035 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651010976240 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29410] ppid=29343 vsize=10848608 memory=782736 CPUtime=1.96 cores=0,2,4,6
/proc/29346/task/29410/stat : 29410 (java) S 29343 29346 27142 0 -1 1077944384 16619 12926 0 0 186 3 5 2 20 0 15 0 65365035 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651009923952 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29411] ppid=29343 vsize=10848608 memory=792 CPUtime=0.07 cores=0,2,4,6
/proc/29346/task/29411/stat : 29411 (java) S 29343 29346 27142 0 -1 1077944384 3 12926 0 0 0 0 5 2 20 0 15 0 65365035 11108974592 196197 33554432000 4194304 4196468 140724462544336 140650040085472 140651553568469 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
[pid=29346/tid=29412] ppid=29343 vsize=10848608 memory=1228 CPUtime=1.17 cores=0,2,4,6
/proc/29346/task/29412/stat : 29412 (java) S 29343 29346 27142 0 -1 1077944384 1407 12926 0 0 55 55 5 2 20 0 15 0 65365035 11108974592 196197 33554432000 4194304 4196468 140724462544336 140651008870832 140651553569410 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 22355968 140724462549165 140724462552412 140724462552412 140724462555087 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10848608 KiB
Current children cumulated memory: 784788 KiB
Child status: 143
Real time (s): 2492.14
CPU time (s): 2520.12
CPU user time (s): 2517.59
CPU system time (s): 2.53202
CPU usage (%): 101.123
Max. virtual memory (cumulated for all children) (KiB): 10848608
Max. memory (cumulated for all children) (KiB): 1554244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.59
system time used= 2.53202
maximum resident set size= 1554244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 232198
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 151869
involuntary context switches= 5342
# summary of solver processes directly reported to runsolver:
# pid: 29346
# total CPU time (s): 2520.12
# total CPU user time (s): 2517.59
# total CPU system time (s): 2.53202
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 15.0719 second user time and 22.2108 second system time
The end