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 (13163 MiB free)
memory of node 1: 16384 MiB (13889 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289913-1532209961/watcher-4289913-1532209961 -o /tmp/evaluation-result-4289913-1532209961/solver-4289913-1532209961 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532209961-31982 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289913-1532209961.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=32002, runsolver pid=31999
[startup+0.100131 s]*
/proc/loadavg: 0.92 1.00 1.17 4/220 32042
/proc/meminfo: memFree=27669596/32770624 swapFree=67108860/67108860
[pid=32002] ppid=31999 vsize=10659012 memory=30068 CPUtime=0.13 cores=0,2,4,6
/proc/32002/stat : 32002 (java) S 31999 32002 29334 0 -1 1077944320 6599 0 0 0 11 2 0 0 20 0 15 0 38559291 10914828288 7517 33554432000 4194304 4196468 140732844883824 140732844866368 140573425200887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
/proc/32002/statm: 2664753 7517 2843 1 0 2627263 0
[pid=32002/tid=32004] ppid=31999 vsize=10659012 memory=5450919713671312938 CPUtime=0.09 cores=0,2,4,6
/proc/32002/task/32004/stat : 32004 (java) R 31999 32002 29334 0 -1 4202560 4420 0 0 0 8 1 0 0 20 0 15 0 38559291 10914828288 7517 33554432000 4194304 4196468 140732844883824 140573429422016 140573425212822 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32006] ppid=31999 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32006/stat : 32006 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559292 10914828288 7517 33554432000 4194304 4196468 140732844883824 140573351275408 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32007] ppid=31999 vsize=10659012 memory=140642537846400 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559292 10914828288 7517 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559292 10914828288 7517 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559292 10914828288 7517 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10659012 memory=140642537846400 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559294 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32015] ppid=31999 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32015/stat : 32015 (java) S 31999 32002 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38559294 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572459229984 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32016] ppid=31999 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32016/stat : 32016 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38559294 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572458177648 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32028] ppid=31999 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32028/stat : 32028 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38559297 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572457125968 140573425219483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32029] ppid=31999 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32029/stat : 32029 (java) S 31999 32002 29334 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 38559297 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572456073840 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32030] ppid=31999 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32030/stat : 32030 (java) S 31999 32002 29334 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 38559297 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572455021040 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32031] ppid=31999 vsize=10659012 memory=140642537846400 CPUtime=0.02 cores=0,2,4,6
/proc/32002/task/32031/stat : 32031 (java) R 31999 32002 29334 0 -1 4202560 366 0 0 0 2 0 0 0 20 0 15 0 38559297 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572453968752 140573403905654 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32032] ppid=31999 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32032/stat : 32032 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38559297 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572452916192 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32033] ppid=31999 vsize=10659012 memory=140642537846400 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32033/stat : 32033 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559297 10914828288 7517 33554432000 4194304 4196468 140732844883824 140572451862960 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30068 KiB
[startup+0.210691 s]*
/proc/loadavg: 0.92 1.00 1.17 4/220 32042
/proc/meminfo: memFree=27647216/32770624 swapFree=67108860/67108860
[pid=32002] ppid=31999 vsize=10659012 memory=42036 CPUtime=0.32 cores=0,2,4,6
/proc/32002/stat : 32002 (java) S 31999 32002 29334 0 -1 1077944320 8076 0 0 0 30 2 0 0 20 0 15 0 38559291 10914828288 10509 33554432000 4194304 4196468 140732844883824 140732844866368 140573425200887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
/proc/32002/statm: 2664753 10509 3007 1 0 2627263 0
[pid=32002/tid=32004] ppid=31999 vsize=10659012 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/32002/task/32004/stat : 32004 (java) R 31999 32002 29334 0 -1 4202560 4995 0 0 0 18 1 0 0 20 0 15 0 38559291 10914828288 10509 33554432000 4194304 4196468 140732844883824 140573429429648 140573409244517 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32006] ppid=31999 vsize=10659012 memory=345 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32006/stat : 32006 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559292 10914828288 10509 33554432000 4194304 4196468 140732844883824 140573351275408 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32007] ppid=31999 vsize=10659012 memory=288371018689558144 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559292 10914828288 10509 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559292 10914828288 10509 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559292 10914828288 10509 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10659012 memory=140642537846400 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559294 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32015] ppid=31999 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32015/stat : 32015 (java) S 31999 32002 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38559294 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572459229984 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32016] ppid=31999 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32016/stat : 32016 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38559294 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572458177648 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32028] ppid=31999 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32028/stat : 32028 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38559297 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572457125968 140573425219483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32029] ppid=31999 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/32002/task/32029/stat : 32029 (java) S 31999 32002 29334 0 -1 1077944384 481 0 0 0 2 0 0 0 20 0 15 0 38559297 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572456073840 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32030] ppid=31999 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/32002/task/32030/stat : 32030 (java) S 31999 32002 29334 0 -1 1077944384 488 0 0 0 2 0 0 0 20 0 15 0 38559297 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572455021040 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32031] ppid=31999 vsize=10659012 memory=140642537846400 CPUtime=0.07 cores=0,2,4,6
/proc/32002/task/32031/stat : 32031 (java) R 31999 32002 29334 0 -1 4202560 746 0 0 0 7 0 0 0 20 0 15 0 38559297 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572453968752 140573417438014 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32032] ppid=31999 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32032/stat : 32032 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38559297 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572452916192 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32033] ppid=31999 vsize=10659012 memory=140642537846400 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32033/stat : 32033 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559297 10914828288 10509 33554432000 4194304 4196468 140732844883824 140572451862960 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42036 KiB
[startup+0.311584 s]*
/proc/loadavg: 0.92 1.00 1.17 7/220 32042
/proc/meminfo: memFree=27627904/32770624 swapFree=67108860/67108860
[pid=32002] ppid=31999 vsize=10659088 memory=52628 CPUtime=0.58 cores=0,2,4,6
/proc/32002/stat : 32002 (java) S 31999 32002 29334 0 -1 1077944320 9828 0 0 0 54 4 0 0 20 0 15 0 38559291 10914906112 13157 33554432000 4194304 4196468 140732844883824 140732844866368 140573425200887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
/proc/32002/statm: 2664772 13157 3066 1 0 2627263 0
[pid=32002/tid=32004] ppid=31999 vsize=10659088 memory=93310215 CPUtime=0.29 cores=0,2,4,6
/proc/32002/task/32004/stat : 32004 (java) R 31999 32002 29334 0 -1 4202560 5642 0 0 0 27 2 0 0 20 0 15 0 38559291 10914906112 13157 33554432000 4194304 4196468 140732844883824 140573429437280 140573021384341 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32006] ppid=31999 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32006/stat : 32006 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559292 10914906112 13157 33554432000 4194304 4196468 140732844883824 140573351275408 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32007] ppid=31999 vsize=10659088 memory=140642395199439 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559292 10914906112 13157 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10659088 memory=281284790396560 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559292 10914906112 13157 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10659088 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559292 10914906112 13157 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10659088 memory=281284933052736 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38559294 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32015] ppid=31999 vsize=10659088 memory=1970350607106051 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32015/stat : 32015 (java) S 31999 32002 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38559294 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572459229984 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32016] ppid=31999 vsize=10659088 memory=2110993002338116 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32016/stat : 32016 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38559294 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572458177648 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32028] ppid=31999 vsize=10659088 memory=2110993002338148 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32028/stat : 32028 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38559297 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572457125968 140573425219483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32029] ppid=31999 vsize=10659088 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/32002/task/32029/stat : 32029 (java) R 31999 32002 29334 0 -1 4202560 1026 0 0 0 6 0 0 0 20 0 15 0 38559297 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572456064280 140573408668858 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32030] ppid=31999 vsize=10659088 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/32002/task/32030/stat : 32030 (java) R 31999 32002 29334 0 -1 4202560 734 0 0 0 7 0 0 0 20 0 15 0 38559297 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572455005936 140573406731432 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32031] ppid=31999 vsize=10659088 memory=140642537846400 CPUtime=0.13 cores=0,2,4,6
/proc/32002/task/32031/stat : 32031 (java) R 31999 32002 29334 0 -1 1077944384 1056 0 0 0 13 0 0 0 20 0 15 0 38559297 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572453968752 140573425212034 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32032] ppid=31999 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32032/stat : 32032 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38559297 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572452916192 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32033] ppid=31999 vsize=10659088 memory=140642537846400 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32033/stat : 32033 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559297 10914906112 13157 33554432000 4194304 4196468 140732844883824 140572451862960 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
Current children cumulated CPU time: 0.58 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 52628 KiB
[startup+0.709629 s]
/proc/loadavg: 0.92 1.00 1.17 8/220 32042
/proc/meminfo: memFree=27580660/32770624 swapFree=67108860/67108860
[pid=32002] ppid=31999 vsize=10661136 memory=161364 CPUtime=1.98 cores=0,2,4,6
/proc/32002/stat : 32002 (java) S 31999 32002 29334 0 -1 1077944320 14555 0 0 0 192 6 0 0 20 0 15 0 38559291 10917003264 40341 33554432000 4194304 4196468 140732844883824 140732844866368 140573425200887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
/proc/32002/statm: 2665284 40341 3112 1 0 2627775 0
[pid=32002/tid=32004] ppid=31999 vsize=10661136 memory=0 CPUtime=0.67 cores=0,2,4,6
/proc/32002/task/32004/stat : 32004 (java) R 31999 32002 29334 0 -1 4202560 6089 0 0 0 63 4 0 0 20 0 15 0 38559291 10917003264 40341 33554432000 4194304 4196468 140732844883824 140573429432640 140573021446016 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32006] ppid=31999 vsize=10661136 memory=3184238562471197888 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32006/stat : 32006 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559292 10917003264 40341 33554432000 4194304 4196468 140732844883824 140573351275408 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32007] ppid=31999 vsize=10661136 memory=6721 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559292 10917003264 40341 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10661136 memory=4420 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559292 10917003264 40341 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10661136 memory=6628 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 38559292 10917003264 40341 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10661136 memory=6660 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 38559294 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32015] ppid=31999 vsize=10661136 memory=0 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32015/stat : 32015 (java) S 31999 32002 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 38559294 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572459229984 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32016] ppid=31999 vsize=10661136 memory=278141478146153 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32016/stat : 32016 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 38559294 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572458177648 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32028] ppid=31999 vsize=10661136 memory=134041 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32028/stat : 32028 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38559297 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572457125968 140573425219483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32029] ppid=31999 vsize=10661136 memory=0 CPUtime=0.43 cores=0,2,4,6
/proc/32002/task/32029/stat : 32029 (java) R 31999 32002 29334 0 -1 4202560 2085 0 0 0 43 0 0 0 20 0 15 0 38559297 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572456065792 140573410326933 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32030] ppid=31999 vsize=10661136 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/32002/task/32030/stat : 32030 (java) R 31999 32002 29334 0 -1 4202560 2727 0 0 0 44 0 0 0 20 0 15 0 38559297 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572455008480 140573404639172 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32031] ppid=31999 vsize=10661136 memory=281284790217632 CPUtime=0.41 cores=0,2,4,6
/proc/32002/task/32031/stat : 32031 (java) R 31999 32002 29334 0 -1 4202560 2282 0 0 0 41 0 0 0 20 0 15 0 38559297 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572453966712 140573403905627 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32032] ppid=31999 vsize=10661136 memory=19153 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32032/stat : 32032 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 38559297 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572452916192 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32033] ppid=31999 vsize=10661136 memory=281284790190320 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32033/stat : 32033 (java) S 31999 32002 29334 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 38559297 10917003264 40341 33554432000 4194304 4196468 140732844883824 140572451862960 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
Current children cumulated CPU time: 1.98 s
Current children cumulated vsize: 10661136 KiB
Current children cumulated memory: 161364 KiB
[startup+1.50086 s]
/proc/loadavg: 0.92 1.00 1.17 8/220 32042
/proc/meminfo: memFree=27290616/32770624 swapFree=67108860/67108860
[pid=32002] ppid=31999 vsize=10661136 memory=256440 CPUtime=4.58 cores=0,2,4,6
/proc/32002/stat : 32002 (java) S 31999 32002 29334 0 -1 1077944320 20529 0 0 0 445 13 0 0 20 0 15 0 38559291 10917003264 64110 33554432000 4194304 4196468 140732844883824 140732844866368 140573425200887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
/proc/32002/statm: 2665284 64110 3150 1 0 2627775 0
[pid=32002/tid=32004] ppid=31999 vsize=10661136 memory=281284791006752 CPUtime=1.39 cores=0,2,4,6
/proc/32002/task/32004/stat : 32004 (java) R 31999 32002 29334 0 -1 4202560 6231 0 0 0 135 4 0 0 20 0 15 0 38559291 10917003264 64110 33554432000 4194304 4196468 140732844883824 140573429434384 140573425222234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32006] ppid=31999 vsize=10661136 memory=278073362676232 CPUtime=0.05 cores=0,2,4,6
/proc/32002/task/32006/stat : 32006 (java) S 31999 32002 29334 0 -1 1077944384 118 0 0 0 4 1 0 0 20 0 15 0 38559292 10917003264 64110 33554432000 4194304 4196468 140732844883824 140573351275408 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32007] ppid=31999 vsize=10661136 memory=6721 CPUtime=0.01 cores=0,2,4,6
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 64 0 0 0 1 0 0 0 20 0 15 0 38559292 10917003264 64110 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10661136 memory=4420 CPUtime=0.02 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 15 0 38559292 10917003264 64110 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10661136 memory=6628 CPUtime=0.05 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 160 0 0 0 4 1 0 0 20 0 15 0 38559292 10917003264 64110 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10661136 memory=6660 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 38559294 10917003264 64110 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
################
# More data... #
################
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 747 0 0 0 22 10 0 0 20 0 16 0 38559292 10985164800 229754 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10727700 memory=281284791101168 CPUtime=0.34 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 1554 0 0 0 24 10 0 0 20 0 16 0 38559292 10985164800 229754 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10727700 memory=919016 CPUtime=0.35 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 965 0 0 0 24 11 0 0 20 0 16 0 38559292 10985164800 229754 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10727700 memory=12425340389697 CPUtime=0.06 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 2209 0 0 0 3 3 0 0 20 0 16 0 38559294 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32015] ppid=31999 vsize=10727700 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32015/stat : 32015 (java) S 31999 32002 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 38559294 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572459230048 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32016] ppid=31999 vsize=10727700 memory=4096 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32016/stat : 32016 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38559294 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572458177664 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32028] ppid=31999 vsize=10727700 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32028/stat : 32028 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572457125968 140573425219483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32029] ppid=31999 vsize=10727700 memory=919016 CPUtime=2.77 cores=0,2,4,6
/proc/32002/task/32029/stat : 32029 (java) S 31999 32002 29334 0 -1 1077944384 13415 0 2 0 275 2 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572456073840 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32030] ppid=31999 vsize=10727700 memory=919016 CPUtime=2.6 cores=0,2,4,6
/proc/32002/task/32030/stat : 32030 (java) S 31999 32002 29334 0 -1 1077944384 12254 0 0 0 258 2 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572455021040 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32031] ppid=31999 vsize=10727700 memory=919016 CPUtime=0.8 cores=0,2,4,6
/proc/32002/task/32031/stat : 32031 (java) S 31999 32002 29334 0 -1 1077944384 9127 0 0 0 77 3 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572453968752 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32032] ppid=31999 vsize=10727700 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32032/stat : 32032 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572452916192 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32033] ppid=31999 vsize=10727700 memory=928 CPUtime=1.21 cores=0,2,4,6
/proc/32002/task/32033/stat : 32033 (java) S 31999 32002 29334 0 -1 1077944384 1846 0 0 0 58 63 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572451862960 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32043] ppid=31999 vsize=10727700 memory=281284791368320 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32043/stat : 32043 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38559473 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572448711344 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
Current children cumulated CPU time: 2390.69 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 919016 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2391.7 s]
/proc/loadavg: 2.00 2.01 1.94 3/220 32243
/proc/meminfo: memFree=25659292/32770624 swapFree=67108860/67108860
[pid=32002] ppid=31999 vsize=10727700 memory=919016 CPUtime=2400.09 cores=0,2,4,6
/proc/32002/stat : 32002 (java) S 31999 32002 29334 0 -1 1077944320 72201 0 2 0 239896 113 0 0 20 0 16 0 38559291 10985164800 229754 33554432000 4194304 4196468 140732844883824 140732844866368 140573425200887 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
/proc/32002/statm: 2681925 229754 3171 1 0 2644416 0
[pid=32002/tid=32004] ppid=31999 vsize=10727700 memory=919016 CPUtime=2391.19 cores=0,2,4,6
/proc/32002/task/32004/stat : 32004 (java) R 31999 32002 29334 0 -1 4202560 26916 0 0 0 239108 11 0 0 20 0 16 0 38559291 10985164800 229754 33554432000 4194304 4196468 140732844883824 140573429432464 140573028435972 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32006] ppid=31999 vsize=10727700 memory=919016 CPUtime=0.36 cores=0,2,4,6
/proc/32002/task/32006/stat : 32006 (java) S 31999 32002 29334 0 -1 1077944384 1787 0 0 0 25 11 0 0 20 0 16 0 38559292 10985164800 229754 33554432000 4194304 4196468 140732844883824 140573351275408 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32007] ppid=31999 vsize=10727700 memory=919016 CPUtime=0.32 cores=0,2,4,6
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 747 0 0 0 22 10 0 0 20 0 16 0 38559292 10985164800 229754 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10727700 memory=919016 CPUtime=0.34 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 1554 0 0 0 24 10 0 0 20 0 16 0 38559292 10985164800 229754 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10727700 memory=919016 CPUtime=0.35 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 965 0 0 0 24 11 0 0 20 0 16 0 38559292 10985164800 229754 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10727700 memory=919016 CPUtime=0.06 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 2209 0 0 0 3 3 0 0 20 0 16 0 38559294 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32015] ppid=31999 vsize=10727700 memory=281284791101168 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32015/stat : 32015 (java) S 31999 32002 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 38559294 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572459230048 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32016] ppid=31999 vsize=10727700 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32016/stat : 32016 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38559294 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572458177664 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32028] ppid=31999 vsize=10727700 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32028/stat : 32028 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572457125968 140573425219483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32029] ppid=31999 vsize=10727700 memory=56 CPUtime=2.77 cores=0,2,4,6
/proc/32002/task/32029/stat : 32029 (java) S 31999 32002 29334 0 -1 1077944384 13415 0 2 0 275 2 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572456073840 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32030] ppid=31999 vsize=10727700 memory=15872 CPUtime=2.6 cores=0,2,4,6
/proc/32002/task/32030/stat : 32030 (java) S 31999 32002 29334 0 -1 1077944384 12254 0 0 0 258 2 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572455021040 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32031] ppid=31999 vsize=10727700 memory=919016 CPUtime=0.8 cores=0,2,4,6
/proc/32002/task/32031/stat : 32031 (java) S 31999 32002 29334 0 -1 1077944384 9127 0 0 0 77 3 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572453968752 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32032] ppid=31999 vsize=10727700 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32032/stat : 32032 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572452916192 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32033] ppid=31999 vsize=10727700 memory=13880 CPUtime=1.22 cores=0,2,4,6
/proc/32002/task/32033/stat : 32033 (java) S 31999 32002 29334 0 -1 1077944384 1846 0 0 0 58 64 0 0 20 0 16 0 38559297 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572451862960 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32043] ppid=31999 vsize=10727700 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32043/stat : 32043 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 38559473 10985164800 229754 33554432000 4194304 4196468 140732844883824 140572448711344 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 10727700 KiB
Current children cumulated memory: 919016 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2391.93 s]
# the end of solver process 32002 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.15 s, system=1.14716 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2391.81 s]
/proc/loadavg: 2.00 2.01 1.94 3/220 32243
/proc/meminfo: memFree=25659292/32770624 swapFree=67108860/67108860
[pid=32002] ppid=31999 vsize=10927392 memory=923336 CPUtime=2400.24 cores=0,2,4,6
/proc/32002/stat : 32002 (java) S 31999 32002 29334 0 -1 1077944320 72730 0 2 0 239910 114 0 0 20 0 17 0 38559291 11189649408 230834 33554432000 4194304 4196468 140732844883824 140732844866368 140573425200887 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
/proc/32002/statm: 2731848 230834 3173 1 0 2694339 0
[pid=32002/tid=32004] ppid=31999 vsize=10927392 memory=6791534058613427641 CPUtime=2391.29 cores=0,2,4,6
/proc/32002/task/32004/stat : 32004 (java) R 31999 32002 29334 0 -1 4202560 26971 0 0 0 239118 11 0 0 20 0 17 0 38559291 11189649408 230834 33554432000 4194304 4196468 140732844883824 140573429439792 140573023108106 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32006] ppid=31999 vsize=10927392 memory=1236 CPUtime=0.36 cores=0,2,4,6
/proc/32002/task/32006/stat : 32006 (java) S 31999 32002 29334 0 -1 1077944384 1787 0 0 0 25 11 0 0 20 0 17 0 38559292 11189649408 230834 33554432000 4194304 4196468 140732844883824 140573351275408 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32007] ppid=31999 vsize=10927392 memory=8556 CPUtime=0.32 cores=0,2,4,6
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 747 0 0 0 22 10 0 0 20 0 17 0 38559292 11189649408 230834 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10927392 memory=4052 CPUtime=0.34 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 1554 0 0 0 24 10 0 0 20 0 17 0 38559292 11189649408 230834 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10927392 memory=644 CPUtime=0.35 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 965 0 0 0 24 11 0 0 20 0 17 0 38559292 11189649408 230834 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10927392 memory=1800 CPUtime=0.06 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 2209 0 0 0 3 3 0 0 20 0 17 0 38559294 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32015] ppid=31999 vsize=10927392 memory=956 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32015/stat : 32015 (java) S 31999 32002 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 38559294 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572459230048 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32016] ppid=31999 vsize=10927392 memory=2340 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32016/stat : 32016 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 38559294 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572458177664 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32028] ppid=31999 vsize=10927392 memory=928 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32028/stat : 32028 (java) S 31999 32002 29334 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 17 0 38559297 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572457125968 140573425219483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32029] ppid=31999 vsize=10927392 memory=1568 CPUtime=2.77 cores=0,2,4,6
/proc/32002/task/32029/stat : 32029 (java) S 31999 32002 29334 0 -1 1077944384 13446 0 2 0 275 2 0 0 20 0 17 0 38559297 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572456073840 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32030] ppid=31999 vsize=10927392 memory=2240 CPUtime=2.62 cores=0,2,4,6
/proc/32002/task/32030/stat : 32030 (java) S 31999 32002 29334 0 -1 1077944384 12330 0 0 0 260 2 0 0 20 0 17 0 38559297 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572455021040 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32031] ppid=31999 vsize=10927392 memory=4124 CPUtime=0.81 cores=0,2,4,6
/proc/32002/task/32031/stat : 32031 (java) S 31999 32002 29334 0 -1 1077944384 9229 0 0 0 78 3 0 0 20 0 17 0 38559297 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572453968752 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32032] ppid=31999 vsize=10927392 memory=2196 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32032/stat : 32032 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38559297 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572452916192 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32033] ppid=31999 vsize=10927392 memory=7636 CPUtime=1.22 cores=0,2,4,6
/proc/32002/task/32033/stat : 32033 (java) S 31999 32002 29334 0 -1 1077944384 1846 0 0 0 58 64 0 0 20 0 17 0 38559297 11189649408 230834 33554432000 4194304 4196468 140732844883824 140572451862960 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
Current children cumulated CPU time: 2400.24 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 923336 KiB
[startup+2391.9 s]
/proc/loadavg: 2.00 2.01 1.94 3/220 32243
/proc/meminfo: memFree=25659292/32770624 swapFree=67108860/67108860
[pid=32002] ppid=31999 vsize=10927392 memory=925400 CPUtime=2400.27 cores=0,2,4,6
/proc/32002/stat : 32002 (java) S 31999 32002 29334 0 -1 1077944320 72752 0 2 0 239913 114 0 0 20 0 17 0 38559291 11189649408 231350 33554432000 4194304 4196468 140732844883824 140732844866368 140573425200887 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
/proc/32002/statm: 2731848 231350 3173 1 0 2694339 0
[pid=32002/tid=32004] ppid=31999 vsize=10927392 memory=919016 CPUtime=2391.3 cores=0,2,4,6
/proc/32002/task/32004/stat : 32004 (java) S 31999 32002 29334 0 -1 1077944384 26976 0 0 0 239119 11 0 0 20 0 17 0 38559291 11189649408 231350 33554432000 4194304 4196468 140732844883824 140573429443760 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32006] ppid=31999 vsize=10927392 memory=919016 CPUtime=0.36 cores=0,2,4,6
/proc/32002/task/32006/stat : 32006 (java) S 31999 32002 29334 0 -1 1077944384 1787 0 0 0 25 11 0 0 20 0 17 0 38559292 11189649408 231350 33554432000 4194304 4196468 140732844883824 140573351275408 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32007] ppid=31999 vsize=10927392 memory=281284791101168 CPUtime=0.32 cores=0,2,4,6
/proc/32002/task/32007/stat : 32007 (java) S 31999 32002 29334 0 -1 1077944384 747 0 0 0 22 10 0 0 20 0 17 0 38559292 11189649408 231350 33554432000 4194304 4196468 140732844883824 140573350222608 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32008] ppid=31999 vsize=10927392 memory=919016 CPUtime=0.34 cores=0,2,4,6
/proc/32002/task/32008/stat : 32008 (java) S 31999 32002 29334 0 -1 1077944384 1554 0 0 0 24 10 0 0 20 0 17 0 38559292 11189649408 231350 33554432000 4194304 4196468 140732844883824 140573349170320 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32009] ppid=31999 vsize=10927392 memory=919016 CPUtime=0.35 cores=0,2,4,6
/proc/32002/task/32009/stat : 32009 (java) S 31999 32002 29334 0 -1 1077944384 965 0 0 0 24 11 0 0 20 0 17 0 38559292 11189649408 231350 33554432000 4194304 4196468 140732844883824 140573348117520 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32014] ppid=31999 vsize=10927392 memory=919016 CPUtime=0.06 cores=0,2,4,6
/proc/32002/task/32014/stat : 32014 (java) S 31999 32002 29334 0 -1 1077944384 2224 0 0 0 3 3 0 0 20 0 17 0 38559294 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572460284016 140573425212034 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32015] ppid=31999 vsize=10927392 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32015/stat : 32015 (java) S 31999 32002 29334 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 17 0 38559294 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572459230048 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32016] ppid=31999 vsize=10927392 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32016/stat : 32016 (java) S 31999 32002 29334 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 17 0 38559294 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572458177664 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32028] ppid=31999 vsize=10927392 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32028/stat : 32028 (java) S 31999 32002 29334 0 -1 1077944384 91 0 0 0 0 0 0 0 20 0 17 0 38559297 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572457125968 140573425219483 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32029] ppid=31999 vsize=10927392 memory=56 CPUtime=2.8 cores=0,2,4,6
/proc/32002/task/32029/stat : 32029 (java) S 31999 32002 29334 0 -1 1077944384 13448 0 2 0 278 2 0 0 20 0 17 0 38559297 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572456073840 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32030] ppid=31999 vsize=10927392 memory=919016 CPUtime=2.62 cores=0,2,4,6
/proc/32002/task/32030/stat : 32030 (java) S 31999 32002 29334 0 -1 1077944384 12330 0 0 0 260 2 0 0 20 0 17 0 38559297 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572455021040 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32031] ppid=31999 vsize=10927392 memory=15872 CPUtime=0.81 cores=0,2,4,6
/proc/32002/task/32031/stat : 32031 (java) S 31999 32002 29334 0 -1 1077944384 9229 0 0 0 78 3 0 0 20 0 17 0 38559297 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572453968752 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32032] ppid=31999 vsize=10927392 memory=919016 CPUtime=0 cores=0,2,4,6
/proc/32002/task/32032/stat : 32032 (java) S 31999 32002 29334 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 38559297 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572452916192 140573425211093 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
[pid=32002/tid=32033] ppid=31999 vsize=10927392 memory=919016 CPUtime=1.22 cores=0,2,4,6
/proc/32002/task/32033/stat : 32033 (java) S 31999 32002 29334 0 -1 1077944384 1846 0 0 0 58 64 0 0 20 0 17 0 38559297 11189649408 231350 33554432000 4194304 4196468 140732844883824 140572451862960 140573425212034 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21385216 140732844885105 140732844885257 140732844885257 140732844888015 0
Current children cumulated CPU time: 2400.27 s
Current children cumulated vsize: 10927392 KiB
Current children cumulated memory: 925400 KiB
Child status: 143
Real time (s): 2391.93
CPU time (s): 2400.3
CPU user time (s): 2399.15
CPU system time (s): 1.14716
CPU usage (%): 100.35
Max. virtual memory (cumulated for all children) (KiB): 10927392
Max. memory (cumulated for all children) (KiB): 925400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.15
system time used= 1.14716
maximum resident set size= 927764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 72911
page faults= 2
swaps= 0
block input operations= 1136
block output operations= 1824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54444
involuntary context switches= 1728
# summary of solver processes directly reported to runsolver:
# pid: 32002
# total CPU time (s): 2400.3
# total CPU user time (s): 2399.15
# total CPU system time (s): 1.14716
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.0331 second user time and 22.9894 second system time
The end