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 (7815 MiB free)
memory of node 1: 16384 MiB (13788 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4290014-1532215872/watcher-4290014-1532215872 -o /tmp/evaluation-result-4290014-1532215872/solver-4290014-1532215872 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532207966-25848 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4290014-1532215872.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
solver pid=27332, runsolver pid=27329
Current StackSize limit: 8192 KiB
[startup+0.100106 s]*
/proc/loadavg: 4.71 4.37 3.39 3/217 27347
/proc/meminfo: memFree=22106976/32770624 swapFree=67108860/67108860
[pid=27332] ppid=27329 vsize=10659012 memory=30116 CPUtime=0.13 cores=0,2,4,6
/proc/27332/stat : 27332 (java) S 27329 27332 23514 0 -1 1077944320 6607 0 0 0 12 1 0 0 20 0 15 0 39150462 10914828288 7529 33554432000 4194304 4196468 140726296629264 140726296611808 139876613054199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
/proc/27332/statm: 2664753 7529 2844 1 0 2627263 0
[pid=27332/tid=27334] ppid=27329 vsize=10659012 memory=-8773748148830376834 CPUtime=0.09 cores=0,2,4,6
/proc/27332/task/27334/stat : 27334 (java) R 27329 27332 23514 0 -1 4202560 4437 0 0 0 8 1 0 0 20 0 15 0 39150463 10914828288 7529 33554432000 4194304 4196468 140726296629264 139876617278096 139876597134686 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27335] ppid=27329 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27335/stat : 27335 (java) S 27329 27332 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39150463 10914828288 7529 33554432000 4194304 4196468 140726296629264 139876219349648 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27336] ppid=27329 vsize=10659012 memory=139996206544512 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27336/stat : 27336 (java) S 27329 27332 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39150463 10914828288 7529 33554432000 4194304 4196468 140726296629264 139876218296848 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27337] ppid=27329 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) S 27329 27332 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39150463 10914828288 7529 33554432000 4194304 4196468 140726296629264 139876217244048 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27338] ppid=27329 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) S 27329 27332 23514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39150463 10914828288 7529 33554432000 4194304 4196468 140726296629264 139876216191248 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27339] ppid=27329 vsize=10659012 memory=139996206544512 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27339/stat : 27339 (java) S 27329 27332 23514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39150465 10914828288 7529 33554432000 4194304 4196468 140726296629264 139875716631408 139876613065346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27340] ppid=27329 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27340/stat : 27340 (java) S 27329 27332 23514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39150465 10914828288 7529 33554432000 4194304 4196468 140726296629264 139875715577376 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27341] ppid=27329 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27341/stat : 27341 (java) S 27329 27332 23514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39150465 10914828288 7529 33554432000 4194304 4196468 140726296629264 139875714524528 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27342] ppid=27329 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27342/stat : 27342 (java) S 27329 27332 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39150468 10914828288 7529 33554432000 4194304 4196468 140726296629264 139875713472848 139876613072795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27343] ppid=27329 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27343/stat : 27343 (java) S 27329 27332 23514 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 39150468 10914828288 7529 33554432000 4194304 4196468 140726296629264 139875712420208 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27344] ppid=27329 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27344/stat : 27344 (java) S 27329 27332 23514 0 -1 1077944384 150 0 0 0 0 0 0 0 20 0 15 0 39150468 10914828288 7529 33554432000 4194304 4196468 140726296629264 139875711367408 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27345] ppid=27329 vsize=10659012 memory=139996206544512 CPUtime=0.02 cores=0,2,4,6
/proc/27332/task/27345/stat : 27345 (java) S 27329 27332 23514 0 -1 1077944384 356 0 0 0 2 0 0 0 20 0 15 0 39150468 10914828288 7529 33554432000 4194304 4196468 140726296629264 139875710314608 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27346] ppid=27329 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27346/stat : 27346 (java) S 27329 27332 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39150468 10914828288 7529 33554432000 4194304 4196468 140726296629264 139875709262048 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27347] ppid=27329 vsize=10659012 memory=139996206544512 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27347/stat : 27347 (java) S 27329 27332 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39150468 10914828288 7529 33554432000 4194304 4196468 140726296629264 139875708210352 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30116 KiB
[startup+0.210768 s]*
/proc/loadavg: 4.71 4.37 3.39 4/217 27347
/proc/meminfo: memFree=22097548/32770624 swapFree=67108860/67108860
[pid=27332] ppid=27329 vsize=10659012 memory=40752 CPUtime=0.33 cores=0,2,4,6
/proc/27332/stat : 27332 (java) S 27329 27332 23514 0 -1 1077944320 7864 0 0 0 31 2 0 0 20 0 15 0 39150462 10914828288 10188 33554432000 4194304 4196468 140726296629264 140726296611808 139876613054199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
/proc/27332/statm: 2664753 10188 2964 1 0 2627263 0
[pid=27332/tid=27334] ppid=27329 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/27332/task/27334/stat : 27334 (java) R 27329 27332 23514 0 -1 4202560 5020 0 0 0 19 1 0 0 20 0 15 0 39150463 10914828288 10188 33554432000 4194304 4196468 140726296629264 139876617290464 139876613066134 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27335] ppid=27329 vsize=10659012 memory=340 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27335/stat : 27335 (java) S 27329 27332 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39150463 10914828288 10188 33554432000 4194304 4196468 140726296629264 139876219349648 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27336] ppid=27329 vsize=10659012 memory=139996206750450 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27336/stat : 27336 (java) S 27329 27332 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39150463 10914828288 10188 33554432000 4194304 4196468 140726296629264 139876218296848 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27337] ppid=27329 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) S 27329 27332 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39150463 10914828288 10188 33554432000 4194304 4196468 140726296629264 139876217244048 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27338] ppid=27329 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) S 27329 27332 23514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39150463 10914828288 10188 33554432000 4194304 4196468 140726296629264 139876216191248 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27339] ppid=27329 vsize=10659012 memory=139996206544512 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27339/stat : 27339 (java) S 27329 27332 23514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39150465 10914828288 10188 33554432000 4194304 4196468 140726296629264 139875716631408 139876613065346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27340] ppid=27329 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27340/stat : 27340 (java) S 27329 27332 23514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39150465 10914828288 10188 33554432000 4194304 4196468 140726296629264 139875715577376 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27341] ppid=27329 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27341/stat : 27341 (java) S 27329 27332 23514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39150465 10914828288 10188 33554432000 4194304 4196468 140726296629264 139875714524528 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27342] ppid=27329 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27342/stat : 27342 (java) S 27329 27332 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39150468 10914828288 10188 33554432000 4194304 4196468 140726296629264 139875713472848 139876613072795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27343] ppid=27329 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/27332/task/27343/stat : 27343 (java) S 27329 27332 23514 0 -1 1077944384 519 0 0 0 2 0 0 0 20 0 15 0 39150468 10914828288 10188 33554432000 4194304 4196468 140726296629264 139875712420208 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27344] ppid=27329 vsize=10659012 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/27332/task/27344/stat : 27344 (java) S 27329 27332 23514 0 -1 1077944384 245 0 0 0 1 0 0 0 20 0 15 0 39150468 10914828288 10188 33554432000 4194304 4196468 140726296629264 139875711367408 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27345] ppid=27329 vsize=10659012 memory=139996206544512 CPUtime=0.07 cores=0,2,4,6
/proc/27332/task/27345/stat : 27345 (java) R 27329 27332 23514 0 -1 4202560 712 0 0 0 7 0 0 0 20 0 15 0 39150468 10914828288 10188 33554432000 4194304 4196468 140726296629264 139875710314608 139876613066134 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27346] ppid=27329 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27346/stat : 27346 (java) S 27329 27332 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39150468 10914828288 10188 33554432000 4194304 4196468 140726296629264 139875709262048 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27347] ppid=27329 vsize=10659012 memory=139996206544512 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27347/stat : 27347 (java) S 27329 27332 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39150468 10914828288 10188 33554432000 4194304 4196468 140726296629264 139875708210352 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 40752 KiB
[startup+0.311083 s]*
/proc/loadavg: 4.71 4.37 3.39 7/217 27347
/proc/meminfo: memFree=22088552/32770624 swapFree=67108860/67108860
[pid=27332] ppid=27329 vsize=10659088 memory=47988 CPUtime=0.53 cores=0,2,4,6
/proc/27332/stat : 27332 (java) S 27329 27332 23514 0 -1 1077944320 8633 0 0 0 51 2 0 0 20 0 15 0 39150462 10914906112 11997 33554432000 4194304 4196468 140726296629264 140726296611808 139876613054199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
/proc/27332/statm: 2664772 11997 3029 1 0 2627263 0
[pid=27332/tid=27334] ppid=27329 vsize=10659088 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/27332/task/27334/stat : 27334 (java) R 27329 27332 23514 0 -1 4202560 5618 0 0 0 29 1 0 0 20 0 15 0 39150463 10914906112 11997 33554432000 4194304 4196468 140726296629264 139876617278240 139876597097829 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27335] ppid=27329 vsize=10659088 memory=4294977867 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27335/stat : 27335 (java) S 27329 27332 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39150463 10914906112 11997 33554432000 4194304 4196468 140726296629264 139876219349648 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27336] ppid=27329 vsize=10659088 memory=139996206750392 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27336/stat : 27336 (java) S 27329 27332 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39150463 10914906112 11997 33554432000 4194304 4196468 140726296629264 139876218296848 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27337] ppid=27329 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) S 27329 27332 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39150463 10914906112 11997 33554432000 4194304 4196468 140726296629264 139876217244048 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27338] ppid=27329 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) S 27329 27332 23514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39150463 10914906112 11997 33554432000 4194304 4196468 140726296629264 139876216191248 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27339] ppid=27329 vsize=10659088 memory=139996206544512 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27339/stat : 27339 (java) S 27329 27332 23514 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39150465 10914906112 11997 33554432000 4194304 4196468 140726296629264 139875716631408 139876613065346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27340] ppid=27329 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27340/stat : 27340 (java) S 27329 27332 23514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39150465 10914906112 11997 33554432000 4194304 4196468 140726296629264 139875715577376 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27341] ppid=27329 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27341/stat : 27341 (java) S 27329 27332 23514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39150465 10914906112 11997 33554432000 4194304 4196468 140726296629264 139875714524528 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27342] ppid=27329 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27342/stat : 27342 (java) S 27329 27332 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39150468 10914906112 11997 33554432000 4194304 4196468 140726296629264 139875713472848 139876613072795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27343] ppid=27329 vsize=10659088 memory=0 CPUtime=0.05 cores=0,2,4,6
/proc/27332/task/27343/stat : 27343 (java) R 27329 27332 23514 0 -1 1077944384 546 0 0 0 5 0 0 0 20 0 15 0 39150468 10914906112 11997 33554432000 4194304 4196468 140726296629264 139875712420208 139876613065346 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27344] ppid=27329 vsize=10659088 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/27332/task/27344/stat : 27344 (java) R 27329 27332 23514 0 -1 4202560 256 0 0 0 4 0 0 0 20 0 15 0 39150468 10914906112 11997 33554432000 4194304 4196468 140726296629264 139875711367408 139876592708656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27345] ppid=27329 vsize=10659088 memory=139996206544512 CPUtime=0.12 cores=0,2,4,6
/proc/27332/task/27345/stat : 27345 (java) R 27329 27332 23514 0 -1 4202560 847 0 0 0 12 0 0 0 20 0 15 0 39150468 10914906112 11997 33554432000 4194304 4196468 140726296629264 139875710309248 139876597134686 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27346] ppid=27329 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27346/stat : 27346 (java) S 27329 27332 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39150468 10914906112 11997 33554432000 4194304 4196468 140726296629264 139875709262048 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27347] ppid=27329 vsize=10659088 memory=139996206544512 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27347/stat : 27347 (java) S 27329 27332 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39150468 10914906112 11997 33554432000 4194304 4196468 140726296629264 139875708210352 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 47988 KiB
[startup+0.701084 s]
/proc/loadavg: 4.71 4.37 3.39 5/217 27347
/proc/meminfo: memFree=22039468/32770624 swapFree=67108860/67108860
[pid=27332] ppid=27329 vsize=10659088 memory=210716 CPUtime=1.77 cores=0,2,4,6
/proc/27332/stat : 27332 (java) S 27329 27332 23514 0 -1 1077944320 11056 0 0 0 171 6 0 0 20 0 15 0 39150462 10914906112 52679 33554432000 4194304 4196468 140726296629264 140726296611808 139876613054199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
/proc/27332/statm: 2664772 52679 3118 1 0 2627263 0
[pid=27332/tid=27334] ppid=27329 vsize=10659088 memory=257416180563498 CPUtime=0.63 cores=0,2,4,6
/proc/27332/task/27334/stat : 27334 (java) S 27329 27332 23514 0 -1 1077944384 5903 0 0 0 60 3 0 0 20 0 15 0 39150463 10914906112 52679 33554432000 4194304 4196468 140726296629264 139876617257968 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27335] ppid=27329 vsize=10659088 memory=4265253205551874080 CPUtime=0.02 cores=0,2,4,6
/proc/27332/task/27335/stat : 27335 (java) R 27329 27332 23514 0 -1 4202560 27 0 0 0 2 0 0 0 20 0 15 0 39150463 10914906112 52679 33554432000 4194304 4196468 140726296629264 139876219349848 139876598081618 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27336] ppid=27329 vsize=10659088 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/27332/task/27336/stat : 27336 (java) R 27329 27332 23514 0 -1 4202560 11 0 0 0 1 0 0 0 20 0 15 0 39150463 10914906112 52679 33554432000 4194304 4196468 140726296629264 139876218296736 139876598078024 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27337] ppid=27329 vsize=10659088 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) R 27329 27332 23514 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 15 0 39150463 10914906112 52679 33554432000 4194304 4196468 140726296629264 139876217244248 139876598081618 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27338] ppid=27329 vsize=10659088 memory=7809523229951467572 CPUtime=0.01 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) R 27329 27332 23514 0 -1 4202560 26 0 0 0 1 0 0 0 20 0 15 0 39150463 10914906112 52679 33554432000 4194304 4196468 140726296629264 139876216191448 139876598077902 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27339] ppid=27329 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27339/stat : 27339 (java) S 27329 27332 23514 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 15 0 39150465 10914906112 52679 33554432000 4194304 4196468 140726296629264 139875716629920 139876613064405 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27340] ppid=27329 vsize=10659088 memory=-3472574513799858008 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27340/stat : 27340 (java) S 27329 27332 23514 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39150465 10914906112 52679 33554432000 4194304 4196468 140726296629264 139875715577376 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27341] ppid=27329 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27341/stat : 27341 (java) S 27329 27332 23514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39150465 10914906112 52679 33554432000 4194304 4196468 140726296629264 139875714524528 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27342] ppid=27329 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27342/stat : 27342 (java) S 27329 27332 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39150468 10914906112 52679 33554432000 4194304 4196468 140726296629264 139875713472848 139876613072795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27343] ppid=27329 vsize=10659088 memory=0 CPUtime=0.38 cores=0,2,4,6
/proc/27332/task/27343/stat : 27343 (java) S 27329 27332 23514 0 -1 1077944384 1364 0 0 0 38 0 0 0 20 0 15 0 39150468 10914906112 52679 33554432000 4194304 4196468 140726296629264 139875712405200 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27344] ppid=27329 vsize=10659088 memory=0 CPUtime=0.34 cores=0,2,4,6
/proc/27332/task/27344/stat : 27344 (java) S 27329 27332 23514 0 -1 1077944384 979 0 0 0 34 0 0 0 20 0 15 0 39150468 10914906112 52679 33554432000 4194304 4196468 140726296629264 139875711357600 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27345] ppid=27329 vsize=10659088 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/27332/task/27345/stat : 27345 (java) S 27329 27332 23514 0 -1 1077944384 1348 0 0 0 27 0 0 0 20 0 15 0 39150468 10914906112 52679 33554432000 4194304 4196468 140726296629264 139875710314608 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27346] ppid=27329 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27346/stat : 27346 (java) S 27329 27332 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39150468 10914906112 52679 33554432000 4194304 4196468 140726296629264 139875709262048 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27347] ppid=27329 vsize=10659088 memory=18464 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27347/stat : 27347 (java) S 27329 27332 23514 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39150468 10914906112 52679 33554432000 4194304 4196468 140726296629264 139875708210352 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
Current children cumulated CPU time: 1.77 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 210716 KiB
[startup+1.50078 s]
/proc/loadavg: 4.71 4.37 3.39 5/217 27347
/proc/meminfo: memFree=21839420/32770624 swapFree=67108860/67108860
[pid=27332] ppid=27329 vsize=10659088 memory=465240 CPUtime=3.72 cores=0,2,4,6
/proc/27332/stat : 27332 (java) S 27329 27332 23514 0 -1 1077944320 12568 0 0 0 348 24 0 0 20 0 15 0 39150462 10914906112 116310 33554432000 4194304 4196468 140726296629264 140726296611808 139876613054199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
/proc/27332/statm: 2664772 116310 3156 1 0 2627263 0
[pid=27332/tid=27334] ppid=27329 vsize=10659088 memory=10799 CPUtime=1.27 cores=0,2,4,6
/proc/27332/task/27334/stat : 27334 (java) R 27329 27332 23514 0 -1 4202560 5966 0 0 0 122 5 0 0 20 0 15 0 39150463 10914906112 116310 33554432000 4194304 4196468 140726296629264 139876617285936 139876595004920 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27335] ppid=27329 vsize=10659088 memory=6791534058613427641 CPUtime=0.18 cores=0,2,4,6
/proc/27332/task/27335/stat : 27335 (java) S 27329 27332 23514 0 -1 1077944384 138 0 0 0 14 4 0 0 20 0 15 0 39150463 10914906112 116310 33554432000 4194304 4196468 140726296629264 139876219349648 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27336] ppid=27329 vsize=10659088 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/27332/task/27336/stat : 27336 (java) S 27329 27332 23514 0 -1 1077944384 188 0 0 0 13 4 0 0 20 0 15 0 39150463 10914906112 116310 33554432000 4194304 4196468 140726296629264 139876218296848 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27337] ppid=27329 vsize=10659088 memory=0 CPUtime=0.19 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) S 27329 27332 23514 0 -1 1077944384 177 0 0 0 15 4 0 0 20 0 15 0 39150463 10914906112 116310 33554432000 4194304 4196468 140726296629264 139876217244048 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27338] ppid=27329 vsize=10659088 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) S 27329 27332 23514 0 -1 1077944384 171 0 0 0 13 4 0 0 20 0 15 0 39150463 10914906112 116310 33554432000 4194304 4196468 140726296629264 139876216191248 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27339] ppid=27329 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27339/stat : 27339 (java) S 27329 27332 23514 0 -1 1077944384 212 0 0 0 0 0 0 0 20 0 15 0 39150465 10914906112 116310 33554432000 4194304 4196468 140726296629264 139875716631408 139876613065346 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
################
# More data... #
################
/proc/27332/task/27336/stat : 27336 (java) S 27329 27332 23514 0 -1 1077944384 698 0 0 0 32 10 0 0 20 0 16 0 39150463 10983067648 232527 33554432000 4194304 4196468 140726296629264 139876218296848 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27337] ppid=27329 vsize=10725652 memory=930108 CPUtime=0.43 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) S 27329 27332 23514 0 -1 1077944384 780 0 0 0 33 10 0 0 20 0 16 0 39150463 10983067648 232527 33554432000 4194304 4196468 140726296629264 139876217244048 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27338] ppid=27329 vsize=10725652 memory=930108 CPUtime=0.42 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) S 27329 27332 23514 0 -1 1077944384 895 0 0 0 32 10 0 0 20 0 16 0 39150463 10983067648 232527 33554432000 4194304 4196468 140726296629264 139876216191248 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27339] ppid=27329 vsize=10725652 memory=930108 CPUtime=0.05 cores=0,2,4,6
/proc/27332/task/27339/stat : 27339 (java) S 27329 27332 23514 0 -1 1077944384 1463 0 0 0 3 2 0 0 20 0 16 0 39150465 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875716631408 139876613065346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27340] ppid=27329 vsize=10725652 memory=930108 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27340/stat : 27340 (java) S 27329 27332 23514 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 39150465 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875715577440 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27341] ppid=27329 vsize=10725652 memory=930108 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27341/stat : 27341 (java) S 27329 27332 23514 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 39150465 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875714524544 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27342] ppid=27329 vsize=10725652 memory=930108 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27342/stat : 27342 (java) S 27329 27332 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39150468 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875713472848 139876613072795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27343] ppid=27329 vsize=10725652 memory=4136 CPUtime=1.53 cores=0,2,4,6
/proc/27332/task/27343/stat : 27343 (java) S 27329 27332 23514 0 -1 1077944384 5341 0 0 0 153 0 0 0 20 0 16 0 39150468 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875712420208 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27344] ppid=27329 vsize=10725652 memory=930108 CPUtime=1.27 cores=0,2,4,6
/proc/27332/task/27344/stat : 27344 (java) S 27329 27332 23514 0 -1 1077944384 4378 0 0 0 126 1 0 0 20 0 16 0 39150468 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875711367408 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27345] ppid=27329 vsize=10725652 memory=4136 CPUtime=0.39 cores=0,2,4,6
/proc/27332/task/27345/stat : 27345 (java) S 27329 27332 23514 0 -1 1077944384 3738 0 0 0 38 1 0 0 20 0 16 0 39150468 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875710314608 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27346] ppid=27329 vsize=10725652 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27346/stat : 27346 (java) S 27329 27332 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39150468 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875709262048 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27347] ppid=27329 vsize=10725652 memory=1704 CPUtime=1.26 cores=0,2,4,6
/proc/27332/task/27347/stat : 27347 (java) S 27329 27332 23514 0 -1 1077944384 1822 0 0 0 63 63 0 0 20 0 16 0 39150468 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875708210352 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27348] ppid=27329 vsize=10725652 memory=930108 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27348/stat : 27348 (java) S 27329 27332 23514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39150728 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875707155888 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
Current children cumulated CPU time: 2387.82 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 930108 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2394.5 s]
/proc/loadavg: 2.00 2.02 2.13 3/218 27757
/proc/meminfo: memFree=20756440/32770624 swapFree=67108860/67108860
[pid=27332] ppid=27329 vsize=10725652 memory=930108 CPUtime=2400.03 cores=0,2,4,6
/proc/27332/stat : 27332 (java) S 27329 27332 23514 0 -1 1077944320 41036 0 0 0 239901 102 0 0 20 0 16 0 39150462 10983067648 232527 33554432000 4194304 4196468 140726296629264 140726296611808 139876613054199 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
/proc/27332/statm: 2681413 232527 3171 1 0 2643904 0
[pid=27332/tid=27334] ppid=27329 vsize=10725652 memory=930108 CPUtime=2393.73 cores=0,2,4,6
/proc/27332/task/27334/stat : 27334 (java) R 27329 27332 23514 0 -1 4202560 19484 0 0 0 239363 10 0 0 20 0 16 0 39150463 10983067648 232527 33554432000 4194304 4196468 140726296629264 139876617293192 139876234692631 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27335] ppid=27329 vsize=10725652 memory=930108 CPUtime=0.43 cores=0,2,4,6
/proc/27332/task/27335/stat : 27335 (java) S 27329 27332 23514 0 -1 1077944384 1004 0 0 0 33 10 0 0 20 0 16 0 39150463 10983067648 232527 33554432000 4194304 4196468 140726296629264 139876219349648 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27336] ppid=27329 vsize=10725652 memory=930108 CPUtime=0.42 cores=0,2,4,6
/proc/27332/task/27336/stat : 27336 (java) S 27329 27332 23514 0 -1 1077944384 698 0 0 0 32 10 0 0 20 0 16 0 39150463 10983067648 232527 33554432000 4194304 4196468 140726296629264 139876218296848 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27337] ppid=27329 vsize=10725652 memory=930108 CPUtime=0.43 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) S 27329 27332 23514 0 -1 1077944384 780 0 0 0 33 10 0 0 20 0 16 0 39150463 10983067648 232527 33554432000 4194304 4196468 140726296629264 139876217244048 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27338] ppid=27329 vsize=10725652 memory=930108 CPUtime=0.42 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) S 27329 27332 23514 0 -1 1077944384 895 0 0 0 32 10 0 0 20 0 16 0 39150463 10983067648 232527 33554432000 4194304 4196468 140726296629264 139876216191248 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27339] ppid=27329 vsize=10725652 memory=930108 CPUtime=0.05 cores=0,2,4,6
/proc/27332/task/27339/stat : 27339 (java) S 27329 27332 23514 0 -1 1077944384 1464 0 0 0 3 2 0 0 20 0 16 0 39150465 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875716631408 139876613065346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27340] ppid=27329 vsize=10725652 memory=930108 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27340/stat : 27340 (java) S 27329 27332 23514 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 16 0 39150465 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875715577440 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27341] ppid=27329 vsize=10725652 memory=930108 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27341/stat : 27341 (java) S 27329 27332 23514 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 16 0 39150465 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875714524544 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27342] ppid=27329 vsize=10725652 memory=930108 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27342/stat : 27342 (java) S 27329 27332 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39150468 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875713472848 139876613072795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27343] ppid=27329 vsize=10725652 memory=930108 CPUtime=1.53 cores=0,2,4,6
/proc/27332/task/27343/stat : 27343 (java) S 27329 27332 23514 0 -1 1077944384 5341 0 0 0 153 0 0 0 20 0 16 0 39150468 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875712420208 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27344] ppid=27329 vsize=10725652 memory=930108 CPUtime=1.27 cores=0,2,4,6
/proc/27332/task/27344/stat : 27344 (java) S 27329 27332 23514 0 -1 1077944384 4378 0 0 0 126 1 0 0 20 0 16 0 39150468 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875711367408 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27345] ppid=27329 vsize=10725652 memory=930108 CPUtime=0.39 cores=0,2,4,6
/proc/27332/task/27345/stat : 27345 (java) S 27329 27332 23514 0 -1 1077944384 3738 0 0 0 38 1 0 0 20 0 16 0 39150468 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875710314608 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27346] ppid=27329 vsize=10725652 memory=930108 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27346/stat : 27346 (java) S 27329 27332 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 39150468 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875709262048 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27347] ppid=27329 vsize=10725652 memory=792 CPUtime=1.26 cores=0,2,4,6
/proc/27332/task/27347/stat : 27347 (java) S 27329 27332 23514 0 -1 1077944384 1826 0 0 0 63 63 0 0 20 0 16 0 39150468 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875708210352 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27348] ppid=27329 vsize=10725652 memory=1008 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27348/stat : 27348 (java) S 27329 27332 23514 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 39150728 10983067648 232527 33554432000 4194304 4196468 140726296629264 139875707155888 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
Current children cumulated CPU time: 2400.03 s
Current children cumulated vsize: 10725652 KiB
Current children cumulated memory: 930108 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2394.74 s]
# the end of solver process 27332 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2399.06 s, system=1.03209 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2394.61 s]
/proc/loadavg: 2.00 2.02 2.13 3/218 27757
/proc/meminfo: memFree=20756440/32770624 swapFree=67108860/67108860
[pid=27332] ppid=27329 vsize=10859808 memory=930228 CPUtime=2400.04 cores=0,2,4,6
/proc/27332/stat : 27332 (java) S 27329 27332 23514 0 -1 1077944320 41446 0 0 0 239902 102 0 0 20 0 17 0 39150462 11120443392 232557 33554432000 4194304 4196468 140726296629264 140726296611808 139876613054199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
/proc/27332/statm: 2714952 232557 3173 1 0 2677443 0
[pid=27332/tid=27334] ppid=27329 vsize=10859808 memory=1228 CPUtime=2393.75 cores=0,2,4,6
/proc/27332/task/27334/stat : 27334 (java) S 27329 27332 23514 0 -1 1077944384 19552 0 0 0 239365 10 0 0 20 0 17 0 39150463 11120443392 232557 33554432000 4194304 4196468 140726296629264 139876617297072 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27335] ppid=27329 vsize=10859808 memory=6791534058613427641 CPUtime=0.43 cores=0,2,4,6
/proc/27332/task/27335/stat : 27335 (java) S 27329 27332 23514 0 -1 1077944384 1004 0 0 0 33 10 0 0 20 0 17 0 39150463 11120443392 232557 33554432000 4194304 4196468 140726296629264 139876219349648 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27336] ppid=27329 vsize=10859808 memory=279992140374232 CPUtime=0.42 cores=0,2,4,6
/proc/27332/task/27336/stat : 27336 (java) S 27329 27332 23514 0 -1 1077944384 698 0 0 0 32 10 0 0 20 0 17 0 39150463 11120443392 232557 33554432000 4194304 4196468 140726296629264 139876218296848 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27337] ppid=27329 vsize=10859808 memory=8761640388971749472 CPUtime=0.43 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) S 27329 27332 23514 0 -1 1077944384 780 0 0 0 33 10 0 0 20 0 17 0 39150463 11120443392 232557 33554432000 4194304 4196468 140726296629264 139876217244048 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27338] ppid=27329 vsize=10859808 memory=4495308486545002583 CPUtime=0.42 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) S 27329 27332 23514 0 -1 1077944384 895 0 0 0 32 10 0 0 20 0 17 0 39150463 11120443392 232557 33554432000 4194304 4196468 140726296629264 139876216191248 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27339] ppid=27329 vsize=10859808 memory=-9001733975035308135 CPUtime=0.05 cores=0,2,4,6
/proc/27332/task/27339/stat : 27339 (java) S 27329 27332 23514 0 -1 1077944384 1464 0 0 0 3 2 0 0 20 0 17 0 39150465 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875716631408 139876613065346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27340] ppid=27329 vsize=10859808 memory=7667195199896381283 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27340/stat : 27340 (java) S 27329 27332 23514 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 39150465 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875715577440 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27341] ppid=27329 vsize=10859808 memory=7667195199896381283 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27341/stat : 27341 (java) S 27329 27332 23514 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 17 0 39150465 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875714524544 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27342] ppid=27329 vsize=10859808 memory=6791534058613427641 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27342/stat : 27342 (java) S 27329 27332 23514 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 17 0 39150468 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875713472848 139876613072795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27343] ppid=27329 vsize=10859808 memory=9920 CPUtime=1.53 cores=0,2,4,6
/proc/27332/task/27343/stat : 27343 (java) S 27329 27332 23514 0 -1 1077944384 5343 0 0 0 153 0 0 0 20 0 17 0 39150468 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875712420208 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27344] ppid=27329 vsize=10859808 memory=1944 CPUtime=1.27 cores=0,2,4,6
/proc/27332/task/27344/stat : 27344 (java) S 27329 27332 23514 0 -1 1077944384 4380 0 0 0 126 1 0 0 20 0 17 0 39150468 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875711367408 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27345] ppid=27329 vsize=10859808 memory=1428 CPUtime=0.39 cores=0,2,4,6
/proc/27332/task/27345/stat : 27345 (java) S 27329 27332 23514 0 -1 1077944384 3811 0 0 0 38 1 0 0 20 0 17 0 39150468 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875710314608 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27346] ppid=27329 vsize=10859808 memory=8364 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27346/stat : 27346 (java) S 27329 27332 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39150468 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875709262048 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27347] ppid=27329 vsize=10859808 memory=792 CPUtime=1.26 cores=0,2,4,6
/proc/27332/task/27347/stat : 27347 (java) S 27329 27332 23514 0 -1 1077944384 1826 0 0 0 63 63 0 0 20 0 17 0 39150468 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875708210352 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10859808 KiB
Current children cumulated memory: 930228 KiB
[startup+2394.7 s]
/proc/loadavg: 2.00 2.02 2.13 3/218 27757
/proc/meminfo: memFree=20756440/32770624 swapFree=67108860/67108860
[pid=27332] ppid=27329 vsize=10859808 memory=930228 CPUtime=2400.04 cores=0,2,4,6
/proc/27332/stat : 27332 (java) S 27329 27332 23514 0 -1 1077944320 41446 0 0 0 239902 102 0 0 20 0 17 0 39150462 11120443392 232557 33554432000 4194304 4196468 140726296629264 140726296611808 139876613054199 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
/proc/27332/statm: 2714952 232557 3173 1 0 2677443 0
[pid=27332/tid=27334] ppid=27329 vsize=10859808 memory=930108 CPUtime=2393.75 cores=0,2,4,6
/proc/27332/task/27334/stat : 27334 (java) S 27329 27332 23514 0 -1 1077944384 19552 0 0 0 239365 10 0 0 20 0 17 0 39150463 11120443392 232557 33554432000 4194304 4196468 140726296629264 139876617297072 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27335] ppid=27329 vsize=10859808 memory=930108 CPUtime=0.43 cores=0,2,4,6
/proc/27332/task/27335/stat : 27335 (java) S 27329 27332 23514 0 -1 1077944384 1004 0 0 0 33 10 0 0 20 0 17 0 39150463 11120443392 232557 33554432000 4194304 4196468 140726296629264 139876219349648 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27336] ppid=27329 vsize=10859808 memory=930108 CPUtime=0.42 cores=0,2,4,6
/proc/27332/task/27336/stat : 27336 (java) S 27329 27332 23514 0 -1 1077944384 698 0 0 0 32 10 0 0 20 0 17 0 39150463 11120443392 232557 33554432000 4194304 4196468 140726296629264 139876218296848 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27337] ppid=27329 vsize=10859808 memory=930108 CPUtime=0.43 cores=0,2,4,6
/proc/27332/task/27337/stat : 27337 (java) S 27329 27332 23514 0 -1 1077944384 780 0 0 0 33 10 0 0 20 0 17 0 39150463 11120443392 232557 33554432000 4194304 4196468 140726296629264 139876217244048 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27338] ppid=27329 vsize=10859808 memory=930108 CPUtime=0.42 cores=0,2,4,6
/proc/27332/task/27338/stat : 27338 (java) S 27329 27332 23514 0 -1 1077944384 895 0 0 0 32 10 0 0 20 0 17 0 39150463 11120443392 232557 33554432000 4194304 4196468 140726296629264 139876216191248 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27339] ppid=27329 vsize=10859808 memory=930108 CPUtime=0.05 cores=0,2,4,6
/proc/27332/task/27339/stat : 27339 (java) S 27329 27332 23514 0 -1 1077944384 1464 0 0 0 3 2 0 0 20 0 17 0 39150465 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875716631408 139876613065346 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27340] ppid=27329 vsize=10859808 memory=930108 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27340/stat : 27340 (java) S 27329 27332 23514 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 39150465 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875715577440 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27341] ppid=27329 vsize=10859808 memory=930108 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27341/stat : 27341 (java) S 27329 27332 23514 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 17 0 39150465 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875714524544 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27342] ppid=27329 vsize=10859808 memory=930108 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27342/stat : 27342 (java) S 27329 27332 23514 0 -1 1077944384 101 0 0 0 0 0 0 0 20 0 17 0 39150468 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875713472848 139876613072795 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27343] ppid=27329 vsize=10859808 memory=792 CPUtime=1.53 cores=0,2,4,6
/proc/27332/task/27343/stat : 27343 (java) S 27329 27332 23514 0 -1 1077944384 5343 0 0 0 153 0 0 0 20 0 17 0 39150468 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875712420208 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27344] ppid=27329 vsize=10859808 memory=1008 CPUtime=1.27 cores=0,2,4,6
/proc/27332/task/27344/stat : 27344 (java) S 27329 27332 23514 0 -1 1077944384 4380 0 0 0 126 1 0 0 20 0 17 0 39150468 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875711367408 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27345] ppid=27329 vsize=10859808 memory=930108 CPUtime=0.39 cores=0,2,4,6
/proc/27332/task/27345/stat : 27345 (java) S 27329 27332 23514 0 -1 1077944384 3811 0 0 0 38 1 0 0 20 0 17 0 39150468 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875710314608 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27346] ppid=27329 vsize=10859808 memory=930108 CPUtime=0 cores=0,2,4,6
/proc/27332/task/27346/stat : 27346 (java) S 27329 27332 23514 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39150468 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875709262048 139876613064405 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
[pid=27332/tid=27347] ppid=27329 vsize=10859808 memory=930108 CPUtime=1.26 cores=0,2,4,6
/proc/27332/task/27347/stat : 27347 (java) S 27329 27332 23514 0 -1 1077944384 1826 0 0 0 63 63 0 0 20 0 17 0 39150468 11120443392 232557 33554432000 4194304 4196468 140726296629264 139875708210352 139876613065346 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9699328 140726296630385 140726296630537 140726296630537 140726296633295 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10859808 KiB
Current children cumulated memory: 930228 KiB
Child status: 143
Real time (s): 2394.74
CPU time (s): 2400.1
CPU user time (s): 2399.06
CPU system time (s): 1.03209
CPU usage (%): 100.224
Max. virtual memory (cumulated for all children) (KiB): 10859808
Max. memory (cumulated for all children) (KiB): 930228
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.06
system time used= 1.03209
maximum resident set size= 931080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41773
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 54087
involuntary context switches= 3203
# summary of solver processes directly reported to runsolver:
# pid: 27332
# total CPU time (s): 2400.1
# total CPU user time (s): 2399.06
# total CPU system time (s): 1.03209
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.334 second user time and 22.4341 second system time
The end