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 (5127 MiB free)
memory of node 1: 16384 MiB (10188 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387207-1568294341/watcher-4387207-1568294341 -o /tmp/evaluation-result-4387207-1568294341/solver-4387207-1568294341 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568285996-4542 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=578139353 HOME/instance-4387207-1568294341.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=8678, runsolver pid=8675
[startup+0.100951 s]*
/proc/loadavg: 1.39 1.43 1.46 3/218 8735
/proc/meminfo: memFree=15675200/32770624 swapFree=66999904/67108860
[pid=8678] ppid=8675 vsize=9972712 memory=17080 CPUtime=0.08 cores=1,3,5,7
/proc/8678/stat : 8678 (java) S 8675 8678 3654 0 -1 1077944320 4514 13554 0 0 1 0 4 3 20 0 6 0 405698973 10212057088 4270 33554432000 4194304 4196468 140721468576496 140721468559040 139656914853623 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
/proc/8678/statm: 2493178 4270 1935 1 0 2481616 0
[pid=8678/tid=8731] ppid=8675 vsize=9972712 memory=720575944405811505 CPUtime=0.08 cores=1,3,5,7
/proc/8678/task/8731/stat : 8731 (java) R 8675 8678 3654 0 -1 4202560 2347 13554 0 0 1 0 4 3 20 0 6 0 405698982 10212057088 4336 33554432000 4194304 4196468 140721468576496 139656886690384 139656900165625 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8732] ppid=8675 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8732/stat : 8732 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 6 0 405698983 10212057088 4336 33554432000 4194304 4196468 140721468576496 139656919095696 139656914863829 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8733] ppid=8675 vsize=9972712 memory=15682336977327768 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8733/stat : 8733 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 6 0 405698983 10212057088 4336 33554432000 4194304 4196468 140721468576496 139656837847312 139656914863829 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8734] ppid=8675 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8734/stat : 8734 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 6 0 405698983 10212057088 4336 33554432000 4194304 4196468 140721468576496 139656836795024 139656914863829 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8735] ppid=8675 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8735/stat : 8735 (java) S 8675 8678 3654 0 -1 1077944384 2 13554 0 0 0 0 4 3 20 0 6 0 405698983 10212057088 4336 33554432000 4194304 4196468 140721468576496 139656835742224 139656914863829 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.21033 s]*
/proc/loadavg: 1.39 1.43 1.46 4/227 8744
/proc/meminfo: memFree=15656628/32770624 swapFree=66999904/67108860
[pid=8678] ppid=8675 vsize=10818940 memory=38440 CPUtime=0.25 cores=1,3,5,7
/proc/8678/stat : 8678 (java) S 8675 8678 3654 0 -1 1077944320 7016 13554 0 0 17 1 4 3 20 0 15 0 405698973 11078594560 9610 33554432000 4194304 4196468 140721468576496 140721468559040 139656914853623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
/proc/8678/statm: 2704735 9610 2929 1 0 2667149 0
[pid=8678/tid=8731] ppid=8675 vsize=10818940 memory=7022364594140610616 CPUtime=0.18 cores=1,3,5,7
/proc/8678/task/8731/stat : 8731 (java) R 8675 8678 3654 0 -1 4202560 3535 13554 0 0 11 0 4 3 20 0 15 0 405698982 11078594560 9676 33554432000 4194304 4196468 140721468576496 139656886689672 139656898934110 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8732] ppid=8675 vsize=10818940 memory=343 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8732/stat : 8732 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 15 0 405698983 11078594560 9676 33554432000 4194304 4196468 140721468576496 139656919095696 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8733] ppid=8675 vsize=10818940 memory=140511545669988 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8733/stat : 8733 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 15 0 405698983 11078594560 9685 33554432000 4194304 4196468 140721468576496 139656837847312 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8734] ppid=8675 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8734/stat : 8734 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 15 0 405698983 11078594560 9685 33554432000 4194304 4196468 140721468576496 139656836795024 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8735] ppid=8675 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8735/stat : 8735 (java) S 8675 8678 3654 0 -1 1077944384 2 13554 0 0 0 0 4 3 20 0 15 0 405698983 11078594560 9685 33554432000 4194304 4196468 140721468576496 139656835742224 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8736] ppid=8675 vsize=10818940 memory=140511545661056 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8736/stat : 8736 (java) S 8675 8678 3654 0 -1 1077944384 2 13554 0 0 0 0 4 3 20 0 15 0 405698984 11078594560 9685 33554432000 4194304 4196468 140721468576496 139656186739312 139656914864770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8737] ppid=8675 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8737/stat : 8737 (java) S 8675 8678 3654 0 -1 1077944384 13 13554 0 0 0 0 4 3 20 0 15 0 405698984 11078594560 9685 33554432000 4194304 4196468 140721468576496 139655894787360 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8738] ppid=8675 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8738/stat : 8738 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 15 0 405698985 11078594560 9685 33554432000 4194304 4196468 140721468576496 139655693461104 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8739] ppid=8675 vsize=10818940 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8739/stat : 8739 (java) S 8675 8678 3654 0 -1 1077944384 3 13554 0 0 0 0 4 3 20 0 15 0 405698987 11078594560 9685 33554432000 4194304 4196468 140721468576496 139655453170256 139656914872219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8740] ppid=8675 vsize=10818940 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8678/task/8740/stat : 8740 (java) S 8675 8678 3654 0 -1 1077944384 457 13554 0 0 1 0 4 3 20 0 15 0 405698987 11078594560 9685 33554432000 4194304 4196468 140721468576496 139656185686128 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8741] ppid=8675 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8741/stat : 8741 (java) S 8675 8678 3654 0 -1 1077944384 184 13554 0 0 0 0 4 3 20 0 15 0 405698987 11078594560 9685 33554432000 4194304 4196468 140721468576496 139656184633328 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8742] ppid=8675 vsize=10818940 memory=140511545661056 CPUtime=0.1 cores=1,3,5,7
/proc/8678/task/8742/stat : 8742 (java) R 8675 8678 3654 0 -1 4202560 626 13554 0 0 3 0 4 3 20 0 15 0 405698987 11078594560 9685 33554432000 4194304 4196468 140721468576496 139656183581040 139656914874970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8743] ppid=8675 vsize=10818940 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8743/stat : 8743 (java) S 8675 8678 3654 0 -1 1077944384 3 13554 0 0 0 0 4 3 20 0 15 0 405698988 11078594560 9685 33554432000 4194304 4196468 140721468576496 139655419611616 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8744] ppid=8675 vsize=10818940 memory=140511545661056 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8744/stat : 8744 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 15 0 405698988 11078594560 9685 33554432000 4194304 4196468 140721468576496 139656182528944 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 38440 KiB
[startup+0.310331 s]*
/proc/loadavg: 1.39 1.43 1.46 3/227 8744
/proc/meminfo: memFree=15646252/32770624 swapFree=66999904/67108860
[pid=8678] ppid=8675 vsize=10820096 memory=50076 CPUtime=0.38 cores=1,3,5,7
/proc/8678/stat : 8678 (java) S 8675 8678 3654 0 -1 1077944320 10813 13554 0 0 29 2 4 3 20 0 15 0 405698973 11079778304 12519 33554432000 4194304 4196468 140721468576496 140721468559040 139656914853623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
/proc/8678/statm: 2705024 12519 3193 1 0 2667149 0
[pid=8678/tid=8731] ppid=8675 vsize=10820096 memory=1398722017469774279 CPUtime=0.28 cores=1,3,5,7
/proc/8678/task/8731/stat : 8731 (java) R 8675 8678 3654 0 -1 4202560 7301 13554 0 0 19 2 4 3 20 0 15 0 405698982 11079778304 12519 33554432000 4194304 4196468 140721468576496 139656886673840 139656914875549 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8732] ppid=8675 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8732/stat : 8732 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 15 0 405698983 11079778304 12519 33554432000 4194304 4196468 140721468576496 139656919095696 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8733] ppid=8675 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8733/stat : 8733 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 15 0 405698983 11079778304 12519 33554432000 4194304 4196468 140721468576496 139656837847312 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8734] ppid=8675 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8734/stat : 8734 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 15 0 405698983 11079778304 12519 33554432000 4194304 4196468 140721468576496 139656836795024 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8735] ppid=8675 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8735/stat : 8735 (java) S 8675 8678 3654 0 -1 1077944384 2 13554 0 0 0 0 4 3 20 0 15 0 405698983 11079778304 12519 33554432000 4194304 4196468 140721468576496 139656835742224 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8736] ppid=8675 vsize=10820096 memory=140511545661055 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8736/stat : 8736 (java) S 8675 8678 3654 0 -1 1077944384 2 13554 0 0 0 0 4 3 20 0 15 0 405698984 11079778304 12519 33554432000 4194304 4196468 140721468576496 139656186739312 139656914864770 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8737] ppid=8675 vsize=10820096 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8737/stat : 8737 (java) S 8675 8678 3654 0 -1 1077944384 13 13554 0 0 0 0 4 3 20 0 15 0 405698984 11079778304 12519 33554432000 4194304 4196468 140721468576496 139655894787360 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8738] ppid=8675 vsize=10820096 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8738/stat : 8738 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 15 0 405698985 11079778304 12519 33554432000 4194304 4196468 140721468576496 139655693461104 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8739] ppid=8675 vsize=10820096 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8739/stat : 8739 (java) S 8675 8678 3654 0 -1 1077944384 3 13554 0 0 0 0 4 3 20 0 15 0 405698987 11079778304 12519 33554432000 4194304 4196468 140721468576496 139655453170256 139656914872219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8740] ppid=8675 vsize=10820096 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8678/task/8740/stat : 8740 (java) S 8675 8678 3654 0 -1 1077944384 459 13554 0 0 2 0 4 3 20 0 15 0 405698987 11079778304 12519 33554432000 4194304 4196468 140721468576496 139656185686128 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8741] ppid=8675 vsize=10820096 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8678/task/8741/stat : 8741 (java) S 8675 8678 3654 0 -1 1077944384 184 13554 0 0 1 0 4 3 20 0 15 0 405698987 11079778304 12519 33554432000 4194304 4196468 140721468576496 139656184633328 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8742] ppid=8675 vsize=10820096 memory=140511545661056 CPUtime=0.12 cores=1,3,5,7
/proc/8678/task/8742/stat : 8742 (java) S 8675 8678 3654 0 -1 1077944384 635 13554 0 0 5 0 4 3 20 0 15 0 405698987 11079778304 12519 33554432000 4194304 4196468 140721468576496 139656183581040 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8743] ppid=8675 vsize=10820096 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8743/stat : 8743 (java) S 8675 8678 3654 0 -1 1077944384 3 13554 0 0 0 0 4 3 20 0 15 0 405698988 11079778304 12519 33554432000 4194304 4196468 140721468576496 139655419611616 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8744] ppid=8675 vsize=10820096 memory=140511545661056 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8744/stat : 8744 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 15 0 405698988 11079778304 12519 33554432000 4194304 4196468 140721468576496 139656182528944 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
Current children cumulated CPU time: 0.38 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 50076 KiB
[startup+0.703016 s]
/proc/loadavg: 1.39 1.43 1.46 5/227 8744
/proc/meminfo: memFree=15631144/32770624 swapFree=66999904/67108860
[pid=8678] ppid=8675 vsize=10824340 memory=80768 CPUtime=1.14 cores=1,3,5,7
/proc/8678/stat : 8678 (java) S 8675 8678 3654 0 -1 1077944320 14874 13554 0 0 103 4 4 3 20 0 15 0 405698973 11084124160 20192 33554432000 4194304 4196468 140721468576496 140721468559040 139656914853623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
/proc/8678/statm: 2706085 20192 3508 1 0 2668173 0
[pid=8678/tid=8731] ppid=8675 vsize=10824340 memory=5795117241467496816 CPUtime=0.66 cores=1,3,5,7
/proc/8678/task/8731/stat : 8731 (java) R 8675 8678 3654 0 -1 4202560 10533 13554 0 0 56 3 4 3 20 0 15 0 405698982 11084124160 20192 33554432000 4194304 4196468 140721468576496 139656886680608 139656907090750 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8732] ppid=8675 vsize=10824340 memory=1432 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8732/stat : 8732 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 15 0 405698983 11084124160 20192 33554432000 4194304 4196468 140721468576496 139656919095696 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8733] ppid=8675 vsize=10824340 memory=9536 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8733/stat : 8733 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 15 0 405698983 11084124160 20192 33554432000 4194304 4196468 140721468576496 139656837847312 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8734] ppid=8675 vsize=10824340 memory=33 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8734/stat : 8734 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 15 0 405698983 11084124160 20192 33554432000 4194304 4196468 140721468576496 139656836795024 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8735] ppid=8675 vsize=10824340 memory=97 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8735/stat : 8735 (java) S 8675 8678 3654 0 -1 1077944384 2 13554 0 0 0 0 4 3 20 0 15 0 405698983 11084124160 20192 33554432000 4194304 4196468 140721468576496 139656835742224 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8736] ppid=8675 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8736/stat : 8736 (java) S 8675 8678 3654 0 -1 1077944384 5 13554 0 0 0 0 4 3 20 0 15 0 405698984 11084124160 20192 33554432000 4194304 4196468 140721468576496 139656186739312 139656914864770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8737] ppid=8675 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8737/stat : 8737 (java) S 8675 8678 3654 0 -1 1077944384 13 13554 0 0 0 0 4 3 20 0 15 0 405698984 11084124160 20192 33554432000 4194304 4196468 140721468576496 139655894787360 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8738] ppid=8675 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8738/stat : 8738 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 15 0 405698985 11084124160 20192 33554432000 4194304 4196468 140721468576496 139655693461104 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8739] ppid=8675 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8739/stat : 8739 (java) S 8675 8678 3654 0 -1 1077944384 3 13554 0 0 0 0 4 3 20 0 15 0 405698987 11084124160 20192 33554432000 4194304 4196468 140721468576496 139655453170256 139656914872219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8740] ppid=8675 vsize=10824340 memory=0 CPUtime=0.22 cores=1,3,5,7
/proc/8678/task/8740/stat : 8740 (java) S 8675 8678 3654 0 -1 1077944384 795 13554 0 0 15 0 4 3 20 0 15 0 405698987 11084124160 20192 33554432000 4194304 4196468 140721468576496 139656185686128 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8741] ppid=8675 vsize=10824340 memory=0 CPUtime=0.19 cores=1,3,5,7
/proc/8678/task/8741/stat : 8741 (java) S 8675 8678 3654 0 -1 1077944384 468 13554 0 0 12 0 4 3 20 0 15 0 405698987 11084124160 20192 33554432000 4194304 4196468 140721468576496 139656184633328 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8742] ppid=8675 vsize=10824340 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/8678/task/8742/stat : 8742 (java) R 8675 8678 3654 0 -1 4202560 843 13554 0 0 17 0 4 3 20 0 15 0 405698987 11084124160 20192 33554432000 4194304 4196468 140721468576496 139656183581040 139656898934110 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8743] ppid=8675 vsize=10824340 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8743/stat : 8743 (java) S 8675 8678 3654 0 -1 1077944384 3 13554 0 0 0 0 4 3 20 0 15 0 405698988 11084124160 20192 33554432000 4194304 4196468 140721468576496 139655419611616 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8744] ppid=8675 vsize=10824340 memory=3580 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8744/stat : 8744 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 15 0 405698988 11084124160 20192 33554432000 4194304 4196468 140721468576496 139656182528944 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 80768 KiB
[startup+1.50067 s]
/proc/loadavg: 1.39 1.43 1.46 3/227 8744
/proc/meminfo: memFree=15587768/32770624 swapFree=66999904/67108860
[pid=8678] ppid=8675 vsize=10834656 memory=166344 CPUtime=2.47 cores=1,3,5,7
/proc/8678/stat : 8678 (java) S 8675 8678 3654 0 -1 1077944320 20268 13554 0 0 232 8 4 3 20 0 15 0 405698973 11094687744 41586 33554432000 4194304 4196468 140721468576496 140721468559040 139656914853623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
/proc/8678/statm: 2708664 41586 3567 1 0 2670733 0
[pid=8678/tid=8731] ppid=8675 vsize=10834656 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/8678/task/8731/stat : 8731 (java) R 8675 8678 3654 0 -1 4202560 15036 13554 0 0 131 5 4 3 20 0 15 0 405698982 11094687744 41586 33554432000 4194304 4196468 140721468576496 139656886653456 139656914865558 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8732] ppid=8675 vsize=10834656 memory=4641331413481514597 CPUtime=0.08 cores=1,3,5,7
/proc/8678/task/8732/stat : 8732 (java) S 8675 8678 3654 0 -1 1077944384 29 13554 0 0 1 0 4 3 20 0 15 0 405698983 11094687744 41586 33554432000 4194304 4196468 140721468576496 139656919095696 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8733] ppid=8675 vsize=10834656 memory=4641048838993176165 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8733/stat : 8733 (java) S 8675 8678 3654 0 -1 1077944384 18 13554 0 0 0 0 4 3 20 0 15 0 405698983 11094687744 41586 33554432000 4194304 4196468 140721468576496 139656837847312 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8734] ppid=8675 vsize=10834656 memory=4639924038597961317 CPUtime=0.08 cores=1,3,5,7
/proc/8678/task/8734/stat : 8734 (java) S 8675 8678 3654 0 -1 1077944384 24 13554 0 0 1 0 4 3 20 0 15 0 405698983 11094687744 41586 33554432000 4194304 4196468 140721468576496 139656836795024 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8735] ppid=8675 vsize=10834656 memory=281022797621664 CPUtime=0.08 cores=1,3,5,7
/proc/8678/task/8735/stat : 8735 (java) S 8675 8678 3654 0 -1 1077944384 34 13554 0 0 1 0 4 3 20 0 15 0 405698983 11094687744 41586 33554432000 4194304 4196468 140721468576496 139656835742224 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8736] ppid=8675 vsize=10834656 memory=177768696398859 CPUtime=0.08 cores=1,3,5,7
/proc/8678/task/8736/stat : 8736 (java) S 8675 8678 3654 0 -1 1077944384 42 13554 0 0 1 0 4 3 20 0 15 0 405698984 11094687744 41586 33554432000 4194304 4196468 140721468576496 139656186739312 139656914864770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8737] ppid=8675 vsize=10834656 memory=177768696398860 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8737/stat : 8737 (java) S 8675 8678 3654 0 -1 1077944384 14 13554 0 0 0 0 4 3 20 0 15 0 405698984 11094687744 41586 33554432000 4194304 4196468 140721468576496 139655894787424 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8738] ppid=8675 vsize=10834656 memory=177768696398861 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8738/stat : 8738 (java) S 8675 8678 3654 0 -1 1077944384 7 13554 0 0 0 0 4 3 20 0 15 0 405698985 11094687744 41586 33554432000 4194304 4196468 140721468576496 139655693461120 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8739] ppid=8675 vsize=10834656 memory=177768696398862 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8739/stat : 8739 (java) S 8675 8678 3654 0 -1 1077944384 3 13554 0 0 0 0 4 3 20 0 15 0 405698987 11094687744 41586 33554432000 4194304 4196468 140721468576496 139655453170256 139656914872219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8740] ppid=8675 vsize=10834656 memory=281022797246208 CPUtime=0.36 cores=1,3,5,7
/proc/8678/task/8740/stat : 8740 (java) S 8675 8678 3654 0 -1 1077944384 857 13554 0 0 29 0 4 3 20 0 15 0 405698987 11094687744 41586 33554432000 4194304 4196468 140721468576496 139656185686128 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8741] ppid=8675 vsize=10834656 memory=3907048729536469414 CPUtime=0.29 cores=1,3,5,7
/proc/8678/task/8741/stat : 8741 (java) R 8675 8678 3654 0 -1 4202560 520 13554 0 0 22 0 4 3 20 0 15 0 405698987 11094687744 41586 33554432000 4194304 4196468 140721468576496 139656184633328 139656907838665 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8742] ppid=8675 vsize=10834656 memory=281022797208576 CPUtime=0.48 cores=1,3,5,7
/proc/8678/task/8742/stat : 8742 (java) S 8675 8678 3654 0 -1 1077944384 1474 13554 0 0 41 0 4 3 20 0 15 0 405698987 11094687744 41586 33554432000 4194304 4196468 140721468576496 139656183581040 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8743] ppid=8675 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8743/stat : 8743 (java) S 8675 8678 3654 0 -1 1077944384 3 13554 0 0 0 0 4 3 20 0 15 0 405698988 11094687744 41586 33554432000 4194304 4196468 140721468576496 139655419611616 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8744] ppid=8675 vsize=10834656 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8744/stat : 8744 (java) S 8675 8678 3654 0 -1 1077944384 1 13554 0 0 0 0 4 3 20 0 15 0 405698988 11094687744 41586 33554432000 4194304 4196468 140721468576496 139656182528944 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
Current children cumulated CPU time: 2.47 s
Current children cumulated vsize: 10834656 KiB
################
# More data... #
################
/proc/8678/task/8731/stat : 8731 (java) R 8675 8678 3654 0 -1 4202560 85004 13554 0 0 235364 62 4 3 20 0 15 0 405698982 11107291136 350772 33554432000 4194304 4196468 140721468576496 139656886689232 139656528822545 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8732] ppid=8675 vsize=10846964 memory=1403036 CPUtime=11.97 cores=1,3,5,7
/proc/8678/task/8732/stat : 8732 (java) S 8675 8678 3654 0 -1 1077944384 17605 13554 0 0 1127 63 4 3 20 0 15 0 405698983 11107291136 350772 33554432000 4194304 4196468 140721468576496 139656919095696 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8733] ppid=8675 vsize=10846964 memory=1398728 CPUtime=11.99 cores=1,3,5,7
/proc/8678/task/8733/stat : 8733 (java) S 8675 8678 3654 0 -1 1077944384 16190 13554 0 0 1128 64 4 3 20 0 15 0 405698983 11107291136 350772 33554432000 4194304 4196468 140721468576496 139656837847312 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8734] ppid=8675 vsize=10846964 memory=1403072 CPUtime=11.97 cores=1,3,5,7
/proc/8678/task/8734/stat : 8734 (java) S 8675 8678 3654 0 -1 1077944384 13203 13554 0 0 1124 66 4 3 20 0 15 0 405698983 11107291136 350772 33554432000 4194304 4196468 140721468576496 139656836795024 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8735] ppid=8675 vsize=10846964 memory=1403088 CPUtime=11.98 cores=1,3,5,7
/proc/8678/task/8735/stat : 8735 (java) S 8675 8678 3654 0 -1 1077944384 18669 13554 0 0 1125 66 4 3 20 0 15 0 405698983 11107291136 350772 33554432000 4194304 4196468 140721468576496 139656835742224 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8736] ppid=8675 vsize=10846964 memory=1403088 CPUtime=12.43 cores=1,3,5,7
/proc/8678/task/8736/stat : 8736 (java) S 8675 8678 3654 0 -1 1077944384 19398 13554 0 0 1176 60 4 3 20 0 15 0 405698984 11107291136 350772 33554432000 4194304 4196468 140721468576496 139656186739312 139656914864770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8737] ppid=8675 vsize=10846964 memory=1191 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8737/stat : 8737 (java) S 8675 8678 3654 0 -1 1077944384 20 13554 0 0 0 0 4 3 20 0 15 0 405698984 11107291136 350772 33554432000 4194304 4196468 140721468576496 139655894787424 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8738] ppid=8675 vsize=10846964 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8738/stat : 8738 (java) S 8675 8678 3654 0 -1 1077944384 12 13554 0 0 0 0 4 3 20 0 15 0 405698985 11107291136 350772 33554432000 4194304 4196468 140721468576496 139655693461120 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8739] ppid=8675 vsize=10846964 memory=141 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8739/stat : 8739 (java) S 8675 8678 3654 0 -1 1077944384 3 13554 0 0 0 0 4 3 20 0 15 0 405698987 11107291136 350772 33554432000 4194304 4196468 140721468576496 139655453170256 139656914872219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8740] ppid=8675 vsize=10846964 memory=1403072 CPUtime=5.34 cores=1,3,5,7
/proc/8678/task/8740/stat : 8740 (java) S 8675 8678 3654 0 -1 1077944384 31123 13554 0 0 522 5 4 3 20 0 15 0 405698987 11107291136 350772 33554432000 4194304 4196468 140721468576496 139656185686128 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8741] ppid=8675 vsize=10846964 memory=1560 CPUtime=5.69 cores=1,3,5,7
/proc/8678/task/8741/stat : 8741 (java) S 8675 8678 3654 0 -1 1077944384 36906 13554 0 0 555 7 4 3 20 0 15 0 405698987 11107291136 350772 33554432000 4194304 4196468 140721468576496 139656184633328 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8742] ppid=8675 vsize=10846964 memory=1403088 CPUtime=3.64 cores=1,3,5,7
/proc/8678/task/8742/stat : 8742 (java) S 8675 8678 3654 0 -1 1077944384 36882 13554 0 0 350 7 4 3 20 0 15 0 405698987 11107291136 350772 33554432000 4194304 4196468 140721468576496 139656183581040 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8743] ppid=8675 vsize=10846964 memory=924 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8743/stat : 8743 (java) S 8675 8678 3654 0 -1 1077944384 3 13554 0 0 0 0 4 3 20 0 15 0 405698988 11107291136 350772 33554432000 4194304 4196468 140721468576496 139655419611616 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8744] ppid=8675 vsize=10846964 memory=8112282956445269571 CPUtime=1.51 cores=1,3,5,7
/proc/8678/task/8744/stat : 8744 (java) S 8675 8678 3654 0 -1 1077944384 1313 13554 0 0 66 78 4 3 20 0 15 0 405698988 11107291136 350772 33554432000 4194304 4196468 140721468576496 139656182528944 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
Current children cumulated CPU time: 2430.33 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1403088 KiB
[startup+2442.3 s]
/proc/loadavg: 1.21 1.33 1.33 3/227 9102
/proc/meminfo: memFree=14058160/32770624 swapFree=66999904/67108860
[pid=8678] ppid=8675 vsize=10846964 memory=1405268 CPUtime=2491.25 cores=1,3,5,7
/proc/8678/stat : 8678 (java) S 8675 8678 3654 0 -1 1077944320 281385 13554 0 0 248703 415 4 3 20 0 15 0 405698973 11107291136 351317 33554432000 4194304 4196468 140721468576496 140721468559040 139656914853623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
/proc/8678/statm: 2711741 351317 3629 1 0 2673805 0
[pid=8678/tid=8731] ppid=8675 vsize=10846964 memory=1405236 CPUtime=2413.61 cores=1,3,5,7
/proc/8678/task/8731/stat : 8731 (java) R 8675 8678 3654 0 -1 4202560 86201 13554 0 0 241291 63 4 3 20 0 15 0 405698982 11107291136 351317 33554432000 4194304 4196468 140721468576496 139656886688560 139656529084096 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8732] ppid=8675 vsize=10846964 memory=1405236 CPUtime=12.29 cores=1,3,5,7
/proc/8678/task/8732/stat : 8732 (java) S 8675 8678 3654 0 -1 1077944384 18097 13554 0 0 1157 65 4 3 20 0 15 0 405698983 11107291136 351317 33554432000 4194304 4196468 140721468576496 139656919095696 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8733] ppid=8675 vsize=10846964 memory=1405236 CPUtime=12.3 cores=1,3,5,7
/proc/8678/task/8733/stat : 8733 (java) S 8675 8678 3654 0 -1 1077944384 16320 13554 0 0 1158 65 4 3 20 0 15 0 405698983 11107291136 351317 33554432000 4194304 4196468 140721468576496 139656837847312 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8734] ppid=8675 vsize=10846964 memory=1405236 CPUtime=12.29 cores=1,3,5,7
/proc/8678/task/8734/stat : 8734 (java) S 8675 8678 3654 0 -1 1077944384 13492 13554 0 0 1154 68 4 3 20 0 15 0 405698983 11107291136 351317 33554432000 4194304 4196468 140721468576496 139656836795024 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8735] ppid=8675 vsize=10846964 memory=1220 CPUtime=12.3 cores=1,3,5,7
/proc/8678/task/8735/stat : 8735 (java) S 8675 8678 3654 0 -1 1077944384 18937 13554 0 0 1156 67 4 3 20 0 15 0 405698983 11107291136 351317 33554432000 4194304 4196468 140721468576496 139656835742224 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8736] ppid=8675 vsize=10846964 memory=1405236 CPUtime=12.75 cores=1,3,5,7
/proc/8678/task/8736/stat : 8736 (java) S 8675 8678 3654 0 -1 1077944384 19829 13554 0 0 1206 62 4 3 20 0 15 0 405698984 11107291136 351317 33554432000 4194304 4196468 140721468576496 139656186739312 139656914864770 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8737] ppid=8675 vsize=10846964 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8737/stat : 8737 (java) S 8675 8678 3654 0 -1 1077944384 20 13554 0 0 0 0 4 3 20 0 15 0 405698984 11107291136 351317 33554432000 4194304 4196468 140721468576496 139655894787424 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8738] ppid=8675 vsize=10846964 memory=1405236 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8738/stat : 8738 (java) S 8675 8678 3654 0 -1 1077944384 12 13554 0 0 0 0 4 3 20 0 15 0 405698985 11107291136 351317 33554432000 4194304 4196468 140721468576496 139655693461120 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8739] ppid=8675 vsize=10846964 memory=1405236 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8739/stat : 8739 (java) S 8675 8678 3654 0 -1 1077944384 3 13554 0 0 0 0 4 3 20 0 15 0 405698987 11107291136 351317 33554432000 4194304 4196468 140721468576496 139655453170256 139656914872219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8740] ppid=8675 vsize=10846964 memory=1405268 CPUtime=5.34 cores=1,3,5,7
/proc/8678/task/8740/stat : 8740 (java) S 8675 8678 3654 0 -1 1077944384 31127 13554 0 0 522 5 4 3 20 0 15 0 405698987 11107291136 351317 33554432000 4194304 4196468 140721468576496 139656185686128 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8741] ppid=8675 vsize=10846964 memory=1405188 CPUtime=5.69 cores=1,3,5,7
/proc/8678/task/8741/stat : 8741 (java) S 8675 8678 3654 0 -1 1077944384 36910 13554 0 0 555 7 4 3 20 0 15 0 405698987 11107291136 351317 33554432000 4194304 4196468 140721468576496 139656184633328 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8742] ppid=8675 vsize=10846964 memory=1405268 CPUtime=3.64 cores=1,3,5,7
/proc/8678/task/8742/stat : 8742 (java) S 8675 8678 3654 0 -1 1077944384 36886 13554 0 0 350 7 4 3 20 0 15 0 405698987 11107291136 351317 33554432000 4194304 4196468 140721468576496 139656183581040 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8743] ppid=8675 vsize=10846964 memory=1405268 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8743/stat : 8743 (java) S 8675 8678 3654 0 -1 1077944384 3 13554 0 0 0 0 4 3 20 0 15 0 405698988 11107291136 351317 33554432000 4194304 4196468 140721468576496 139655419611616 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8744] ppid=8675 vsize=10846964 memory=8112282956445269571 CPUtime=1.54 cores=1,3,5,7
/proc/8678/task/8744/stat : 8744 (java) S 8675 8678 3654 0 -1 1077944384 1342 13554 0 0 67 80 4 3 20 0 15 0 405698988 11107291136 351317 33554432000 4194304 4196468 140721468576496 139656182528944 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
Current children cumulated CPU time: 2491.25 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1405268 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2470.7 s]
/proc/loadavg: 1.36 1.35 1.34 3/227 9104
/proc/meminfo: memFree=14056264/32770624 swapFree=66999904/67108860
[pid=8678] ppid=8675 vsize=10846964 memory=1405280 CPUtime=2520.06 cores=1,3,5,7
/proc/8678/stat : 8678 (java) S 8675 8678 3654 0 -1 1077944320 281854 13554 0 0 251581 418 4 3 20 0 15 0 405698973 11107291136 351320 33554432000 4194304 4196468 140721468576496 140721468559040 139656914853623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
/proc/8678/statm: 2711741 351320 3629 1 0 2673805 0
[pid=8678/tid=8731] ppid=8675 vsize=10846964 memory=1405280 CPUtime=2441.67 cores=1,3,5,7
/proc/8678/task/8731/stat : 8731 (java) R 8675 8678 3654 0 -1 4202560 86602 13554 0 0 244096 64 4 3 20 0 15 0 405698982 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656886688160 139656529928592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8732] ppid=8675 vsize=10846964 memory=1405236 CPUtime=12.44 cores=1,3,5,7
/proc/8678/task/8732/stat : 8732 (java) S 8675 8678 3654 0 -1 1077944384 18101 13554 0 0 1171 66 4 3 20 0 15 0 405698983 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656919095696 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8733] ppid=8675 vsize=10846964 memory=1405268 CPUtime=12.46 cores=1,3,5,7
/proc/8678/task/8733/stat : 8733 (java) S 8675 8678 3654 0 -1 1077944384 16322 13554 0 0 1173 66 4 3 20 0 15 0 405698983 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656837847312 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8734] ppid=8675 vsize=10846964 memory=1405268 CPUtime=12.44 cores=1,3,5,7
/proc/8678/task/8734/stat : 8734 (java) S 8675 8678 3654 0 -1 1077944384 13529 13554 0 0 1168 69 4 3 20 0 15 0 405698983 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656836795024 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8735] ppid=8675 vsize=10846964 memory=1405280 CPUtime=12.44 cores=1,3,5,7
/proc/8678/task/8735/stat : 8735 (java) S 8675 8678 3654 0 -1 1077944384 18943 13554 0 0 1169 68 4 3 20 0 15 0 405698983 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656835742224 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8736] ppid=8675 vsize=10846964 memory=1405280 CPUtime=12.91 cores=1,3,5,7
/proc/8678/task/8736/stat : 8736 (java) S 8675 8678 3654 0 -1 1077944384 19846 13554 0 0 1221 63 4 3 20 0 15 0 405698984 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656186739312 139656914864770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8737] ppid=8675 vsize=10846964 memory=1405280 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8737/stat : 8737 (java) S 8675 8678 3654 0 -1 1077944384 20 13554 0 0 0 0 4 3 20 0 15 0 405698984 11107291136 351320 33554432000 4194304 4196468 140721468576496 139655894787424 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8738] ppid=8675 vsize=10846964 memory=1405280 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8738/stat : 8738 (java) S 8675 8678 3654 0 -1 1077944384 12 13554 0 0 0 0 4 3 20 0 15 0 405698985 11107291136 351320 33554432000 4194304 4196468 140721468576496 139655693461120 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8739] ppid=8675 vsize=10846964 memory=1405280 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8739/stat : 8739 (java) S 8675 8678 3654 0 -1 1077944384 3 13554 0 0 0 0 4 3 20 0 15 0 405698987 11107291136 351320 33554432000 4194304 4196468 140721468576496 139655453170256 139656914872219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8740] ppid=8675 vsize=10846964 memory=0 CPUtime=5.34 cores=1,3,5,7
/proc/8678/task/8740/stat : 8740 (java) S 8675 8678 3654 0 -1 1077944384 31127 13554 0 0 522 5 4 3 20 0 15 0 405698987 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656185686128 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8741] ppid=8675 vsize=10846964 memory=1405280 CPUtime=5.69 cores=1,3,5,7
/proc/8678/task/8741/stat : 8741 (java) S 8675 8678 3654 0 -1 1077944384 36910 13554 0 0 555 7 4 3 20 0 15 0 405698987 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656184633328 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8742] ppid=8675 vsize=10846964 memory=1405280 CPUtime=3.64 cores=1,3,5,7
/proc/8678/task/8742/stat : 8742 (java) S 8675 8678 3654 0 -1 1077944384 36886 13554 0 0 350 7 4 3 20 0 15 0 405698987 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656183581040 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8743] ppid=8675 vsize=10846964 memory=1405280 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8743/stat : 8743 (java) S 8675 8678 3654 0 -1 1077944384 3 13554 0 0 0 0 4 3 20 0 15 0 405698988 11107291136 351320 33554432000 4194304 4196468 140721468576496 139655419611616 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8744] ppid=8675 vsize=10846964 memory=3580 CPUtime=1.55 cores=1,3,5,7
/proc/8678/task/8744/stat : 8744 (java) S 8675 8678 3654 0 -1 1077944384 1344 13554 0 0 67 81 4 3 20 0 15 0 405698988 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656182528944 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1405280 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2470.73 s]
# the end of solver process 8678 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2515.88 s, system=4.22793 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2470.7 s]
/proc/loadavg: 1.36 1.35 1.34 3/227 9104
/proc/meminfo: memFree=14056264/32770624 swapFree=66999904/67108860
[pid=8678] ppid=8675 vsize=10846964 memory=1405280 CPUtime=2520.06 cores=1,3,5,7
/proc/8678/stat : 8678 (java) S 8675 8678 3654 0 -1 1077944320 281854 13554 0 0 251581 418 4 3 20 0 15 0 405698973 11107291136 351320 33554432000 4194304 4196468 140721468576496 140721468559040 139656914853623 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
/proc/8678/statm: 2711741 351320 3629 1 0 2673805 0
[pid=8678/tid=8731] ppid=8675 vsize=10846964 memory=1405280 CPUtime=2441.67 cores=1,3,5,7
/proc/8678/task/8731/stat : 8731 (java) R 8675 8678 3654 0 -1 4202560 86602 13554 0 0 244096 64 4 3 20 0 15 0 405698982 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656886688160 139656529928592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8732] ppid=8675 vsize=10846964 memory=1405236 CPUtime=12.44 cores=1,3,5,7
/proc/8678/task/8732/stat : 8732 (java) S 8675 8678 3654 0 -1 1077944384 18101 13554 0 0 1171 66 4 3 20 0 15 0 405698983 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656919095696 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8733] ppid=8675 vsize=10846964 memory=1405268 CPUtime=12.46 cores=1,3,5,7
/proc/8678/task/8733/stat : 8733 (java) S 8675 8678 3654 0 -1 1077944384 16322 13554 0 0 1173 66 4 3 20 0 15 0 405698983 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656837847312 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8734] ppid=8675 vsize=10846964 memory=1405268 CPUtime=12.44 cores=1,3,5,7
/proc/8678/task/8734/stat : 8734 (java) S 8675 8678 3654 0 -1 1077944384 13529 13554 0 0 1168 69 4 3 20 0 15 0 405698983 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656836795024 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8735] ppid=8675 vsize=10846964 memory=1405280 CPUtime=12.44 cores=1,3,5,7
/proc/8678/task/8735/stat : 8735 (java) S 8675 8678 3654 0 -1 1077944384 18943 13554 0 0 1169 68 4 3 20 0 15 0 405698983 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656835742224 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8736] ppid=8675 vsize=10846964 memory=1405280 CPUtime=12.91 cores=1,3,5,7
/proc/8678/task/8736/stat : 8736 (java) S 8675 8678 3654 0 -1 1077944384 19846 13554 0 0 1221 63 4 3 20 0 15 0 405698984 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656186739312 139656914864770 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8737] ppid=8675 vsize=10846964 memory=1405280 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8737/stat : 8737 (java) S 8675 8678 3654 0 -1 1077944384 20 13554 0 0 0 0 4 3 20 0 15 0 405698984 11107291136 351320 33554432000 4194304 4196468 140721468576496 139655894787424 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8738] ppid=8675 vsize=10846964 memory=1405280 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8738/stat : 8738 (java) S 8675 8678 3654 0 -1 1077944384 12 13554 0 0 0 0 4 3 20 0 15 0 405698985 11107291136 351320 33554432000 4194304 4196468 140721468576496 139655693461120 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8739] ppid=8675 vsize=10846964 memory=1405280 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8739/stat : 8739 (java) S 8675 8678 3654 0 -1 1077944384 3 13554 0 0 0 0 4 3 20 0 15 0 405698987 11107291136 351320 33554432000 4194304 4196468 140721468576496 139655453170256 139656914872219 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8740] ppid=8675 vsize=10846964 memory=0 CPUtime=5.34 cores=1,3,5,7
/proc/8678/task/8740/stat : 8740 (java) S 8675 8678 3654 0 -1 1077944384 31127 13554 0 0 522 5 4 3 20 0 15 0 405698987 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656185686128 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8741] ppid=8675 vsize=10846964 memory=1405280 CPUtime=5.69 cores=1,3,5,7
/proc/8678/task/8741/stat : 8741 (java) S 8675 8678 3654 0 -1 1077944384 36910 13554 0 0 555 7 4 3 20 0 15 0 405698987 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656184633328 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8742] ppid=8675 vsize=10846964 memory=1405280 CPUtime=3.64 cores=1,3,5,7
/proc/8678/task/8742/stat : 8742 (java) S 8675 8678 3654 0 -1 1077944384 36886 13554 0 0 350 7 4 3 20 0 15 0 405698987 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656183581040 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8743] ppid=8675 vsize=10846964 memory=1405280 CPUtime=0.07 cores=1,3,5,7
/proc/8678/task/8743/stat : 8743 (java) S 8675 8678 3654 0 -1 1077944384 3 13554 0 0 0 0 4 3 20 0 15 0 405698988 11107291136 351320 33554432000 4194304 4196468 140721468576496 139655419611616 139656914863829 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
[pid=8678/tid=8744] ppid=8675 vsize=10846964 memory=3580 CPUtime=1.55 cores=1,3,5,7
/proc/8678/task/8744/stat : 8744 (java) S 8675 8678 3654 0 -1 1077944384 1344 13554 0 0 67 81 4 3 20 0 15 0 405698988 11107291136 351320 33554432000 4194304 4196468 140721468576496 139656182528944 139656914864770 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28262400 140721468582646 140721468585157 140721468585157 140721468587983 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 1405280 KiB
Child status: 143
Real time (s): 2470.73
CPU time (s): 2520.1
CPU user time (s): 2515.88
CPU system time (s): 4.22793
CPU usage (%): 101.998
Max. virtual memory (cumulated for all children) (KiB): 10849628
Max. memory (cumulated for all children) (KiB): 1405280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.88
system time used= 4.22793
maximum resident set size= 1409500
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 296439
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 323031
involuntary context switches= 6630
# summary of solver processes directly reported to runsolver:
# pid: 8678
# total CPU time (s): 2520.1
# total CPU user time (s): 2515.88
# total CPU system time (s): 4.22793
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8708 second user time and 21.3869 second system time
The end