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 (8454 MiB free)
memory of node 1: 16384 MiB (11260 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4387421-1568304143/watcher-4387421-1568304143 -o /tmp/evaluation-result-4387421-1568304143/solver-4387421-1568304143 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node123-1568285996-4541 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=303036812 HOME/instance-4387421-1568304143.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
solver pid=11717, runsolver pid=11714
Current StackSize limit: 8192 KiB
[startup+0.100041 s]*
/proc/loadavg: 1.17 1.26 1.35 3/221 11774
/proc/meminfo: memFree=20183704/32770624 swapFree=66999904/67108860
[pid=11717] ppid=11714 vsize=9972712 memory=18596 CPUtime=0.09 cores=0,2,4,6
/proc/11717/stat : 11717 (java) S 11714 11717 3654 0 -1 1077944320 4369 13299 0 0 1 1 5 2 20 0 6 0 406679192 10212057088 4649 33554432000 4194304 4196468 140723891507712 140723891490256 140159133028087 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
/proc/11717/statm: 2493178 4649 1933 1 0 2481616 0
[pid=11717/tid=11770] ppid=11714 vsize=9972712 memory=720575944405811505 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11770/stat : 11770 (java) R 11714 11717 3654 0 -1 4202560 2169 13299 0 0 0 0 5 2 20 0 6 0 406679201 10212057088 4649 33554432000 4194304 4196468 140723891507712 140159104864848 140159133050013 0 4 0 16784584 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11771] ppid=11714 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11771/stat : 11771 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 6 0 406679202 10212057088 4649 33554432000 4194304 4196468 140723891507712 140159137270288 140159133038293 0 4 0 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11772] ppid=11714 vsize=9972712 memory=288371092930885248 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11772/stat : 11772 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 6 0 406679202 10212057088 4649 33554432000 4194304 4196468 140723891507712 140159025543824 140159133038293 0 4 0 16784584 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11773] ppid=11714 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11773/stat : 11773 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 6 0 406679202 10212057088 4649 33554432000 4194304 4196468 140723891507712 140159024490768 140159133038293 0 4 0 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11774] ppid=11714 vsize=9972712 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11774/stat : 11774 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 6 0 406679202 10212057088 4649 33554432000 4194304 4196468 140723891507712 140159023438224 140159133038293 0 4 0 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 18596 KiB
[startup+0.210313 s]*
/proc/loadavg: 1.17 1.26 1.35 3/230 11783
/proc/meminfo: memFree=20161916/32770624 swapFree=66999904/67108860
[pid=11717] ppid=11714 vsize=10818940 memory=40108 CPUtime=0.25 cores=0,2,4,6
/proc/11717/stat : 11717 (java) S 11714 11717 3654 0 -1 1077944320 6908 13299 0 0 17 1 5 2 20 0 15 0 406679192 11078594560 10027 33554432000 4194304 4196468 140723891507712 140723891490256 140159133028087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
/proc/11717/statm: 2704735 10027 2958 1 0 2667149 0
[pid=11717/tid=11770] ppid=11714 vsize=10818940 memory=7022364594140610616 CPUtime=0.19 cores=0,2,4,6
/proc/11717/task/11770/stat : 11770 (java) R 11714 11717 3654 0 -1 4202560 3392 13299 0 0 11 1 5 2 20 0 15 0 406679201 11078594560 10027 33554432000 4194304 4196468 140723891507712 140159104846152 140159133050013 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11771] ppid=11714 vsize=10818940 memory=343 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11771/stat : 11771 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 406679202 11078594560 10027 33554432000 4194304 4196468 140723891507712 140159137270288 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11772] ppid=11714 vsize=10818940 memory=140716779184883 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11772/stat : 11772 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 406679202 11078594560 10027 33554432000 4194304 4196468 140723891507712 140159025543824 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11773] ppid=11714 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11773/stat : 11773 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 406679202 11078594560 10027 33554432000 4194304 4196468 140723891507712 140159024490768 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11774] ppid=11714 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11774/stat : 11774 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 406679202 11078594560 10027 33554432000 4194304 4196468 140723891507712 140159023438224 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11775] ppid=11714 vsize=10818940 memory=140716779173504 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11775/stat : 11775 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 406679204 11078594560 10027 33554432000 4194304 4196468 140723891507712 140158591498992 140159133039234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11776] ppid=11714 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11776/stat : 11776 (java) S 11714 11717 3654 0 -1 1077944384 33 13299 0 0 0 0 5 2 20 0 15 0 406679204 11078594560 10027 33554432000 4194304 4196468 140723891507712 140158590445216 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11777] ppid=11714 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11777/stat : 11777 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 406679204 11078594560 10027 33554432000 4194304 4196468 140723891507712 140158473069808 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11778] ppid=11714 vsize=10818940 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11778/stat : 11778 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 406679207 11078594560 10027 33554432000 4194304 4196468 140723891507712 140157869091280 140159133046683 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11779] ppid=11714 vsize=10818940 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11717/task/11779/stat : 11779 (java) S 11714 11717 3654 0 -1 1077944384 443 13299 0 0 1 0 5 2 20 0 15 0 406679207 11078594560 10027 33554432000 4194304 4196468 140723891507712 140158556887280 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11780] ppid=11714 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11780/stat : 11780 (java) S 11714 11717 3654 0 -1 1077944384 181 13299 0 0 0 0 5 2 20 0 15 0 406679207 11078594560 10027 33554432000 4194304 4196468 140723891507712 140158555834736 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11781] ppid=11714 vsize=10818940 memory=140716779173504 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11781/stat : 11781 (java) S 11714 11717 3654 0 -1 1077944384 645 13299 0 0 3 0 5 2 20 0 15 0 406679207 11078594560 10027 33554432000 4194304 4196468 140723891507712 140158554781680 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11782] ppid=11714 vsize=10818940 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11782/stat : 11782 (java) S 11714 11717 3654 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 406679207 11078594560 10027 33554432000 4194304 4196468 140723891507712 140157399329120 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11783] ppid=11714 vsize=10818940 memory=140716779173504 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11783/stat : 11783 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 406679208 11078594560 10027 33554432000 4194304 4196468 140723891507712 140158553730096 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10818940 KiB
Current children cumulated memory: 40108 KiB
[startup+0.310604 s]*
/proc/loadavg: 1.17 1.26 1.35 3/230 11783
/proc/meminfo: memFree=20150984/32770624 swapFree=66999904/67108860
[pid=11717] ppid=11714 vsize=10820096 memory=51804 CPUtime=0.39 cores=0,2,4,6
/proc/11717/stat : 11717 (java) S 11714 11717 3654 0 -1 1077944320 10653 13299 0 0 29 3 5 2 20 0 15 0 406679192 11079778304 12951 33554432000 4194304 4196468 140723891507712 140723891490256 140159133028087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
/proc/11717/statm: 2705024 12951 3272 1 0 2667149 0
[pid=11717/tid=11770] ppid=11714 vsize=10820096 memory=1398722017469774279 CPUtime=0.28 cores=0,2,4,6
/proc/11717/task/11770/stat : 11770 (java) R 11714 11717 3654 0 -1 4202560 7107 13299 0 0 19 2 5 2 20 0 15 0 406679201 11079778304 12951 33554432000 4194304 4196468 140723891507712 140159104849120 140159133050013 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11771] ppid=11714 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11771/stat : 11771 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 406679202 11079778304 12951 33554432000 4194304 4196468 140723891507712 140159137270288 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11772] ppid=11714 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11772/stat : 11772 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 406679202 11079778304 12951 33554432000 4194304 4196468 140723891507712 140159025543824 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11773] ppid=11714 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11773/stat : 11773 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 406679202 11079778304 12951 33554432000 4194304 4196468 140723891507712 140159024490768 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11774] ppid=11714 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11774/stat : 11774 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 406679202 11079778304 12951 33554432000 4194304 4196468 140723891507712 140159023438224 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11775] ppid=11714 vsize=10820096 memory=140716779173503 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11775/stat : 11775 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 406679204 11079778304 12951 33554432000 4194304 4196468 140723891507712 140158591498992 140159133039234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11776] ppid=11714 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11776/stat : 11776 (java) S 11714 11717 3654 0 -1 1077944384 33 13299 0 0 0 0 5 2 20 0 15 0 406679204 11079778304 12951 33554432000 4194304 4196468 140723891507712 140158590445216 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11777] ppid=11714 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11777/stat : 11777 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 406679204 11079778304 12951 33554432000 4194304 4196468 140723891507712 140158473069808 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11778] ppid=11714 vsize=10820096 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11778/stat : 11778 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 406679207 11079778304 12951 33554432000 4194304 4196468 140723891507712 140157869091280 140159133046683 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11779] ppid=11714 vsize=10820096 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/11717/task/11779/stat : 11779 (java) S 11714 11717 3654 0 -1 1077944384 444 13299 0 0 2 0 5 2 20 0 15 0 406679207 11079778304 12951 33554432000 4194304 4196468 140723891507712 140158556887280 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11780] ppid=11714 vsize=10820096 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/11717/task/11780/stat : 11780 (java) S 11714 11717 3654 0 -1 1077944384 182 13299 0 0 1 0 5 2 20 0 15 0 406679207 11079778304 12951 33554432000 4194304 4196468 140723891507712 140158555834736 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11781] ppid=11714 vsize=10820096 memory=140716779173504 CPUtime=0.12 cores=0,2,4,6
/proc/11717/task/11781/stat : 11781 (java) S 11714 11717 3654 0 -1 1077944384 668 13299 0 0 5 0 5 2 20 0 15 0 406679207 11079778304 12951 33554432000 4194304 4196468 140723891507712 140158554781680 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11782] ppid=11714 vsize=10820096 memory=-1 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11782/stat : 11782 (java) S 11714 11717 3654 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 406679207 11079778304 12951 33554432000 4194304 4196468 140723891507712 140157399329120 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11783] ppid=11714 vsize=10820096 memory=140716779173504 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11783/stat : 11783 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 406679208 11079778304 12951 33554432000 4194304 4196468 140723891507712 140158553730096 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820096 KiB
Current children cumulated memory: 51804 KiB
[startup+0.701055 s]
/proc/loadavg: 1.17 1.26 1.35 5/230 11783
/proc/meminfo: memFree=20137204/32770624 swapFree=66999904/67108860
[pid=11717] ppid=11714 vsize=10824340 memory=82204 CPUtime=1.14 cores=0,2,4,6
/proc/11717/stat : 11717 (java) S 11714 11717 3654 0 -1 1077944320 14850 13299 0 0 102 5 5 2 20 0 15 0 406679192 11084124160 20551 33554432000 4194304 4196468 140723891507712 140723891490256 140159133028087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
/proc/11717/statm: 2706085 20551 3501 1 0 2668173 0
[pid=11717/tid=11770] ppid=11714 vsize=10824340 memory=2020 CPUtime=0.66 cores=0,2,4,6
/proc/11717/task/11770/stat : 11770 (java) R 11714 11717 3654 0 -1 4202560 10486 13299 0 0 55 4 5 2 20 0 15 0 406679201 11084124160 20551 33554432000 4194304 4196468 140723891507712 140159104836576 140159119199514 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11771] ppid=11714 vsize=10824340 memory=1432 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11771/stat : 11771 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 406679202 11084124160 20551 33554432000 4194304 4196468 140723891507712 140159137270288 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11772] ppid=11714 vsize=10824340 memory=9536 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11772/stat : 11772 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 406679202 11084124160 20551 33554432000 4194304 4196468 140723891507712 140159025543824 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11773] ppid=11714 vsize=10824340 memory=33 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11773/stat : 11773 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 406679202 11084124160 20551 33554432000 4194304 4196468 140723891507712 140159024490768 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11774] ppid=11714 vsize=10824340 memory=140716779172385 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11774/stat : 11774 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 406679202 11084124160 20551 33554432000 4194304 4196468 140723891507712 140159023438224 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11775] ppid=11714 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11775/stat : 11775 (java) S 11714 11717 3654 0 -1 1077944384 5 13299 0 0 0 0 5 2 20 0 15 0 406679204 11084124160 20551 33554432000 4194304 4196468 140723891507712 140158591498992 140159133039234 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11776] ppid=11714 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11776/stat : 11776 (java) S 11714 11717 3654 0 -1 1077944384 33 13299 0 0 0 0 5 2 20 0 15 0 406679204 11084124160 20551 33554432000 4194304 4196468 140723891507712 140158590445216 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11777] ppid=11714 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11777/stat : 11777 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 406679204 11084124160 20551 33554432000 4194304 4196468 140723891507712 140158473069808 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11778] ppid=11714 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11778/stat : 11778 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 406679207 11084124160 20551 33554432000 4194304 4196468 140723891507712 140157869091280 140159133046683 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11779] ppid=11714 vsize=10824340 memory=0 CPUtime=0.23 cores=0,2,4,6
/proc/11717/task/11779/stat : 11779 (java) S 11714 11717 3654 0 -1 1077944384 810 13299 0 0 16 0 5 2 20 0 15 0 406679207 11084124160 20551 33554432000 4194304 4196468 140723891507712 140158556887280 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11780] ppid=11714 vsize=10824340 memory=0 CPUtime=0.18 cores=0,2,4,6
/proc/11717/task/11780/stat : 11780 (java) S 11714 11717 3654 0 -1 1077944384 447 13299 0 0 11 0 5 2 20 0 15 0 406679207 11084124160 20551 33554432000 4194304 4196468 140723891507712 140158555834736 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11781] ppid=11714 vsize=10824340 memory=0 CPUtime=0.24 cores=0,2,4,6
/proc/11717/task/11781/stat : 11781 (java) S 11714 11717 3654 0 -1 1077944384 853 13299 0 0 17 0 5 2 20 0 15 0 406679207 11084124160 20551 33554432000 4194304 4196468 140723891507712 140158554781680 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11782] ppid=11714 vsize=10824340 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11782/stat : 11782 (java) S 11714 11717 3654 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 406679207 11084124160 20551 33554432000 4194304 4196468 140723891507712 140157399329120 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11783] ppid=11714 vsize=10824340 memory=3580 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11783/stat : 11783 (java) S 11714 11717 3654 0 -1 1077944384 1 13299 0 0 0 0 5 2 20 0 15 0 406679208 11084124160 20551 33554432000 4194304 4196468 140723891507712 140158553730096 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
Current children cumulated CPU time: 1.14 s
Current children cumulated vsize: 10824340 KiB
Current children cumulated memory: 82204 KiB
[startup+1.5007 s]
/proc/loadavg: 1.17 1.26 1.35 5/230 11783
/proc/meminfo: memFree=20077864/32770624 swapFree=66999904/67108860
[pid=11717] ppid=11714 vsize=10834656 memory=204636 CPUtime=3.03 cores=0,2,4,6
/proc/11717/stat : 11717 (java) S 11714 11717 3654 0 -1 1077944320 36496 13299 0 0 282 14 5 2 20 0 15 0 406679192 11094687744 51159 33554432000 4194304 4196468 140723891507712 140723891490256 140159133028087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
/proc/11717/statm: 2708664 51159 3574 1 0 2670733 0
[pid=11717/tid=11770] ppid=11714 vsize=10834656 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/11717/task/11770/stat : 11770 (java) R 11714 11717 3654 0 -1 4202560 18004 13299 0 0 128 8 5 2 20 0 15 0 406679201 11094687744 51159 33554432000 4194304 4196468 140723891507712 140159104843520 140159133040022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11771] ppid=11714 vsize=10834656 memory=1432 CPUtime=0.08 cores=0,2,4,6
/proc/11717/task/11771/stat : 11771 (java) S 11714 11717 3654 0 -1 1077944384 325 13299 0 0 1 0 5 2 20 0 15 0 406679202 11094687744 51159 33554432000 4194304 4196468 140723891507712 140159137270288 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11772] ppid=11714 vsize=10834656 memory=9536 CPUtime=0.08 cores=0,2,4,6
/proc/11717/task/11772/stat : 11772 (java) S 11714 11717 3654 0 -1 1077944384 49 13299 0 0 1 0 5 2 20 0 15 0 406679202 11094687744 51159 33554432000 4194304 4196468 140723891507712 140159025543824 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11773] ppid=11714 vsize=10834656 memory=281433235010656 CPUtime=0.08 cores=0,2,4,6
/proc/11717/task/11773/stat : 11773 (java) S 11714 11717 3654 0 -1 1077944384 27 13299 0 0 1 0 5 2 20 0 15 0 406679202 11094687744 51159 33554432000 4194304 4196468 140723891507712 140159024490768 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11774] ppid=11714 vsize=10834656 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/11717/task/11774/stat : 11774 (java) S 11714 11717 3654 0 -1 1077944384 92 13299 0 0 1 0 5 2 20 0 15 0 406679202 11094687744 51159 33554432000 4194304 4196468 140723891507712 140159023438224 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11775] ppid=11714 vsize=10834656 memory=6944656591801717918 CPUtime=0.08 cores=0,2,4,6
/proc/11717/task/11775/stat : 11775 (java) S 11714 11717 3654 0 -1 1077944384 1362 13299 0 0 1 0 5 2 20 0 15 0 406679204 11094687744 51159 33554432000 4194304 4196468 140723891507712 140158591498992 140159133039234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11776] ppid=11714 vsize=10834656 memory=6944656592455360569 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11776/stat : 11776 (java) S 11714 11717 3654 0 -1 1077944384 33 13299 0 0 0 0 5 2 20 0 15 0 406679204 11094687744 51159 33554432000 4194304 4196468 140723891507712 140158590445280 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11777] ppid=11714 vsize=10834656 memory=6944656592452807316 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11777/stat : 11777 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 406679204 11094687744 51159 33554432000 4194304 4196468 140723891507712 140158473069824 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11778] ppid=11714 vsize=10834656 memory=281433235433952 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11778/stat : 11778 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 406679207 11094687744 51159 33554432000 4194304 4196468 140723891507712 140157869091280 140159133046683 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11779] ppid=11714 vsize=10834656 memory=191027260447688 CPUtime=0.63 cores=0,2,4,6
/proc/11717/task/11779/stat : 11779 (java) S 11714 11717 3654 0 -1 1077944384 5370 13299 0 0 55 1 5 2 20 0 15 0 406679207 11094687744 51159 33554432000 4194304 4196468 140723891507712 140158556887280 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11780] ppid=11714 vsize=10834656 memory=191027260447689 CPUtime=0.57 cores=0,2,4,6
/proc/11717/task/11780/stat : 11780 (java) S 11714 11717 3654 0 -1 1077944384 6527 13299 0 0 49 1 5 2 20 0 15 0 406679207 11094687744 51159 33554432000 4194304 4196468 140723891507712 140158555834736 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11781] ppid=11714 vsize=10834656 memory=191027260447690 CPUtime=0.48 cores=0,2,4,6
/proc/11717/task/11781/stat : 11781 (java) S 11714 11717 3654 0 -1 1077944384 2493 13299 0 0 41 0 5 2 20 0 15 0 406679207 11094687744 51159 33554432000 4194304 4196468 140723891507712 140158554781680 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11782] ppid=11714 vsize=10834656 memory=191027260447691 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11782/stat : 11782 (java) S 11714 11717 3654 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 406679207 11094687744 51159 33554432000 4194304 4196468 140723891507712 140157399329120 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11783] ppid=11714 vsize=10834656 memory=191027260447692 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11783/stat : 11783 (java) S 11714 11717 3654 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 406679208 11094687744 51159 33554432000 4194304 4196468 140723891507712 140158553730096 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
Current children cumulated CPU time: 3.03 s
Current children cumulated vsize: 10834656 KiB
Current children cumulated memory: 204636 KiB
[startup+3.11176 s]
/proc/loadavg: 1.16 1.26 1.35 3/230 11783
/proc/meminfo: memFree=19936280/32770624 swapFree=66999904/67108860
[pid=11717] ppid=11714 vsize=10844916 memory=269900 CPUtime=7.29 cores=0,2,4,6
/proc/11717/stat : 11717 (java) S 11714 11717 3654 0 -1 1077944320 52339 13299 0 0 703 19 5 2 20 0 15 0 406679192 11105193984 67475 33554432000 4194304 4196468 140723891507712 140723891490256 140159133028087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
/proc/11717/statm: 2711229 67475 3612 1 0 2673293 0
[pid=11717/tid=11770] ppid=11714 vsize=10844916 memory=245592 CPUtime=2.97 cores=0,2,4,6
/proc/11717/task/11770/stat : 11770 (java) R 11714 11717 3654 0 -1 1077944384 24021 13299 0 0 280 10 5 2 20 0 15 0 406679201 11105193984 67475 33554432000 4194304 4196468 140723891507712 140159104861504 140159133038293 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11771] ppid=11714 vsize=10844916 memory=0 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11771/stat : 11771 (java) S 11714 11717 3654 0 -1 1077944384 395 13299 0 0 3 0 5 2 20 0 15 0 406679202 11105193984 67475 33554432000 4194304 4196468 140723891507712 140159137270288 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11772] ppid=11714 vsize=10844916 memory=12024 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11772/stat : 11772 (java) S 11714 11717 3654 0 -1 1077944384 67 13299 0 0 3 0 5 2 20 0 15 0 406679202 11105193984 67475 33554432000 4194304 4196468 140723891507712 140159025543824 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11773] ppid=11714 vsize=10844916 memory=2120 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11773/stat : 11773 (java) S 11714 11717 3654 0 -1 1077944384 133 13299 0 0 3 0 5 2 20 0 15 0 406679202 11105193984 67475 33554432000 4194304 4196468 140723891507712 140159024490768 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11774] ppid=11714 vsize=10844916 memory=496 CPUtime=0.09 cores=0,2,4,6
/proc/11717/task/11774/stat : 11774 (java) S 11714 11717 3654 0 -1 1077944384 106 13299 0 0 2 0 5 2 20 0 15 0 406679202 11105193984 67475 33554432000 4194304 4196468 140723891507712 140159023438224 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11775] ppid=11714 vsize=10844916 memory=1432 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11775/stat : 11775 (java) S 11714 11717 3654 0 -1 1077944384 2720 13299 0 0 3 0 5 2 20 0 15 0 406679204 11105193984 67475 33554432000 4194304 4196468 140723891507712 140158591498992 140159133039234 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11776] ppid=11714 vsize=10844916 memory=9536 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11776/stat : 11776 (java) S 11714 11717 3654 0 -1 1077944384 37 13299 0 0 0 0 5 2 20 0 15 0 406679204 11105193984 67475 33554432000 4194304 4196468 140723891507712 140158590445280 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11777] ppid=11714 vsize=10844916 memory=281433235010656 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11777/stat : 11777 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 406679204 11105193984 67475 33554432000 4194304 4196468 140723891507712 140158473069824 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11778] ppid=11714 vsize=10844916 memory=56 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11778/stat : 11778 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 406679207 11105193984 67475 33554432000 4194304 4196468 140723891507712 140157869091280 140159133046683 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11779] ppid=11714 vsize=10844916 memory=0 CPUtime=1.59 cores=0,2,4,6
/proc/11717/task/11779/stat : 11779 (java) R 11714 11717 3654 0 -1 4202560 8057 13299 0 0 151 1 5 2 20 0 15 0 406679207 11105193984 67475 33554432000 4194304 4196468 140723891507712 140158556873232 140159112274816 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11780] ppid=11714 vsize=10844916 memory=576460758282499373 CPUtime=1.37 cores=0,2,4,6
/proc/11717/task/11780/stat : 11780 (java) R 11714 11717 3654 0 -1 4202560 7908 13299 0 0 129 1 5 2 20 0 15 0 406679207 11105193984 67475 33554432000 4194304 4196468 140723891507712 140158555822288 140159111045096 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11781] ppid=11714 vsize=10844916 memory=288288865905804075 CPUtime=1.31 cores=0,2,4,6
/proc/11717/task/11781/stat : 11781 (java) R 11714 11717 3654 0 -1 4202560 6675 13299 0 0 123 1 5 2 20 0 15 0 406679207 11105193984 67475 33554432000 4194304 4196468 140723891507712 140158554774656 140159126124923 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11782] ppid=11714 vsize=10844916 memory=209596 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11782/stat : 11782 (java) S 11714 11717 3654 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 406679207 11105193984 67475 33554432000 4194304 4196468 140723891507712 140157399329120 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11783] ppid=11714 vsize=10844916 memory=6944656591801719708 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11783/stat : 11783 (java) S 11714 11717 3654 0 -1 1077944384 9 13299 0 0 0 0 5 2 20 0 15 0 406679208 11105193984 67475 33554432000 4194304 4196468 140723891507712 140158553730096 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
Current children cumulated CPU time: 7.29 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 269900 KiB
[startup+4.11899 s]
# the end of solver process 11717 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.80357 s, system=0.2739 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20222 s]
/proc/loadavg: 1.16 1.26 1.35 3/230 11783
/proc/meminfo: memFree=19936280/32770624 swapFree=66999904/67108860
[pid=11717] ppid=11714 vsize=10844916 memory=270728 CPUtime=7.59 cores=0,2,4,6
/proc/11717/stat : 11717 (java) S 11714 11717 3654 0 -1 1077944320 52731 13299 0 0 732 20 5 2 20 0 15 0 406679192 11105193984 67682 33554432000 4194304 4196468 140723891507712 140723891490256 140159133028087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
/proc/11717/statm: 2711229 67682 3612 1 0 2673293 0
[pid=11717/tid=11770] ppid=11714 vsize=10844916 memory=0 CPUtime=3.06 cores=0,2,4,6
/proc/11717/task/11770/stat : 11770 (java) R 11714 11717 3654 0 -1 4202560 24110 13299 0 0 289 10 5 2 20 0 15 0 406679201 11105193984 67682 33554432000 4194304 4196468 140723891507712 140159104860912 140159133040022 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11771] ppid=11714 vsize=10844916 memory=281433235315856 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11771/stat : 11771 (java) S 11714 11717 3654 0 -1 1077944384 395 13299 0 0 3 0 5 2 20 0 15 0 406679202 11105193984 67682 33554432000 4194304 4196468 140723891507712 140159137270288 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11772] ppid=11714 vsize=10844916 memory=6791534058613427641 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11772/stat : 11772 (java) S 11714 11717 3654 0 -1 1077944384 67 13299 0 0 3 0 5 2 20 0 15 0 406679202 11105193984 67682 33554432000 4194304 4196468 140723891507712 140159025543824 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11773] ppid=11714 vsize=10844916 memory=9536 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11773/stat : 11773 (java) S 11714 11717 3654 0 -1 1077944384 133 13299 0 0 3 0 5 2 20 0 15 0 406679202 11105193984 67682 33554432000 4194304 4196468 140723891507712 140159024490768 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11774] ppid=11714 vsize=10844916 memory=692 CPUtime=0.09 cores=0,2,4,6
/proc/11717/task/11774/stat : 11774 (java) S 11714 11717 3654 0 -1 1077944384 106 13299 0 0 2 0 5 2 20 0 15 0 406679202 11105193984 67682 33554432000 4194304 4196468 140723891507712 140159023438224 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11775] ppid=11714 vsize=10844916 memory=4132 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11775/stat : 11775 (java) S 11714 11717 3654 0 -1 1077944384 2720 13299 0 0 3 0 5 2 20 0 15 0 406679204 11105193984 67682 33554432000 4194304 4196468 140723891507712 140158591498992 140159133039234 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11776] ppid=11714 vsize=10844916 memory=2832 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11776/stat : 11776 (java) S 11714 11717 3654 0 -1 1077944384 37 13299 0 0 0 0 5 2 20 0 15 0 406679204 11105193984 67682 33554432000 4194304 4196468 140723891507712 140158590445280 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11777] ppid=11714 vsize=10844916 memory=1712 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11777/stat : 11777 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 406679204 11105193984 67682 33554432000 4194304 4196468 140723891507712 140158473069824 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11778] ppid=11714 vsize=10844916 memory=1220 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11778/stat : 11778 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 406679207 11105193984 67747 33554432000 4194304 4196468 140723891507712 140157869091280 140159133046683 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11779] ppid=11714 vsize=10844916 memory=992 CPUtime=1.66 cores=0,2,4,6
/proc/11717/task/11779/stat : 11779 (java) R 11714 11717 3654 0 -1 4202560 8119 13299 0 0 158 1 5 2 20 0 15 0 406679207 11105193984 67747 33554432000 4194304 4196468 140723891507712 140158556887376 140159116302640 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11780] ppid=11714 vsize=10844916 memory=5976 CPUtime=1.45 cores=0,2,4,6
/proc/11717/task/11780/stat : 11780 (java) R 11714 11717 3654 0 -1 1077944384 8036 13299 0 0 137 1 5 2 20 0 15 0 406679207 11105193984 67747 33554432000 4194304 4196468 140723891507712 140158555834736 140159133039234 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11781] ppid=11714 vsize=10844916 memory=1544 CPUtime=1.36 cores=0,2,4,6
/proc/11717/task/11781/stat : 11781 (java) R 11714 11717 3654 0 -1 4202560 6787 13299 0 0 128 1 5 2 20 0 15 0 406679207 11105193984 67747 33554432000 4194304 4196468 140723891507712 140158554781808 140159133040022 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11782] ppid=11714 vsize=10844916 memory=776 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11782/stat : 11782 (java) S 11714 11717 3654 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 406679207 11105193984 67747 33554432000 4194304 4196468 140723891507712 140157399329120 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11783] ppid=11714 vsize=10844916 memory=1056 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11783/stat : 11783 (java) S 11714 11717 3654 0 -1 1077944384 9 13299 0 0 0 0 5 2 20 0 15 0 406679208 11105193984 67747 33554432000 4194304 4196468 140723891507712 140158553730096 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
Current children cumulated CPU time: 7.59 s
Current children cumulated vsize: 10844916 KiB
Current children cumulated memory: 270728 KiB
[startup+3.60101 s]
/proc/loadavg: 1.16 1.26 1.35 3/230 11783
/proc/meminfo: memFree=19936280/32770624 swapFree=66999904/67108860
[pid=11717] ppid=11714 vsize=10846964 memory=279460 CPUtime=8.86 cores=0,2,4,6
/proc/11717/stat : 11717 (java) S 11714 11717 3654 0 -1 1077944320 56548 13299 0 0 858 21 5 2 20 0 15 0 406679192 11107291136 69865 33554432000 4194304 4196468 140723891507712 140723891490256 140159133028087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
/proc/11717/statm: 2711741 69865 3613 1 0 2673805 0
[pid=11717/tid=11770] ppid=11714 vsize=10846964 memory=-3833726747341067623 CPUtime=3.45 cores=0,2,4,6
/proc/11717/task/11770/stat : 11770 (java) R 11714 11717 3654 0 -1 4202560 25169 13299 0 0 328 10 5 2 20 0 15 0 406679201 11107291136 69865 33554432000 4194304 4196468 140723891507712 140159104864624 140158704332216 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11771] ppid=11714 vsize=10846964 memory=8475934422797934688 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11771/stat : 11771 (java) S 11714 11717 3654 0 -1 1077944384 395 13299 0 0 3 0 5 2 20 0 15 0 406679202 11107291136 69865 33554432000 4194304 4196468 140723891507712 140159137270288 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11772] ppid=11714 vsize=10846964 memory=6656426216303648864 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11772/stat : 11772 (java) S 11714 11717 3654 0 -1 1077944384 67 13299 0 0 3 0 5 2 20 0 15 0 406679202 11107291136 69865 33554432000 4194304 4196468 140723891507712 140159025543824 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11773] ppid=11714 vsize=10846964 memory=-7737605721172012177 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11773/stat : 11773 (java) S 11714 11717 3654 0 -1 1077944384 133 13299 0 0 3 0 5 2 20 0 15 0 406679202 11107291136 69865 33554432000 4194304 4196468 140723891507712 140159024490768 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11774] ppid=11714 vsize=10846964 memory=-7163974055829550171 CPUtime=0.09 cores=0,2,4,6
/proc/11717/task/11774/stat : 11774 (java) S 11714 11717 3654 0 -1 1077944384 106 13299 0 0 2 0 5 2 20 0 15 0 406679202 11107291136 69865 33554432000 4194304 4196468 140723891507712 140159023438224 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11775] ppid=11714 vsize=10846964 memory=-8830840380664863373 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11775/stat : 11775 (java) S 11714 11717 3654 0 -1 1077944384 2721 13299 0 0 3 0 5 2 20 0 15 0 406679204 11107291136 69865 33554432000 4194304 4196468 140723891507712 140158591498992 140159133039234 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11776] ppid=11714 vsize=10846964 memory=4628981909903871350 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11776/stat : 11776 (java) S 11714 11717 3654 0 -1 1077944384 37 13299 0 0 0 0 5 2 20 0 15 0 406679204 11107291136 69865 33554432000 4194304 4196468 140723891507712 140158590445280 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11777] ppid=11714 vsize=10846964 memory=-7966001734603266090 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11777/stat : 11777 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 406679204 11107291136 69865 33554432000 4194304 4196468 140723891507712 140158473069824 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11778] ppid=11714 vsize=10846964 memory=-7022074515825631275 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11778/stat : 11778 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 15 0 406679207 11107291136 69865 33554432000 4194304 4196468 140723891507712 140157869091280 140159133046683 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11779] ppid=11714 vsize=10846964 memory=1608 CPUtime=1.96 cores=0,2,4,6
/proc/11717/task/11779/stat : 11779 (java) R 11714 11717 3654 0 -1 4202560 8623 13299 0 0 187 2 5 2 20 0 15 0 406679207 11107291136 69865 33554432000 4194304 4196468 140723891507712 140158556876272 140159114575594 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11780] ppid=11714 vsize=10846964 memory=908 CPUtime=1.84 cores=0,2,4,6
/proc/11717/task/11780/stat : 11780 (java) R 11714 11717 3654 0 -1 4202560 9696 13299 0 0 176 1 5 2 20 0 15 0 406679207 11107291136 69865 33554432000 4194304 4196468 140723891507712 140158555819696 140159118145181 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11781] ppid=11714 vsize=10846964 memory=1440 CPUtime=1.56 cores=0,2,4,6
/proc/11717/task/11781/stat : 11781 (java) R 11714 11717 3654 0 -1 4202560 7380 13299 0 0 147 2 5 2 20 0 15 0 406679207 11107291136 69865 33554432000 4194304 4196468 140723891507712 140158554781680 140159133049434 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11782] ppid=11714 vsize=10846964 memory=1760 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11782/stat : 11782 (java) S 11714 11717 3654 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 15 0 406679207 11107291136 69865 33554432000 4194304 4196468 140723891507712 140157399329120 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11783] ppid=11714 vsize=10846964 memory=0 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11783/stat : 11783 (java) S 11714 11717 3654 0 -1 1077944384 9 13299 0 0 0 0 5 2 20 0 15 0 406679208 11107291136 69865 33554432000 4194304 4196468 140723891507712 140158553730096 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
Current children cumulated CPU time: 8.86 s
Current children cumulated vsize: 10846964 KiB
Current children cumulated memory: 279460 KiB
[startup+4.00096 s]*
/proc/loadavg: 1.16 1.26 1.35 2/229 11784
/proc/meminfo: memFree=19911244/32770624 swapFree=66999904/67108860
[pid=11717] ppid=11714 vsize=10945272 memory=286744 CPUtime=10.04 cores=0,2,4,6
/proc/11717/stat : 11717 (java) S 11714 11717 3654 0 -1 1077944320 60238 13299 0 0 974 23 5 2 20 0 14 0 406679192 11207958528 71686 33554432000 4194304 4196468 140723891507712 140723891490256 140159133028087 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
/proc/11717/statm: 2736318 71686 3616 1 0 2698382 0
[pid=11717/tid=11770] ppid=11714 vsize=10945272 memory=7306316804797196914 CPUtime=3.81 cores=0,2,4,6
/proc/11717/task/11770/stat : 11770 (java) S 11714 11717 3654 0 -1 1077944384 25262 13299 0 0 363 11 5 2 20 0 14 0 406679201 11207958528 71686 33554432000 4194304 4196468 140723891507712 140159104871568 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11771] ppid=11714 vsize=10945272 memory=3977013960329213744 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11771/stat : 11771 (java) S 11714 11717 3654 0 -1 1077944384 395 13299 0 0 3 0 5 2 20 0 14 0 406679202 11207958528 71686 33554432000 4194304 4196468 140723891507712 140159137270288 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11772] ppid=11714 vsize=10945272 memory=3833020865718724768 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11772/stat : 11772 (java) S 11714 11717 3654 0 -1 1077944384 67 13299 0 0 3 0 5 2 20 0 14 0 406679202 11207958528 71686 33554432000 4194304 4196468 140723891507712 140159025543824 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11773] ppid=11714 vsize=10945272 memory=5937830440616160877 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11773/stat : 11773 (java) S 11714 11717 3654 0 -1 1077944384 133 13299 0 0 3 0 5 2 20 0 14 0 406679202 11207958528 71686 33554432000 4194304 4196468 140723891507712 140159024490768 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11774] ppid=11714 vsize=10945272 memory=2321949970656206898 CPUtime=0.09 cores=0,2,4,6
/proc/11717/task/11774/stat : 11774 (java) S 11714 11717 3654 0 -1 1077944384 106 13299 0 0 2 0 5 2 20 0 14 0 406679202 11207958528 71686 33554432000 4194304 4196468 140723891507712 140159023438224 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11775] ppid=11714 vsize=10945272 memory=7022364594140610616 CPUtime=0.1 cores=0,2,4,6
/proc/11717/task/11775/stat : 11775 (java) R 11714 11717 3654 0 -1 4202560 2721 13299 0 0 3 0 5 2 20 0 14 0 406679204 11207958528 71687 33554432000 4194304 4196468 140723891507712 140158591499200 140159125745383 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11776] ppid=11714 vsize=10945272 memory=301741399295132004 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11776/stat : 11776 (java) S 11714 11717 3654 0 -1 1077944384 37 13299 0 0 0 0 5 2 20 0 13 0 406679204 11207958528 71687 33554432000 4194304 4196468 140723891507712 140158590445280 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11777] ppid=11714 vsize=10945272 memory=3978145426460388075 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11777/stat : 11777 (java) S 11714 11717 3654 0 -1 1077944384 2 13299 0 0 0 0 5 2 20 0 13 0 406679204 11207958528 71687 33554432000 4194304 4196468 140723891507712 140158473069824 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11778] ppid=11714 vsize=10945272 memory=-7374466869519807680 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11778/stat : 11778 (java) S 11714 11717 3654 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 13 0 406679207 11207958528 71687 33554432000 4194304 4196468 140723891507712 140157869090928 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11779] ppid=11714 vsize=10945272 memory=281433235413408 CPUtime=2.31 cores=0,2,4,6
/proc/11717/task/11779/stat : 11779 (java) S 11714 11717 3654 0 -1 1077944384 8933 13299 0 0 222 2 5 2 20 0 13 0 406679207 11207958528 71687 33554432000 4194304 4196468 140723891507712 140158556876480 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11780] ppid=11714 vsize=10945272 memory=191027260447684 CPUtime=2.25 cores=0,2,4,6
/proc/11717/task/11780/stat : 11780 (java) S 11714 11717 3654 0 -1 1077944384 12417 13299 0 0 216 2 5 2 20 0 13 0 406679207 11207958528 71687 33554432000 4194304 4196468 140723891507712 140158555819792 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11781] ppid=11714 vsize=10945272 memory=191027260447685 CPUtime=1.61 cores=0,2,4,6
/proc/11717/task/11781/stat : 11781 (java) S 11714 11717 3654 0 -1 1077944384 7932 13299 0 0 152 2 5 2 20 0 13 0 406679207 11207958528 71654 33554432000 4194304 4196468 140723891507712 140158554781680 140159133039234 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
[pid=11717/tid=11782] ppid=11714 vsize=10945272 memory=191027260447686 CPUtime=0.07 cores=0,2,4,6
/proc/11717/task/11782/stat : 11782 (java) S 11714 11717 3654 0 -1 1077944384 3 13299 0 0 0 0 5 2 20 0 12 0 406679207 11207958528 71654 33554432000 4194304 4196468 140723891507712 140157399329120 140159133038293 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 34181120 140723891514102 140723891516613 140723891516613 140723891519439 0
Current children cumulated CPU time: 10.04 s
Current children cumulated vsize: 10945272 KiB
Current children cumulated memory: 286744 KiB
Child status: 0
Real time (s): 4.11903
CPU time (s): 10.0775
CPU user time (s): 9.80357
CPU system time (s): 0.2739
CPU usage (%): 244.656
Max. virtual memory (cumulated for all children) (KiB): 10945272
Max. memory (cumulated for all children) (KiB): 286744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.80357
system time used= 0.2739
maximum resident set size= 288740
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 73562
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6080
involuntary context switches= 51
# summary of solver processes directly reported to runsolver:
# pid: 11717
# total CPU time (s): 10.0775
# total CPU user time (s): 9.80357
# total CPU system time (s): 0.2739
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.059775 second user time and 0.075506 second system time
The end