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 (3912 MiB free)
memory of node 1: 16384 MiB (5561 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402875-1568982125/watcher-4402875-1568982125 -o /var/tmp/evaluation-result-4402875-1568982125/solver-4402875-1568982125 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node117-1568967595-31373 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=2047248357 HOME/instance-4402875-1568982125.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=3484, runsolver pid=3481
[startup+0.100116 s]*
/proc/loadavg: 1.29 1.37 1.34 3/219 3541
/proc/meminfo: memFree=9694968/32770624 swapFree=66972176/67108860
[pid=3484] ppid=3481 vsize=9972712 memory=18328 CPUtime=0.08 cores=1,3,5,7
/proc/3484/stat : 3484 (java) S 3481 3484 31341 0 -1 1077944320 4336 13290 0 0 1 0 4 3 20 0 6 0 474154345 10212057088 4582 33554432000 4194304 4196468 140735997463520 140735997446064 139925988515575 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
/proc/3484/statm: 2493178 4582 1930 1 0 2481616 0
[pid=3484/tid=3537] ppid=3481 vsize=9972712 memory=-8171376296011865461 CPUtime=0.08 cores=1,3,5,7
/proc/3484/task/3537/stat : 3537 (java) R 3481 3484 31341 0 -1 4202560 2141 13290 0 0 1 0 4 3 20 0 6 0 474154354 10212057088 4582 33554432000 4194304 4196468 140735997463520 139925960352336 139925988537501 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3538] ppid=3481 vsize=9972712 memory=5792869726567804975 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3538/stat : 3538 (java) S 3481 3484 31341 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 6 0 474154355 10212057088 4582 33554432000 4194304 4196468 140735997463520 139925992757904 139925988525781 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3539] ppid=3481 vsize=9972712 memory=140160517670528 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3539/stat : 3539 (java) S 3481 3484 31341 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 6 0 474154355 10212057088 4648 33554432000 4194304 4196468 140735997463520 139925881031184 139925988525781 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3540] ppid=3481 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3540/stat : 3540 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 6 0 474154355 10212057088 4648 33554432000 4194304 4196468 140735997463520 139925879978384 139925988525781 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3541] ppid=3481 vsize=9972712 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3541/stat : 3541 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 6 0 474154355 10212057088 4648 33554432000 4194304 4196468 140735997463520 139925878925584 139925988525781 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18328 KiB
[startup+0.210207 s]*
/proc/loadavg: 1.29 1.37 1.34 3/228 3550
/proc/meminfo: memFree=9671672/32770624 swapFree=66972176/67108860
[pid=3484] ppid=3481 vsize=10820164 memory=45292 CPUtime=0.26 cores=1,3,5,7
/proc/3484/stat : 3484 (java) S 3481 3484 31341 0 -1 1077944320 7216 13290 0 0 18 1 4 3 20 0 15 0 474154345 11079847936 11323 33554432000 4194304 4196468 140735997463520 140735997446064 139925988515575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
/proc/3484/statm: 2705041 11323 3293 1 0 2667149 0
[pid=3484/tid=3537] ppid=3481 vsize=10820196 memory=-8171376296011865461 CPUtime=0.18 cores=1,3,5,7
/proc/3484/task/3537/stat : 3537 (java) R 3481 3484 31341 0 -1 4202560 3735 13290 0 0 11 0 4 3 20 0 15 0 474154354 11079880704 11323 33554432000 4194304 4196468 140735997463520 139925960326608 139925988537501 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3538] ppid=3481 vsize=10820196 memory=5792869726567804975 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3538/stat : 3538 (java) S 3481 3484 31341 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 474154355 11079880704 11323 33554432000 4194304 4196468 140735997463520 139925992757904 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3539] ppid=3481 vsize=10820196 memory=140160517670528 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3539/stat : 3539 (java) S 3481 3484 31341 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 474154355 11079880704 11323 33554432000 4194304 4196468 140735997463520 139925881031184 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3540] ppid=3481 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3540/stat : 3540 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154355 11079880704 11323 33554432000 4194304 4196468 140735997463520 139925879978384 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3541] ppid=3481 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3541/stat : 3541 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154355 11079880704 11323 33554432000 4194304 4196468 140735997463520 139925878925584 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3542] ppid=3481 vsize=10820196 memory=140160517670528 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3542/stat : 3542 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154356 11079880704 11323 33554432000 4194304 4196468 140735997463520 139925446916976 139925988526722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3543] ppid=3481 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3543/stat : 3543 (java) S 3481 3484 31341 0 -1 1077944384 33 13290 0 0 0 0 4 3 20 0 15 0 474154357 11079880704 11323 33554432000 4194304 4196468 140735997463520 139925445862944 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3544] ppid=3481 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3544/stat : 3544 (java) S 3481 3484 31341 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 474154357 11079880704 11323 33554432000 4194304 4196468 140735997463520 139925336876400 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3545] ppid=3481 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3545/stat : 3545 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154359 11079880704 11323 33554432000 4194304 4196468 140735997463520 139924732897616 139925988534171 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3546] ppid=3481 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3484/task/3546/stat : 3546 (java) S 3481 3484 31341 0 -1 1077944384 480 13290 0 0 1 0 4 3 20 0 15 0 474154359 11079880704 11323 33554432000 4194304 4196468 140735997463520 139925412305264 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3547] ppid=3481 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3484/task/3547/stat : 3547 (java) R 3481 3484 31341 0 -1 4202560 173 13290 0 0 1 0 4 3 20 0 15 0 474154359 11079880704 11323 33554432000 4194304 4196468 140735997463520 139925411252464 139925971926447 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3548] ppid=3481 vsize=10820196 memory=140160517670528 CPUtime=0.1 cores=1,3,5,7
/proc/3484/task/3548/stat : 3548 (java) R 3481 3484 31341 0 -1 1077944384 596 13290 0 0 3 0 4 3 20 0 15 0 474154360 11079880704 11323 33554432000 4194304 4196468 140735997463520 139925410199664 139925988526722 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3549] ppid=3481 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3549/stat : 3549 (java) S 3481 3484 31341 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 474154360 11079880704 11323 33554432000 4194304 4196468 140735997463520 139924263135456 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3550] ppid=3481 vsize=10820196 memory=140160517670528 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3550/stat : 3550 (java) S 3481 3484 31341 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 474154360 11079880704 11323 33554432000 4194304 4196468 140735997463520 139925409148080 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820164 KiB
Current children cumulated memory: 45292 KiB
[startup+0.31062 s]*
/proc/loadavg: 1.29 1.37 1.34 3/228 3550
/proc/meminfo: memFree=9659700/32770624 swapFree=66972176/67108860
[pid=3484] ppid=3481 vsize=10820196 memory=53484 CPUtime=0.39 cores=1,3,5,7
/proc/3484/stat : 3484 (java) S 3481 3484 31341 0 -1 1077944320 10227 13290 0 0 30 2 4 3 20 0 15 0 474154345 11079880704 13371 33554432000 4194304 4196468 140735997463520 140735997446064 139925988515575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
/proc/3484/statm: 2705049 13371 3317 1 0 2667149 0
[pid=3484/tid=3537] ppid=3481 vsize=10820196 memory=6935054825532540783 CPUtime=0.28 cores=1,3,5,7
/proc/3484/task/3537/stat : 3537 (java) R 3481 3484 31341 0 -1 4202560 6712 13290 0 0 20 1 4 3 20 0 15 0 474154354 11079880704 13436 33554432000 4194304 4196468 140735997463520 139925960325824 139925974704190 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3538] ppid=3481 vsize=10820196 memory=-2843876188093007006 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3538/stat : 3538 (java) S 3481 3484 31341 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 474154355 11079880704 13436 33554432000 4194304 4196468 140735997463520 139925992757904 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3539] ppid=3481 vsize=10820196 memory=-8412656567334364540 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3539/stat : 3539 (java) S 3481 3484 31341 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 474154355 11079880704 13436 33554432000 4194304 4196468 140735997463520 139925881031184 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3540] ppid=3481 vsize=10820196 memory=4872558044660077418 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3540/stat : 3540 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154355 11079880704 13436 33554432000 4194304 4196468 140735997463520 139925879978384 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3541] ppid=3481 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3541/stat : 3541 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154355 11079880704 13436 33554432000 4194304 4196468 140735997463520 139925878925584 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3542] ppid=3481 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3542/stat : 3542 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154356 11079880704 13436 33554432000 4194304 4196468 140735997463520 139925446916976 139925988526722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3543] ppid=3481 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3543/stat : 3543 (java) S 3481 3484 31341 0 -1 1077944384 33 13290 0 0 0 0 4 3 20 0 15 0 474154357 11079880704 13436 33554432000 4194304 4196468 140735997463520 139925445862944 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3544] ppid=3481 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3544/stat : 3544 (java) S 3481 3484 31341 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 474154357 11079880704 13436 33554432000 4194304 4196468 140735997463520 139925336876400 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3545] ppid=3481 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3545/stat : 3545 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154359 11079880704 13436 33554432000 4194304 4196468 140735997463520 139924732897616 139925988534171 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3546] ppid=3481 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3484/task/3546/stat : 3546 (java) S 3481 3484 31341 0 -1 1077944384 480 13290 0 0 2 0 4 3 20 0 15 0 474154359 11079880704 13436 33554432000 4194304 4196468 140735997463520 139925412305264 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3547] ppid=3481 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3484/task/3547/stat : 3547 (java) S 3481 3484 31341 0 -1 1077944384 183 13290 0 0 2 0 4 3 20 0 15 0 474154359 11079880704 13436 33554432000 4194304 4196468 140735997463520 139925411252464 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3548] ppid=3481 vsize=10820196 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/3484/task/3548/stat : 3548 (java) S 3481 3484 31341 0 -1 1077944384 604 13290 0 0 5 0 4 3 20 0 15 0 474154360 11079880704 13436 33554432000 4194304 4196468 140735997463520 139925410199664 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3549] ppid=3481 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3549/stat : 3549 (java) S 3481 3484 31341 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 474154360 11079880704 13436 33554432000 4194304 4196468 140735997463520 139924263135456 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3550] ppid=3481 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3550/stat : 3550 (java) S 3481 3484 31341 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 474154360 11079880704 13436 33554432000 4194304 4196468 140735997463520 139925409148080 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 53484 KiB
[startup+0.700731 s]
/proc/loadavg: 1.29 1.37 1.34 3/228 3550
/proc/meminfo: memFree=9644936/32770624 swapFree=66972176/67108860
[pid=3484] ppid=3481 vsize=10824364 memory=85888 CPUtime=1.15 cores=1,3,5,7
/proc/3484/stat : 3484 (java) S 3481 3484 31341 0 -1 1077944320 14620 13290 0 0 103 5 4 3 20 0 15 0 474154345 11084148736 21472 33554432000 4194304 4196468 140735997463520 140735997446064 139925988515575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
/proc/3484/statm: 2706091 21472 3515 1 0 2668173 0
[pid=3484/tid=3537] ppid=3481 vsize=10824364 memory=0 CPUtime=0.66 cores=1,3,5,7
/proc/3484/task/3537/stat : 3537 (java) R 3481 3484 31341 0 -1 4202560 10027 13290 0 0 56 3 4 3 20 0 15 0 474154354 11084148736 21472 33554432000 4194304 4196468 140735997463520 139925960344776 139925972596062 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3538] ppid=3481 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3538/stat : 3538 (java) S 3481 3484 31341 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 474154355 11084148736 21472 33554432000 4194304 4196468 140735997463520 139925992757904 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3539] ppid=3481 vsize=10824364 memory=8174711894690969397 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3539/stat : 3539 (java) S 3481 3484 31341 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 474154355 11084148736 21472 33554432000 4194304 4196468 140735997463520 139925881031184 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3540] ppid=3481 vsize=10824364 memory=6225751913911177561 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3540/stat : 3540 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154355 11084148736 21472 33554432000 4194304 4196468 140735997463520 139925879978384 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3541] ppid=3481 vsize=10824364 memory=6368442160687370338 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3541/stat : 3541 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154355 11084148736 21472 33554432000 4194304 4196468 140735997463520 139925878925584 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3542] ppid=3481 vsize=10824364 memory=3053511329498284128 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3542/stat : 3542 (java) S 3481 3484 31341 0 -1 1077944384 5 13290 0 0 0 0 4 3 20 0 15 0 474154356 11084148736 21472 33554432000 4194304 4196468 140735997463520 139925446916976 139925988526722 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3543] ppid=3481 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3543/stat : 3543 (java) S 3481 3484 31341 0 -1 1077944384 33 13290 0 0 0 0 4 3 20 0 15 0 474154357 11084148736 21472 33554432000 4194304 4196468 140735997463520 139925445862944 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3544] ppid=3481 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3544/stat : 3544 (java) S 3481 3484 31341 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 474154357 11084148736 21472 33554432000 4194304 4196468 140735997463520 139925336876400 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3545] ppid=3481 vsize=10824364 memory=3612 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3545/stat : 3545 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154359 11084148736 21472 33554432000 4194304 4196468 140735997463520 139924732897616 139925988534171 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3546] ppid=3481 vsize=10824364 memory=2241 CPUtime=0.19 cores=1,3,5,7
/proc/3484/task/3546/stat : 3546 (java) R 3481 3484 31341 0 -1 4202560 927 13290 0 0 12 0 4 3 20 0 15 0 474154359 11084148736 21472 33554432000 4194304 4196468 140735997463520 139925412305264 139925970036791 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3547] ppid=3481 vsize=10824364 memory=2244 CPUtime=0.23 cores=1,3,5,7
/proc/3484/task/3547/stat : 3547 (java) S 3481 3484 31341 0 -1 1077944384 670 13290 0 0 16 0 4 3 20 0 15 0 474154359 11084148736 21472 33554432000 4194304 4196468 140735997463520 139925411252464 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3548] ppid=3481 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/3484/task/3548/stat : 3548 (java) S 3481 3484 31341 0 -1 1077944384 741 13290 0 0 17 0 4 3 20 0 15 0 474154360 11084148736 21472 33554432000 4194304 4196468 140735997463520 139925410199664 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3549] ppid=3481 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3549/stat : 3549 (java) S 3481 3484 31341 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 474154360 11084148736 21472 33554432000 4194304 4196468 140735997463520 139924263135456 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3550] ppid=3481 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3550/stat : 3550 (java) S 3481 3484 31341 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 474154360 11084148736 21472 33554432000 4194304 4196468 140735997463520 139925409148080 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 85888 KiB
[startup+1.50112 s]
/proc/loadavg: 1.29 1.37 1.34 4/228 3550
/proc/meminfo: memFree=9599552/32770624 swapFree=66972176/67108860
[pid=3484] ppid=3481 vsize=10834680 memory=171620 CPUtime=2.45 cores=1,3,5,7
/proc/3484/stat : 3484 (java) S 3481 3484 31341 0 -1 1077944320 23435 13290 0 0 228 10 4 3 20 0 15 0 474154345 11094712320 42905 33554432000 4194304 4196468 140735997463520 140735997446064 139925988515575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
/proc/3484/statm: 2708670 42905 3588 1 0 2670733 0
[pid=3484/tid=3537] ppid=3481 vsize=10834680 memory=145 CPUtime=1.43 cores=1,3,5,7
/proc/3484/task/3537/stat : 3537 (java) R 3481 3484 31341 0 -1 4202560 14913 13290 0 0 131 5 4 3 20 0 15 0 474154354 11094712320 42905 33554432000 4194304 4196468 140735997463520 139925960323664 139925988527510 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3538] ppid=3481 vsize=10834680 memory=79 CPUtime=0.08 cores=1,3,5,7
/proc/3484/task/3538/stat : 3538 (java) S 3481 3484 31341 0 -1 1077944384 23 13290 0 0 1 0 4 3 20 0 15 0 474154355 11094712320 42905 33554432000 4194304 4196468 140735997463520 139925992757904 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3539] ppid=3481 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3539/stat : 3539 (java) S 3481 3484 31341 0 -1 1077944384 90 13290 0 0 0 0 4 3 20 0 15 0 474154355 11094712320 42905 33554432000 4194304 4196468 140735997463520 139925881031184 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3540] ppid=3481 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3484/task/3540/stat : 3540 (java) S 3481 3484 31341 0 -1 1077944384 137 13290 0 0 1 0 4 3 20 0 15 0 474154355 11094712320 42905 33554432000 4194304 4196468 140735997463520 139925879978384 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3541] ppid=3481 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3484/task/3541/stat : 3541 (java) S 3481 3484 31341 0 -1 1077944384 465 13290 0 0 1 0 4 3 20 0 15 0 474154355 11094712320 42905 33554432000 4194304 4196468 140735997463520 139925878925584 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3542] ppid=3481 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3484/task/3542/stat : 3542 (java) S 3481 3484 31341 0 -1 1077944384 1952 13290 0 0 1 0 4 3 20 0 15 0 474154356 11094712320 42905 33554432000 4194304 4196468 140735997463520 139925446916976 139925988526722 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3543] ppid=3481 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3543/stat : 3543 (java) S 3481 3484 31341 0 -1 1077944384 33 13290 0 0 0 0 4 3 20 0 15 0 474154357 11094712320 42905 33554432000 4194304 4196468 140735997463520 139925445862944 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3544] ppid=3481 vsize=10834680 memory=7445382923841463907 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3544/stat : 3544 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154357 11094712320 42905 33554432000 4194304 4196468 140735997463520 139925336876416 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3545] ppid=3481 vsize=10834680 memory=-2245088631185882904 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3545/stat : 3545 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154359 11094712320 42905 33554432000 4194304 4196468 140735997463520 139924732897616 139925988534171 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3546] ppid=3481 vsize=10834680 memory=8594180453250213530 CPUtime=0.31 cores=1,3,5,7
/proc/3484/task/3546/stat : 3546 (java) S 3481 3484 31341 0 -1 1077944384 1185 13290 0 0 23 1 4 3 20 0 15 0 474154359 11094712320 42905 33554432000 4194304 4196468 140735997463520 139925412305264 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3547] ppid=3481 vsize=10834680 memory=-7158564380568238933 CPUtime=0.33 cores=1,3,5,7
/proc/3484/task/3547/stat : 3547 (java) S 3481 3484 31341 0 -1 1077944384 827 13290 0 0 26 0 4 3 20 0 15 0 474154359 11094712320 42905 33554432000 4194304 4196468 140735997463520 139925411252464 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3548] ppid=3481 vsize=10834680 memory=-1088251628401078322 CPUtime=0.47 cores=1,3,5,7
/proc/3484/task/3548/stat : 3548 (java) R 3481 3484 31341 0 -1 4202560 1598 13290 0 0 40 0 4 3 20 0 15 0 474154360 11094712320 42905 33554432000 4194304 4196468 140735997463520 139925410199664 139925972596062 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3549] ppid=3481 vsize=10834680 memory=-1807685287717842718 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3549/stat : 3549 (java) S 3481 3484 31341 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 474154360 11094712320 42905 33554432000 4194304 4196468 140735997463520 139924263135456 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3550] ppid=3481 vsize=10834680 memory=280320838572056 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3550/stat : 3550 (java) S 3481 3484 31341 0 -1 1077944384 1 13290 0 0 0 0 4 3 20 0 15 0 474154360 11094712320 42905 33554432000 4194304 4196468 140735997463520 139925409148080 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
Current children cumulated CPU time: 2.45 s
Current children cumulated vsize: 10834680 KiB
################
# More data... #
################
/proc/3484/task/3537/stat : 3537 (java) R 3481 3484 31341 0 -1 4202560 65264 13290 0 0 235463 48 4 3 20 0 15 0 474154354 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925960351472 139925568181394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3538] ppid=3481 vsize=10849048 memory=3612 CPUtime=12.29 cores=1,3,5,7
/proc/3484/task/3538/stat : 3538 (java) S 3481 3484 31341 0 -1 1077944384 11360 13290 0 0 1159 63 4 3 20 0 15 0 474154355 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925992757904 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3539] ppid=3481 vsize=10849048 memory=873908 CPUtime=12.29 cores=1,3,5,7
/proc/3484/task/3539/stat : 3539 (java) S 3481 3484 31341 0 -1 1077944384 13349 13290 0 0 1160 62 4 3 20 0 15 0 474154355 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925881031184 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3540] ppid=3481 vsize=10849048 memory=871860 CPUtime=12.21 cores=1,3,5,7
/proc/3484/task/3540/stat : 3540 (java) S 3481 3484 31341 0 -1 1077944384 12180 13290 0 0 1154 60 4 3 20 0 15 0 474154355 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925879978384 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3541] ppid=3481 vsize=10849048 memory=871860 CPUtime=12.26 cores=1,3,5,7
/proc/3484/task/3541/stat : 3541 (java) S 3481 3484 31341 0 -1 1077944384 10907 13290 0 0 1158 61 4 3 20 0 15 0 474154355 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925878925584 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3542] ppid=3481 vsize=10849048 memory=419 CPUtime=11.35 cores=1,3,5,7
/proc/3484/task/3542/stat : 3542 (java) S 3481 3484 31341 0 -1 1077944384 16128 13290 0 0 1070 58 4 3 20 0 15 0 474154356 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925446916976 139925988526722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3543] ppid=3481 vsize=10849048 memory=873908 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3543/stat : 3543 (java) S 3481 3484 31341 0 -1 1077944384 38 13290 0 0 0 0 4 3 20 0 15 0 474154357 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925445863008 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3544] ppid=3481 vsize=10849048 memory=1984 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3544/stat : 3544 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154357 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925336876416 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3545] ppid=3481 vsize=10849048 memory=873908 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3545/stat : 3545 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154359 11109425152 218477 33554432000 4194304 4196468 140735997463520 139924732897616 139925988534171 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3546] ppid=3481 vsize=10849048 memory=873908 CPUtime=4.26 cores=1,3,5,7
/proc/3484/task/3546/stat : 3546 (java) S 3481 3484 31341 0 -1 1077944384 14679 13290 0 0 414 5 4 3 20 0 15 0 474154359 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925412305264 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3547] ppid=3481 vsize=10849048 memory=873908 CPUtime=4.94 cores=1,3,5,7
/proc/3484/task/3547/stat : 3547 (java) S 3481 3484 31341 0 -1 1077944384 24695 13290 0 0 482 5 4 3 20 0 15 0 474154359 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925411252464 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3548] ppid=3481 vsize=10849048 memory=873908 CPUtime=3.67 cores=1,3,5,7
/proc/3484/task/3548/stat : 3548 (java) S 3481 3484 31341 0 -1 1077944384 24569 13290 0 0 354 6 4 3 20 0 15 0 474154360 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925410199664 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3549] ppid=3481 vsize=10849048 memory=8112282956445269571 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3549/stat : 3549 (java) S 3481 3484 31341 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 474154360 11109425152 218477 33554432000 4194304 4196468 140735997463520 139924263135456 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3550] ppid=3481 vsize=10849048 memory=6944656592387989600 CPUtime=1.49 cores=1,3,5,7
/proc/3484/task/3550/stat : 3550 (java) S 3481 3484 31341 0 -1 1077944384 828 13290 0 0 68 74 4 3 20 0 15 0 474154360 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925409148080 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
Current children cumulated CPU time: 2429.4 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 873908 KiB
[startup+2442.3 s]
/proc/loadavg: 1.47 1.35 1.34 3/229 3926
/proc/meminfo: memFree=9285700/32770624 swapFree=66972196/67108860
[pid=3484] ppid=3481 vsize=10849048 memory=873908 CPUtime=2490.37 cores=1,3,5,7
/proc/3484/stat : 3484 (java) S 3481 3484 31341 0 -1 1077944320 197928 13290 0 0 248651 379 4 3 20 0 15 0 474154345 11109425152 218477 33554432000 4194304 4196468 140735997463520 140735997446064 139925988515575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
/proc/3484/statm: 2712262 218477 3629 1 0 2674317 0
[pid=3484/tid=3537] ppid=3481 vsize=10849048 memory=871860 CPUtime=2414.49 cores=1,3,5,7
/proc/3484/task/3537/stat : 3537 (java) R 3481 3484 31341 0 -1 4202560 66011 13290 0 0 241394 48 4 3 20 0 15 0 474154354 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925960351040 139925568297787 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3538] ppid=3481 vsize=10849048 memory=873908 CPUtime=12.62 cores=1,3,5,7
/proc/3484/task/3538/stat : 3538 (java) S 3481 3484 31341 0 -1 1077944384 11579 13290 0 0 1190 65 4 3 20 0 15 0 474154355 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925992757904 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3539] ppid=3481 vsize=10849048 memory=873908 CPUtime=12.62 cores=1,3,5,7
/proc/3484/task/3539/stat : 3539 (java) S 3481 3484 31341 0 -1 1077944384 13375 13290 0 0 1191 64 4 3 20 0 15 0 474154355 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925881031184 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3540] ppid=3481 vsize=10849048 memory=873908 CPUtime=12.54 cores=1,3,5,7
/proc/3484/task/3540/stat : 3540 (java) S 3481 3484 31341 0 -1 1077944384 12244 13290 0 0 1185 62 4 3 20 0 15 0 474154355 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925879978384 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3541] ppid=3481 vsize=10849048 memory=873908 CPUtime=12.6 cores=1,3,5,7
/proc/3484/task/3541/stat : 3541 (java) S 3481 3484 31341 0 -1 1077944384 11137 13290 0 0 1190 63 4 3 20 0 15 0 474154355 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925878925584 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3542] ppid=3481 vsize=10849048 memory=873908 CPUtime=11.64 cores=1,3,5,7
/proc/3484/task/3542/stat : 3542 (java) S 3481 3484 31341 0 -1 1077944384 16340 13290 0 0 1098 59 4 3 20 0 15 0 474154356 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925446916976 139925988526722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3543] ppid=3481 vsize=10849048 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3543/stat : 3543 (java) S 3481 3484 31341 0 -1 1077944384 38 13290 0 0 0 0 4 3 20 0 15 0 474154357 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925445863008 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3544] ppid=3481 vsize=10849048 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3544/stat : 3544 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154357 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925336876416 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3545] ppid=3481 vsize=10849048 memory=873908 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3545/stat : 3545 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154359 11109425152 218477 33554432000 4194304 4196468 140735997463520 139924732897616 139925988534171 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3546] ppid=3481 vsize=10849048 memory=3612 CPUtime=4.26 cores=1,3,5,7
/proc/3484/task/3546/stat : 3546 (java) S 3481 3484 31341 0 -1 1077944384 14816 13290 0 0 414 5 4 3 20 0 15 0 474154359 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925412305264 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3547] ppid=3481 vsize=10849048 memory=873908 CPUtime=4.94 cores=1,3,5,7
/proc/3484/task/3547/stat : 3547 (java) S 3481 3484 31341 0 -1 1077944384 24761 13290 0 0 482 5 4 3 20 0 15 0 474154359 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925411252464 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3548] ppid=3481 vsize=10849048 memory=1672 CPUtime=3.67 cores=1,3,5,7
/proc/3484/task/3548/stat : 3548 (java) S 3481 3484 31341 0 -1 1077944384 24571 13290 0 0 354 6 4 3 20 0 15 0 474154360 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925410199664 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3549] ppid=3481 vsize=10849048 memory=2832 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3549/stat : 3549 (java) S 3481 3484 31341 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 474154360 11109425152 218477 33554432000 4194304 4196468 140735997463520 139924263135456 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3550] ppid=3481 vsize=10849048 memory=1716 CPUtime=1.52 cores=1,3,5,7
/proc/3484/task/3550/stat : 3550 (java) S 3481 3484 31341 0 -1 1077944384 844 13290 0 0 70 75 4 3 20 0 15 0 474154360 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925409148080 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
Current children cumulated CPU time: 2490.37 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 873908 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2471.5 s]
/proc/loadavg: 1.46 1.37 1.35 3/229 3930
/proc/meminfo: memFree=9285856/32770624 swapFree=66972196/67108860
[pid=3484] ppid=3481 vsize=10849048 memory=873908 CPUtime=2520.07 cores=1,3,5,7
/proc/3484/stat : 3484 (java) S 3481 3484 31341 0 -1 1077944320 198942 13290 0 0 251617 383 4 3 20 0 15 0 474154345 11109425152 218477 33554432000 4194304 4196468 140735997463520 140735997446064 139925988515575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
/proc/3484/statm: 2712262 218477 3629 1 0 2674317 0
[pid=3484/tid=3537] ppid=3481 vsize=10849048 memory=1200 CPUtime=2443.36 cores=1,3,5,7
/proc/3484/task/3537/stat : 3537 (java) R 3481 3484 31341 0 -1 4202560 66328 13290 0 0 244280 49 4 3 20 0 15 0 474154354 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925960350368 139925566217624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3538] ppid=3481 vsize=10849048 memory=873908 CPUtime=12.79 cores=1,3,5,7
/proc/3484/task/3538/stat : 3538 (java) S 3481 3484 31341 0 -1 1077944384 11696 13290 0 0 1206 66 4 3 20 0 15 0 474154355 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925992757904 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3539] ppid=3481 vsize=10849048 memory=873908 CPUtime=12.78 cores=1,3,5,7
/proc/3484/task/3539/stat : 3539 (java) S 3481 3484 31341 0 -1 1077944384 13445 13290 0 0 1207 64 4 3 20 0 15 0 474154355 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925881031184 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3540] ppid=3481 vsize=10849048 memory=873908 CPUtime=12.7 cores=1,3,5,7
/proc/3484/task/3540/stat : 3540 (java) S 3481 3484 31341 0 -1 1077944384 12268 13290 0 0 1201 62 4 3 20 0 15 0 474154355 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925879978384 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3541] ppid=3481 vsize=10849048 memory=873908 CPUtime=12.76 cores=1,3,5,7
/proc/3484/task/3541/stat : 3541 (java) S 3481 3484 31341 0 -1 1077944384 11142 13290 0 0 1206 63 4 3 20 0 15 0 474154355 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925878925584 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3542] ppid=3481 vsize=10849048 memory=7 CPUtime=11.78 cores=1,3,5,7
/proc/3484/task/3542/stat : 3542 (java) S 3481 3484 31341 0 -1 1077944384 16524 13290 0 0 1111 60 4 3 20 0 15 0 474154356 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925446916976 139925988526722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3543] ppid=3481 vsize=10849048 memory=873908 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3543/stat : 3543 (java) S 3481 3484 31341 0 -1 1077944384 38 13290 0 0 0 0 4 3 20 0 15 0 474154357 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925445863008 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3544] ppid=3481 vsize=10849048 memory=3612 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3544/stat : 3544 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154357 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925336876416 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3545] ppid=3481 vsize=10849048 memory=873908 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3545/stat : 3545 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154359 11109425152 218477 33554432000 4194304 4196468 140735997463520 139924732897616 139925988534171 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3546] ppid=3481 vsize=10849048 memory=3612 CPUtime=4.27 cores=1,3,5,7
/proc/3484/task/3546/stat : 3546 (java) S 3481 3484 31341 0 -1 1077944384 15101 13290 0 0 415 5 4 3 20 0 15 0 474154359 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925412305264 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3547] ppid=3481 vsize=10849048 memory=873908 CPUtime=4.94 cores=1,3,5,7
/proc/3484/task/3547/stat : 3547 (java) S 3481 3484 31341 0 -1 1077944384 24761 13290 0 0 482 5 4 3 20 0 15 0 474154359 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925411252464 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3548] ppid=3481 vsize=10849048 memory=873908 CPUtime=3.67 cores=1,3,5,7
/proc/3484/task/3548/stat : 3548 (java) S 3481 3484 31341 0 -1 1077944384 24571 13290 0 0 354 6 4 3 20 0 15 0 474154360 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925410199664 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3549] ppid=3481 vsize=10849048 memory=873908 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3549/stat : 3549 (java) S 3481 3484 31341 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 474154360 11109425152 218477 33554432000 4194304 4196468 140735997463520 139924263135456 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3550] ppid=3481 vsize=10849048 memory=873908 CPUtime=1.54 cores=1,3,5,7
/proc/3484/task/3550/stat : 3550 (java) S 3481 3484 31341 0 -1 1077944384 856 13290 0 0 71 76 4 3 20 0 15 0 474154360 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925409148080 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 873908 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2471.53 s]
# the end of solver process 3484 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.24 s, system=3.87914 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2471.5 s]
/proc/loadavg: 1.46 1.37 1.35 3/229 3930
/proc/meminfo: memFree=9285856/32770624 swapFree=66972196/67108860
[pid=3484] ppid=3481 vsize=10849048 memory=873908 CPUtime=2520.07 cores=1,3,5,7
/proc/3484/stat : 3484 (java) S 3481 3484 31341 0 -1 1077944320 198942 13290 0 0 251617 383 4 3 20 0 15 0 474154345 11109425152 218477 33554432000 4194304 4196468 140735997463520 140735997446064 139925988515575 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
/proc/3484/statm: 2712262 218477 3629 1 0 2674317 0
[pid=3484/tid=3537] ppid=3481 vsize=10849048 memory=1200 CPUtime=2443.36 cores=1,3,5,7
/proc/3484/task/3537/stat : 3537 (java) R 3481 3484 31341 0 -1 4202560 66328 13290 0 0 244280 49 4 3 20 0 15 0 474154354 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925960350368 139925566217624 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3538] ppid=3481 vsize=10849048 memory=873908 CPUtime=12.79 cores=1,3,5,7
/proc/3484/task/3538/stat : 3538 (java) S 3481 3484 31341 0 -1 1077944384 11696 13290 0 0 1206 66 4 3 20 0 15 0 474154355 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925992757904 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3539] ppid=3481 vsize=10849048 memory=873908 CPUtime=12.78 cores=1,3,5,7
/proc/3484/task/3539/stat : 3539 (java) S 3481 3484 31341 0 -1 1077944384 13445 13290 0 0 1207 64 4 3 20 0 15 0 474154355 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925881031184 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3540] ppid=3481 vsize=10849048 memory=873908 CPUtime=12.7 cores=1,3,5,7
/proc/3484/task/3540/stat : 3540 (java) S 3481 3484 31341 0 -1 1077944384 12268 13290 0 0 1201 62 4 3 20 0 15 0 474154355 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925879978384 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3541] ppid=3481 vsize=10849048 memory=873908 CPUtime=12.76 cores=1,3,5,7
/proc/3484/task/3541/stat : 3541 (java) S 3481 3484 31341 0 -1 1077944384 11142 13290 0 0 1206 63 4 3 20 0 15 0 474154355 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925878925584 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3542] ppid=3481 vsize=10849048 memory=7 CPUtime=11.78 cores=1,3,5,7
/proc/3484/task/3542/stat : 3542 (java) S 3481 3484 31341 0 -1 1077944384 16524 13290 0 0 1111 60 4 3 20 0 15 0 474154356 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925446916976 139925988526722 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3543] ppid=3481 vsize=10849048 memory=873908 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3543/stat : 3543 (java) S 3481 3484 31341 0 -1 1077944384 38 13290 0 0 0 0 4 3 20 0 15 0 474154357 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925445863008 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3544] ppid=3481 vsize=10849048 memory=3612 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3544/stat : 3544 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154357 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925336876416 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3545] ppid=3481 vsize=10849048 memory=873908 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3545/stat : 3545 (java) S 3481 3484 31341 0 -1 1077944384 2 13290 0 0 0 0 4 3 20 0 15 0 474154359 11109425152 218477 33554432000 4194304 4196468 140735997463520 139924732897616 139925988534171 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3546] ppid=3481 vsize=10849048 memory=3612 CPUtime=4.27 cores=1,3,5,7
/proc/3484/task/3546/stat : 3546 (java) S 3481 3484 31341 0 -1 1077944384 15101 13290 0 0 415 5 4 3 20 0 15 0 474154359 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925412305264 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 12 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3547] ppid=3481 vsize=10849048 memory=873908 CPUtime=4.94 cores=1,3,5,7
/proc/3484/task/3547/stat : 3547 (java) S 3481 3484 31341 0 -1 1077944384 24761 13290 0 0 482 5 4 3 20 0 15 0 474154359 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925411252464 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 12 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3548] ppid=3481 vsize=10849048 memory=873908 CPUtime=3.67 cores=1,3,5,7
/proc/3484/task/3548/stat : 3548 (java) S 3481 3484 31341 0 -1 1077944384 24571 13290 0 0 354 6 4 3 20 0 15 0 474154360 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925410199664 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3549] ppid=3481 vsize=10849048 memory=873908 CPUtime=0.07 cores=1,3,5,7
/proc/3484/task/3549/stat : 3549 (java) S 3481 3484 31341 0 -1 1077944384 3 13290 0 0 0 0 4 3 20 0 15 0 474154360 11109425152 218477 33554432000 4194304 4196468 140735997463520 139924263135456 139925988525781 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
[pid=3484/tid=3550] ppid=3481 vsize=10849048 memory=873908 CPUtime=1.54 cores=1,3,5,7
/proc/3484/task/3550/stat : 3550 (java) S 3481 3484 31341 0 -1 1077944384 856 13290 0 0 71 76 4 3 20 0 15 0 474154360 11109425152 218477 33554432000 4194304 4196468 140735997463520 139925409148080 139925988526722 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 26714112 140735997467235 140735997469877 140735997469877 140735997472719 0
Current children cumulated CPU time: 2520.07 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 873908 KiB
Child status: 143
Real time (s): 2471.53
CPU time (s): 2520.11
CPU user time (s): 2516.24
CPU system time (s): 3.87914
CPU usage (%): 101.966
Max. virtual memory (cumulated for all children) (KiB): 10852032
Max. memory (cumulated for all children) (KiB): 873908
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.24
system time used= 3.87914
maximum resident set size= 878028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 212930
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2920
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 303052
involuntary context switches= 6957
# summary of solver processes directly reported to runsolver:
# pid: 3484
# total CPU time (s): 2520.11
# total CPU user time (s): 2516.24
# total CPU system time (s): 3.87914
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 13.8258 second user time and 24.9044 second system time
The end