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 (10148 MiB free)
memory of node 1: 16384 MiB (15782 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302024-1532886521/watcher-4302024-1532886521 -o /tmp/evaluation-result-4302024-1532886521/solver-4302024-1532886521 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node102-1532883454-10061 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4302024-1532886521.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=13524, runsolver pid=13521
[startup+0.100152 s]*
/proc/loadavg: 2.14 2.42 2.48 4/216 13539
/proc/meminfo: memFree=26535112/32770624 swapFree=67028796/67108860
[pid=13524] ppid=13521 vsize=10659012 memory=33148 CPUtime=0.12 cores=1,3,5,7
/proc/13524/stat : 13524 (java) S 13521 13524 10029 0 -1 1077944320 6832 0 0 0 11 1 0 0 20 0 15 0 106215270 10914828288 8287 33554432000 4194304 4196468 140727275897904 140727275880448 139916922121975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
/proc/13524/statm: 2664753 8287 2823 1 0 2627263 0
[pid=13524/tid=13526] ppid=13521 vsize=10659012 memory=-8557575366716461186 CPUtime=0.08 cores=1,3,5,7
/proc/13524/task/13526/stat : 13526 (java) R 13521 13524 10029 0 -1 4202560 4681 0 0 0 8 0 0 0 20 0 15 0 106215271 10914828288 8287 33554432000 4194304 4196468 140727275897904 139916926343104 139916906202462 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13527] ppid=13521 vsize=10659012 memory=-7522837583129502606 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13527/stat : 13527 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106215271 10914828288 8287 33554432000 4194304 4196468 140727275897904 139916883081872 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13528] ppid=13521 vsize=10659012 memory=139984624268928 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13528/stat : 13528 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106215271 10914828288 8287 33554432000 4194304 4196468 140727275897904 139916527507984 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13529] ppid=13521 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13529/stat : 13529 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106215271 10914828288 8287 33554432000 4194304 4196468 140727275897904 139916526455184 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13530] ppid=13521 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13530/stat : 13530 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106215271 10914828288 8287 33554432000 4194304 4196468 140727275897904 139916525402384 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13531] ppid=13521 vsize=10659012 memory=139984624268928 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13531/stat : 13531 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106215273 10914828288 8287 33554432000 4194304 4196468 140727275897904 139916481985392 139916922133122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13532] ppid=13521 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13532/stat : 13532 (java) S 13521 13524 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106215273 10914828288 8287 33554432000 4194304 4196468 140727275897904 139916480931360 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13533] ppid=13521 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13533/stat : 13533 (java) S 13521 13524 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106215273 10914828288 8287 33554432000 4194304 4196468 140727275897904 139916479878512 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13534] ppid=13521 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13534/stat : 13534 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106215276 10914828288 8287 33554432000 4194304 4196468 140727275897904 139915888159056 139916922140571 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13535] ppid=13521 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13535/stat : 13535 (java) S 13521 13524 10029 0 -1 1077944384 435 0 0 0 0 0 0 0 20 0 15 0 106215276 10914828288 8287 33554432000 4194304 4196468 140727275897904 139915887106416 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13536] ppid=13521 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13536/stat : 13536 (java) R 13521 13524 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106215276 10914828288 8287 33554432000 4194304 4196468 140727275897904 139915886053616 139916922133122 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13537] ppid=13521 vsize=10659012 memory=139984624268928 CPUtime=0.02 cores=1,3,5,7
/proc/13524/task/13537/stat : 13537 (java) S 13521 13524 10029 0 -1 1077944384 350 0 0 0 2 0 0 0 20 0 15 0 106215276 10914828288 8287 33554432000 4194304 4196468 140727275897904 139915885000816 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13538] ppid=13521 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13538/stat : 13538 (java) S 13521 13524 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106215276 10914828288 8287 33554432000 4194304 4196468 140727275897904 139915883948256 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13539] ppid=13521 vsize=10659012 memory=139984624268928 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13539/stat : 13539 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106215276 10914828288 8287 33554432000 4194304 4196468 140727275897904 139915882896560 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 33148 KiB
[startup+0.210558 s]*
/proc/loadavg: 2.14 2.42 2.48 3/216 13539
/proc/meminfo: memFree=26524364/32770624 swapFree=67028796/67108860
[pid=13524] ppid=13521 vsize=10659012 memory=44088 CPUtime=0.33 cores=1,3,5,7
/proc/13524/stat : 13524 (java) S 13521 13524 10029 0 -1 1077944320 8117 0 0 0 31 2 0 0 20 0 15 0 106215270 10914828288 11022 33554432000 4194304 4196468 140727275897904 140727275880448 139916922121975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
/proc/13524/statm: 2664753 11022 3007 1 0 2627263 0
[pid=13524/tid=13526] ppid=13521 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/13524/task/13526/stat : 13526 (java) R 13521 13524 10029 0 -1 4202560 5069 0 0 0 19 1 0 0 20 0 15 0 106215271 10914828288 11022 33554432000 4194304 4196468 140727275897904 139916926358256 139916906165605 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13527] ppid=13521 vsize=10659012 memory=342 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13527/stat : 13527 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106215271 10914828288 11022 33554432000 4194304 4196468 140727275897904 139916883081872 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13528] ppid=13521 vsize=10659012 memory=139984624281373 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13528/stat : 13528 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106215271 10914828288 11022 33554432000 4194304 4196468 140727275897904 139916527507984 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13529] ppid=13521 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13529/stat : 13529 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106215271 10914828288 11022 33554432000 4194304 4196468 140727275897904 139916526455184 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13530] ppid=13521 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13530/stat : 13530 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106215271 10914828288 11022 33554432000 4194304 4196468 140727275897904 139916525402384 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13531] ppid=13521 vsize=10659012 memory=139984624268928 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13531/stat : 13531 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106215273 10914828288 11022 33554432000 4194304 4196468 140727275897904 139916481985392 139916922133122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13532] ppid=13521 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13532/stat : 13532 (java) S 13521 13524 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106215273 10914828288 11022 33554432000 4194304 4196468 140727275897904 139916480931360 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13533] ppid=13521 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13533/stat : 13533 (java) S 13521 13524 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106215273 10914828288 11022 33554432000 4194304 4196468 140727275897904 139916479878512 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13534] ppid=13521 vsize=10659012 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13534/stat : 13534 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106215276 10914828288 11022 33554432000 4194304 4196468 140727275897904 139915888159056 139916922140571 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13535] ppid=13521 vsize=10659012 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/13524/task/13535/stat : 13535 (java) S 13521 13524 10029 0 -1 1077944384 786 0 0 0 2 0 0 0 20 0 15 0 106215276 10914828288 11022 33554432000 4194304 4196468 140727275897904 139915887106416 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13536] ppid=13521 vsize=10659012 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/13524/task/13536/stat : 13536 (java) S 13521 13524 10029 0 -1 1077944384 240 0 0 0 1 0 0 0 20 0 15 0 106215276 10914828288 11022 33554432000 4194304 4196468 140727275897904 139915886053616 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13537] ppid=13521 vsize=10659012 memory=139984624268928 CPUtime=0.07 cores=1,3,5,7
/proc/13524/task/13537/stat : 13537 (java) S 13521 13524 10029 0 -1 1077944384 661 0 0 0 7 0 0 0 20 0 15 0 106215276 10914828288 11022 33554432000 4194304 4196468 140727275897904 139915885000816 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13538] ppid=13521 vsize=10659012 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13538/stat : 13538 (java) S 13521 13524 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106215276 10914828288 11022 33554432000 4194304 4196468 140727275897904 139915883948256 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13539] ppid=13521 vsize=10659012 memory=139984624268928 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13539/stat : 13539 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106215276 10914828288 11022 33554432000 4194304 4196468 140727275897904 139915882896560 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 44088 KiB
[startup+0.310524 s]*
/proc/loadavg: 2.14 2.42 2.48 4/216 13539
/proc/meminfo: memFree=26516672/32770624 swapFree=67028796/67108860
[pid=13524] ppid=13521 vsize=10659088 memory=49656 CPUtime=0.5 cores=1,3,5,7
/proc/13524/stat : 13524 (java) S 13521 13524 10029 0 -1 1077944320 9092 0 0 0 48 2 0 0 20 0 15 0 106215270 10914906112 12414 33554432000 4194304 4196468 140727275897904 140727275880448 139916922121975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
/proc/13524/statm: 2664772 12414 3058 1 0 2627263 0
[pid=13524/tid=13526] ppid=13521 vsize=10659088 memory=7022364594140610616 CPUtime=0.29 cores=1,3,5,7
/proc/13524/task/13526/stat : 13526 (java) R 13521 13524 10029 0 -1 4202560 5833 0 0 0 28 1 0 0 20 0 15 0 106215271 10914906112 12414 33554432000 4194304 4196468 140727275897904 139916926358656 139916922133910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13527] ppid=13521 vsize=10659088 memory=4294976237 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13527/stat : 13527 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106215271 10914906112 12414 33554432000 4194304 4196468 140727275897904 139916883081872 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13528] ppid=13521 vsize=10659088 memory=139984624280973 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13528/stat : 13528 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106215271 10914906112 12414 33554432000 4194304 4196468 140727275897904 139916527507984 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13529] ppid=13521 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13529/stat : 13529 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106215271 10914906112 12414 33554432000 4194304 4196468 140727275897904 139916526455184 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13530] ppid=13521 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13530/stat : 13530 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106215271 10914906112 12414 33554432000 4194304 4196468 140727275897904 139916525402384 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13531] ppid=13521 vsize=10659088 memory=139984624268928 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13531/stat : 13531 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106215273 10914906112 12414 33554432000 4194304 4196468 140727275897904 139916481985392 139916922133122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13532] ppid=13521 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13532/stat : 13532 (java) S 13521 13524 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106215273 10914906112 12414 33554432000 4194304 4196468 140727275897904 139916480931360 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13533] ppid=13521 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13533/stat : 13533 (java) S 13521 13524 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106215273 10914906112 12414 33554432000 4194304 4196468 140727275897904 139916479878512 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13534] ppid=13521 vsize=10659088 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13534/stat : 13534 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106215276 10914906112 12414 33554432000 4194304 4196468 140727275897904 139915888159056 139916922140571 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13535] ppid=13521 vsize=10659088 memory=0 CPUtime=0.04 cores=1,3,5,7
/proc/13524/task/13535/stat : 13535 (java) S 13521 13524 10029 0 -1 1077944384 898 0 0 0 4 0 0 0 20 0 15 0 106215276 10914906112 12414 33554432000 4194304 4196468 140727275897904 139915887106416 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13536] ppid=13521 vsize=10659088 memory=-1 CPUtime=0.03 cores=1,3,5,7
/proc/13524/task/13536/stat : 13536 (java) R 13521 13524 10029 0 -1 1077944384 284 0 0 0 3 0 0 0 20 0 15 0 106215276 10914906112 12414 33554432000 4194304 4196468 140727275897904 139915886053616 139916922133122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13537] ppid=13521 vsize=10659088 memory=139984624268928 CPUtime=0.11 cores=1,3,5,7
/proc/13524/task/13537/stat : 13537 (java) R 13521 13524 10029 0 -1 4202560 717 0 0 0 11 0 0 0 20 0 15 0 106215276 10914906112 12414 33554432000 4194304 4196468 140727275897904 139915885000816 139916922143322 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13538] ppid=13521 vsize=10659088 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13538/stat : 13538 (java) S 13521 13524 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106215276 10914906112 12414 33554432000 4194304 4196468 140727275897904 139915883948256 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13539] ppid=13521 vsize=10659088 memory=139984624268928 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13539/stat : 13539 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106215276 10914906112 12414 33554432000 4194304 4196468 140727275897904 139915882896560 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 49656 KiB
[startup+0.700808 s]
/proc/loadavg: 2.14 2.42 2.48 5/217 13540
/proc/meminfo: memFree=26488008/32770624 swapFree=67028796/67108860
[pid=13524] ppid=13521 vsize=10725652 memory=80992 CPUtime=1.57 cores=1,3,5,7
/proc/13524/stat : 13524 (java) S 13521 13524 10029 0 -1 1077944320 11439 0 0 0 153 4 0 0 20 0 16 0 106215270 10983067648 20248 33554432000 4194304 4196468 140727275897904 140727275880448 139916922121975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
/proc/13524/statm: 2681413 20248 3105 1 0 2643904 0
[pid=13524/tid=13526] ppid=13521 vsize=10725652 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/13524/task/13526/stat : 13526 (java) R 13521 13524 10029 0 -1 4202560 6058 0 0 0 65 2 0 0 20 0 16 0 106215271 10983067648 20248 33554432000 4194304 4196468 140727275897904 139916926360696 139916560513228 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13527] ppid=13521 vsize=10725652 memory=198099729401914 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13527/stat : 13527 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 20248 33554432000 4194304 4196468 140727275897904 139916883081872 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13528] ppid=13521 vsize=10725652 memory=616836 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13528/stat : 13528 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 20248 33554432000 4194304 4196468 140727275897904 139916527507984 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13529] ppid=13521 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13529/stat : 13529 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 20248 33554432000 4194304 4196468 140727275897904 139916526455184 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13530] ppid=13521 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13530/stat : 13530 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 20248 33554432000 4194304 4196468 140727275897904 139916525402384 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13531] ppid=13521 vsize=10725652 memory=7809523229951467572 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13531/stat : 13531 (java) S 13521 13524 10029 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 106215273 10983067648 20248 33554432000 4194304 4196468 140727275897904 139916481985392 139916922133122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13532] ppid=13521 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13532/stat : 13532 (java) S 13521 13524 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 106215273 10983067648 20248 33554432000 4194304 4196468 140727275897904 139916480931360 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13533] ppid=13521 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13533/stat : 13533 (java) S 13521 13524 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106215273 10983067648 20248 33554432000 4194304 4196468 140727275897904 139916479878512 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13534] ppid=13521 vsize=10725652 memory=7307210987814301138 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13534/stat : 13534 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106215276 10983067648 20248 33554432000 4194304 4196468 140727275897904 139915888159056 139916922140571 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13535] ppid=13521 vsize=10725652 memory=-2897801490638248215 CPUtime=0.34 cores=1,3,5,7
/proc/13524/task/13535/stat : 13535 (java) S 13521 13524 10029 0 -1 1077944384 1894 0 0 0 34 0 0 0 20 0 16 0 106215276 10983067648 20248 33554432000 4194304 4196468 140727275897904 139915887106416 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13536] ppid=13521 vsize=10725652 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/13524/task/13536/stat : 13536 (java) S 13521 13524 10029 0 -1 1077944384 1218 0 0 0 35 0 0 0 20 0 16 0 106215276 10983067648 20248 33554432000 4194304 4196468 140727275897904 139915886053616 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13537] ppid=13521 vsize=10725652 memory=0 CPUtime=0.17 cores=1,3,5,7
/proc/13524/task/13537/stat : 13537 (java) S 13521 13524 10029 0 -1 1077944384 880 0 0 0 17 0 0 0 20 0 16 0 106215276 10983067648 20248 33554432000 4194304 4196468 140727275897904 139915885000816 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13538] ppid=13521 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13538/stat : 13538 (java) S 13521 13524 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106215276 10983067648 20248 33554432000 4194304 4196468 140727275897904 139915883948256 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13539] ppid=13521 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13539/stat : 13539 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106215276 10983067648 20248 33554432000 4194304 4196468 140727275897904 139915882896560 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13540] ppid=13521 vsize=10725652 memory=3604 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13540/stat : 13540 (java) S 13521 13524 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106215313 10983067648 20248 33554432000 4194304 4196468 140727275897904 139915881842096 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
Current children cumulated CPU time: 1.57 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 80992 KiB
[startup+1.50082 s]
/proc/loadavg: 2.14 2.42 2.48 3/217 13540
/proc/meminfo: memFree=26484536/32770624 swapFree=67028796/67108860
[pid=13524] ppid=13521 vsize=10725652 memory=81308 CPUtime=2.47 cores=1,3,5,7
/proc/13524/stat : 13524 (java) S 13521 13524 10029 0 -1 1077944320 12486 0 0 0 243 4 0 0 20 0 16 0 106215270 10983067648 20327 33554432000 4194304 4196468 140727275897904 140727275880448 139916922121975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
/proc/13524/statm: 2681413 20327 3108 1 0 2643904 0
[pid=13524/tid=13526] ppid=13521 vsize=10725652 memory=0 CPUtime=1.47 cores=1,3,5,7
/proc/13524/task/13526/stat : 13526 (java) R 13521 13524 10029 0 -1 4202560 6096 0 0 0 145 2 0 0 20 0 16 0 106215271 10983067648 20327 33554432000 4194304 4196468 140727275897904 139916926358064 139916560683628 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13527] ppid=13521 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13527/stat : 13527 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 20327 33554432000 4194304 4196468 140727275897904 139916883081872 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13528] ppid=13521 vsize=10725652 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13528/stat : 13528 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 20327 33554432000 4194304 4196468 140727275897904 139916527507984 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13529] ppid=13521 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13529/stat : 13529 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 20327 33554432000 4194304 4196468 140727275897904 139916526455184 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13530] ppid=13521 vsize=10725652 memory=0 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13530/stat : 13530 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 20327 33554432000 4194304 4196468 140727275897904 139916525402384 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
################
# More data... #
################
/proc/13524/task/13529/stat : 13529 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 22640 33554432000 4194304 4196468 140727275897904 139916526455184 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13530] ppid=13521 vsize=10725652 memory=90560 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13530/stat : 13530 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 22640 33554432000 4194304 4196468 140727275897904 139916525402384 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13531] ppid=13521 vsize=10725652 memory=27004 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13531/stat : 13531 (java) S 13521 13524 10029 0 -1 1077944384 397 0 0 0 0 0 0 0 20 0 16 0 106215273 10983067648 22640 33554432000 4194304 4196468 140727275897904 139916481985392 139916922133122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13532] ppid=13521 vsize=10725652 memory=2764 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13532/stat : 13532 (java) S 13521 13524 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 106215273 10983067648 22640 33554432000 4194304 4196468 140727275897904 139916480931360 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13533] ppid=13521 vsize=10725652 memory=796 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13533/stat : 13533 (java) S 13521 13524 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106215273 10983067648 22640 33554432000 4194304 4196468 140727275897904 139916479878512 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13534] ppid=13521 vsize=10725652 memory=90560 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13534/stat : 13534 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106215276 10983067648 22640 33554432000 4194304 4196468 140727275897904 139915888159056 139916922140571 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13535] ppid=13521 vsize=10725652 memory=90560 CPUtime=0.68 cores=1,3,5,7
/proc/13524/task/13535/stat : 13535 (java) S 13521 13524 10029 0 -1 1077944384 5595 0 0 0 67 1 0 0 20 0 16 0 106215276 10983067648 22640 33554432000 4194304 4196468 140727275897904 139915887106416 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13536] ppid=13521 vsize=10725652 memory=90560 CPUtime=0.67 cores=1,3,5,7
/proc/13524/task/13536/stat : 13536 (java) S 13521 13524 10029 0 -1 1077944384 6240 0 0 0 67 0 0 0 20 0 16 0 106215276 10983067648 22640 33554432000 4194304 4196468 140727275897904 139915886053616 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13537] ppid=13521 vsize=10725652 memory=90560 CPUtime=0.21 cores=1,3,5,7
/proc/13524/task/13537/stat : 13537 (java) S 13521 13524 10029 0 -1 1077944384 2395 0 0 0 21 0 0 0 20 0 16 0 106215276 10983067648 22640 33554432000 4194304 4196468 140727275897904 139915885000816 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13538] ppid=13521 vsize=10725652 memory=1876 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13538/stat : 13538 (java) S 13521 13524 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106215276 10983067648 22640 33554432000 4194304 4196468 140727275897904 139915883948256 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13539] ppid=13521 vsize=10725652 memory=1664 CPUtime=0.1 cores=1,3,5,7
/proc/13524/task/13539/stat : 13539 (java) S 13521 13524 10029 0 -1 1077944384 820 0 0 0 4 6 0 0 20 0 16 0 106215276 10983067648 22640 33554432000 4194304 4196468 140727275897904 139915882896560 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13540] ppid=13521 vsize=10725652 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13540/stat : 13540 (java) S 13521 13524 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106215313 10983067648 22640 33554432000 4194304 4196468 140727275897904 139915881842096 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
Current children cumulated CPU time: 164 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 90560 KiB
[startup+222.301 s]
/proc/loadavg: 2.00 2.19 2.38 3/218 13629
/proc/meminfo: memFree=26573136/32770624 swapFree=67028796/67108860
[pid=13524] ppid=13521 vsize=10725652 memory=92608 CPUtime=224.04 cores=1,3,5,7
/proc/13524/stat : 13524 (java) S 13521 13524 10029 0 -1 1077944320 25756 0 0 0 22391 13 0 0 20 0 16 0 106215270 10983067648 23152 33554432000 4194304 4196468 140727275897904 140727275880448 139916922121975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
/proc/13524/statm: 2681413 23152 3126 1 0 2643904 0
[pid=13524/tid=13526] ppid=13521 vsize=10725652 memory=6791534058613427641 CPUtime=222.27 cores=1,3,5,7
/proc/13524/task/13526/stat : 13526 (java) R 13521 13524 10029 0 -1 4202560 8864 0 0 0 22225 2 0 0 20 0 16 0 106215271 10983067648 23152 33554432000 4194304 4196468 140727275897904 139916926360632 139916558328957 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13527] ppid=13521 vsize=10725652 memory=92608 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13527/stat : 13527 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 23152 33554432000 4194304 4196468 140727275897904 139916883081872 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13528] ppid=13521 vsize=10725652 memory=92608 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13528/stat : 13528 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 23152 33554432000 4194304 4196468 140727275897904 139916527507984 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13529] ppid=13521 vsize=10725652 memory=92608 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13529/stat : 13529 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 23152 33554432000 4194304 4196468 140727275897904 139916526455184 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13530] ppid=13521 vsize=10725652 memory=92608 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13530/stat : 13530 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 23152 33554432000 4194304 4196468 140727275897904 139916525402384 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13531] ppid=13521 vsize=10725652 memory=3328 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13531/stat : 13531 (java) S 13521 13524 10029 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 16 0 106215273 10983067648 23152 33554432000 4194304 4196468 140727275897904 139916481985392 139916922133122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13532] ppid=13521 vsize=10725652 memory=3008 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13532/stat : 13532 (java) S 13521 13524 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 106215273 10983067648 23152 33554432000 4194304 4196468 140727275897904 139916480931360 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13533] ppid=13521 vsize=10725652 memory=92608 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13533/stat : 13533 (java) S 13521 13524 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106215273 10983067648 23152 33554432000 4194304 4196468 140727275897904 139916479878512 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13534] ppid=13521 vsize=10725652 memory=6768 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13534/stat : 13534 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106215276 10983067648 23152 33554432000 4194304 4196468 140727275897904 139915888159056 139916922140571 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13535] ppid=13521 vsize=10725652 memory=92608 CPUtime=0.68 cores=1,3,5,7
/proc/13524/task/13535/stat : 13535 (java) S 13521 13524 10029 0 -1 1077944384 5598 0 0 0 67 1 0 0 20 0 16 0 106215276 10983067648 23152 33554432000 4194304 4196468 140727275897904 139915887106416 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13536] ppid=13521 vsize=10725652 memory=27004 CPUtime=0.67 cores=1,3,5,7
/proc/13524/task/13536/stat : 13536 (java) S 13521 13524 10029 0 -1 1077944384 6247 0 0 0 67 0 0 0 20 0 16 0 106215276 10983067648 23152 33554432000 4194304 4196468 140727275897904 139915886053616 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13537] ppid=13521 vsize=10725652 memory=27004 CPUtime=0.21 cores=1,3,5,7
/proc/13524/task/13537/stat : 13537 (java) S 13521 13524 10029 0 -1 1077944384 2398 0 0 0 21 0 0 0 20 0 16 0 106215276 10983067648 23152 33554432000 4194304 4196468 140727275897904 139915885000816 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13538] ppid=13521 vsize=10725652 memory=776 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13538/stat : 13538 (java) S 13521 13524 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106215276 10983067648 23152 33554432000 4194304 4196468 140727275897904 139915883948256 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13539] ppid=13521 vsize=10725652 memory=1876 CPUtime=0.14 cores=1,3,5,7
/proc/13524/task/13539/stat : 13539 (java) S 13521 13524 10029 0 -1 1077944384 860 0 0 0 6 8 0 0 20 0 16 0 106215276 10983067648 23152 33554432000 4194304 4196468 140727275897904 139915882896560 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13540] ppid=13521 vsize=10725652 memory=1664 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13540/stat : 13540 (java) S 13521 13524 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106215313 10983067648 23152 33554432000 4194304 4196468 140727275897904 139915881842096 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
Current children cumulated CPU time: 224.04 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 92608 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+250.201 s]
/proc/loadavg: 2.00 2.18 2.36 3/218 13629
/proc/meminfo: memFree=26571336/32770624 swapFree=67028796/67108860
[pid=13524] ppid=13521 vsize=10725652 memory=94684 CPUtime=252 cores=1,3,5,7
/proc/13524/stat : 13524 (java) S 13521 13524 10029 0 -1 1077944320 26432 0 0 0 25187 13 0 0 20 0 16 0 106215270 10983067648 23671 33554432000 4194304 4196468 140727275897904 140727275880448 139916922121975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
/proc/13524/statm: 2681413 23671 3127 1 0 2643904 0
[pid=13524/tid=13526] ppid=13521 vsize=10725652 memory=2160 CPUtime=250.18 cores=1,3,5,7
/proc/13524/task/13526/stat : 13526 (java) R 13521 13524 10029 0 -1 4202560 8939 0 0 0 25016 2 0 0 20 0 16 0 106215271 10983067648 23671 33554432000 4194304 4196468 140727275897904 139916926358648 139916560976077 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13527] ppid=13521 vsize=10725652 memory=6768 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13527/stat : 13527 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 23671 33554432000 4194304 4196468 140727275897904 139916883081872 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13528] ppid=13521 vsize=10725652 memory=2160 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13528/stat : 13528 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 23671 33554432000 4194304 4196468 140727275897904 139916527507984 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13529] ppid=13521 vsize=10725652 memory=6768 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13529/stat : 13529 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 23671 33554432000 4194304 4196468 140727275897904 139916526455184 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13530] ppid=13521 vsize=10725652 memory=824 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13530/stat : 13530 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106215271 10983067648 23671 33554432000 4194304 4196468 140727275897904 139916525402384 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13531] ppid=13521 vsize=10725652 memory=4100 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13531/stat : 13531 (java) S 13521 13524 10029 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 16 0 106215273 10983067648 23671 33554432000 4194304 4196468 140727275897904 139916481985392 139916922133122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13532] ppid=13521 vsize=10725652 memory=1692 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13532/stat : 13532 (java) S 13521 13524 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 106215273 10983067648 23671 33554432000 4194304 4196468 140727275897904 139916480931360 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13533] ppid=13521 vsize=10725652 memory=1828 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13533/stat : 13533 (java) S 13521 13524 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106215273 10983067648 23671 33554432000 4194304 4196468 140727275897904 139916479878512 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13534] ppid=13521 vsize=10725652 memory=800 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13534/stat : 13534 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 106215276 10983067648 23671 33554432000 4194304 4196468 140727275897904 139915888159056 139916922140571 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13535] ppid=13521 vsize=10725652 memory=5220 CPUtime=0.68 cores=1,3,5,7
/proc/13524/task/13535/stat : 13535 (java) S 13521 13524 10029 0 -1 1077944384 5598 0 0 0 67 1 0 0 20 0 16 0 106215276 10983067648 23671 33554432000 4194304 4196468 140727275897904 139915887106416 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13536] ppid=13521 vsize=10725652 memory=12772 CPUtime=0.72 cores=1,3,5,7
/proc/13524/task/13536/stat : 13536 (java) S 13521 13524 10029 0 -1 1077944384 6839 0 0 0 72 0 0 0 20 0 16 0 106215276 10983067648 23671 33554432000 4194304 4196468 140727275897904 139915886053616 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13537] ppid=13521 vsize=10725652 memory=1332 CPUtime=0.21 cores=1,3,5,7
/proc/13524/task/13537/stat : 13537 (java) S 13521 13524 10029 0 -1 1077944384 2398 0 0 0 21 0 0 0 20 0 16 0 106215276 10983067648 23671 33554432000 4194304 4196468 140727275897904 139915885000816 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13538] ppid=13521 vsize=10725652 memory=1508 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13538/stat : 13538 (java) S 13521 13524 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 106215276 10983067648 23671 33554432000 4194304 4196468 140727275897904 139915883948256 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13539] ppid=13521 vsize=10725652 memory=3328 CPUtime=0.15 cores=1,3,5,7
/proc/13524/task/13539/stat : 13539 (java) S 13521 13524 10029 0 -1 1077944384 869 0 0 0 7 8 0 0 20 0 16 0 106215276 10983067648 23671 33554432000 4194304 4196468 140727275897904 139915882896560 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13540] ppid=13521 vsize=10725652 memory=3008 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13540/stat : 13540 (java) S 13521 13524 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 106215313 10983067648 23671 33554432000 4194304 4196468 140727275897904 139915881842096 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
Current children cumulated CPU time: 252 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 94684 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+250.418 s]
# the end of solver process 13524 was just reported to runsolver
# cumulated CPU time of all completed processes: user=251.895 s, system=0.142049 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+250.401 s]
/proc/loadavg: 2.00 2.18 2.36 3/218 13629
/proc/meminfo: memFree=26571336/32770624 swapFree=67028796/67108860
[pid=13524] ppid=13521 vsize=10925344 memory=100996 CPUtime=252.01 cores=1,3,5,7
/proc/13524/stat : 13524 (java) S 13521 13524 10029 0 -1 1077944320 26982 0 0 0 25188 13 0 0 20 0 17 0 106215270 11187552256 25249 33554432000 4194304 4196468 140727275897904 140727275880448 139916922121975 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
/proc/13524/statm: 2731336 25249 3129 1 0 2693827 0
[pid=13524/tid=13526] ppid=13521 vsize=10925344 memory=15316 CPUtime=250.19 cores=1,3,5,7
/proc/13524/task/13526/stat : 13526 (java) S 13521 13524 10029 0 -1 1077944384 8992 0 0 0 25017 2 0 0 20 0 17 0 106215271 11187552256 25249 33554432000 4194304 4196468 140727275897904 139916926364848 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13527] ppid=13521 vsize=10925344 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13527/stat : 13527 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 106215271 11187552256 25249 33554432000 4194304 4196468 140727275897904 139916883081872 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13528] ppid=13521 vsize=10925344 memory=3160 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13528/stat : 13528 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 106215271 11187552256 25249 33554432000 4194304 4196468 140727275897904 139916527507984 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13529] ppid=13521 vsize=10925344 memory=94684 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13529/stat : 13529 (java) S 13521 13524 10029 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 17 0 106215271 11187552256 25249 33554432000 4194304 4196468 140727275897904 139916526455184 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13530] ppid=13521 vsize=10925344 memory=1408 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13530/stat : 13530 (java) S 13521 13524 10029 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 17 0 106215271 11187552256 25249 33554432000 4194304 4196468 140727275897904 139916525402384 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13531] ppid=13521 vsize=10925344 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13531/stat : 13531 (java) S 13521 13524 10029 0 -1 1077944384 406 0 0 0 0 0 0 0 20 0 17 0 106215273 11187552256 25249 33554432000 4194304 4196468 140727275897904 139916481985392 139916922133122 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13532] ppid=13521 vsize=10925344 memory=13748 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13532/stat : 13532 (java) S 13521 13524 10029 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 106215273 11187552256 25249 33554432000 4194304 4196468 140727275897904 139916480931360 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13533] ppid=13521 vsize=10925344 memory=15128 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13533/stat : 13533 (java) S 13521 13524 10029 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 106215273 11187552256 25249 33554432000 4194304 4196468 140727275897904 139916479878512 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13534] ppid=13521 vsize=10925344 memory=640 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13534/stat : 13534 (java) S 13521 13524 10029 0 -1 1077944384 163 0 0 0 0 0 0 0 20 0 17 0 106215276 11187552256 25249 33554432000 4194304 4196468 140727275897904 139915888159056 139916922140571 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13535] ppid=13521 vsize=10925344 memory=1008 CPUtime=0.69 cores=1,3,5,7
/proc/13524/task/13535/stat : 13535 (java) S 13521 13524 10029 0 -1 1077944384 5598 0 0 0 68 1 0 0 20 0 17 0 106215276 11187552256 25249 33554432000 4194304 4196468 140727275897904 139915887106416 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13536] ppid=13521 vsize=10925344 memory=94684 CPUtime=0.72 cores=1,3,5,7
/proc/13524/task/13536/stat : 13536 (java) S 13521 13524 10029 0 -1 1077944384 6839 0 0 0 72 0 0 0 20 0 17 0 106215276 11187552256 25249 33554432000 4194304 4196468 140727275897904 139915886053616 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13537] ppid=13521 vsize=10925344 memory=3604 CPUtime=0.22 cores=1,3,5,7
/proc/13524/task/13537/stat : 13537 (java) S 13521 13524 10029 0 -1 1077944384 2448 0 0 0 21 1 0 0 20 0 17 0 106215276 11187552256 25249 33554432000 4194304 4196468 140727275897904 139915885000816 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13538] ppid=13521 vsize=10925344 memory=94684 CPUtime=0 cores=1,3,5,7
/proc/13524/task/13538/stat : 13538 (java) S 13521 13524 10029 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 106215276 11187552256 25249 33554432000 4194304 4196468 140727275897904 139915883948256 139916922132181 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
[pid=13524/tid=13539] ppid=13521 vsize=10925344 memory=94684 CPUtime=0.15 cores=1,3,5,7
/proc/13524/task/13539/stat : 13539 (java) S 13521 13524 10029 0 -1 1077944384 869 0 0 0 7 8 0 0 20 0 17 0 106215276 11187552256 25249 33554432000 4194304 4196468 140727275897904 139915882896560 139916922133122 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 6950912 140727275902070 140727275902222 140727275902222 140727275904975 0
Current children cumulated CPU time: 252.01 s
Current children cumulated vsize: 10925344 KiB
Current children cumulated memory: 100996 KiB
Child status: 143
Real time (s): 250.418
CPU time (s): 252.037
CPU user time (s): 251.895
CPU system time (s): 0.142049
CPU usage (%): 100.647
Max. virtual memory (cumulated for all children) (KiB): 10925344
Max. memory (cumulated for all children) (KiB): 100996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.895
system time used= 0.142049
maximum resident set size= 103404
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27184
page faults= 0
swaps= 0
block input operations= 0
block output operations= 312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6906
involuntary context switches= 89
# summary of solver processes directly reported to runsolver:
# pid: 13524
# total CPU time (s): 252.037
# total CPU user time (s): 251.895
# total CPU system time (s): 0.142049
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.49454 second user time and 2.53512 second system time
The end