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 (14383 MiB free)
memory of node 1: 16384 MiB (10405 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301799-1532884596/watcher-4301799-1532884596 -o /tmp/evaluation-result-4301799-1532884596/solver-4301799-1532884596 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532877021-22035 --watchdog 312 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4301799-1532884596.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=29269, runsolver pid=29266
Current StackSize limit: 8192 KiB
[startup+0.100116 s]*
/proc/loadavg: 4.08 3.11 2.83 3/216 29284
/proc/meminfo: memFree=25367172/32770624 swapFree=67108860/67108860
[pid=29269] ppid=29266 vsize=10659012 memory=31008 CPUtime=0.13 cores=0,2,4,6
/proc/29269/stat : 29269 (java) S 29266 29269 22004 0 -1 1077944320 6817 0 0 0 12 1 0 0 20 0 15 0 106022811 10914828288 7752 33554432000 4194304 4196468 140729155640240 140729155622784 140275963043575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
/proc/29269/statm: 2664753 7752 2841 1 0 2627263 0
[pid=29269/tid=29271] ppid=29266 vsize=10659012 memory=-8701690554791925123 CPUtime=0.09 cores=0,2,4,6
/proc/29269/task/29271/stat : 29271 (java) R 29266 29269 22004 0 -1 4202560 4661 0 0 0 8 1 0 0 20 0 15 0 106022812 10914828288 7752 33554432000 4194304 4196468 140729155640240 140275967257568 140275963055510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29272] ppid=29266 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29272/stat : 29272 (java) S 29266 29269 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106022813 10914828288 7752 33554432000 4194304 4196468 140729155640240 140275915663888 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29273] ppid=29266 vsize=10659012 memory=139893324195456 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29273/stat : 29273 (java) S 29266 29269 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106022813 10914828288 7752 33554432000 4194304 4196468 140729155640240 140275568269968 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29274] ppid=29266 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29274/stat : 29274 (java) S 29266 29269 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106022813 10914828288 7752 33554432000 4194304 4196468 140729155640240 140275567216912 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29275] ppid=29266 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29275/stat : 29275 (java) S 29266 29269 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106022813 10914828288 7752 33554432000 4194304 4196468 140729155640240 140275566164368 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29276] ppid=29266 vsize=10659012 memory=139893324195456 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29276/stat : 29276 (java) S 29266 29269 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106022814 10914828288 7752 33554432000 4194304 4196468 140729155640240 140275522747120 140275963054722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29277] ppid=29266 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29277/stat : 29277 (java) S 29266 29269 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106022814 10914828288 7752 33554432000 4194304 4196468 140729155640240 140275521693344 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29278] ppid=29266 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29278/stat : 29278 (java) S 29266 29269 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106022815 10914828288 7752 33554432000 4194304 4196468 140729155640240 140275520640240 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29279] ppid=29266 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29279/stat : 29279 (java) S 29266 29269 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106022817 10914828288 7752 33554432000 4194304 4196468 140729155640240 140275519588816 140275963062171 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29280] ppid=29266 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29280/stat : 29280 (java) S 29266 29269 22004 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 106022817 10914828288 7752 33554432000 4194304 4196468 140729155640240 140275518535920 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29281] ppid=29266 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29281/stat : 29281 (java) S 29266 29269 22004 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 106022817 10914828288 7752 33554432000 4194304 4196468 140729155640240 140275517483376 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29282] ppid=29266 vsize=10659012 memory=139893324195456 CPUtime=0.02 cores=0,2,4,6
/proc/29269/task/29282/stat : 29282 (java) S 29266 29269 22004 0 -1 1077944384 342 0 0 0 2 0 0 0 20 0 15 0 106022817 10914828288 7752 33554432000 4194304 4196468 140729155640240 140275516430320 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29283] ppid=29266 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29283/stat : 29283 (java) S 29266 29269 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106022817 10914828288 7752 33554432000 4194304 4196468 140729155640240 140275515378016 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29284] ppid=29266 vsize=10659012 memory=139893324195456 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29284/stat : 29284 (java) S 29266 29269 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106022817 10914828288 7752 33554432000 4194304 4196468 140729155640240 140275514326064 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 31008 KiB
[startup+0.210782 s]*
/proc/loadavg: 4.08 3.11 2.83 4/216 29284
/proc/meminfo: memFree=25358628/32770624 swapFree=67108860/67108860
[pid=29269] ppid=29266 vsize=10659012 memory=40852 CPUtime=0.33 cores=0,2,4,6
/proc/29269/stat : 29269 (java) S 29266 29269 22004 0 -1 1077944320 7845 0 0 0 31 2 0 0 20 0 15 0 106022811 10914828288 10213 33554432000 4194304 4196468 140729155640240 140729155622784 140275963043575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
/proc/29269/statm: 2664753 10213 2965 1 0 2627263 0
[pid=29269/tid=29271] ppid=29266 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/29269/task/29271/stat : 29271 (java) R 29266 29269 22004 0 -1 4202560 5043 0 0 0 19 1 0 0 20 0 15 0 106022812 10914828288 10213 33554432000 4194304 4196468 140729155640240 140275967279856 140275963055510 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29272] ppid=29266 vsize=10659012 memory=365 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29272/stat : 29272 (java) S 29266 29269 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106022813 10914828288 10213 33554432000 4194304 4196468 140729155640240 140275915663888 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29273] ppid=29266 vsize=10659012 memory=139893324833821 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29273/stat : 29273 (java) S 29266 29269 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106022813 10914828288 10213 33554432000 4194304 4196468 140729155640240 140275568269968 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29274] ppid=29266 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29274/stat : 29274 (java) S 29266 29269 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106022813 10914828288 10213 33554432000 4194304 4196468 140729155640240 140275567216912 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29275] ppid=29266 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29275/stat : 29275 (java) S 29266 29269 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106022813 10914828288 10213 33554432000 4194304 4196468 140729155640240 140275566164368 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29276] ppid=29266 vsize=10659012 memory=139893324195456 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29276/stat : 29276 (java) S 29266 29269 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106022814 10914828288 10213 33554432000 4194304 4196468 140729155640240 140275522747120 140275963054722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29277] ppid=29266 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29277/stat : 29277 (java) S 29266 29269 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106022814 10914828288 10213 33554432000 4194304 4196468 140729155640240 140275521693344 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29278] ppid=29266 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29278/stat : 29278 (java) S 29266 29269 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106022815 10914828288 10213 33554432000 4194304 4196468 140729155640240 140275520640240 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29279] ppid=29266 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29279/stat : 29279 (java) S 29266 29269 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106022817 10914828288 10213 33554432000 4194304 4196468 140729155640240 140275519588816 140275963062171 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29280] ppid=29266 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29269/task/29280/stat : 29280 (java) S 29266 29269 22004 0 -1 1077944384 376 0 0 0 2 0 0 0 20 0 15 0 106022817 10914828288 10213 33554432000 4194304 4196468 140729155640240 140275518535920 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29281] ppid=29266 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29269/task/29281/stat : 29281 (java) S 29266 29269 22004 0 -1 1077944384 387 0 0 0 2 0 0 0 20 0 15 0 106022817 10914828288 10213 33554432000 4194304 4196468 140729155640240 140275517483376 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29282] ppid=29266 vsize=10659012 memory=139893324195456 CPUtime=0.07 cores=0,2,4,6
/proc/29269/task/29282/stat : 29282 (java) R 29266 29269 22004 0 -1 4202560 673 0 0 0 7 0 0 0 20 0 15 0 106022817 10914828288 10213 33554432000 4194304 4196468 140729155640240 140275516430320 140275947124062 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29283] ppid=29266 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29283/stat : 29283 (java) S 29266 29269 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106022817 10914828288 10213 33554432000 4194304 4196468 140729155640240 140275515378016 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29284] ppid=29266 vsize=10659012 memory=139893324195456 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29284/stat : 29284 (java) S 29266 29269 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106022817 10914828288 10213 33554432000 4194304 4196468 140729155640240 140275514326064 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 40852 KiB
[startup+0.312682 s]*
/proc/loadavg: 4.08 3.11 2.83 7/216 29284
/proc/meminfo: memFree=25348888/32770624 swapFree=67108860/67108860
[pid=29269] ppid=29266 vsize=10659088 memory=48588 CPUtime=0.55 cores=0,2,4,6
/proc/29269/stat : 29269 (java) S 29266 29269 22004 0 -1 1077944320 8714 0 0 0 53 2 0 0 20 0 15 0 106022811 10914906112 12147 33554432000 4194304 4196468 140729155640240 140729155622784 140275963043575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
/proc/29269/statm: 2664772 12147 3061 1 0 2627263 0
[pid=29269/tid=29271] ppid=29266 vsize=10659088 memory=7311146985107750967 CPUtime=0.3 cores=0,2,4,6
/proc/29269/task/29271/stat : 29271 (java) R 29266 29269 22004 0 -1 4202560 5634 0 0 0 28 2 0 0 20 0 15 0 106022812 10914906112 12147 33554432000 4194304 4196468 140729155640240 140275967277488 140275963064922 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29272] ppid=29266 vsize=10659088 memory=288230613314699287 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29272/stat : 29272 (java) S 29266 29269 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106022813 10914906112 12147 33554432000 4194304 4196468 140729155640240 140275915663888 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29273] ppid=29266 vsize=10659088 memory=139893324833820 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29273/stat : 29273 (java) S 29266 29269 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106022813 10914906112 12147 33554432000 4194304 4196468 140729155640240 140275568269968 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29274] ppid=29266 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29274/stat : 29274 (java) S 29266 29269 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106022813 10914906112 12147 33554432000 4194304 4196468 140729155640240 140275567216912 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29275] ppid=29266 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29275/stat : 29275 (java) S 29266 29269 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106022813 10914906112 12147 33554432000 4194304 4196468 140729155640240 140275566164368 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29276] ppid=29266 vsize=10659088 memory=139893324195456 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29276/stat : 29276 (java) S 29266 29269 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 106022814 10914906112 12147 33554432000 4194304 4196468 140729155640240 140275522747120 140275963054722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29277] ppid=29266 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29277/stat : 29277 (java) S 29266 29269 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 106022814 10914906112 12147 33554432000 4194304 4196468 140729155640240 140275521693344 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29278] ppid=29266 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29278/stat : 29278 (java) S 29266 29269 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 106022815 10914906112 12147 33554432000 4194304 4196468 140729155640240 140275520640240 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29279] ppid=29266 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29279/stat : 29279 (java) S 29266 29269 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106022817 10914906112 12147 33554432000 4194304 4196468 140729155640240 140275519588816 140275963062171 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29280] ppid=29266 vsize=10659088 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/29269/task/29280/stat : 29280 (java) R 29266 29269 22004 0 -1 4202560 496 0 0 0 6 0 0 0 20 0 15 0 106022817 10914906112 12147 33554432000 4194304 4196468 140729155640240 140275518535920 140275944561457 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29281] ppid=29266 vsize=10659088 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/29269/task/29281/stat : 29281 (java) R 29266 29269 22004 0 -1 1077944384 403 0 0 0 5 0 0 0 20 0 15 0 106022817 10914906112 12147 33554432000 4194304 4196468 140729155640240 140275517483376 140275963054722 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29282] ppid=29266 vsize=10659088 memory=139893324195456 CPUtime=0.12 cores=0,2,4,6
/proc/29269/task/29282/stat : 29282 (java) R 29266 29269 22004 0 -1 4202560 815 0 0 0 12 0 0 0 20 0 15 0 106022817 10914906112 12147 33554432000 4194304 4196468 140729155640240 140275516428736 140275963055510 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29283] ppid=29266 vsize=10659088 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29283/stat : 29283 (java) S 29266 29269 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106022817 10914906112 12147 33554432000 4194304 4196468 140729155640240 140275515378016 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29284] ppid=29266 vsize=10659088 memory=139893324195456 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29284/stat : 29284 (java) S 29266 29269 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106022817 10914906112 12147 33554432000 4194304 4196468 140729155640240 140275514326064 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
Current children cumulated CPU time: 0.55 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 48588 KiB
[startup+0.70171 s]
/proc/loadavg: 4.08 3.11 2.83 6/216 29284
/proc/meminfo: memFree=25204588/32770624 swapFree=67108860/67108860
[pid=29269] ppid=29266 vsize=10659088 memory=232980 CPUtime=1.65 cores=0,2,4,6
/proc/29269/stat : 29269 (java) S 29266 29269 22004 0 -1 1077944320 11106 0 0 0 157 8 0 0 20 0 15 0 106022811 10914906112 58245 33554432000 4194304 4196468 140729155640240 140729155622784 140275963043575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
/proc/29269/statm: 2664772 58245 3122 1 0 2627263 0
[pid=29269/tid=29271] ppid=29266 vsize=10659088 memory=1840 CPUtime=0.65 cores=0,2,4,6
/proc/29269/task/29271/stat : 29271 (java) R 29266 29269 22004 0 -1 4202560 6047 0 0 0 61 4 0 0 20 0 15 0 106022812 10914906112 58245 33554432000 4194304 4196468 140729155640240 140275967242056 140275598052872 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29272] ppid=29266 vsize=10659088 memory=1004 CPUtime=0.01 cores=0,2,4,6
/proc/29269/task/29272/stat : 29272 (java) S 29266 29269 22004 0 -1 1077944384 22 0 0 0 1 0 0 0 20 0 15 0 106022813 10914906112 58245 33554432000 4194304 4196468 140729155640240 140275915663888 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29273] ppid=29266 vsize=10659088 memory=12060 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29273/stat : 29273 (java) S 29266 29269 22004 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 106022813 10914906112 58245 33554432000 4194304 4196468 140729155640240 140275568269968 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29274] ppid=29266 vsize=10659088 memory=5788 CPUtime=0.01 cores=0,2,4,6
/proc/29269/task/29274/stat : 29274 (java) S 29266 29269 22004 0 -1 1077944384 18 0 0 0 1 0 0 0 20 0 15 0 106022813 10914906112 58245 33554432000 4194304 4196468 140729155640240 140275567216912 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29275] ppid=29266 vsize=10659088 memory=792 CPUtime=0.01 cores=0,2,4,6
/proc/29269/task/29275/stat : 29275 (java) S 29266 29269 22004 0 -1 1077944384 28 0 0 0 1 0 0 0 20 0 15 0 106022813 10914906112 58245 33554432000 4194304 4196468 140729155640240 140275566164368 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29276] ppid=29266 vsize=10659088 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29276/stat : 29276 (java) S 29266 29269 22004 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 106022814 10914906112 58245 33554432000 4194304 4196468 140729155640240 140275522747120 140275963054722 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29277] ppid=29266 vsize=10659088 memory=1944 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29277/stat : 29277 (java) S 29266 29269 22004 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 106022814 10914906112 58245 33554432000 4194304 4196468 140729155640240 140275521693344 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29278] ppid=29266 vsize=10659088 memory=1416 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29278/stat : 29278 (java) S 29266 29269 22004 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 15 0 106022815 10914906112 58245 33554432000 4194304 4196468 140729155640240 140275520640240 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29279] ppid=29266 vsize=10659088 memory=7236533984234661184 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29279/stat : 29279 (java) S 29266 29269 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106022817 10914906112 58245 33554432000 4194304 4196468 140729155640240 140275519588816 140275963062171 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29280] ppid=29266 vsize=10659088 memory=7590935255203861604 CPUtime=0.34 cores=0,2,4,6
/proc/29269/task/29280/stat : 29280 (java) R 29266 29269 22004 0 -1 4202560 1066 0 0 0 34 0 0 0 20 0 15 0 106022817 10914906112 58245 33554432000 4194304 4196468 140729155640240 140275518517120 140275946575054 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29281] ppid=29266 vsize=10659088 memory=6293050847276651881 CPUtime=0.32 cores=0,2,4,6
/proc/29269/task/29281/stat : 29281 (java) R 29266 29269 22004 0 -1 4202560 1050 0 0 0 32 0 0 0 20 0 15 0 106022817 10914906112 58245 33554432000 4194304 4196468 140729155640240 140275517464192 140275942296356 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29282] ppid=29266 vsize=10659088 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/29269/task/29282/stat : 29282 (java) S 29266 29269 22004 0 -1 1077944384 1423 0 0 0 24 0 0 0 20 0 15 0 106022817 10914906112 58245 33554432000 4194304 4196468 140729155640240 140275516430320 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29283] ppid=29266 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29283/stat : 29283 (java) S 29266 29269 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106022817 10914906112 58245 33554432000 4194304 4196468 140729155640240 140275515378016 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29284] ppid=29266 vsize=10659088 memory=33 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29284/stat : 29284 (java) S 29266 29269 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 106022817 10914906112 58245 33554432000 4194304 4196468 140729155640240 140275514326064 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
Current children cumulated CPU time: 1.65 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 232980 KiB
[startup+1.50171 s]
/proc/loadavg: 4.08 3.11 2.83 5/216 29284
/proc/meminfo: memFree=24981504/32770624 swapFree=67108860/67108860
[pid=29269] ppid=29266 vsize=10659088 memory=591772 CPUtime=3.96 cores=0,2,4,6
/proc/29269/stat : 29269 (java) S 29266 29269 22004 0 -1 1077944320 13577 0 0 0 356 40 0 0 20 0 15 0 106022811 10914906112 147943 33554432000 4194304 4196468 140729155640240 140729155622784 140275963043575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
/proc/29269/statm: 2664772 147943 3143 1 0 2627263 0
[pid=29269/tid=29271] ppid=29266 vsize=10659088 memory=6791534058613427641 CPUtime=1.12 cores=0,2,4,6
/proc/29269/task/29271/stat : 29271 (java) S 29266 29269 22004 0 -1 1077944384 6097 0 0 0 106 6 0 0 20 0 15 0 106022812 10914906112 147943 33554432000 4194304 4196468 140729155640240 140275967274640 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29272] ppid=29266 vsize=10659088 memory=-6951259422114956437 CPUtime=0.34 cores=0,2,4,6
/proc/29269/task/29272/stat : 29272 (java) R 29266 29269 22004 0 -1 4202560 256 0 0 0 27 7 0 0 20 0 15 0 106022813 10914906112 147943 33554432000 4194304 4196468 140729155640240 140275915663888 140275947498332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29273] ppid=29266 vsize=10659088 memory=-6509546260019855295 CPUtime=0.33 cores=0,2,4,6
/proc/29269/task/29273/stat : 29273 (java) R 29266 29269 22004 0 -1 4202560 391 0 0 0 25 8 0 0 20 0 15 0 106022813 10914906112 147943 33554432000 4194304 4196468 140729155640240 140275568269968 140275947741209 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29274] ppid=29266 vsize=10659088 memory=-7390251449858225344 CPUtime=0.33 cores=0,2,4,6
/proc/29269/task/29274/stat : 29274 (java) R 29266 29269 22004 0 -1 4202560 312 0 0 0 26 7 0 0 20 0 15 0 106022813 10914906112 147943 33554432000 4194304 4196468 140729155640240 140275567216912 140275947498332 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29275] ppid=29266 vsize=10659088 memory=4134692831991786133 CPUtime=0.34 cores=0,2,4,6
/proc/29269/task/29275/stat : 29275 (java) R 29266 29269 22004 0 -1 4202560 312 0 0 0 26 8 0 0 20 0 15 0 106022813 10914906112 147943 33554432000 4194304 4196468 140729155640240 140275566164568 140275944640309 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29276] ppid=29266 vsize=10659088 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29276/stat : 29276 (java) S 29266 29269 22004 0 -1 1077944384 213 0 0 0 0 0 0 0 20 0 15 0 106022814 10914906112 147943 33554432000 4194304 4196468 140729155640240 140275522745440 140275963053781 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
################
# More data... #
################
[startup+89.8493 s]
# the end of solver process 29269 was just reported to runsolver
# cumulated CPU time of all completed processes: user=253.779 s, system=6.2722 s
Solver just ended.
Dumping a history of the last processes samples
[startup+88.0007 s]*
/proc/loadavg: 4.29 3.34 2.94 9/215 29364
/proc/meminfo: memFree=12605412/32770624 swapFree=67108860/67108860
[pid=29269] ppid=29266 vsize=10659088 memory=8174524 CPUtime=252.95 cores=0,2,4,6
/proc/29269/stat : 29269 (java) S 29266 29269 22004 0 -1 1077944320 82574 0 0 0 24673 622 0 0 20 0 15 0 106022811 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140729155622784 140275963043575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
/proc/29269/statm: 2664772 2043631 3159 1 0 2627263 0
[pid=29269/tid=29271] ppid=29266 vsize=10659088 memory=18248 CPUtime=19.11 cores=0,2,4,6
/proc/29269/task/29271/stat : 29271 (java) S 29266 29269 22004 0 -1 1077944384 12761 0 0 0 1901 10 0 0 20 0 15 0 106022812 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275967256080 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29272] ppid=29266 vsize=10659088 memory=640 CPUtime=54.64 cores=0,2,4,6
/proc/29269/task/29272/stat : 29272 (java) R 29266 29269 22004 0 -1 4202560 8202 0 0 0 5303 161 0 0 20 0 15 0 106022813 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275915663784 140275955671783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29273] ppid=29266 vsize=10659088 memory=1784 CPUtime=54.73 cores=0,2,4,6
/proc/29269/task/29273/stat : 29273 (java) R 29266 29269 22004 0 -1 4202560 7671 0 0 0 5318 155 0 0 20 0 15 0 106022813 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275568270168 140275944639398 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29274] ppid=29266 vsize=10659088 memory=6791534058613427641 CPUtime=54.79 cores=0,2,4,6
/proc/29269/task/29274/stat : 29274 (java) R 29266 29269 22004 0 -1 4202560 8283 0 0 0 5334 145 0 0 20 0 15 0 106022813 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275567216800 140275948028871 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29275] ppid=29266 vsize=10659088 memory=2788 CPUtime=54.39 cores=0,2,4,6
/proc/29269/task/29275/stat : 29275 (java) R 29266 29269 22004 0 -1 4202560 9733 0 0 0 5295 144 0 0 20 0 15 0 106022813 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275566163952 140275955671783 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29276] ppid=29266 vsize=10659088 memory=2732 CPUtime=13.48 cores=0,2,4,6
/proc/29269/task/29276/stat : 29276 (java) S 29266 29269 22004 0 -1 1077944384 26043 0 0 0 1346 2 0 0 20 0 15 0 106022814 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275522745440 140275963053781 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29277] ppid=29266 vsize=10659088 memory=4108 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29277/stat : 29277 (java) S 29266 29269 22004 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 106022814 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275521693408 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29278] ppid=29266 vsize=10659088 memory=1404 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29278/stat : 29278 (java) S 29266 29269 22004 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 106022815 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275520640256 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29279] ppid=29266 vsize=10659088 memory=2944 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29279/stat : 29279 (java) S 29266 29269 22004 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275519588464 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29280] ppid=29266 vsize=10659088 memory=8174524 CPUtime=0.71 cores=0,2,4,6
/proc/29269/task/29280/stat : 29280 (java) S 29266 29269 22004 0 -1 1077944384 3136 0 0 0 71 0 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275518535920 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29281] ppid=29266 vsize=10659088 memory=1408 CPUtime=0.66 cores=0,2,4,6
/proc/29269/task/29281/stat : 29281 (java) S 29266 29269 22004 0 -1 1077944384 2173 0 0 0 65 1 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275517483376 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29282] ppid=29266 vsize=10659088 memory=2924 CPUtime=0.32 cores=0,2,4,6
/proc/29269/task/29282/stat : 29282 (java) S 29266 29269 22004 0 -1 1077944384 2877 0 0 0 32 0 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275516430320 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29283] ppid=29266 vsize=10659088 memory=7444116 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29283/stat : 29283 (java) S 29266 29269 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275515378016 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29284] ppid=29266 vsize=10659088 memory=6791534058613427641 CPUtime=0.04 cores=0,2,4,6
/proc/29269/task/29284/stat : 29284 (java) S 29266 29269 22004 0 -1 1077944384 303 0 0 0 2 2 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275514326064 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
Current children cumulated CPU time: 252.95 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8174524 KiB
[startup+88.8007 s]
/proc/loadavg: 4.29 3.34 2.94 9/215 29364
/proc/meminfo: memFree=12605412/32770624 swapFree=67108860/67108860
[pid=29269] ppid=29266 vsize=10659088 memory=8174524 CPUtime=256.05 cores=0,2,4,6
/proc/29269/stat : 29269 (java) S 29266 29269 22004 0 -1 1077944320 82574 0 0 0 24982 623 0 0 20 0 15 0 106022811 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140729155622784 140275963043575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
/proc/29269/statm: 2664772 2043631 3159 1 0 2627263 0
[pid=29269/tid=29271] ppid=29266 vsize=10659088 memory=6791534058613427641 CPUtime=19.11 cores=0,2,4,6
/proc/29269/task/29271/stat : 29271 (java) S 29266 29269 22004 0 -1 1077944384 12761 0 0 0 1901 10 0 0 20 0 15 0 106022812 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275967256080 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29272] ppid=29266 vsize=10659088 memory=1296 CPUtime=55.4 cores=0,2,4,6
/proc/29269/task/29272/stat : 29272 (java) R 29266 29269 22004 0 -1 4202560 8202 0 0 0 5379 161 0 0 20 0 15 0 106022813 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275915663472 140275955671783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29273] ppid=29266 vsize=10659088 memory=2424 CPUtime=55.51 cores=0,2,4,6
/proc/29269/task/29273/stat : 29273 (java) R 29266 29269 22004 0 -1 4202560 7671 0 0 0 5396 155 0 0 20 0 15 0 106022813 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275568270168 140275944639408 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29274] ppid=29266 vsize=10659088 memory=1840 CPUtime=55.58 cores=0,2,4,6
/proc/29269/task/29274/stat : 29274 (java) R 29266 29269 22004 0 -1 4202560 8283 0 0 0 5413 145 0 0 20 0 15 0 106022813 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275567216800 140275944640133 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29275] ppid=29266 vsize=10659088 memory=1004 CPUtime=55.15 cores=0,2,4,6
/proc/29269/task/29275/stat : 29275 (java) R 29266 29269 22004 0 -1 4202560 9733 0 0 0 5371 144 0 0 20 0 15 0 106022813 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275566163952 140275955671783 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29276] ppid=29266 vsize=10659088 memory=12060 CPUtime=13.48 cores=0,2,4,6
/proc/29269/task/29276/stat : 29276 (java) S 29266 29269 22004 0 -1 1077944384 26043 0 0 0 1346 2 0 0 20 0 15 0 106022814 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275522745440 140275963053781 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29277] ppid=29266 vsize=10659088 memory=8174524 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29277/stat : 29277 (java) S 29266 29269 22004 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 106022814 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275521693408 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29278] ppid=29266 vsize=10659088 memory=288230596050944315 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29278/stat : 29278 (java) S 29266 29269 22004 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 106022815 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275520640256 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29279] ppid=29266 vsize=10659088 memory=15542903384575324 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29279/stat : 29279 (java) S 29266 29269 22004 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275519588464 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29280] ppid=29266 vsize=10659088 memory=6791534058613427641 CPUtime=0.71 cores=0,2,4,6
/proc/29269/task/29280/stat : 29280 (java) S 29266 29269 22004 0 -1 1077944384 3136 0 0 0 71 0 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275518535920 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29281] ppid=29266 vsize=10659088 memory=1296 CPUtime=0.66 cores=0,2,4,6
/proc/29269/task/29281/stat : 29281 (java) S 29266 29269 22004 0 -1 1077944384 2173 0 0 0 65 1 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275517483376 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29282] ppid=29266 vsize=10659088 memory=2424 CPUtime=0.32 cores=0,2,4,6
/proc/29269/task/29282/stat : 29282 (java) S 29266 29269 22004 0 -1 1077944384 2877 0 0 0 32 0 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275516430320 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29283] ppid=29266 vsize=10659088 memory=1840 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29283/stat : 29283 (java) S 29266 29269 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275515378016 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29284] ppid=29266 vsize=10659088 memory=1004 CPUtime=0.04 cores=0,2,4,6
/proc/29269/task/29284/stat : 29284 (java) S 29266 29269 22004 0 -1 1077944384 303 0 0 0 2 2 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275514326064 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
Current children cumulated CPU time: 256.05 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8174524 KiB
[startup+89.6007 s]
/proc/loadavg: 4.43 3.39 2.96 9/215 29364
/proc/meminfo: memFree=12445296/32770624 swapFree=67108860/67108860
[pid=29269] ppid=29266 vsize=10659088 memory=8174524 CPUtime=259.18 cores=0,2,4,6
/proc/29269/stat : 29269 (java) S 29266 29269 22004 0 -1 1077944320 82574 0 0 0 25295 623 0 0 20 0 15 0 106022811 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140729155622784 140275963043575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
/proc/29269/statm: 2664772 2043631 3159 1 0 2627263 0
[pid=29269/tid=29271] ppid=29266 vsize=10659088 memory=139893192562432 CPUtime=19.11 cores=0,2,4,6
/proc/29269/task/29271/stat : 29271 (java) S 29266 29269 22004 0 -1 1077944384 12761 0 0 0 1901 10 0 0 20 0 15 0 106022812 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275967256080 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29272] ppid=29266 vsize=10659088 memory=8174524 CPUtime=56.17 cores=0,2,4,6
/proc/29269/task/29272/stat : 29272 (java) R 29266 29269 22004 0 -1 4202560 8202 0 0 0 5456 161 0 0 20 0 15 0 106022813 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275915663472 140275955671783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29273] ppid=29266 vsize=10659088 memory=1624 CPUtime=56.3 cores=0,2,4,6
/proc/29269/task/29273/stat : 29273 (java) R 29266 29269 22004 0 -1 4202560 7671 0 0 0 5475 155 0 0 20 0 15 0 106022813 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275568270168 140275947994603 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29274] ppid=29266 vsize=10659088 memory=1200 CPUtime=56.38 cores=0,2,4,6
/proc/29269/task/29274/stat : 29274 (java) R 29266 29269 22004 0 -1 4202560 8283 0 0 0 5493 145 0 0 20 0 15 0 106022813 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275567216800 140275947741214 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29275] ppid=29266 vsize=10659088 memory=6791534058613427641 CPUtime=55.93 cores=0,2,4,6
/proc/29269/task/29275/stat : 29275 (java) R 29266 29269 22004 0 -1 4202560 9733 0 0 0 5448 145 0 0 20 0 15 0 106022813 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275566164264 140275955671783 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29276] ppid=29266 vsize=10659088 memory=7273064 CPUtime=13.48 cores=0,2,4,6
/proc/29269/task/29276/stat : 29276 (java) S 29266 29269 22004 0 -1 1077944384 26043 0 0 0 1346 2 0 0 20 0 15 0 106022814 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275522745440 140275963053781 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29277] ppid=29266 vsize=10659088 memory=7884519161993980241 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29277/stat : 29277 (java) S 29266 29269 22004 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 106022814 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275521693408 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29278] ppid=29266 vsize=10659088 memory=7739550744388855889 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29278/stat : 29278 (java) S 29266 29269 22004 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 106022815 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275520640256 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29279] ppid=29266 vsize=10659088 memory=8174348 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29279/stat : 29279 (java) S 29266 29269 22004 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275519588464 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29280] ppid=29266 vsize=10659088 memory=8508 CPUtime=0.71 cores=0,2,4,6
/proc/29269/task/29280/stat : 29280 (java) S 29266 29269 22004 0 -1 1077944384 3136 0 0 0 71 0 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275518535920 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29281] ppid=29266 vsize=10659088 memory=1624 CPUtime=0.66 cores=0,2,4,6
/proc/29269/task/29281/stat : 29281 (java) S 29266 29269 22004 0 -1 1077944384 2173 0 0 0 65 1 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275517483376 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29282] ppid=29266 vsize=10659088 memory=1200 CPUtime=0.32 cores=0,2,4,6
/proc/29269/task/29282/stat : 29282 (java) S 29266 29269 22004 0 -1 1077944384 2877 0 0 0 32 0 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275516430320 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29283] ppid=29266 vsize=10659088 memory=15872 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29283/stat : 29283 (java) S 29266 29269 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275515378016 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29284] ppid=29266 vsize=10659088 memory=18008 CPUtime=0.04 cores=0,2,4,6
/proc/29269/task/29284/stat : 29284 (java) S 29266 29269 22004 0 -1 1077944384 303 0 0 0 2 2 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275514326064 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
Current children cumulated CPU time: 259.18 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8174524 KiB
[startup+89.8007 s]
/proc/loadavg: 4.43 3.39 2.96 9/215 29364
/proc/meminfo: memFree=12445296/32770624 swapFree=67108860/67108860
[pid=29269] ppid=29266 vsize=10659088 memory=8174524 CPUtime=259.96 cores=0,2,4,6
/proc/29269/stat : 29269 (java) S 29266 29269 22004 0 -1 1077944320 82574 0 0 0 25373 623 0 0 20 0 15 0 106022811 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140729155622784 140275963043575 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
/proc/29269/statm: 2664772 2043631 3159 1 0 2627263 0
[pid=29269/tid=29271] ppid=29266 vsize=10659088 memory=6791534058613427641 CPUtime=19.11 cores=0,2,4,6
/proc/29269/task/29271/stat : 29271 (java) S 29266 29269 22004 0 -1 1077944384 12761 0 0 0 1901 10 0 0 20 0 15 0 106022812 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275967256080 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29272] ppid=29266 vsize=10659088 memory=792 CPUtime=56.36 cores=0,2,4,6
/proc/29269/task/29272/stat : 29272 (java) R 29266 29269 22004 0 -1 4202560 8202 0 0 0 5475 161 0 0 20 0 15 0 106022813 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275915663472 140275955671783 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29273] ppid=29266 vsize=10659088 memory=1228 CPUtime=56.5 cores=0,2,4,6
/proc/29269/task/29273/stat : 29273 (java) R 29266 29269 22004 0 -1 4202560 7671 0 0 0 5495 155 0 0 20 0 15 0 106022813 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275568270168 140275947994568 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29274] ppid=29266 vsize=10659088 memory=1944 CPUtime=56.58 cores=0,2,4,6
/proc/29269/task/29274/stat : 29274 (java) R 29266 29269 22004 0 -1 4202560 8283 0 0 0 5513 145 0 0 20 0 15 0 106022813 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275567216800 140275948028816 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29275] ppid=29266 vsize=10659088 memory=1416 CPUtime=56.12 cores=0,2,4,6
/proc/29269/task/29275/stat : 29275 (java) R 29266 29269 22004 0 -1 4202560 9733 0 0 0 5467 145 0 0 20 0 15 0 106022813 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275566163952 140275955671783 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29276] ppid=29266 vsize=10659088 memory=4612 CPUtime=13.48 cores=0,2,4,6
/proc/29269/task/29276/stat : 29276 (java) S 29266 29269 22004 0 -1 1077944384 26043 0 0 0 1346 2 0 0 20 0 15 0 106022814 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275522745440 140275963053781 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29277] ppid=29266 vsize=10659088 memory=5224 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29277/stat : 29277 (java) S 29266 29269 22004 0 -1 1077944384 40 0 0 0 0 0 0 0 20 0 15 0 106022814 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275521693408 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29278] ppid=29266 vsize=10659088 memory=5230 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29278/stat : 29278 (java) S 29266 29269 22004 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 15 0 106022815 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275520640256 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29279] ppid=29266 vsize=10659088 memory=5232 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29279/stat : 29279 (java) S 29266 29269 22004 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275519588464 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29280] ppid=29266 vsize=10659088 memory=5198 CPUtime=0.71 cores=0,2,4,6
/proc/29269/task/29280/stat : 29280 (java) S 29266 29269 22004 0 -1 1077944384 3136 0 0 0 71 0 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275518535920 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29281] ppid=29266 vsize=10659088 memory=1330 CPUtime=0.66 cores=0,2,4,6
/proc/29269/task/29281/stat : 29281 (java) S 29266 29269 22004 0 -1 1077944384 2173 0 0 0 65 1 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275517483376 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29282] ppid=29266 vsize=10659088 memory=0 CPUtime=0.32 cores=0,2,4,6
/proc/29269/task/29282/stat : 29282 (java) S 29266 29269 22004 0 -1 1077944384 2877 0 0 0 32 0 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275516430320 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29283] ppid=29266 vsize=10659088 memory=8174508 CPUtime=0 cores=0,2,4,6
/proc/29269/task/29283/stat : 29283 (java) S 29266 29269 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275515378016 140275963053781 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
[pid=29269/tid=29284] ppid=29266 vsize=10659088 memory=127884463180522 CPUtime=0.04 cores=0,2,4,6
/proc/29269/task/29284/stat : 29284 (java) S 29266 29269 22004 0 -1 1077944384 303 0 0 0 2 2 0 0 20 0 15 0 106022817 10914906112 2043631 33554432000 4194304 4196468 140729155640240 140275514326064 140275963054722 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 20054016 140729155642486 140729155642638 140729155642638 140729155645391 0
Current children cumulated CPU time: 259.96 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 8174524 KiB
Child ended because it received signal 9 (SIGKILL)
Real time (s): 89.8493
CPU time (s): 260.051
CPU user time (s): 253.779
CPU system time (s): 6.2722
CPU usage (%): 289.43
Max. virtual memory (cumulated for all children) (KiB): 10659088
Max. memory (cumulated for all children) (KiB): 8174524
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 253.779
system time used= 6.2722
maximum resident set size= 8174932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82578
page faults= 0
swaps= 0
block input operations= 0
block output operations= 176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5990
involuntary context switches= 4286
# summary of solver processes directly reported to runsolver:
# pid: 29269
# total CPU time (s): 260.051
# total CPU user time (s): 253.779
# total CPU system time (s): 6.2722
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.587619 second user time and 0.851642 second system time
The end