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 (5830 MiB free)
memory of node 1: 16384 MiB (9446 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387014-1568287802/watcher-4387014-1568287802 -o /tmp/evaluation-result-4387014-1568287802/solver-4387014-1568287802 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568285996-4541 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=535436775 HOME/instance-4387014-1568287802.xml
running on 4 cores: 0,2,4,6
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=6484, runsolver pid=6481
[startup+0.100173 s]*
/proc/loadavg: 2.10 1.73 1.65 3/216 6537
/proc/meminfo: memFree=15637200/32770624 swapFree=66999904/67108860
[pid=6484] ppid=6481 vsize=9972712 memory=16552 CPUtime=0.1 cores=0,2,4,6
/proc/6484/stat : 6484 (java) S 6481 6484 3654 0 -1 1077944320 4379 13409 0 0 1 1 5 3 20 0 6 0 405045060 10212057088 4138 33554432000 4194304 4196468 140721996712016 140721996694560 139863288442615 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
/proc/6484/statm: 2493178 4138 1933 1 0 2481616 0
[pid=6484/tid=6537] ppid=6481 vsize=9972712 memory=8514726395714820750 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6537/stat : 6537 (java) R 6481 6484 3654 0 -1 4202560 2201 13409 0 0 0 0 5 3 20 0 6 0 405045070 10212057088 4138 33554432000 4194304 4196468 140721996712016 139863260279376 139863272523102 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6538] ppid=6481 vsize=9972712 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6538/stat : 6538 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 6 0 405045070 10212057088 4138 33554432000 4194304 4196468 140721996712016 139863292684944 139863288452821 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6539] ppid=6481 vsize=9972712 memory=140643784984192 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6539/stat : 6539 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 6 0 405045070 10212057088 4138 33554432000 4194304 4196468 140721996712016 139863196887568 139863288452821 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6540] ppid=6481 vsize=9972712 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6540/stat : 6540 (java) S 6481 6484 3654 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 6 0 405045070 10212057088 4138 33554432000 4194304 4196468 140721996712016 139863195834768 139863288452821 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6541] ppid=6481 vsize=9972712 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6541/stat : 6541 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 6 0 405045070 10212057088 4138 33554432000 4194304 4196468 140721996712016 139862859372816 139863288452821 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16552 KiB
[startup+0.211478 s]*
/proc/loadavg: 2.10 1.73 1.65 3/229 6550
/proc/meminfo: memFree=15616604/32770624 swapFree=66999904/67108860
[pid=6484] ppid=6481 vsize=10818940 memory=38900 CPUtime=0.26 cores=0,2,4,6
/proc/6484/stat : 6484 (java) S 6481 6484 3654 0 -1 1077944320 7051 13409 0 0 16 2 5 3 20 0 15 0 405045060 11078594560 9725 33554432000 4194304 4196468 140721996712016 140721996694560 139863288442615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
/proc/6484/statm: 2704735 9725 2955 1 0 2667149 0
[pid=6484/tid=6537] ppid=6481 vsize=10818940 memory=5450916389569530688 CPUtime=0.19 cores=0,2,4,6
/proc/6484/task/6537/stat : 6537 (java) R 6481 6484 3654 0 -1 4202560 3592 13409 0 0 10 1 5 3 20 0 15 0 405045070 11078594560 9725 33554432000 4194304 4196468 140721996712016 139863260275632 139863272523102 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6538] ppid=6481 vsize=10818940 memory=-9181546050914066336 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6538/stat : 6538 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 405045070 11078594560 9725 33554432000 4194304 4196468 140721996712016 139863292684944 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6539] ppid=6481 vsize=10818940 memory=140643784984192 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6539/stat : 6539 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 405045070 11078594560 9725 33554432000 4194304 4196468 140721996712016 139863196887568 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6540] ppid=6481 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6540/stat : 6540 (java) S 6481 6484 3654 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 405045070 11078594560 9725 33554432000 4194304 4196468 140721996712016 139863195834768 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6541] ppid=6481 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6541/stat : 6541 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 405045070 11078594560 9725 33554432000 4194304 4196468 140721996712016 139862859372816 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6542] ppid=6481 vsize=10818940 memory=140643784984192 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6542/stat : 6542 (java) S 6481 6484 3654 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 405045072 11078594560 9725 33554432000 4194304 4196468 140721996712016 139862815120240 139863288453762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6543] ppid=6481 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6543/stat : 6543 (java) S 6481 6484 3654 0 -1 1077944384 13 13409 0 0 0 0 5 3 20 0 15 0 405045072 11078594560 9725 33554432000 4194304 4196468 140721996712016 139862724306464 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6544] ppid=6481 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6544/stat : 6544 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 405045073 11078594560 9725 33554432000 4194304 4196468 140721996712016 139862120326512 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6545] ppid=6481 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6545/stat : 6545 (java) S 6481 6484 3654 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 405045075 11078594560 9725 33554432000 4194304 4196468 140721996712016 139861812926800 139863288461211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6546] ppid=6481 vsize=10818940 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6484/task/6546/stat : 6546 (java) S 6481 6484 3654 0 -1 1077944384 449 13409 0 0 1 0 5 3 20 0 15 0 405045075 11078594560 9725 33554432000 4194304 4196468 140721996712016 139862814067056 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6547] ppid=6481 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6547/stat : 6547 (java) S 6481 6484 3654 0 -1 1077944384 179 13409 0 0 0 0 5 3 20 0 15 0 405045075 11078594560 9725 33554432000 4194304 4196468 140721996712016 139862813014256 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6548] ppid=6481 vsize=10818940 memory=140643784984192 CPUtime=0.11 cores=0,2,4,6
/proc/6484/task/6548/stat : 6548 (java) S 6481 6484 3654 0 -1 1077944384 611 13409 0 0 3 0 5 3 20 0 15 0 405045075 11078594560 9725 33554432000 4194304 4196468 140721996712016 139862811961456 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6549] ppid=6481 vsize=10818940 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6549/stat : 6549 (java) S 6481 6484 3654 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 405045075 11078594560 9725 33554432000 4194304 4196468 140721996712016 139861779368160 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6550] ppid=6481 vsize=10818940 memory=140643784984192 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6550/stat : 6550 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 405045076 11078594560 9725 33554432000 4194304 4196468 140721996712016 139862810909872 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38900 KiB
[startup+0.310597 s]*
/proc/loadavg: 2.10 1.73 1.65 3/229 6550
/proc/meminfo: memFree=15605772/32770624 swapFree=66999904/67108860
[pid=6484] ppid=6481 vsize=10820096 memory=47960 CPUtime=0.4 cores=0,2,4,6
/proc/6484/stat : 6484 (java) S 6481 6484 3654 0 -1 1077944320 10740 13409 0 0 29 3 5 3 20 0 15 0 405045060 11079778304 11990 33554432000 4194304 4196468 140721996712016 140721996694560 139863288442615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
/proc/6484/statm: 2705024 11990 3143 1 0 2667149 0
[pid=6484/tid=6537] ppid=6481 vsize=10820096 memory=1398722017469774279 CPUtime=0.29 cores=0,2,4,6
/proc/6484/task/6537/stat : 6537 (java) R 6481 6484 3654 0 -1 4202560 7349 13409 0 0 19 2 5 3 20 0 15 0 405045070 11079778304 12056 33554432000 4194304 4196468 140721996712016 139863260270288 139863288464541 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6538] ppid=6481 vsize=10820096 memory=7302424486457863271 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6538/stat : 6538 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 405045070 11079778304 12056 33554432000 4194304 4196468 140721996712016 139863292684944 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6539] ppid=6481 vsize=10820096 memory=5788339726952981056 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6539/stat : 6539 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 405045070 11079778304 12056 33554432000 4194304 4196468 140721996712016 139863196887568 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6540] ppid=6481 vsize=10820096 memory=7019607731660802758 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6540/stat : 6540 (java) S 6481 6484 3654 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 405045070 11079778304 12056 33554432000 4194304 4196468 140721996712016 139863195834768 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6541] ppid=6481 vsize=10820096 memory=4872558044660077418 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6541/stat : 6541 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 405045070 11079778304 12056 33554432000 4194304 4196468 140721996712016 139862859372816 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6542] ppid=6481 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6542/stat : 6542 (java) S 6481 6484 3654 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 405045072 11079778304 12056 33554432000 4194304 4196468 140721996712016 139862815120240 139863288453762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6543] ppid=6481 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6543/stat : 6543 (java) S 6481 6484 3654 0 -1 1077944384 13 13409 0 0 0 0 5 3 20 0 15 0 405045072 11079778304 12056 33554432000 4194304 4196468 140721996712016 139862724306464 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6544] ppid=6481 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6544/stat : 6544 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 405045073 11079778304 12056 33554432000 4194304 4196468 140721996712016 139862120326512 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6545] ppid=6481 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6545/stat : 6545 (java) S 6481 6484 3654 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 405045075 11079778304 12056 33554432000 4194304 4196468 140721996712016 139861812926800 139863288461211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6546] ppid=6481 vsize=10820096 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6484/task/6546/stat : 6546 (java) S 6481 6484 3654 0 -1 1077944384 450 13409 0 0 2 0 5 3 20 0 15 0 405045075 11079778304 12056 33554432000 4194304 4196468 140721996712016 139862814067056 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6547] ppid=6481 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6484/task/6547/stat : 6547 (java) S 6481 6484 3654 0 -1 1077944384 180 13409 0 0 1 0 5 3 20 0 15 0 405045075 11079778304 12056 33554432000 4194304 4196468 140721996712016 139862813014256 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6548] ppid=6481 vsize=10820096 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/6484/task/6548/stat : 6548 (java) S 6481 6484 3654 0 -1 1077944384 621 13409 0 0 5 0 5 3 20 0 15 0 405045075 11079778304 12056 33554432000 4194304 4196468 140721996712016 139862811961456 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6549] ppid=6481 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6549/stat : 6549 (java) S 6481 6484 3654 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 405045075 11079778304 12056 33554432000 4194304 4196468 140721996712016 139861779368160 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6550] ppid=6481 vsize=10820096 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6550/stat : 6550 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 405045076 11079778304 12056 33554432000 4194304 4196468 140721996712016 139862810909872 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 47960 KiB
[startup+0.700703 s]
/proc/loadavg: 2.10 1.73 1.65 4/229 6550
/proc/meminfo: memFree=15592500/32770624 swapFree=66999904/67108860
[pid=6484] ppid=6481 vsize=10824340 memory=80408 CPUtime=1.14 cores=0,2,4,6
/proc/6484/stat : 6484 (java) S 6481 6484 3654 0 -1 1077944320 14812 13409 0 0 100 6 5 3 20 0 15 0 405045060 11084124160 20102 33554432000 4194304 4196468 140721996712016 140721996694560 139863288442615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
/proc/6484/statm: 2706085 20102 3498 1 0 2668173 0
[pid=6484/tid=6537] ppid=6481 vsize=10824340 memory=2241 CPUtime=0.66 cores=0,2,4,6
/proc/6484/task/6537/stat : 6537 (java) R 6481 6484 3654 0 -1 4202560 10508 13409 0 0 54 4 5 3 20 0 15 0 405045070 11084124160 20102 33554432000 4194304 4196468 140721996712016 139863260226816 139863288464541 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6538] ppid=6481 vsize=10824340 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6538/stat : 6538 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 405045070 11084124160 20102 33554432000 4194304 4196468 140721996712016 139863292684944 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6539] ppid=6481 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6539/stat : 6539 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 405045070 11084124160 20102 33554432000 4194304 4196468 140721996712016 139863196887568 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6540] ppid=6481 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6540/stat : 6540 (java) S 6481 6484 3654 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 405045070 11084124160 20102 33554432000 4194304 4196468 140721996712016 139863195834768 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6541] ppid=6481 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6541/stat : 6541 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 405045070 11084124160 20102 33554432000 4194304 4196468 140721996712016 139862859372816 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6542] ppid=6481 vsize=10824340 memory=6944652177228980320 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6542/stat : 6542 (java) S 6481 6484 3654 0 -1 1077944384 5 13409 0 0 0 0 5 3 20 0 15 0 405045072 11084124160 20102 33554432000 4194304 4196468 140721996712016 139862815120240 139863288453762 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6543] ppid=6481 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6543/stat : 6543 (java) S 6481 6484 3654 0 -1 1077944384 13 13409 0 0 0 0 5 3 20 0 15 0 405045072 11084124160 20102 33554432000 4194304 4196468 140721996712016 139862724306464 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6544] ppid=6481 vsize=10824340 memory=6943526294502006880 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6544/stat : 6544 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 405045073 11084124160 20102 33554432000 4194304 4196468 140721996712016 139862120326512 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6545] ppid=6481 vsize=10824340 memory=6944656592455097440 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6545/stat : 6545 (java) S 6481 6484 3654 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 405045075 11084124160 20102 33554432000 4194304 4196468 140721996712016 139861812926800 139863288461211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6546] ppid=6481 vsize=10824340 memory=140643670198160 CPUtime=0.21 cores=0,2,4,6
/proc/6484/task/6546/stat : 6546 (java) S 6481 6484 3654 0 -1 1077944384 710 13409 0 0 13 0 5 3 20 0 15 0 405045075 11084124160 20102 33554432000 4194304 4196468 140721996712016 139862814067056 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6547] ppid=6481 vsize=10824340 memory=24964 CPUtime=0.22 cores=0,2,4,6
/proc/6484/task/6547/stat : 6547 (java) S 6481 6484 3654 0 -1 1077944384 555 13409 0 0 14 0 5 3 20 0 15 0 405045075 11084124160 20102 33554432000 4194304 4196468 140721996712016 139862813014256 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6548] ppid=6481 vsize=10824340 memory=2244 CPUtime=0.25 cores=0,2,4,6
/proc/6484/task/6548/stat : 6548 (java) S 6481 6484 3654 0 -1 1077944384 803 13409 0 0 17 0 5 3 20 0 15 0 405045075 11084124160 20102 33554432000 4194304 4196468 140721996712016 139862811961456 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6549] ppid=6481 vsize=10824340 memory=140643670195568 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6549/stat : 6549 (java) S 6481 6484 3654 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 405045075 11084124160 20102 33554432000 4194304 4196468 140721996712016 139861779368160 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6550] ppid=6481 vsize=10824340 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6550/stat : 6550 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 405045076 11084124160 20102 33554432000 4194304 4196468 140721996712016 139862810909872 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80408 KiB
[startup+1.50072 s]
/proc/loadavg: 2.10 1.73 1.65 5/229 6550
/proc/meminfo: memFree=15541948/32770624 swapFree=66999904/67108860
[pid=6484] ppid=6481 vsize=10832608 memory=208716 CPUtime=3.14 cores=0,2,4,6
/proc/6484/stat : 6484 (java) S 6481 6484 3654 0 -1 1077944320 23679 13409 0 0 294 12 5 3 20 0 15 0 405045060 11092590592 52179 33554432000 4194304 4196468 140721996712016 140721996694560 139863288442615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
/proc/6484/statm: 2708152 52179 3582 1 0 2670221 0
[pid=6484/tid=6537] ppid=6481 vsize=10832608 memory=27 CPUtime=1.42 cores=0,2,4,6
/proc/6484/task/6537/stat : 6537 (java) R 6481 6484 3654 0 -1 4202560 14768 13409 0 0 127 7 5 3 20 0 15 0 405045070 11092590592 52179 33554432000 4194304 4196468 140721996712016 139863260261104 139863272523102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6538] ppid=6481 vsize=10832608 memory=31 CPUtime=0.09 cores=0,2,4,6
/proc/6484/task/6538/stat : 6538 (java) S 6481 6484 3654 0 -1 1077944384 12 13409 0 0 1 0 5 3 20 0 15 0 405045070 11092590592 52179 33554432000 4194304 4196468 140721996712016 139863292684944 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6539] ppid=6481 vsize=10832608 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/6484/task/6539/stat : 6539 (java) S 6481 6484 3654 0 -1 1077944384 25 13409 0 0 2 0 5 3 20 0 15 0 405045070 11092590592 52179 33554432000 4194304 4196468 140721996712016 139863196887568 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6540] ppid=6481 vsize=10832608 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6484/task/6540/stat : 6540 (java) S 6481 6484 3654 0 -1 1077944384 270 13409 0 0 1 0 5 3 20 0 15 0 405045070 11092590592 52179 33554432000 4194304 4196468 140721996712016 139863195834768 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6541] ppid=6481 vsize=10832608 memory=98168 CPUtime=0.1 cores=0,2,4,6
/proc/6484/task/6541/stat : 6541 (java) S 6481 6484 3654 0 -1 1077944384 70 13409 0 0 2 0 5 3 20 0 15 0 405045070 11092590592 52179 33554432000 4194304 4196468 140721996712016 139862859372816 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6542] ppid=6481 vsize=10832608 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/6484/task/6542/stat : 6542 (java) S 6481 6484 3654 0 -1 1077944384 79 13409 0 0 1 0 5 3 20 0 15 0 405045072 11092590592 52179 33554432000 4194304 4196468 140721996712016 139862815120240 139863288453762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6543] ppid=6481 vsize=10832608 memory=7014751519650502244 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6543/stat : 6543 (java) S 6481 6484 3654 0 -1 1077944384 14 13409 0 0 0 0 5 3 20 0 15 0 405045072 11092590592 52179 33554432000 4194304 4196468 140721996712016 139862724306464 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6544] ppid=6481 vsize=10832608 memory=7157464916535567193 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6544/stat : 6544 (java) S 6481 6484 3654 0 -1 1077944384 2 13409 0 0 0 0 5 3 20 0 15 0 405045073 11092590592 52179 33554432000 4194304 4196468 140721996712016 139862120326528 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6545] ppid=6481 vsize=10832608 memory=7957415704877164641 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6545/stat : 6545 (java) S 6481 6484 3654 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 405045075 11092590592 52179 33554432000 4194304 4196468 140721996712016 139861812926800 139863288461211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6546] ppid=6481 vsize=10832608 memory=5571041044932745317 CPUtime=0.61 cores=0,2,4,6
/proc/6484/task/6546/stat : 6546 (java) S 6481 6484 3654 0 -1 1077944384 2580 13409 0 0 53 0 5 3 20 0 15 0 405045075 11092590592 52179 33554432000 4194304 4196468 140721996712016 139862814067056 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6547] ppid=6481 vsize=10832608 memory=6443069305211939687 CPUtime=0.67 cores=0,2,4,6
/proc/6484/task/6547/stat : 6547 (java) S 6481 6484 3654 0 -1 1077944384 1992 13409 0 0 59 0 5 3 20 0 15 0 405045075 11092590592 52179 33554432000 4194304 4196468 140721996712016 139862813014256 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6548] ppid=6481 vsize=10832608 memory=7014751519650502244 CPUtime=0.5 cores=0,2,4,6
/proc/6484/task/6548/stat : 6548 (java) S 6481 6484 3654 0 -1 1077944384 1656 13409 0 0 42 0 5 3 20 0 15 0 405045075 11092590592 52179 33554432000 4194304 4196468 140721996712016 139862811961456 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6549] ppid=6481 vsize=10832608 memory=7014751519650502244 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6549/stat : 6549 (java) S 6481 6484 3654 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 405045075 11092590592 52179 33554432000 4194304 4196468 140721996712016 139861779368160 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6550] ppid=6481 vsize=10832608 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6550/stat : 6550 (java) S 6481 6484 3654 0 -1 1077944384 1 13409 0 0 0 0 5 3 20 0 15 0 405045076 11092590592 52179 33554432000 4194304 4196468 140721996712016 139862810909872 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
Current children cumulated CPU time: 3.14 s
Current children cumulated vsize: 10832608 KiB
################
# More data... #
################
/proc/6484/task/6537/stat : 6537 (java) R 6481 6484 3654 0 -1 4202560 76158 13409 0 0 235605 54 5 3 20 0 15 0 405045070 11107291136 369342 33554432000 4194304 4196468 140721996712016 139863260278816 139862890819015 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6538] ppid=6481 vsize=10846964 memory=1477368 CPUtime=13.43 cores=0,2,4,6
/proc/6484/task/6538/stat : 6538 (java) S 6481 6484 3654 0 -1 1077944384 16688 13409 0 0 1285 50 5 3 20 0 15 0 405045070 11107291136 369342 33554432000 4194304 4196468 140721996712016 139863292684944 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6539] ppid=6481 vsize=10846964 memory=1477368 CPUtime=13.43 cores=0,2,4,6
/proc/6484/task/6539/stat : 6539 (java) S 6481 6484 3654 0 -1 1077944384 14910 13409 0 0 1284 51 5 3 20 0 15 0 405045070 11107291136 369342 33554432000 4194304 4196468 140721996712016 139863196887568 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6540] ppid=6481 vsize=10846964 memory=1477368 CPUtime=13.46 cores=0,2,4,6
/proc/6484/task/6540/stat : 6540 (java) S 6481 6484 3654 0 -1 1077944384 10542 13409 0 0 1290 48 5 3 20 0 15 0 405045070 11107291136 369342 33554432000 4194304 4196468 140721996712016 139863195834768 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6541] ppid=6481 vsize=10846964 memory=1477368 CPUtime=13.44 cores=0,2,4,6
/proc/6484/task/6541/stat : 6541 (java) S 6481 6484 3654 0 -1 1077944384 19906 13409 0 0 1283 53 5 3 20 0 15 0 405045070 11107291136 369342 33554432000 4194304 4196468 140721996712016 139862859372816 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6542] ppid=6481 vsize=10846964 memory=1477368 CPUtime=9.51 cores=0,2,4,6
/proc/6484/task/6542/stat : 6542 (java) R 6481 6484 3654 0 -1 1077944384 19385 13409 0 0 890 53 5 3 20 0 15 0 405045072 11107291136 369342 33554432000 4194304 4196468 140721996712016 139862815120240 139863288453762 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6543] ppid=6481 vsize=10846964 memory=1477368 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6543/stat : 6543 (java) S 6481 6484 3654 0 -1 1077944384 19 13409 0 0 0 0 5 3 20 0 15 0 405045072 11107291136 369342 33554432000 4194304 4196468 140721996712016 139862724306528 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6544] ppid=6481 vsize=10846964 memory=1477368 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6544/stat : 6544 (java) S 6481 6484 3654 0 -1 1077944384 16 13409 0 0 0 0 5 3 20 0 15 0 405045073 11107291136 369342 33554432000 4194304 4196468 140721996712016 139862120326528 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6545] ppid=6481 vsize=10846964 memory=1477368 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6545/stat : 6545 (java) S 6481 6484 3654 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 405045075 11107291136 369342 33554432000 4194304 4196468 140721996712016 139861812926800 139863288461211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6546] ppid=6481 vsize=10846964 memory=4132 CPUtime=6.5 cores=0,2,4,6
/proc/6484/task/6546/stat : 6546 (java) S 6481 6484 3654 0 -1 1077944384 25469 13409 0 0 636 6 5 3 20 0 15 0 405045075 11107291136 369342 33554432000 4194304 4196468 140721996712016 139862814067056 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6547] ppid=6481 vsize=10846964 memory=1477368 CPUtime=6.82 cores=0,2,4,6
/proc/6484/task/6547/stat : 6547 (java) S 6481 6484 3654 0 -1 1077944384 28537 13409 0 0 669 5 5 3 20 0 15 0 405045075 11107291136 369342 33554432000 4194304 4196468 140721996712016 139862813014256 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6548] ppid=6481 vsize=10846964 memory=1477368 CPUtime=3.68 cores=0,2,4,6
/proc/6484/task/6548/stat : 6548 (java) S 6481 6484 3654 0 -1 1077944384 17018 13409 0 0 354 6 5 3 20 0 15 0 405045075 11107291136 369342 33554432000 4194304 4196468 140721996712016 139862811961456 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6549] ppid=6481 vsize=10846964 memory=1477368 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6549/stat : 6549 (java) S 6481 6484 3654 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 405045075 11107291136 369342 33554432000 4194304 4196468 140721996712016 139861779368160 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6550] ppid=6481 vsize=10846964 memory=3212 CPUtime=1.49 cores=0,2,4,6
/proc/6484/task/6550/stat : 6550 (java) S 6481 6484 3654 0 -1 1077944384 2339 13409 0 0 71 70 5 3 20 0 15 0 405045076 11107291136 369342 33554432000 4194304 4196468 140721996712016 139862810909872 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
Current children cumulated CPU time: 2437.81 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1477368 KiB
[startup+2442.31 s]
/proc/loadavg: 1.48 1.33 1.37 3/228 6936
/proc/meminfo: memFree=13751084/32770624 swapFree=66999904/67108860
[pid=6484] ppid=6481 vsize=10846964 memory=1479416 CPUtime=2498.88 cores=0,2,4,6
/proc/6484/stat : 6484 (java) S 6481 6484 3654 0 -1 1077944320 235043 13409 0 0 249527 353 5 3 20 0 15 0 405045060 11107291136 369854 33554432000 4194304 4196468 140721996712016 140721996694560 139863288442615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
/proc/6484/statm: 2711741 369854 3635 1 0 2673805 0
[pid=6484/tid=6537] ppid=6481 vsize=10846964 memory=1479416 CPUtime=2415.96 cores=0,2,4,6
/proc/6484/task/6537/stat : 6537 (java) R 6481 6484 3654 0 -1 4202560 76941 13409 0 0 241533 55 5 3 20 0 15 0 405045070 11107291136 369854 33554432000 4194304 4196468 140721996712016 139863260278112 139863270963298 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6538] ppid=6481 vsize=10846964 memory=1479416 CPUtime=13.8 cores=0,2,4,6
/proc/6484/task/6538/stat : 6538 (java) S 6481 6484 3654 0 -1 1077944384 16872 13409 0 0 1320 52 5 3 20 0 15 0 405045070 11107291136 369854 33554432000 4194304 4196468 140721996712016 139863292684944 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6539] ppid=6481 vsize=10846964 memory=1479416 CPUtime=13.8 cores=0,2,4,6
/proc/6484/task/6539/stat : 6539 (java) S 6481 6484 3654 0 -1 1077944384 15129 13409 0 0 1320 52 5 3 20 0 15 0 405045070 11107291136 369854 33554432000 4194304 4196468 140721996712016 139863196887568 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6540] ppid=6481 vsize=10846964 memory=1479416 CPUtime=13.83 cores=0,2,4,6
/proc/6484/task/6540/stat : 6540 (java) S 6481 6484 3654 0 -1 1077944384 10617 13409 0 0 1326 49 5 3 20 0 15 0 405045070 11107291136 369854 33554432000 4194304 4196468 140721996712016 139863195834768 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6541] ppid=6481 vsize=10846964 memory=1477368 CPUtime=13.82 cores=0,2,4,6
/proc/6484/task/6541/stat : 6541 (java) S 6481 6484 3654 0 -1 1077944384 20055 13409 0 0 1319 55 5 3 20 0 15 0 405045070 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862859372816 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6542] ppid=6481 vsize=10846964 memory=1479416 CPUtime=9.77 cores=0,2,4,6
/proc/6484/task/6542/stat : 6542 (java) S 6481 6484 3654 0 -1 1077944384 19780 13409 0 0 914 55 5 3 20 0 15 0 405045072 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862815120240 139863288453762 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6543] ppid=6481 vsize=10846964 memory=1479416 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6543/stat : 6543 (java) S 6481 6484 3654 0 -1 1077944384 19 13409 0 0 0 0 5 3 20 0 15 0 405045072 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862724306528 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6544] ppid=6481 vsize=10846964 memory=1479416 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6544/stat : 6544 (java) S 6481 6484 3654 0 -1 1077944384 16 13409 0 0 0 0 5 3 20 0 15 0 405045073 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862120326528 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6545] ppid=6481 vsize=10846964 memory=5976 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6545/stat : 6545 (java) S 6481 6484 3654 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 405045075 11107291136 369854 33554432000 4194304 4196468 140721996712016 139861812926800 139863288461211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6546] ppid=6481 vsize=10846964 memory=1479416 CPUtime=6.5 cores=0,2,4,6
/proc/6484/task/6546/stat : 6546 (java) S 6481 6484 3654 0 -1 1077944384 25473 13409 0 0 636 6 5 3 20 0 15 0 405045075 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862814067056 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6547] ppid=6481 vsize=10846964 memory=1479416 CPUtime=6.82 cores=0,2,4,6
/proc/6484/task/6547/stat : 6547 (java) S 6481 6484 3654 0 -1 1077944384 28541 13409 0 0 669 5 5 3 20 0 15 0 405045075 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862813014256 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6548] ppid=6481 vsize=10846964 memory=3580 CPUtime=3.68 cores=0,2,4,6
/proc/6484/task/6548/stat : 6548 (java) S 6481 6484 3654 0 -1 1077944384 17022 13409 0 0 354 6 5 3 20 0 15 0 405045075 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862811961456 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6549] ppid=6481 vsize=10846964 memory=1479416 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6549/stat : 6549 (java) S 6481 6484 3654 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 405045075 11107291136 369854 33554432000 4194304 4196468 140721996712016 139861779368160 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6550] ppid=6481 vsize=10846964 memory=1479416 CPUtime=1.52 cores=0,2,4,6
/proc/6484/task/6550/stat : 6550 (java) S 6481 6484 3654 0 -1 1077944384 2367 13409 0 0 73 71 5 3 20 0 15 0 405045076 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862810909872 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
Current children cumulated CPU time: 2498.88 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1479416 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.1 s]
/proc/loadavg: 1.42 1.33 1.36 3/228 6938
/proc/meminfo: memFree=13750952/32770624 swapFree=66999904/67108860
[pid=6484] ppid=6481 vsize=10846964 memory=1479416 CPUtime=2520.03 cores=0,2,4,6
/proc/6484/stat : 6484 (java) S 6481 6484 3654 0 -1 1077944320 235592 13409 0 0 251639 356 5 3 20 0 15 0 405045060 11107291136 369854 33554432000 4194304 4196468 140721996712016 140721996694560 139863288442615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
/proc/6484/statm: 2711741 369854 3635 1 0 2673805 0
[pid=6484/tid=6537] ppid=6481 vsize=10846964 memory=1479416 CPUtime=2436.51 cores=0,2,4,6
/proc/6484/task/6537/stat : 6537 (java) R 6481 6484 3654 0 -1 4202560 77240 13409 0 0 243588 55 5 3 20 0 15 0 405045070 11107291136 369854 33554432000 4194304 4196468 140721996712016 139863260278112 139862891864832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6538] ppid=6481 vsize=10846964 memory=1479416 CPUtime=13.92 cores=0,2,4,6
/proc/6484/task/6538/stat : 6538 (java) S 6481 6484 3654 0 -1 1077944384 16997 13409 0 0 1332 52 5 3 20 0 15 0 405045070 11107291136 369854 33554432000 4194304 4196468 140721996712016 139863292684944 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6539] ppid=6481 vsize=10846964 memory=1479416 CPUtime=13.92 cores=0,2,4,6
/proc/6484/task/6539/stat : 6539 (java) S 6481 6484 3654 0 -1 1077944384 15182 13409 0 0 1332 52 5 3 20 0 15 0 405045070 11107291136 369854 33554432000 4194304 4196468 140721996712016 139863196887568 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6540] ppid=6481 vsize=10846964 memory=1479416 CPUtime=13.95 cores=0,2,4,6
/proc/6484/task/6540/stat : 6540 (java) S 6481 6484 3654 0 -1 1077944384 10639 13409 0 0 1338 49 5 3 20 0 15 0 405045070 11107291136 369854 33554432000 4194304 4196468 140721996712016 139863195834768 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6541] ppid=6481 vsize=10846964 memory=1479416 CPUtime=13.94 cores=0,2,4,6
/proc/6484/task/6541/stat : 6541 (java) S 6481 6484 3654 0 -1 1077944384 20074 13409 0 0 1331 55 5 3 20 0 15 0 405045070 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862859372816 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6542] ppid=6481 vsize=10846964 memory=1479416 CPUtime=9.85 cores=0,2,4,6
/proc/6484/task/6542/stat : 6542 (java) S 6481 6484 3654 0 -1 1077944384 19811 13409 0 0 922 55 5 3 20 0 15 0 405045072 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862815120240 139863288453762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6543] ppid=6481 vsize=10846964 memory=932 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6543/stat : 6543 (java) S 6481 6484 3654 0 -1 1077944384 19 13409 0 0 0 0 5 3 20 0 15 0 405045072 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862724306528 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6544] ppid=6481 vsize=10846964 memory=1479416 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6544/stat : 6544 (java) S 6481 6484 3654 0 -1 1077944384 16 13409 0 0 0 0 5 3 20 0 15 0 405045073 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862120326528 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6545] ppid=6481 vsize=10846964 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6545/stat : 6545 (java) S 6481 6484 3654 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 405045075 11107291136 369854 33554432000 4194304 4196468 140721996712016 139861812926800 139863288461211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6546] ppid=6481 vsize=10846964 memory=281287340542336 CPUtime=6.5 cores=0,2,4,6
/proc/6484/task/6546/stat : 6546 (java) S 6481 6484 3654 0 -1 1077944384 25473 13409 0 0 636 6 5 3 20 0 15 0 405045075 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862814067056 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6547] ppid=6481 vsize=10846964 memory=7014751519650502244 CPUtime=6.82 cores=0,2,4,6
/proc/6484/task/6547/stat : 6547 (java) S 6481 6484 3654 0 -1 1077944384 28541 13409 0 0 669 5 5 3 20 0 15 0 405045075 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862813014256 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6548] ppid=6481 vsize=10846964 memory=1479416 CPUtime=3.68 cores=0,2,4,6
/proc/6484/task/6548/stat : 6548 (java) S 6481 6484 3654 0 -1 1077944384 17022 13409 0 0 354 6 5 3 20 0 15 0 405045075 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862811961456 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6549] ppid=6481 vsize=10846964 memory=1479416 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6549/stat : 6549 (java) S 6481 6484 3654 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 405045075 11107291136 369854 33554432000 4194304 4196468 140721996712016 139861779368160 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6550] ppid=6481 vsize=10846964 memory=1479416 CPUtime=1.54 cores=0,2,4,6
/proc/6484/task/6550/stat : 6550 (java) S 6481 6484 3654 0 -1 1077944384 2367 13409 0 0 74 72 5 3 20 0 15 0 405045076 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862810909872 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1479416 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2463.13 s]
# the end of solver process 6484 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.46 s, system=3.60732 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2463.1 s]
/proc/loadavg: 1.42 1.33 1.36 3/228 6938
/proc/meminfo: memFree=13750952/32770624 swapFree=66999904/67108860
[pid=6484] ppid=6481 vsize=10846964 memory=1479416 CPUtime=2520.03 cores=0,2,4,6
/proc/6484/stat : 6484 (java) S 6481 6484 3654 0 -1 1077944320 235592 13409 0 0 251639 356 5 3 20 0 15 0 405045060 11107291136 369854 33554432000 4194304 4196468 140721996712016 140721996694560 139863288442615 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
/proc/6484/statm: 2711741 369854 3635 1 0 2673805 0
[pid=6484/tid=6537] ppid=6481 vsize=10846964 memory=1479416 CPUtime=2436.51 cores=0,2,4,6
/proc/6484/task/6537/stat : 6537 (java) R 6481 6484 3654 0 -1 4202560 77240 13409 0 0 243588 55 5 3 20 0 15 0 405045070 11107291136 369854 33554432000 4194304 4196468 140721996712016 139863260278112 139862891864832 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6538] ppid=6481 vsize=10846964 memory=1479416 CPUtime=13.92 cores=0,2,4,6
/proc/6484/task/6538/stat : 6538 (java) S 6481 6484 3654 0 -1 1077944384 16997 13409 0 0 1332 52 5 3 20 0 15 0 405045070 11107291136 369854 33554432000 4194304 4196468 140721996712016 139863292684944 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6539] ppid=6481 vsize=10846964 memory=1479416 CPUtime=13.92 cores=0,2,4,6
/proc/6484/task/6539/stat : 6539 (java) S 6481 6484 3654 0 -1 1077944384 15182 13409 0 0 1332 52 5 3 20 0 15 0 405045070 11107291136 369854 33554432000 4194304 4196468 140721996712016 139863196887568 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6540] ppid=6481 vsize=10846964 memory=1479416 CPUtime=13.95 cores=0,2,4,6
/proc/6484/task/6540/stat : 6540 (java) S 6481 6484 3654 0 -1 1077944384 10639 13409 0 0 1338 49 5 3 20 0 15 0 405045070 11107291136 369854 33554432000 4194304 4196468 140721996712016 139863195834768 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6541] ppid=6481 vsize=10846964 memory=1479416 CPUtime=13.94 cores=0,2,4,6
/proc/6484/task/6541/stat : 6541 (java) S 6481 6484 3654 0 -1 1077944384 20074 13409 0 0 1331 55 5 3 20 0 15 0 405045070 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862859372816 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6542] ppid=6481 vsize=10846964 memory=1479416 CPUtime=9.85 cores=0,2,4,6
/proc/6484/task/6542/stat : 6542 (java) S 6481 6484 3654 0 -1 1077944384 19811 13409 0 0 922 55 5 3 20 0 15 0 405045072 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862815120240 139863288453762 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6543] ppid=6481 vsize=10846964 memory=932 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6543/stat : 6543 (java) S 6481 6484 3654 0 -1 1077944384 19 13409 0 0 0 0 5 3 20 0 15 0 405045072 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862724306528 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6544] ppid=6481 vsize=10846964 memory=1479416 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6544/stat : 6544 (java) S 6481 6484 3654 0 -1 1077944384 16 13409 0 0 0 0 5 3 20 0 15 0 405045073 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862120326528 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6545] ppid=6481 vsize=10846964 memory=55 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6545/stat : 6545 (java) S 6481 6484 3654 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 405045075 11107291136 369854 33554432000 4194304 4196468 140721996712016 139861812926800 139863288461211 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6546] ppid=6481 vsize=10846964 memory=281287340542336 CPUtime=6.5 cores=0,2,4,6
/proc/6484/task/6546/stat : 6546 (java) S 6481 6484 3654 0 -1 1077944384 25473 13409 0 0 636 6 5 3 20 0 15 0 405045075 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862814067056 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6547] ppid=6481 vsize=10846964 memory=7014751519650502244 CPUtime=6.82 cores=0,2,4,6
/proc/6484/task/6547/stat : 6547 (java) S 6481 6484 3654 0 -1 1077944384 28541 13409 0 0 669 5 5 3 20 0 15 0 405045075 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862813014256 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6548] ppid=6481 vsize=10846964 memory=1479416 CPUtime=3.68 cores=0,2,4,6
/proc/6484/task/6548/stat : 6548 (java) S 6481 6484 3654 0 -1 1077944384 17022 13409 0 0 354 6 5 3 20 0 15 0 405045075 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862811961456 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6549] ppid=6481 vsize=10846964 memory=1479416 CPUtime=0.08 cores=0,2,4,6
/proc/6484/task/6549/stat : 6549 (java) S 6481 6484 3654 0 -1 1077944384 3 13409 0 0 0 0 5 3 20 0 15 0 405045075 11107291136 369854 33554432000 4194304 4196468 140721996712016 139861779368160 139863288452821 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
[pid=6484/tid=6550] ppid=6481 vsize=10846964 memory=1479416 CPUtime=1.54 cores=0,2,4,6
/proc/6484/task/6550/stat : 6550 (java) S 6481 6484 3654 0 -1 1077944384 2367 13409 0 0 74 72 5 3 20 0 15 0 405045076 11107291136 369854 33554432000 4194304 4196468 140721996712016 139862810909872 139863288453762 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 6381568 140721996716790 140721996719301 140721996719301 140721996722127 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1479416 KiB
Child status: 143
Real time (s): 2463.13
CPU time (s): 2520.07
CPU user time (s): 2516.46
CPU system time (s): 3.60732
CPU usage (%): 102.312
Max. virtual memory (cumulated for all children) (KiB): 10847672
Max. memory (cumulated for all children) (KiB): 1595308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.46
system time used= 3.60731
maximum resident set size= 1597360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 249731
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 270094
involuntary context switches= 8106
# summary of solver processes directly reported to runsolver:
# pid: 6484
# total CPU time (s): 2520.07
# total CPU user time (s): 2516.46
# total CPU system time (s): 3.60732
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.4103 second user time and 24.0133 second system time
The end