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 (7171 MiB free)
memory of node 1: 16384 MiB (8219 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4289792-1532215195/watcher-4289792-1532215195 -o /tmp/evaluation-result-4289792-1532215195/solver-4289792-1532215195 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532209718-28181 --watchdog 2560 java -DCompetitionOutput -jar HOME/sat4j-csp-final.jar HOME/instance-4289792-1532215195.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=29266, runsolver pid=29263
Current StackSize limit: 8192 KiB
[startup+0.100168 s]*
/proc/loadavg: 1.87 1.98 2.09 3/221 29281
/proc/meminfo: memFree=15743044/32770624 swapFree=67108860/67108860
[pid=29266] ppid=29263 vsize=10659012 memory=30096 CPUtime=0.13 cores=0,2,4,6
/proc/29266/stat : 29266 (java) S 29263 29266 25837 0 -1 1077944320 6613 0 0 0 12 1 0 0 20 0 15 0 39082804 10914828288 7524 33554432000 4194304 4196468 140736344637520 140736344620064 140336704487159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
/proc/29266/statm: 2664753 7524 2846 1 0 2627263 0
[pid=29266/tid=29268] ppid=29263 vsize=10659012 memory=-8773748148829981827 CPUtime=0.09 cores=0,2,4,6
/proc/29266/task/29268/stat : 29268 (java) R 29263 29266 25837 0 -1 4202560 4432 0 0 0 8 1 0 0 20 0 15 0 39082805 10914828288 7524 33554432000 4194304 4196468 140736344637520 140336708708288 140336688567646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29269] ppid=29263 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29269/stat : 29269 (java) S 29263 29266 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39082805 10914828288 7524 33554432000 4194304 4196468 140736344637520 140336657107856 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29270] ppid=29263 vsize=10659012 memory=140311159748224 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29270/stat : 29270 (java) S 29263 29266 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39082805 10914828288 7524 33554432000 4194304 4196468 140736344637520 140336656055056 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29271] ppid=29263 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29271/stat : 29271 (java) S 29263 29266 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39082805 10914828288 7524 33554432000 4194304 4196468 140736344637520 140336655002768 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29272] ppid=29263 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29272/stat : 29272 (java) S 29263 29266 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39082805 10914828288 7524 33554432000 4194304 4196468 140736344637520 140336653949968 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29273] ppid=29263 vsize=10659012 memory=140311159748224 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29273/stat : 29273 (java) S 29263 29266 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39082807 10914828288 7524 33554432000 4194304 4196468 140736344637520 140336263792752 140336704498306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29274] ppid=29263 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29274/stat : 29274 (java) S 29263 29266 25837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39082807 10914828288 7524 33554432000 4194304 4196468 140736344637520 140336262738720 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29275] ppid=29263 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29275/stat : 29275 (java) S 29263 29266 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39082807 10914828288 7524 33554432000 4194304 4196468 140736344637520 140336261686384 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29276] ppid=29263 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29276/stat : 29276 (java) S 29263 29266 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39082810 10914828288 7524 33554432000 4194304 4196468 140736344637520 140336260634704 140336704505755 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29277] ppid=29263 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29277/stat : 29277 (java) S 29263 29266 25837 0 -1 1077944384 297 0 0 0 0 0 0 0 20 0 15 0 39082810 10914828288 7524 33554432000 4194304 4196468 140736344637520 140336259582576 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29278] ppid=29263 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29278/stat : 29278 (java) S 29263 29266 25837 0 -1 1077944384 148 0 0 0 0 0 0 0 20 0 15 0 39082810 10914828288 7524 33554432000 4194304 4196468 140736344637520 140336258529776 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29279] ppid=29263 vsize=10659012 memory=140311159748224 CPUtime=0.02 cores=0,2,4,6
/proc/29266/task/29279/stat : 29279 (java) R 29263 29266 25837 0 -1 4202560 369 0 0 0 2 0 0 0 20 0 15 0 39082810 10914828288 7524 33554432000 4194304 4196468 140736344637520 140336257477488 140336683762146 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29280] ppid=29263 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29280/stat : 29280 (java) S 29263 29266 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39082810 10914828288 7524 33554432000 4194304 4196468 140736344637520 140336256424928 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29281] ppid=29263 vsize=10659012 memory=140311159748224 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29281/stat : 29281 (java) S 29263 29266 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39082810 10914828288 7524 33554432000 4194304 4196468 140736344637520 140336255371696 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 30096 KiB
[startup+0.211047 s]*
/proc/loadavg: 1.88 1.98 2.09 3/221 29281
/proc/meminfo: memFree=15733368/32770624 swapFree=67108860/67108860
[pid=29266] ppid=29263 vsize=10659012 memory=42052 CPUtime=0.33 cores=0,2,4,6
/proc/29266/stat : 29266 (java) S 29263 29266 25837 0 -1 1077944320 8120 0 0 0 31 2 0 0 20 0 15 0 39082804 10914828288 10513 33554432000 4194304 4196468 140736344637520 140736344620064 140336704487159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
/proc/29266/statm: 2664753 10513 3007 1 0 2627263 0
[pid=29266/tid=29268] ppid=29263 vsize=10659012 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/29266/task/29268/stat : 29268 (java) R 29263 29266 25837 0 -1 4202560 5015 0 0 0 19 1 0 0 20 0 15 0 39082805 10914828288 10513 33554432000 4194304 4196468 140736344637520 140336708718416 140336688567646 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29269] ppid=29263 vsize=10659012 memory=364 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29269/stat : 29269 (java) S 29263 29266 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39082805 10914828288 10513 33554432000 4194304 4196468 140736344637520 140336657107856 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29270] ppid=29263 vsize=10659012 memory=3546500950109304480 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29270/stat : 29270 (java) S 29263 29266 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39082805 10914828288 10513 33554432000 4194304 4196468 140736344637520 140336656055056 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29271] ppid=29263 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29271/stat : 29271 (java) S 29263 29266 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39082805 10914828288 10513 33554432000 4194304 4196468 140736344637520 140336655002768 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29272] ppid=29263 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29272/stat : 29272 (java) S 29263 29266 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39082805 10914828288 10513 33554432000 4194304 4196468 140736344637520 140336653949968 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29273] ppid=29263 vsize=10659012 memory=140311159748224 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29273/stat : 29273 (java) S 29263 29266 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39082807 10914828288 10513 33554432000 4194304 4196468 140736344637520 140336263792752 140336704498306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29274] ppid=29263 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29274/stat : 29274 (java) S 29263 29266 25837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39082807 10914828288 10513 33554432000 4194304 4196468 140736344637520 140336262738720 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29275] ppid=29263 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29275/stat : 29275 (java) S 29263 29266 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39082807 10914828288 10513 33554432000 4194304 4196468 140736344637520 140336261686384 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29276] ppid=29263 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29276/stat : 29276 (java) S 29263 29266 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39082810 10914828288 10513 33554432000 4194304 4196468 140736344637520 140336260634704 140336704505755 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29277] ppid=29263 vsize=10659012 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/29266/task/29277/stat : 29277 (java) S 29263 29266 25837 0 -1 1077944384 521 0 0 0 2 0 0 0 20 0 15 0 39082810 10914828288 10513 33554432000 4194304 4196468 140736344637520 140336259582576 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29278] ppid=29263 vsize=10659012 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29266/task/29278/stat : 29278 (java) S 29263 29266 25837 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 15 0 39082810 10914828288 10513 33554432000 4194304 4196468 140736344637520 140336258529776 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29279] ppid=29263 vsize=10659012 memory=140311159748224 CPUtime=0.07 cores=0,2,4,6
/proc/29266/task/29279/stat : 29279 (java) R 29263 29266 25837 0 -1 4202560 740 0 0 0 7 0 0 0 20 0 15 0 39082810 10914828288 10513 33554432000 4194304 4196468 140736344637520 140336257477488 140336688567646 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29280] ppid=29263 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29280/stat : 29280 (java) S 29263 29266 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39082810 10914828288 10513 33554432000 4194304 4196468 140736344637520 140336256424928 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29281] ppid=29263 vsize=10659012 memory=140311159748224 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29281/stat : 29281 (java) S 29263 29266 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39082810 10914828288 10513 33554432000 4194304 4196468 140736344637520 140336255371696 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 42052 KiB
[startup+0.311055 s]*
/proc/loadavg: 1.88 1.98 2.09 3/221 29281
/proc/meminfo: memFree=15705676/32770624 swapFree=67108860/67108860
[pid=29266] ppid=29263 vsize=10659012 memory=68872 CPUtime=0.51 cores=0,2,4,6
/proc/29266/stat : 29266 (java) S 29263 29266 25837 0 -1 1077944320 8677 0 0 0 49 2 0 0 20 0 15 0 39082804 10914828288 17218 33554432000 4194304 4196468 140736344637520 140736344620064 140336704487159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
/proc/29266/statm: 2664753 17218 3026 1 0 2627263 0
[pid=29266/tid=29268] ppid=29263 vsize=10659012 memory=7022364594140610616 CPUtime=0.3 cores=0,2,4,6
/proc/29266/task/29268/stat : 29268 (java) R 29263 29266 25837 0 -1 4202560 5354 0 0 0 28 2 0 0 20 0 15 0 39082805 10914828288 17218 33554432000 4194304 4196468 140736344637520 140336708725408 140336704509085 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29269] ppid=29263 vsize=10659012 memory=4294982659 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29269/stat : 29269 (java) S 29263 29266 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39082805 10914828288 17218 33554432000 4194304 4196468 140736344637520 140336657107856 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29270] ppid=29263 vsize=10659012 memory=3834735720012560032 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29270/stat : 29270 (java) S 29263 29266 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39082805 10914828288 17218 33554432000 4194304 4196468 140736344637520 140336656055056 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29271] ppid=29263 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29271/stat : 29271 (java) S 29263 29266 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39082805 10914828288 17218 33554432000 4194304 4196468 140736344637520 140336655002768 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29272] ppid=29263 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29272/stat : 29272 (java) S 29263 29266 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39082805 10914828288 17218 33554432000 4194304 4196468 140736344637520 140336653949968 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29273] ppid=29263 vsize=10659012 memory=140311159748224 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29273/stat : 29273 (java) S 29263 29266 25837 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 39082807 10914828288 17218 33554432000 4194304 4196468 140736344637520 140336263792752 140336704498306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29274] ppid=29263 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29274/stat : 29274 (java) S 29263 29266 25837 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 39082807 10914828288 17218 33554432000 4194304 4196468 140736344637520 140336262738720 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29275] ppid=29263 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29275/stat : 29275 (java) S 29263 29266 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39082807 10914828288 17218 33554432000 4194304 4196468 140736344637520 140336261686384 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29276] ppid=29263 vsize=10659012 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29276/stat : 29276 (java) S 29263 29266 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39082810 10914828288 17218 33554432000 4194304 4196468 140736344637520 140336260634704 140336704505755 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29277] ppid=29263 vsize=10659012 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29266/task/29277/stat : 29277 (java) S 29263 29266 25837 0 -1 1077944384 544 0 0 0 3 0 0 0 20 0 15 0 39082810 10914828288 17218 33554432000 4194304 4196468 140736344637520 140336259582576 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29278] ppid=29263 vsize=10659012 memory=-1 CPUtime=0.05 cores=0,2,4,6
/proc/29266/task/29278/stat : 29278 (java) R 29263 29266 25837 0 -1 4202560 626 0 0 0 5 0 0 0 20 0 15 0 39082810 10914828288 17218 33554432000 4194304 4196468 140736344637520 140336258529776 140336684181545 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29279] ppid=29263 vsize=10659012 memory=140311159748224 CPUtime=0.11 cores=0,2,4,6
/proc/29266/task/29279/stat : 29279 (java) S 29263 29266 25837 0 -1 1077944384 785 0 0 0 11 0 0 0 20 0 15 0 39082810 10914828288 17218 33554432000 4194304 4196468 140736344637520 140336257477488 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29280] ppid=29263 vsize=10659012 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29280/stat : 29280 (java) S 29263 29266 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39082810 10914828288 17218 33554432000 4194304 4196468 140736344637520 140336256424928 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29281] ppid=29263 vsize=10659012 memory=140311159748224 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29281/stat : 29281 (java) S 29263 29266 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39082810 10914828288 17218 33554432000 4194304 4196468 140736344637520 140336255371696 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 10659012 KiB
Current children cumulated memory: 68872 KiB
[startup+0.701667 s]
/proc/loadavg: 1.88 1.98 2.09 4/221 29281
/proc/meminfo: memFree=15485896/32770624 swapFree=67108860/67108860
[pid=29266] ppid=29263 vsize=10659088 memory=385356 CPUtime=1.5 cores=0,2,4,6
/proc/29266/stat : 29266 (java) S 29263 29266 25837 0 -1 1077944320 12590 0 0 0 118 32 0 0 20 0 15 0 39082804 10914906112 96339 33554432000 4194304 4196468 140736344637520 140736344620064 140336704487159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
/proc/29266/statm: 2664772 96339 3108 1 0 2627263 0
[pid=29266/tid=29268] ppid=29263 vsize=10659088 memory=266037589214648 CPUtime=0.57 cores=0,2,4,6
/proc/29266/task/29268/stat : 29268 (java) S 29263 29266 25837 0 -1 1077944384 5850 0 0 0 52 5 0 0 20 0 15 0 39082805 10914906112 96339 33554432000 4194304 4196468 140736344637520 140336708724400 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29269] ppid=29263 vsize=10659088 memory=175223 CPUtime=0.1 cores=0,2,4,6
/proc/29266/task/29269/stat : 29269 (java) R 29263 29266 25837 0 -1 4202560 169 0 0 0 4 6 0 0 20 0 15 0 39082805 10914906112 96339 33554432000 4194304 4196468 140736344637520 140336657108056 140336689509280 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29270] ppid=29263 vsize=10659088 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/29266/task/29270/stat : 29270 (java) R 29263 29266 25837 0 -1 4202560 158 0 0 0 3 6 0 0 20 0 15 0 39082805 10914906112 96339 33554432000 4194304 4196468 140736344637520 140336656055056 140336697589876 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29271] ppid=29263 vsize=10659088 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/29266/task/29271/stat : 29271 (java) R 29263 29266 25837 0 -1 4202560 157 0 0 0 4 6 0 0 20 0 15 0 39082805 10914906112 96339 33554432000 4194304 4196468 140736344637520 140336655002768 140336697590232 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29272] ppid=29263 vsize=10659088 memory=7809523229951467568 CPUtime=0.09 cores=0,2,4,6
/proc/29266/task/29272/stat : 29272 (java) R 29263 29266 25837 0 -1 4202560 155 0 0 0 3 6 0 0 20 0 15 0 39082805 10914906112 96339 33554432000 4194304 4196468 140736344637520 140336653949856 140336697590138 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29273] ppid=29263 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29273/stat : 29273 (java) S 29263 29266 25837 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 39082807 10914906112 96851 33554432000 4194304 4196468 140736344637520 140336263791264 140336704497365 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29274] ppid=29263 vsize=10659088 memory=-6940150961159694432 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29274/stat : 29274 (java) S 29263 29266 25837 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 39082807 10914906112 96851 33554432000 4194304 4196468 140736344637520 140336262738720 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29275] ppid=29263 vsize=10659088 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29275/stat : 29275 (java) S 29263 29266 25837 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 39082807 10914906112 96851 33554432000 4194304 4196468 140736344637520 140336261686384 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29276] ppid=29263 vsize=10659088 memory=6944656592455360604 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29276/stat : 29276 (java) S 29263 29266 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39082810 10914906112 96851 33554432000 4194304 4196468 140736344637520 140336260634704 140336704505755 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29277] ppid=29263 vsize=10659088 memory=6944652177228980320 CPUtime=0.13 cores=0,2,4,6
/proc/29266/task/29277/stat : 29277 (java) S 29263 29266 25837 0 -1 1077944384 1478 0 0 0 13 0 0 0 20 0 15 0 39082810 10914906112 96851 33554432000 4194304 4196468 140736344637520 140336259573856 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29278] ppid=29263 vsize=10659088 memory=0 CPUtime=0.2 cores=0,2,4,6
/proc/29266/task/29278/stat : 29278 (java) R 29263 29266 25837 0 -1 4202560 1985 0 0 0 20 0 0 0 20 0 15 0 39082810 10914906112 96851 33554432000 4194304 4196468 140736344637520 140336258515800 140336686031247 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29279] ppid=29263 vsize=10659088 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/29266/task/29279/stat : 29279 (java) S 29263 29266 25837 0 -1 1077944384 1195 0 0 0 16 0 0 0 20 0 15 0 39082810 10914906112 96851 33554432000 4194304 4196468 140736344637520 140336257477248 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29280] ppid=29263 vsize=10659088 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29280/stat : 29280 (java) S 29263 29266 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39082810 10914906112 96851 33554432000 4194304 4196468 140736344637520 140336256424928 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29281] ppid=29263 vsize=10659088 memory=8660 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29281/stat : 29281 (java) S 29263 29266 25837 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 39082810 10914906112 96851 33554432000 4194304 4196468 140736344637520 140336255371696 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 385356 KiB
[startup+1.50076 s]
/proc/loadavg: 1.88 1.98 2.09 3/221 29281
/proc/meminfo: memFree=15329232/32770624 swapFree=67108860/67108860
[pid=29266] ppid=29263 vsize=10659088 memory=634808 CPUtime=3.16 cores=0,2,4,6
/proc/29266/stat : 29266 (java) S 29263 29266 25837 0 -1 1077944320 14817 0 0 0 274 42 0 0 20 0 15 0 39082804 10914906112 158702 33554432000 4194304 4196468 140736344637520 140736344620064 140336704487159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
/proc/29266/statm: 2664772 158702 3144 1 0 2627263 0
[pid=29266/tid=29268] ppid=29263 vsize=10659088 memory=3303 CPUtime=1.26 cores=0,2,4,6
/proc/29266/task/29268/stat : 29268 (java) R 29263 29266 25837 0 -1 4202560 5917 0 0 0 120 6 0 0 20 0 15 0 39082805 10914906112 158702 33554432000 4194304 4196468 140736344637520 140336708724720 140336331338610 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29269] ppid=29263 vsize=10659088 memory=6791534058613427641 CPUtime=0.18 cores=0,2,4,6
/proc/29266/task/29269/stat : 29269 (java) S 29263 29266 25837 0 -1 1077944384 545 0 0 0 10 8 0 0 20 0 15 0 39082805 10914906112 158702 33554432000 4194304 4196468 140736344637520 140336657107856 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29270] ppid=29263 vsize=10659088 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/29266/task/29270/stat : 29270 (java) S 29263 29266 25837 0 -1 1077944384 230 0 0 0 10 8 0 0 20 0 15 0 39082805 10914906112 158702 33554432000 4194304 4196468 140736344637520 140336656055056 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29271] ppid=29263 vsize=10659088 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/29266/task/29271/stat : 29271 (java) S 29263 29266 25837 0 -1 1077944384 548 0 0 0 10 8 0 0 20 0 15 0 39082805 10914906112 158702 33554432000 4194304 4196468 140736344637520 140336655002768 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29272] ppid=29263 vsize=10659088 memory=0 CPUtime=0.17 cores=0,2,4,6
/proc/29266/task/29272/stat : 29272 (java) S 29263 29266 25837 0 -1 1077944384 366 0 0 0 9 8 0 0 20 0 15 0 39082805 10914906112 158702 33554432000 4194304 4196468 140736344637520 140336653949968 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29273] ppid=29263 vsize=10659088 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29266/task/29273/stat : 29273 (java) S 29263 29266 25837 0 -1 1077944384 519 0 0 0 1 0 0 0 20 0 15 0 39082807 10914906112 158702 33554432000 4194304 4196468 140736344637520 140336263792752 140336704498306 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
################
# More data... #
################
/proc/29266/task/29268/stat : 29268 (java) R 29263 29266 25837 0 -1 4202560 116581 0 0 0 214171 39 0 0 20 0 15 0 39082805 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336708724944 140336328680198 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29269] ppid=29263 vsize=10659088 memory=6671688 CPUtime=53.3 cores=0,2,4,6
/proc/29266/task/29269/stat : 29269 (java) S 29263 29266 25837 0 -1 1077944384 155391 0 0 0 5193 137 0 0 20 0 15 0 39082805 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336657107856 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29270] ppid=29263 vsize=10659088 memory=6671688 CPUtime=53.39 cores=0,2,4,6
/proc/29266/task/29270/stat : 29270 (java) S 29263 29266 25837 0 -1 1077944384 141646 0 0 0 5207 132 0 0 20 0 15 0 39082805 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336656055056 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29271] ppid=29263 vsize=10659088 memory=6671688 CPUtime=53.38 cores=0,2,4,6
/proc/29266/task/29271/stat : 29271 (java) S 29263 29266 25837 0 -1 1077944384 144292 0 0 0 5207 131 0 0 20 0 15 0 39082805 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336655002768 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29272] ppid=29263 vsize=10659088 memory=6671688 CPUtime=53.37 cores=0,2,4,6
/proc/29266/task/29272/stat : 29272 (java) S 29263 29266 25837 0 -1 1077944384 176665 0 0 0 5198 139 0 0 20 0 15 0 39082805 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336653949968 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29273] ppid=29263 vsize=10659088 memory=6671688 CPUtime=5.6 cores=0,2,4,6
/proc/29266/task/29273/stat : 29273 (java) S 29263 29266 25837 0 -1 1077944384 24293 0 0 0 548 12 0 0 20 0 15 0 39082807 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336263792752 140336704498306 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29274] ppid=29263 vsize=10659088 memory=6671688 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29274/stat : 29274 (java) S 29263 29266 25837 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 39082807 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336262738784 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29275] ppid=29263 vsize=10659088 memory=6671688 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29275/stat : 29275 (java) S 29263 29266 25837 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 39082807 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336261686400 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29276] ppid=29263 vsize=10659088 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29276/stat : 29276 (java) S 29263 29266 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39082810 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336260634704 140336704505755 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29277] ppid=29263 vsize=10659088 memory=6671688 CPUtime=0.86 cores=0,2,4,6
/proc/29266/task/29277/stat : 29277 (java) S 29263 29266 25837 0 -1 1077944384 3539 0 0 0 85 1 0 0 20 0 15 0 39082810 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336259582576 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29278] ppid=29263 vsize=10659088 memory=6671688 CPUtime=0.92 cores=0,2,4,6
/proc/29266/task/29278/stat : 29278 (java) S 29263 29266 25837 0 -1 1077944384 4321 0 0 0 92 0 0 0 20 0 15 0 39082810 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336258529776 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29279] ppid=29263 vsize=10659088 memory=6671688 CPUtime=0.37 cores=0,2,4,6
/proc/29266/task/29279/stat : 29279 (java) S 29263 29266 25837 0 -1 1077944384 4248 0 0 0 36 1 0 0 20 0 15 0 39082810 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336257477488 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29280] ppid=29263 vsize=10659088 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29280/stat : 29280 (java) S 29263 29266 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39082810 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336256424928 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29281] ppid=29263 vsize=10659088 memory=2444 CPUtime=1.79 cores=0,2,4,6
/proc/29266/task/29281/stat : 29281 (java) S 29263 29266 25837 0 -1 1077944384 1395 0 0 0 82 97 0 0 20 0 15 0 39082810 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336255371696 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
Current children cumulated CPU time: 2365.18 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 6671688 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2235.11 s]
/proc/loadavg: 1.73 2.71 2.50 3/219 29511
/proc/meminfo: memFree=12714088/32770624 swapFree=67108860/67108860
[pid=29266] ppid=29263 vsize=10659088 memory=6671688 CPUtime=2400.04 cores=0,2,4,6
/proc/29266/stat : 29266 (java) S 29263 29266 25837 0 -1 1077944320 783871 0 0 0 239333 671 0 0 20 0 15 0 39082804 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140736344620064 140336704487159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
/proc/29266/statm: 2664772 1667922 3156 1 0 2627263 0
[pid=29266/tid=29268] ppid=29263 vsize=10659088 memory=6671688 CPUtime=2174.19 cores=0,2,4,6
/proc/29266/task/29268/stat : 29268 (java) R 29263 29266 25837 0 -1 4202560 117613 0 0 0 217380 39 0 0 20 0 15 0 39082805 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336708724944 140336328680222 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29269] ppid=29263 vsize=10659088 memory=6671688 CPUtime=53.98 cores=0,2,4,6
/proc/29266/task/29269/stat : 29269 (java) S 29263 29266 25837 0 -1 1077944384 157515 0 0 0 5261 137 0 0 20 0 15 0 39082805 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336657107856 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29270] ppid=29263 vsize=10659088 memory=6671688 CPUtime=54.06 cores=0,2,4,6
/proc/29266/task/29270/stat : 29270 (java) S 29263 29266 25837 0 -1 1077944384 143194 0 0 0 5274 132 0 0 20 0 15 0 39082805 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336656055056 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29271] ppid=29263 vsize=10659088 memory=6671688 CPUtime=54.05 cores=0,2,4,6
/proc/29266/task/29271/stat : 29271 (java) S 29263 29266 25837 0 -1 1077944384 147020 0 0 0 5274 131 0 0 20 0 15 0 39082805 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336655002768 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29272] ppid=29263 vsize=10659088 memory=6671688 CPUtime=54.05 cores=0,2,4,6
/proc/29266/task/29272/stat : 29272 (java) S 29263 29266 25837 0 -1 1077944384 179047 0 0 0 5266 139 0 0 20 0 15 0 39082805 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336653949968 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29273] ppid=29263 vsize=10659088 memory=6671688 CPUtime=5.62 cores=0,2,4,6
/proc/29266/task/29273/stat : 29273 (java) S 29263 29266 25837 0 -1 1077944384 24526 0 0 0 550 12 0 0 20 0 15 0 39082807 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336263792752 140336704498306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29274] ppid=29263 vsize=10659088 memory=6671688 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29274/stat : 29274 (java) S 29263 29266 25837 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 39082807 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336262738784 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29275] ppid=29263 vsize=10659088 memory=6671688 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29275/stat : 29275 (java) S 29263 29266 25837 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 15 0 39082807 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336261686400 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29276] ppid=29263 vsize=10659088 memory=2324508702711300192 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29276/stat : 29276 (java) S 29263 29266 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39082810 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336260634704 140336704505755 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29277] ppid=29263 vsize=10659088 memory=6671688 CPUtime=0.86 cores=0,2,4,6
/proc/29266/task/29277/stat : 29277 (java) S 29263 29266 25837 0 -1 1077944384 3542 0 0 0 85 1 0 0 20 0 15 0 39082810 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336259582576 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29278] ppid=29263 vsize=10659088 memory=4132 CPUtime=0.92 cores=0,2,4,6
/proc/29266/task/29278/stat : 29278 (java) S 29263 29266 25837 0 -1 1077944384 4324 0 0 0 92 0 0 0 20 0 15 0 39082810 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336258529776 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29279] ppid=29263 vsize=10659088 memory=14012 CPUtime=0.38 cores=0,2,4,6
/proc/29266/task/29279/stat : 29279 (java) S 29263 29266 25837 0 -1 1077944384 4256 0 0 0 36 2 0 0 20 0 15 0 39082810 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336257477488 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29280] ppid=29263 vsize=10659088 memory=6671688 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29280/stat : 29280 (java) S 29263 29266 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 39082810 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336256424928 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29281] ppid=29263 vsize=10659088 memory=14012 CPUtime=1.81 cores=0,2,4,6
/proc/29266/task/29281/stat : 29281 (java) S 29263 29266 25837 0 -1 1077944384 1423 0 0 0 83 98 0 0 20 0 15 0 39082810 10914906112 1667922 33554432000 4194304 4196468 140736344637520 140336255371696 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 10659088 KiB
Current children cumulated memory: 6671688 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2235.37 s]
# the end of solver process 29266 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2393.63 s, system=6.76091 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2235.21 s]
/proc/loadavg: 1.73 2.71 2.50 3/219 29511
/proc/meminfo: memFree=12714088/32770624 swapFree=67108860/67108860
[pid=29266] ppid=29263 vsize=10858780 memory=6671896 CPUtime=2400.15 cores=0,2,4,6
/proc/29266/stat : 29266 (java) S 29263 29266 25837 0 -1 1077944320 784632 0 0 0 239343 672 0 0 20 0 17 0 39082804 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140736344620064 140336704487159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
/proc/29266/statm: 2714695 1667974 3158 1 0 2677186 0
[pid=29266/tid=29268] ppid=29263 vsize=10858780 memory=8680 CPUtime=2174.28 cores=0,2,4,6
/proc/29266/task/29268/stat : 29268 (java) R 29263 29266 25837 0 -1 4202560 117613 0 0 0 217389 39 0 0 20 0 17 0 39082805 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336708724944 140336328680234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29269] ppid=29263 vsize=10858780 memory=18472 CPUtime=53.98 cores=0,2,4,6
/proc/29266/task/29269/stat : 29269 (java) S 29263 29266 25837 0 -1 1077944384 157515 0 0 0 5261 137 0 0 20 0 17 0 39082805 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336657107856 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29270] ppid=29263 vsize=10858780 memory=4048 CPUtime=54.06 cores=0,2,4,6
/proc/29266/task/29270/stat : 29270 (java) S 29263 29266 25837 0 -1 1077944384 143194 0 0 0 5274 132 0 0 20 0 17 0 39082805 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336656055056 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29271] ppid=29263 vsize=10858780 memory=6671688 CPUtime=54.05 cores=0,2,4,6
/proc/29266/task/29271/stat : 29271 (java) S 29263 29266 25837 0 -1 1077944384 147020 0 0 0 5274 131 0 0 20 0 17 0 39082805 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336655002768 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29272] ppid=29263 vsize=10858780 memory=6671688 CPUtime=54.05 cores=0,2,4,6
/proc/29266/task/29272/stat : 29272 (java) S 29263 29266 25837 0 -1 1077944384 179047 0 0 0 5266 139 0 0 20 0 17 0 39082805 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336653949968 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29273] ppid=29263 vsize=10858780 memory=6671688 CPUtime=5.62 cores=0,2,4,6
/proc/29266/task/29273/stat : 29273 (java) S 29263 29266 25837 0 -1 1077944384 24526 0 0 0 550 12 0 0 20 0 17 0 39082807 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336263792752 140336704498306 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29274] ppid=29263 vsize=10858780 memory=1408 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29274/stat : 29274 (java) S 29263 29266 25837 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 39082807 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336262738784 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29275] ppid=29263 vsize=10858780 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29275/stat : 29275 (java) S 29263 29266 25837 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 17 0 39082807 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336261686400 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29276] ppid=29263 vsize=10858780 memory=2444 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29276/stat : 29276 (java) S 29263 29266 25837 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 17 0 39082810 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336260634704 140336704505755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29277] ppid=29263 vsize=10858780 memory=1728 CPUtime=0.86 cores=0,2,4,6
/proc/29266/task/29277/stat : 29277 (java) S 29263 29266 25837 0 -1 1077944384 3542 0 0 0 85 1 0 0 20 0 17 0 39082810 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336259582576 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29278] ppid=29263 vsize=10858780 memory=1948 CPUtime=0.92 cores=0,2,4,6
/proc/29266/task/29278/stat : 29278 (java) S 29263 29266 25837 0 -1 1077944384 4324 0 0 0 92 0 0 0 20 0 17 0 39082810 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336258529776 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29279] ppid=29263 vsize=10858780 memory=1224 CPUtime=0.38 cores=0,2,4,6
/proc/29266/task/29279/stat : 29279 (java) S 29263 29266 25837 0 -1 1077944384 4535 0 0 0 36 2 0 0 20 0 17 0 39082810 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336257477488 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29280] ppid=29263 vsize=10858780 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29280/stat : 29280 (java) S 29263 29266 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39082810 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336256424928 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29281] ppid=29263 vsize=10858780 memory=14012 CPUtime=1.82 cores=0,2,4,6
/proc/29266/task/29281/stat : 29281 (java) S 29263 29266 25837 0 -1 1077944384 1423 0 0 0 83 99 0 0 20 0 17 0 39082810 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336255371696 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
Current children cumulated CPU time: 2400.15 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 6671896 KiB
[startup+2235.31 s]
/proc/loadavg: 1.73 2.71 2.50 3/219 29511
/proc/meminfo: memFree=12714088/32770624 swapFree=67108860/67108860
[pid=29266] ppid=29263 vsize=10858780 memory=6671896 CPUtime=2400.27 cores=0,2,4,6
/proc/29266/stat : 29266 (java) S 29263 29266 25837 0 -1 1077944320 784646 0 0 0 239355 672 0 0 20 0 17 0 39082804 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140736344620064 140336704487159 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
/proc/29266/statm: 2714695 1667974 3158 1 0 2677186 0
[pid=29266/tid=29268] ppid=29263 vsize=10858780 memory=6671688 CPUtime=2174.38 cores=0,2,4,6
/proc/29266/task/29268/stat : 29268 (java) S 29263 29266 25837 0 -1 1077944384 117622 0 0 0 217399 39 0 0 20 0 17 0 39082805 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336708724944 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29269] ppid=29263 vsize=10858780 memory=6671688 CPUtime=53.99 cores=0,2,4,6
/proc/29266/task/29269/stat : 29269 (java) R 29263 29266 25837 0 -1 4202560 157515 0 0 0 5262 137 0 0 20 0 17 0 39082805 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336657107856 140336683681354 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29270] ppid=29263 vsize=10858780 memory=6671688 CPUtime=54.07 cores=0,2,4,6
/proc/29266/task/29270/stat : 29270 (java) R 29263 29266 25837 0 -1 4202560 143199 0 0 0 5275 132 0 0 20 0 17 0 39082805 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336656055056 140336696728140 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29271] ppid=29263 vsize=10858780 memory=6671688 CPUtime=54.06 cores=0,2,4,6
/proc/29266/task/29271/stat : 29271 (java) R 29263 29266 25837 0 -1 4202560 147020 0 0 0 5275 131 0 0 20 0 17 0 39082805 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336655002768 140336697590310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29272] ppid=29263 vsize=10858780 memory=6671688 CPUtime=54.06 cores=0,2,4,6
/proc/29266/task/29272/stat : 29272 (java) R 29263 29266 25837 0 -1 1077944384 179047 0 0 0 5267 139 0 0 20 0 17 0 39082805 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336653947776 140336704497365 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29273] ppid=29263 vsize=10858780 memory=6671688 CPUtime=5.62 cores=0,2,4,6
/proc/29266/task/29273/stat : 29273 (java) S 29263 29266 25837 0 -1 1077944384 24526 0 0 0 550 12 0 0 20 0 17 0 39082807 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336263791264 140336704497365 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29274] ppid=29263 vsize=10858780 memory=6671688 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29274/stat : 29274 (java) S 29263 29266 25837 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 17 0 39082807 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336262738784 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29275] ppid=29263 vsize=10858780 memory=6671688 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29275/stat : 29275 (java) S 29263 29266 25837 0 -1 1077944384 64 0 0 0 0 0 0 0 20 0 17 0 39082807 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336261686400 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29276] ppid=29263 vsize=10858780 memory=6671688 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29276/stat : 29276 (java) S 29263 29266 25837 0 -1 1077944384 177 0 0 0 0 0 0 0 20 0 17 0 39082810 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336260634704 140336704505755 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29277] ppid=29263 vsize=10858780 memory=2324508702711300192 CPUtime=0.86 cores=0,2,4,6
/proc/29266/task/29277/stat : 29277 (java) S 29263 29266 25837 0 -1 1077944384 3542 0 0 0 85 1 0 0 20 0 17 0 39082810 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336259582576 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29278] ppid=29263 vsize=10858780 memory=6671688 CPUtime=0.92 cores=0,2,4,6
/proc/29266/task/29278/stat : 29278 (java) S 29263 29266 25837 0 -1 1077944384 4324 0 0 0 92 0 0 0 20 0 17 0 39082810 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336258529776 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29279] ppid=29263 vsize=10858780 memory=14012 CPUtime=0.38 cores=0,2,4,6
/proc/29266/task/29279/stat : 29279 (java) S 29263 29266 25837 0 -1 1077944384 4535 0 0 0 36 2 0 0 20 0 17 0 39082810 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336257477488 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29280] ppid=29263 vsize=10858780 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/29266/task/29280/stat : 29280 (java) S 29263 29266 25837 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 17 0 39082810 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336256424928 140336704497365 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
[pid=29266/tid=29281] ppid=29263 vsize=10858780 memory=14012 CPUtime=1.82 cores=0,2,4,6
/proc/29266/task/29281/stat : 29281 (java) S 29263 29266 25837 0 -1 1077944384 1423 0 0 0 83 99 0 0 20 0 17 0 39082810 11119390720 1667974 33554432000 4194304 4196468 140736344637520 140336255371696 140336704498306 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15429632 140736344638577 140736344638729 140736344638729 140736344641487 0
Current children cumulated CPU time: 2400.27 s
Current children cumulated vsize: 10858780 KiB
Current children cumulated memory: 6671896 KiB
Child status: 143
Real time (s): 2235.37
CPU time (s): 2400.39
CPU user time (s): 2393.63
CPU system time (s): 6.76091
CPU usage (%): 107.382
Max. virtual memory (cumulated for all children) (KiB): 10858780
Max. memory (cumulated for all children) (KiB): 6671896
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2393.63
system time used= 6.76091
maximum resident set size= 6672228
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 784871
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2512
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 86989
involuntary context switches= 7688
# summary of solver processes directly reported to runsolver:
# pid: 29266
# total CPU time (s): 2400.39
# total CPU user time (s): 2393.63
# total CPU system time (s): 6.76091
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.1631 second user time and 24.2337 second system time
The end