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 (14706 MiB free)
memory of node 1: 16384 MiB (15528 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396375-1568403891/watcher-4396375-1568403891 -o /tmp/evaluation-result-4396375-1568403891/solver-4396375-1568403891 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1568393561-471 --watchdog 2560 bin/xcsp-3-concrete -J-Xss32M -randomseed=1107935324 HOME/instance-4396375-1568403891.xml
running on 4 cores: 1,3,5,7
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=3225, runsolver pid=3222
Current StackSize limit: 8192 KiB
[startup+0.100496 s]*
/proc/loadavg: 1.21 1.27 1.32 3/218 3282
/proc/meminfo: memFree=30952056/32770624 swapFree=66995208/67108860
[pid=3225] ppid=3222 vsize=9972712 memory=18956 CPUtime=0.09 cores=1,3,5,7
/proc/3225/stat : 3225 (java) S 3222 3225 436 0 -1 1077944320 4460 13017 0 0 1 0 5 3 20 0 6 0 416640528 10212057088 4739 33554432000 4194304 4196468 140728014577952 140728014560496 140620459998967 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
/proc/3225/statm: 2493178 4739 1935 1 0 2481616 0
[pid=3225/tid=3278] ppid=3222 vsize=9972712 memory=7022364594140610616 CPUtime=0.09 cores=1,3,5,7
/proc/3225/task/3278/stat : 3278 (java) R 3222 3225 436 0 -1 4202560 2276 13017 0 0 1 0 5 3 20 0 6 0 416640537 10212057088 4739 33554432000 4194304 4196468 140728014577952 140620431835728 140620443199403 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3279] ppid=3222 vsize=9972712 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3279/stat : 3279 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 6 0 416640538 10212057088 4739 33554432000 4194304 4196468 140728014577952 140620464241680 140620460009173 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3280] ppid=3222 vsize=9972712 memory=3762111803608798880 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3280/stat : 3280 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 6 0 416640538 10212057088 4739 33554432000 4194304 4196468 140728014577952 140620385201296 140620460009173 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3281] ppid=3222 vsize=9972712 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3281/stat : 3281 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 6 0 416640538 10212057088 4739 33554432000 4194304 4196468 140728014577952 140620031929104 140620460009173 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3282] ppid=3222 vsize=9972712 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3282/stat : 3282 (java) S 3222 3225 436 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 6 0 416640538 10212057088 4739 33554432000 4194304 4196468 140728014577952 140620030876560 140620460009173 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18956 KiB
[startup+0.209943 s]*
/proc/loadavg: 1.21 1.27 1.32 3/227 3291
/proc/meminfo: memFree=30934284/32770624 swapFree=66995208/67108860
[pid=3225] ppid=3222 vsize=10820140 memory=41764 CPUtime=0.27 cores=1,3,5,7
/proc/3225/stat : 3225 (java) S 3222 3225 436 0 -1 1077944320 7238 13017 0 0 17 2 5 3 20 0 15 0 416640528 11079823360 10441 33554432000 4194304 4196468 140728014577952 140728014560496 140620459998967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
/proc/3225/statm: 2705037 10441 3289 1 0 2667149 0
[pid=3225/tid=3278] ppid=3222 vsize=10820148 memory=7022364594140610616 CPUtime=0.19 cores=1,3,5,7
/proc/3225/task/3278/stat : 3278 (java) R 3222 3225 436 0 -1 4202560 3739 13017 0 0 11 0 5 3 20 0 15 0 416640537 11079831552 10441 33554432000 4194304 4196468 140728014577952 140620431832000 140620444079454 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3279] ppid=3222 vsize=10820148 memory=343 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3279/stat : 3279 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 416640538 11079831552 10441 33554432000 4194304 4196468 140728014577952 140620464241680 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3280] ppid=3222 vsize=10820148 memory=3762111803608798880 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3280/stat : 3280 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 416640538 11079831552 10441 33554432000 4194304 4196468 140728014577952 140620385201296 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3281] ppid=3222 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3281/stat : 3281 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 416640538 11079831552 10441 33554432000 4194304 4196468 140728014577952 140620031929104 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3282] ppid=3222 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3282/stat : 3282 (java) S 3222 3225 436 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 416640538 11079831552 10441 33554432000 4194304 4196468 140728014577952 140620030876560 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3283] ppid=3222 vsize=10820148 memory=140220119127680 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3283/stat : 3283 (java) S 3222 3225 436 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 416640539 11079831552 10441 33554432000 4194304 4196468 140728014577952 140619986622704 140620460010114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3284] ppid=3222 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3284/stat : 3284 (java) S 3222 3225 436 0 -1 1077944384 13 13017 0 0 0 0 5 3 20 0 15 0 416640540 11079831552 10441 33554432000 4194304 4196468 140728014577952 140619913618592 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3285] ppid=3222 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3285/stat : 3285 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 416640540 11079831552 10441 33554432000 4194304 4196468 140728014577952 140619309638384 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3286] ppid=3222 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3286/stat : 3286 (java) S 3222 3225 436 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 416640543 11079831552 10441 33554432000 4194304 4196468 140728014577952 140619002238928 140620460017563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3287] ppid=3222 vsize=10820148 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3225/task/3287/stat : 3287 (java) S 3222 3225 436 0 -1 1077944384 603 13017 0 0 1 0 5 3 20 0 15 0 416640543 11079831552 10441 33554432000 4194304 4196468 140728014577952 140619985570544 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3288] ppid=3222 vsize=10820148 memory=-1 CPUtime=0.09 cores=1,3,5,7
/proc/3225/task/3288/stat : 3288 (java) R 3222 3225 436 0 -1 4202560 54 13017 0 0 1 0 5 3 20 0 15 0 416640543 11079831552 10441 33554432000 4194304 4196468 140728014577952 140619984518000 140620443386398 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3289] ppid=3222 vsize=10820148 memory=140220119127680 CPUtime=0.11 cores=1,3,5,7
/proc/3225/task/3289/stat : 3289 (java) R 3222 3225 436 0 -1 4202560 633 13017 0 0 3 0 5 3 20 0 15 0 416640543 11079831552 10441 33554432000 4194304 4196468 140728014577952 140619983464944 140620460020314 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3290] ppid=3222 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3290/stat : 3290 (java) S 3222 3225 436 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 416640543 11079831552 10441 33554432000 4194304 4196468 140728014577952 140618968681312 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3291] ppid=3222 vsize=10820148 memory=140220119127680 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3291/stat : 3291 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 416640543 11079831552 10441 33554432000 4194304 4196468 140728014577952 140619982412336 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
Current children cumulated CPU time: 0.27 s
Current children cumulated vsize: 10820140 KiB
Current children cumulated memory: 41764 KiB
[startup+0.310406 s]*
/proc/loadavg: 1.21 1.27 1.32 4/227 3291
/proc/meminfo: memFree=30921736/32770624 swapFree=66995208/67108860
[pid=3225] ppid=3222 vsize=10820148 memory=50056 CPUtime=0.4 cores=1,3,5,7
/proc/3225/stat : 3225 (java) S 3222 3225 436 0 -1 1077944320 10783 13017 0 0 29 3 5 3 20 0 15 0 416640528 11079831552 12514 33554432000 4194304 4196468 140728014577952 140728014560496 140620459998967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
/proc/3225/statm: 2705037 12514 3305 1 0 2667149 0
[pid=3225/tid=3278] ppid=3222 vsize=10820148 memory=8317482817917895235 CPUtime=0.29 cores=1,3,5,7
/proc/3225/task/3278/stat : 3278 (java) R 3222 3225 436 0 -1 4202560 7248 13017 0 0 19 2 5 3 20 0 15 0 416640537 11079831552 12579 33554432000 4194304 4196468 140728014577952 140620431824144 140620444079454 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3279] ppid=3222 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3279/stat : 3279 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 416640538 11079831552 12579 33554432000 4194304 4196468 140728014577952 140620464241680 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3280] ppid=3222 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3280/stat : 3280 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 416640538 11079831552 12579 33554432000 4194304 4196468 140728014577952 140620385201296 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3281] ppid=3222 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3281/stat : 3281 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 416640538 11079831552 12579 33554432000 4194304 4196468 140728014577952 140620031929104 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3282] ppid=3222 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3282/stat : 3282 (java) S 3222 3225 436 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 416640538 11079831552 12579 33554432000 4194304 4196468 140728014577952 140620030876560 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3283] ppid=3222 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3283/stat : 3283 (java) S 3222 3225 436 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 416640539 11079831552 12579 33554432000 4194304 4196468 140728014577952 140619986622704 140620460010114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3284] ppid=3222 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3284/stat : 3284 (java) S 3222 3225 436 0 -1 1077944384 13 13017 0 0 0 0 5 3 20 0 15 0 416640540 11079831552 12579 33554432000 4194304 4196468 140728014577952 140619913618592 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3285] ppid=3222 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3285/stat : 3285 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 416640540 11079831552 12579 33554432000 4194304 4196468 140728014577952 140619309638384 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3286] ppid=3222 vsize=10820148 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3286/stat : 3286 (java) S 3222 3225 436 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 416640543 11079831552 12579 33554432000 4194304 4196468 140728014577952 140619002238928 140620460017563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3287] ppid=3222 vsize=10820148 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3225/task/3287/stat : 3287 (java) S 3222 3225 436 0 -1 1077944384 604 13017 0 0 2 0 5 3 20 0 15 0 416640543 11079831552 12579 33554432000 4194304 4196468 140728014577952 140619985570544 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3288] ppid=3222 vsize=10820148 memory=-1 CPUtime=0.1 cores=1,3,5,7
/proc/3225/task/3288/stat : 3288 (java) S 3222 3225 436 0 -1 1077944384 55 13017 0 0 2 0 5 3 20 0 15 0 416640543 11079831552 12579 33554432000 4194304 4196468 140728014577952 140619984518000 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3289] ppid=3222 vsize=10820148 memory=140220119127680 CPUtime=0.13 cores=1,3,5,7
/proc/3225/task/3289/stat : 3289 (java) S 3222 3225 436 0 -1 1077944384 657 13017 0 0 5 0 5 3 20 0 15 0 416640543 11079831552 12579 33554432000 4194304 4196468 140728014577952 140619983464944 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3290] ppid=3222 vsize=10820148 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3290/stat : 3290 (java) S 3222 3225 436 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 416640543 11079831552 12579 33554432000 4194304 4196468 140728014577952 140618968681312 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3291] ppid=3222 vsize=10820148 memory=140220119127680 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3291/stat : 3291 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 416640543 11079831552 12579 33554432000 4194304 4196468 140728014577952 140619982412336 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820148 KiB
Current children cumulated memory: 50056 KiB
[startup+0.703656 s]
/proc/loadavg: 1.21 1.27 1.32 3/227 3291
/proc/meminfo: memFree=30906556/32770624 swapFree=66995208/67108860
[pid=3225] ppid=3222 vsize=10824360 memory=83924 CPUtime=1.15 cores=1,3,5,7
/proc/3225/stat : 3225 (java) S 3222 3225 436 0 -1 1077944320 15184 13017 0 0 102 5 5 3 20 0 15 0 416640528 11084144640 20981 33554432000 4194304 4196468 140728014577952 140728014560496 140620459998967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
/proc/3225/statm: 2706090 20981 3513 1 0 2668173 0
[pid=3225/tid=3278] ppid=3222 vsize=10824360 memory=4639059877604708710 CPUtime=0.68 cores=1,3,5,7
/proc/3225/task/3278/stat : 3278 (java) R 3222 3225 436 0 -1 4202560 10437 13017 0 0 56 4 5 3 20 0 15 0 416640537 11084144640 20981 33554432000 4194304 4196468 140728014577952 140620431826128 140620460010902 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3279] ppid=3222 vsize=10824360 memory=20908 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3279/stat : 3279 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 416640538 11084144640 20981 33554432000 4194304 4196468 140728014577952 140620464241680 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3280] ppid=3222 vsize=10824360 memory=2452 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3280/stat : 3280 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 416640538 11084144640 20981 33554432000 4194304 4196468 140728014577952 140620385201296 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3281] ppid=3222 vsize=10824360 memory=280440023866144 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3281/stat : 3281 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 416640538 11084144640 20981 33554432000 4194304 4196468 140728014577952 140620031929104 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3282] ppid=3222 vsize=10824360 memory=140220119126561 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3282/stat : 3282 (java) S 3222 3225 436 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 416640538 11084144640 20981 33554432000 4194304 4196468 140728014577952 140620030876560 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3283] ppid=3222 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3283/stat : 3283 (java) S 3222 3225 436 0 -1 1077944384 5 13017 0 0 0 0 5 3 20 0 15 0 416640539 11084144640 20981 33554432000 4194304 4196468 140728014577952 140619986622704 140620460010114 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3284] ppid=3222 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3284/stat : 3284 (java) S 3222 3225 436 0 -1 1077944384 13 13017 0 0 0 0 5 3 20 0 15 0 416640540 11084144640 20981 33554432000 4194304 4196468 140728014577952 140619913618592 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3285] ppid=3222 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3285/stat : 3285 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 416640540 11084144640 20981 33554432000 4194304 4196468 140728014577952 140619309638384 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3286] ppid=3222 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3286/stat : 3286 (java) S 3222 3225 436 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 416640543 11084144640 20981 33554432000 4194304 4196468 140728014577952 140619002238928 140620460017563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3287] ppid=3222 vsize=10824360 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/3225/task/3287/stat : 3287 (java) R 3222 3225 436 0 -1 4202560 1078 13017 0 0 16 0 5 3 20 0 15 0 416640543 11084144640 20981 33554432000 4194304 4196468 140728014577952 140619985557088 140620443385678 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3288] ppid=3222 vsize=10824360 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/3225/task/3288/stat : 3288 (java) S 3222 3225 436 0 -1 1077944384 556 13017 0 0 12 0 5 3 20 0 15 0 416640543 11084144640 20981 33554432000 4194304 4196468 140728014577952 140619984518000 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3289] ppid=3222 vsize=10824360 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/3225/task/3289/stat : 3289 (java) R 3222 3225 436 0 -1 4202560 877 13017 0 0 17 0 5 3 20 0 15 0 416640543 11084144640 20981 33554432000 4194304 4196468 140728014577952 140619983464944 140620438664909 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3290] ppid=3222 vsize=10824360 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3290/stat : 3290 (java) S 3222 3225 436 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 416640543 11084144640 20981 33554432000 4194304 4196468 140728014577952 140618968681312 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3291] ppid=3222 vsize=10824360 memory=3632 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3291/stat : 3291 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 416640543 11084144640 20981 33554432000 4194304 4196468 140728014577952 140619982412336 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824360 KiB
Current children cumulated memory: 83924 KiB
[startup+1.50087 s]
/proc/loadavg: 1.21 1.27 1.32 5/227 3291
/proc/meminfo: memFree=30852580/32770624 swapFree=66995208/67108860
[pid=3225] ppid=3222 vsize=10832628 memory=207928 CPUtime=3.13 cores=1,3,5,7
/proc/3225/stat : 3225 (java) S 3222 3225 436 0 -1 1077944320 24691 13017 0 0 296 9 5 3 20 0 15 0 416640528 11092611072 51982 33554432000 4194304 4196468 140728014577952 140728014560496 140620459998967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
/proc/3225/statm: 2708157 51982 3581 1 0 2670221 0
[pid=3225/tid=3278] ppid=3222 vsize=10832628 memory=119 CPUtime=1.43 cores=1,3,5,7
/proc/3225/task/3278/stat : 3278 (java) R 3222 3225 436 0 -1 4202560 15169 13017 0 0 130 5 5 3 20 0 15 0 416640537 11092611072 51982 33554432000 4194304 4196468 140728014577952 140620431831040 140620460020893 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3279] ppid=3222 vsize=10832628 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/3225/task/3279/stat : 3279 (java) S 3222 3225 436 0 -1 1077944384 61 13017 0 0 2 0 5 3 20 0 15 0 416640538 11092611072 51982 33554432000 4194304 4196468 140728014577952 140620464241680 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3280] ppid=3222 vsize=10832628 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3225/task/3280/stat : 3280 (java) S 3222 3225 436 0 -1 1077944384 231 13017 0 0 1 0 5 3 20 0 15 0 416640538 11092611072 51982 33554432000 4194304 4196468 140728014577952 140620385201296 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3281] ppid=3222 vsize=10832628 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3225/task/3281/stat : 3281 (java) S 3222 3225 436 0 -1 1077944384 36 13017 0 0 1 0 5 3 20 0 15 0 416640538 11092611072 51982 33554432000 4194304 4196468 140728014577952 140620031929104 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3282] ppid=3222 vsize=10832628 memory=3632 CPUtime=0.09 cores=1,3,5,7
/proc/3225/task/3282/stat : 3282 (java) S 3222 3225 436 0 -1 1077944384 55 13017 0 0 1 0 5 3 20 0 15 0 416640538 11092611072 51982 33554432000 4194304 4196468 140728014577952 140620030876560 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3283] ppid=3222 vsize=10832628 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3225/task/3283/stat : 3283 (java) S 3222 3225 436 0 -1 1077944384 988 13017 0 0 1 0 5 3 20 0 15 0 416640539 11092611072 51982 33554432000 4194304 4196468 140728014577952 140619986622704 140620460010114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3284] ppid=3222 vsize=10832628 memory=140220012079788 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3284/stat : 3284 (java) S 3222 3225 436 0 -1 1077944384 13 13017 0 0 0 0 5 3 20 0 15 0 416640540 11092611072 51982 33554432000 4194304 4196468 140728014577952 140619913618656 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3285] ppid=3222 vsize=10832628 memory=1564 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3285/stat : 3285 (java) S 3222 3225 436 0 -1 1077944384 2 13017 0 0 0 0 5 3 20 0 15 0 416640540 11092611072 51982 33554432000 4194304 4196468 140728014577952 140619309638400 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3286] ppid=3222 vsize=10832628 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3286/stat : 3286 (java) S 3222 3225 436 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 416640543 11092611072 51982 33554432000 4194304 4196468 140728014577952 140619002238928 140620460017563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3287] ppid=3222 vsize=10832628 memory=6943526294502006880 CPUtime=0.67 cores=1,3,5,7
/proc/3225/task/3287/stat : 3287 (java) S 3222 3225 436 0 -1 1077944384 2232 13017 0 0 59 0 5 3 20 0 15 0 416640543 11092611072 51982 33554432000 4194304 4196468 140728014577952 140619985570544 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3288] ppid=3222 vsize=10832628 memory=6944656592455359580 CPUtime=0.61 cores=1,3,5,7
/proc/3225/task/3288/stat : 3288 (java) S 3222 3225 436 0 -1 1077944384 1967 13017 0 0 53 0 5 3 20 0 15 0 416640543 11092611072 51982 33554432000 4194304 4196468 140728014577952 140619984518000 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3289] ppid=3222 vsize=10832628 memory=-8609291887143394677 CPUtime=0.52 cores=1,3,5,7
/proc/3225/task/3289/stat : 3289 (java) S 3222 3225 436 0 -1 1077944384 1725 13017 0 0 43 1 5 3 20 0 15 0 416640543 11092611072 51982 33554432000 4194304 4196468 140728014577952 140619983464944 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3290] ppid=3222 vsize=10832628 memory=8112282956445269571 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3290/stat : 3290 (java) S 3222 3225 436 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 416640543 11092611072 51982 33554432000 4194304 4196468 140728014577952 140618968681312 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3291] ppid=3222 vsize=10832628 memory=5859271421084259688 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3291/stat : 3291 (java) S 3222 3225 436 0 -1 1077944384 1 13017 0 0 0 0 5 3 20 0 15 0 416640543 11092611072 51982 33554432000 4194304 4196468 140728014577952 140619982412336 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
Current children cumulated CPU time: 3.13 s
Current children cumulated vsize: 10832628 KiB
################
# More data... #
################
/proc/3225/task/3278/stat : 3278 (java) R 3222 3225 436 0 -1 4202560 154497 13017 0 0 224863 36 5 3 20 0 15 0 416640537 11107311616 467028 33554432000 4194304 4196468 140728014577952 140620431834800 140620077721971 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3279] ppid=3222 vsize=10846984 memory=1869652 CPUtime=11.04 cores=1,3,5,7
/proc/3225/task/3279/stat : 3279 (java) S 3222 3225 436 0 -1 1077944384 31352 13017 0 0 1064 32 5 3 20 0 15 0 416640538 11107311616 467028 33554432000 4194304 4196468 140728014577952 140620464241680 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3280] ppid=3222 vsize=10846984 memory=1869136 CPUtime=10.99 cores=1,3,5,7
/proc/3225/task/3280/stat : 3280 (java) S 3222 3225 436 0 -1 1077944384 29371 13017 0 0 1062 29 5 3 20 0 15 0 416640538 11107311616 467028 33554432000 4194304 4196468 140728014577952 140620385201296 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3281] ppid=3222 vsize=10846984 memory=1868624 CPUtime=11.08 cores=1,3,5,7
/proc/3225/task/3281/stat : 3281 (java) S 3222 3225 436 0 -1 1077944384 26464 13017 0 0 1068 32 5 3 20 0 15 0 416640538 11107311616 467028 33554432000 4194304 4196468 140728014577952 140620031929104 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3282] ppid=3222 vsize=10846984 memory=3632 CPUtime=11.04 cores=1,3,5,7
/proc/3225/task/3282/stat : 3282 (java) S 3222 3225 436 0 -1 1077944384 31665 13017 0 0 1065 31 5 3 20 0 15 0 416640538 11107311616 467028 33554432000 4194304 4196468 140728014577952 140620030876560 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3283] ppid=3222 vsize=10846984 memory=1869652 CPUtime=1.7 cores=1,3,5,7
/proc/3225/task/3283/stat : 3283 (java) S 3222 3225 436 0 -1 1077944384 19129 13017 0 0 146 16 5 3 20 0 15 0 416640539 11107311616 467028 33554432000 4194304 4196468 140728014577952 140619986622704 140620460010114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3284] ppid=3222 vsize=10846984 memory=3632 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3284/stat : 3284 (java) S 3222 3225 436 0 -1 1077944384 19 13017 0 0 0 0 5 3 20 0 15 0 416640540 11107311616 467028 33554432000 4194304 4196468 140728014577952 140619913618720 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3285] ppid=3222 vsize=10846984 memory=1868624 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3285/stat : 3285 (java) S 3222 3225 436 0 -1 1077944384 9 13017 0 0 0 0 5 3 20 0 15 0 416640540 11107311616 467028 33554432000 4194304 4196468 140728014577952 140619309638400 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3286] ppid=3222 vsize=10846984 memory=1868624 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3286/stat : 3286 (java) S 3222 3225 436 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 416640543 11107311616 467028 33554432000 4194304 4196468 140728014577952 140619002238928 140620460017563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3287] ppid=3222 vsize=10846984 memory=3632 CPUtime=6.85 cores=1,3,5,7
/proc/3225/task/3287/stat : 3287 (java) S 3222 3225 436 0 -1 1077944384 34578 13017 0 0 672 5 5 3 20 0 15 0 416640543 11107311616 467028 33554432000 4194304 4196468 140728014577952 140619985570544 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3288] ppid=3222 vsize=10846984 memory=20992 CPUtime=6.68 cores=1,3,5,7
/proc/3225/task/3288/stat : 3288 (java) S 3222 3225 436 0 -1 1077944384 34963 13017 0 0 655 5 5 3 20 0 15 0 416640543 11107311616 467028 33554432000 4194304 4196468 140728014577952 140619984518000 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3289] ppid=3222 vsize=10846984 memory=100 CPUtime=2.61 cores=1,3,5,7
/proc/3225/task/3289/stat : 3289 (java) S 3222 3225 436 0 -1 1077944384 17208 13017 0 0 246 7 5 3 20 0 15 0 416640543 11107311616 467028 33554432000 4194304 4196468 140728014577952 140619983464944 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3290] ppid=3222 vsize=10846984 memory=280440024499424 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3290/stat : 3290 (java) S 3222 3225 436 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 416640543 11107311616 467028 33554432000 4194304 4196468 140728014577952 140618968681312 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3291] ppid=3222 vsize=10846984 memory=1804 CPUtime=1.27 cores=1,3,5,7
/proc/3225/task/3291/stat : 3291 (java) S 3222 3225 436 0 -1 1077944384 1597 13017 0 0 56 63 5 3 20 0 15 0 416640543 11107311616 467028 33554432000 4194304 4196468 140728014577952 140619982412336 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 1 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
Current children cumulated CPU time: 2311.73 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1868112 KiB
[startup+2322.3 s]
/proc/loadavg: 1.47 1.39 1.40 3/227 3656
/proc/meminfo: memFree=28871732/32770624 swapFree=66995248/67108860
[pid=3225] ppid=3222 vsize=10846984 memory=1855288 CPUtime=2372.92 cores=1,3,5,7
/proc/3225/stat : 3225 (java) S 3222 3225 436 0 -1 1077944320 385601 13017 0 0 237036 248 5 3 20 0 15 0 416640528 11107311616 463822 33554432000 4194304 4196468 140728014577952 140728014560496 140620459998967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
/proc/3225/statm: 2711746 463822 3636 1 0 2673805 0
[pid=3225/tid=3278] ppid=3222 vsize=10846984 memory=1855288 CPUtime=2308.61 cores=1,3,5,7
/proc/3225/task/3278/stat : 3278 (java) R 3222 3225 436 0 -1 4202560 155303 13017 0 0 230816 37 5 3 20 0 15 0 416640537 11107311616 463822 33554432000 4194304 4196468 140728014577952 140620431834528 140620072101760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3279] ppid=3222 vsize=10846984 memory=1855288 CPUtime=11.42 cores=1,3,5,7
/proc/3225/task/3279/stat : 3279 (java) S 3222 3225 436 0 -1 1077944384 31519 13017 0 0 1102 32 5 3 20 0 15 0 416640538 11107311616 463822 33554432000 4194304 4196468 140728014577952 140620464241680 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3280] ppid=3222 vsize=10846984 memory=1855288 CPUtime=11.38 cores=1,3,5,7
/proc/3225/task/3280/stat : 3280 (java) S 3222 3225 436 0 -1 1077944384 29591 13017 0 0 1101 29 5 3 20 0 15 0 416640538 11107311616 463822 33554432000 4194304 4196468 140728014577952 140620385201296 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3281] ppid=3222 vsize=10846984 memory=1855288 CPUtime=11.48 cores=1,3,5,7
/proc/3225/task/3281/stat : 3281 (java) S 3222 3225 436 0 -1 1077944384 27047 13017 0 0 1108 32 5 3 20 0 15 0 416640538 11107311616 463822 33554432000 4194304 4196468 140728014577952 140620031929104 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3282] ppid=3222 vsize=10846984 memory=1855288 CPUtime=11.44 cores=1,3,5,7
/proc/3225/task/3282/stat : 3282 (java) S 3222 3225 436 0 -1 1077944384 32055 13017 0 0 1105 31 5 3 20 0 15 0 416640538 11107311616 463822 33554432000 4194304 4196468 140728014577952 140620030876560 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3283] ppid=3222 vsize=10846984 memory=1855288 CPUtime=1.76 cores=1,3,5,7
/proc/3225/task/3283/stat : 3283 (java) S 3222 3225 436 0 -1 1077944384 19468 13017 0 0 151 17 5 3 20 0 15 0 416640539 11107311616 463822 33554432000 4194304 4196468 140728014577952 140619986622704 140620460010114 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3284] ppid=3222 vsize=10846984 memory=6560 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3284/stat : 3284 (java) S 3222 3225 436 0 -1 1077944384 19 13017 0 0 0 0 5 3 20 0 15 0 416640540 11107311616 463822 33554432000 4194304 4196468 140728014577952 140619913618720 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3285] ppid=3222 vsize=10846984 memory=1855288 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3285/stat : 3285 (java) S 3222 3225 436 0 -1 1077944384 9 13017 0 0 0 0 5 3 20 0 15 0 416640540 11107311616 463822 33554432000 4194304 4196468 140728014577952 140619309638400 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3286] ppid=3222 vsize=10846984 memory=2608 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3286/stat : 3286 (java) S 3222 3225 436 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 416640543 11107311616 463822 33554432000 4194304 4196468 140728014577952 140619002238928 140620460017563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3287] ppid=3222 vsize=10846984 memory=1855288 CPUtime=6.85 cores=1,3,5,7
/proc/3225/task/3287/stat : 3287 (java) S 3222 3225 436 0 -1 1077944384 34583 13017 0 0 672 5 5 3 20 0 15 0 416640543 11107311616 463822 33554432000 4194304 4196468 140728014577952 140619985570544 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3288] ppid=3222 vsize=10846984 memory=3632 CPUtime=6.68 cores=1,3,5,7
/proc/3225/task/3288/stat : 3288 (java) S 3222 3225 436 0 -1 1077944384 34967 13017 0 0 655 5 5 3 20 0 15 0 416640543 11107311616 463822 33554432000 4194304 4196468 140728014577952 140619984518000 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3289] ppid=3222 vsize=10846984 memory=3632 CPUtime=2.61 cores=1,3,5,7
/proc/3225/task/3289/stat : 3289 (java) S 3222 3225 436 0 -1 1077944384 17212 13017 0 0 246 7 5 3 20 0 15 0 416640543 11107311616 463822 33554432000 4194304 4196468 140728014577952 140619983464944 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3290] ppid=3222 vsize=10846984 memory=3440 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3290/stat : 3290 (java) S 3222 3225 436 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 416640543 11107311616 463822 33554432000 4194304 4196468 140728014577952 140618968681312 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3291] ppid=3222 vsize=10846984 memory=2832 CPUtime=1.31 cores=1,3,5,7
/proc/3225/task/3291/stat : 3291 (java) S 3222 3225 436 0 -1 1077944384 1617 13017 0 0 58 65 5 3 20 0 15 0 416640543 11107311616 463822 33554432000 4194304 4196468 140728014577952 140619982412336 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 1 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
Current children cumulated CPU time: 2372.92 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1855288 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2348.9 s]
/proc/loadavg: 1.35 1.37 1.40 3/227 3659
/proc/meminfo: memFree=28876196/32770624 swapFree=66995248/67108860
[pid=3225] ppid=3222 vsize=10846984 memory=1848104 CPUtime=2400.06 cores=1,3,5,7
/proc/3225/stat : 3225 (java) S 3222 3225 436 0 -1 1077944320 386778 13017 0 0 239747 251 5 3 20 0 15 0 416640528 11107311616 462026 33554432000 4194304 4196468 140728014577952 140728014560496 140620459998967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
/proc/3225/statm: 2711746 462026 3636 1 0 2673805 0
[pid=3225/tid=3278] ppid=3222 vsize=10846984 memory=1849132 CPUtime=2334.99 cores=1,3,5,7
/proc/3225/task/3278/stat : 3278 (java) R 3222 3225 436 0 -1 4202560 155680 13017 0 0 233454 37 5 3 20 0 15 0 416640537 11107311616 462026 33554432000 4194304 4196468 140728014577952 140620431834592 140620078250188 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3279] ppid=3222 vsize=10846984 memory=1850156 CPUtime=11.6 cores=1,3,5,7
/proc/3225/task/3279/stat : 3279 (java) S 3222 3225 436 0 -1 1077944384 31789 13017 0 0 1120 32 5 3 20 0 15 0 416640538 11107311616 462026 33554432000 4194304 4196468 140728014577952 140620464241680 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3280] ppid=3222 vsize=10846984 memory=1850156 CPUtime=11.57 cores=1,3,5,7
/proc/3225/task/3280/stat : 3280 (java) S 3222 3225 436 0 -1 1077944384 29714 13017 0 0 1119 30 5 3 20 0 15 0 416640538 11107311616 462026 33554432000 4194304 4196468 140728014577952 140620385201296 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3281] ppid=3222 vsize=10846984 memory=1855288 CPUtime=11.65 cores=1,3,5,7
/proc/3225/task/3281/stat : 3281 (java) S 3222 3225 436 0 -1 1077944384 27211 13017 0 0 1125 32 5 3 20 0 15 0 416640538 11107311616 462026 33554432000 4194304 4196468 140728014577952 140620031929104 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3282] ppid=3222 vsize=10846984 memory=1850668 CPUtime=11.62 cores=1,3,5,7
/proc/3225/task/3282/stat : 3282 (java) S 3222 3225 436 0 -1 1077944384 32228 13017 0 0 1122 32 5 3 20 0 15 0 416640538 11107311616 462026 33554432000 4194304 4196468 140728014577952 140620030876560 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3283] ppid=3222 vsize=10846984 memory=1852208 CPUtime=1.78 cores=1,3,5,7
/proc/3225/task/3283/stat : 3283 (java) S 3222 3225 436 0 -1 1077944384 19524 13017 0 0 153 17 5 3 20 0 15 0 416640539 11107311616 462026 33554432000 4194304 4196468 140728014577952 140619986622704 140620460010114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3284] ppid=3222 vsize=10846984 memory=1855288 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3284/stat : 3284 (java) S 3222 3225 436 0 -1 1077944384 19 13017 0 0 0 0 5 3 20 0 15 0 416640540 11107311616 462026 33554432000 4194304 4196468 140728014577952 140619913618720 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3285] ppid=3222 vsize=10846984 memory=1855288 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3285/stat : 3285 (java) S 3222 3225 436 0 -1 1077944384 9 13017 0 0 0 0 5 3 20 0 15 0 416640540 11107311616 462026 33554432000 4194304 4196468 140728014577952 140619309638400 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3286] ppid=3222 vsize=10846984 memory=1848104 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3286/stat : 3286 (java) S 3222 3225 436 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 416640543 11107311616 462026 33554432000 4194304 4196468 140728014577952 140619002238928 140620460017563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3287] ppid=3222 vsize=10846984 memory=1848104 CPUtime=6.85 cores=1,3,5,7
/proc/3225/task/3287/stat : 3287 (java) S 3222 3225 436 0 -1 1077944384 34583 13017 0 0 672 5 5 3 20 0 15 0 416640543 11107311616 462026 33554432000 4194304 4196468 140728014577952 140619985570544 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3288] ppid=3222 vsize=10846984 memory=1848104 CPUtime=6.68 cores=1,3,5,7
/proc/3225/task/3288/stat : 3288 (java) S 3222 3225 436 0 -1 1077944384 34967 13017 0 0 655 5 5 3 20 0 15 0 416640543 11107311616 462026 33554432000 4194304 4196468 140728014577952 140619984518000 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3289] ppid=3222 vsize=10846984 memory=1849132 CPUtime=2.61 cores=1,3,5,7
/proc/3225/task/3289/stat : 3289 (java) S 3222 3225 436 0 -1 1077944384 17212 13017 0 0 246 7 5 3 20 0 15 0 416640543 11107311616 462026 33554432000 4194304 4196468 140728014577952 140619983464944 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3290] ppid=3222 vsize=10846984 memory=1849132 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3290/stat : 3290 (java) S 3222 3225 436 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 416640543 11107311616 462026 33554432000 4194304 4196468 140728014577952 140618968681312 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3291] ppid=3222 vsize=10846984 memory=4096 CPUtime=1.32 cores=1,3,5,7
/proc/3225/task/3291/stat : 3291 (java) S 3222 3225 436 0 -1 1077944384 1631 13017 0 0 58 66 5 3 20 0 15 0 416640543 11107311616 462026 33554432000 4194304 4196468 140728014577952 140619982412336 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1848104 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2348.94 s]
# the end of solver process 3225 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2397.55 s, system=2.55445 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2348.9 s]
/proc/loadavg: 1.35 1.37 1.40 3/227 3659
/proc/meminfo: memFree=28876196/32770624 swapFree=66995248/67108860
[pid=3225] ppid=3222 vsize=10846984 memory=1848104 CPUtime=2400.06 cores=1,3,5,7
/proc/3225/stat : 3225 (java) S 3222 3225 436 0 -1 1077944320 386778 13017 0 0 239747 251 5 3 20 0 15 0 416640528 11107311616 462026 33554432000 4194304 4196468 140728014577952 140728014560496 140620459998967 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
/proc/3225/statm: 2711746 462026 3636 1 0 2673805 0
[pid=3225/tid=3278] ppid=3222 vsize=10846984 memory=1849132 CPUtime=2334.99 cores=1,3,5,7
/proc/3225/task/3278/stat : 3278 (java) R 3222 3225 436 0 -1 4202560 155680 13017 0 0 233454 37 5 3 20 0 15 0 416640537 11107311616 462026 33554432000 4194304 4196468 140728014577952 140620431834592 140620078250188 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3279] ppid=3222 vsize=10846984 memory=1850156 CPUtime=11.6 cores=1,3,5,7
/proc/3225/task/3279/stat : 3279 (java) S 3222 3225 436 0 -1 1077944384 31789 13017 0 0 1120 32 5 3 20 0 15 0 416640538 11107311616 462026 33554432000 4194304 4196468 140728014577952 140620464241680 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3280] ppid=3222 vsize=10846984 memory=1850156 CPUtime=11.57 cores=1,3,5,7
/proc/3225/task/3280/stat : 3280 (java) S 3222 3225 436 0 -1 1077944384 29714 13017 0 0 1119 30 5 3 20 0 15 0 416640538 11107311616 462026 33554432000 4194304 4196468 140728014577952 140620385201296 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3281] ppid=3222 vsize=10846984 memory=1855288 CPUtime=11.65 cores=1,3,5,7
/proc/3225/task/3281/stat : 3281 (java) S 3222 3225 436 0 -1 1077944384 27211 13017 0 0 1125 32 5 3 20 0 15 0 416640538 11107311616 462026 33554432000 4194304 4196468 140728014577952 140620031929104 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3282] ppid=3222 vsize=10846984 memory=1850668 CPUtime=11.62 cores=1,3,5,7
/proc/3225/task/3282/stat : 3282 (java) S 3222 3225 436 0 -1 1077944384 32228 13017 0 0 1122 32 5 3 20 0 15 0 416640538 11107311616 462026 33554432000 4194304 4196468 140728014577952 140620030876560 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3283] ppid=3222 vsize=10846984 memory=1852208 CPUtime=1.78 cores=1,3,5,7
/proc/3225/task/3283/stat : 3283 (java) S 3222 3225 436 0 -1 1077944384 19524 13017 0 0 153 17 5 3 20 0 15 0 416640539 11107311616 462026 33554432000 4194304 4196468 140728014577952 140619986622704 140620460010114 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3284] ppid=3222 vsize=10846984 memory=1855288 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3284/stat : 3284 (java) S 3222 3225 436 0 -1 1077944384 19 13017 0 0 0 0 5 3 20 0 15 0 416640540 11107311616 462026 33554432000 4194304 4196468 140728014577952 140619913618720 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3285] ppid=3222 vsize=10846984 memory=1855288 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3285/stat : 3285 (java) S 3222 3225 436 0 -1 1077944384 9 13017 0 0 0 0 5 3 20 0 15 0 416640540 11107311616 462026 33554432000 4194304 4196468 140728014577952 140619309638400 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3286] ppid=3222 vsize=10846984 memory=1848104 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3286/stat : 3286 (java) S 3222 3225 436 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 416640543 11107311616 462026 33554432000 4194304 4196468 140728014577952 140619002238928 140620460017563 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3287] ppid=3222 vsize=10846984 memory=1848104 CPUtime=6.85 cores=1,3,5,7
/proc/3225/task/3287/stat : 3287 (java) S 3222 3225 436 0 -1 1077944384 34583 13017 0 0 672 5 5 3 20 0 15 0 416640543 11107311616 462026 33554432000 4194304 4196468 140728014577952 140619985570544 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3288] ppid=3222 vsize=10846984 memory=1848104 CPUtime=6.68 cores=1,3,5,7
/proc/3225/task/3288/stat : 3288 (java) S 3222 3225 436 0 -1 1077944384 34967 13017 0 0 655 5 5 3 20 0 15 0 416640543 11107311616 462026 33554432000 4194304 4196468 140728014577952 140619984518000 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3289] ppid=3222 vsize=10846984 memory=1849132 CPUtime=2.61 cores=1,3,5,7
/proc/3225/task/3289/stat : 3289 (java) S 3222 3225 436 0 -1 1077944384 17212 13017 0 0 246 7 5 3 20 0 15 0 416640543 11107311616 462026 33554432000 4194304 4196468 140728014577952 140619983464944 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3290] ppid=3222 vsize=10846984 memory=1849132 CPUtime=0.08 cores=1,3,5,7
/proc/3225/task/3290/stat : 3290 (java) S 3222 3225 436 0 -1 1077944384 3 13017 0 0 0 0 5 3 20 0 15 0 416640543 11107311616 462026 33554432000 4194304 4196468 140728014577952 140618968681312 140620460009173 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
[pid=3225/tid=3291] ppid=3222 vsize=10846984 memory=4096 CPUtime=1.32 cores=1,3,5,7
/proc/3225/task/3291/stat : 3291 (java) S 3222 3225 436 0 -1 1077944384 1631 13017 0 0 58 66 5 3 20 0 15 0 416640543 11107311616 462026 33554432000 4194304 4196468 140728014577952 140619982412336 140620460010114 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 1 0 0 6293624 6294260 7237632 140728014584559 140728014587077 140728014587077 140728014589903 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 10846984 KiB
Current children cumulated memory: 1848104 KiB
Child status: 143
Real time (s): 2348.94
CPU time (s): 2400.1
CPU user time (s): 2397.55
CPU system time (s): 2.55445
CPU usage (%): 102.178
Max. virtual memory (cumulated for all children) (KiB): 10849768
Max. memory (cumulated for all children) (KiB): 2123724
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2397.55
system time used= 2.55445
maximum resident set size= 2123868
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400944
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85741
involuntary context switches= 3355
# summary of solver processes directly reported to runsolver:
# pid: 3225
# total CPU time (s): 2400.1
# total CPU user time (s): 2397.55
# total CPU system time (s): 2.55445
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.279 second user time and 21.979 second system time
The end