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 (6339 MiB free)
memory of node 1: 16384 MiB (3565 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4402950-1568983207/watcher-4402950-1568983207 -o /var/tmp/evaluation-result-4402950-1568983207/solver-4402950-1568983207 -C 2520 -W 2520 -M 15500 --bin-var /var/tmp/runsolver-exch-node140-1568967597-29899 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1467329244 HOME/instance-4402950-1568983207.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=3106, runsolver pid=3103
[startup+0.11063 s]*
/proc/loadavg: 1.28 1.31 1.34 3/219 3164
/proc/meminfo: memFree=10132264/32770624 swapFree=66997176/67108860
[pid=3106] ppid=3103 vsize=10355560 memory=22668 CPUtime=0.09 cores=1,3,5,7
/proc/3106/stat : 3106 (java) S 3103 3106 29867 0 -1 1077944320 4879 13288 0 0 2 0 5 2 20 0 9 0 474259081 10604093440 5667 33554432000 4194304 4196468 140733247504400 140733247486944 140678604173047 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
/proc/3106/statm: 2588890 5667 2101 1 0 2551431 0
[pid=3106/tid=3159] ppid=3103 vsize=10355560 memory=-8171376296011865461 CPUtime=0.09 cores=1,3,5,7
/proc/3106/task/3159/stat : 3159 (java) R 3103 3106 29867 0 -1 4202560 2693 13288 0 0 2 0 5 2 20 0 9 0 474259090 10604093440 5672 33554432000 4194304 4196468 140733247504400 140678576009072 140678604194973 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3160] ppid=3103 vsize=10355560 memory=5792869726567804975 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3160/stat : 3160 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 9 0 474259091 10604093440 5672 33554432000 4194304 4196468 140733247504400 140678608415632 140678604183253 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3161] ppid=3103 vsize=10355560 memory=139931683149440 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3161/stat : 3161 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 9 0 474259091 10604093440 5672 33554432000 4194304 4196468 140733247504400 140678507305744 140678604183253 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3162] ppid=3103 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3162/stat : 3162 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 9 0 474259091 10604093440 5672 33554432000 4194304 4196468 140733247504400 140678506253456 140678604183253 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3163] ppid=3103 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3163/stat : 3163 (java) S 3103 3106 29867 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 9 0 474259091 10604093440 5672 33554432000 4194304 4196468 140733247504400 140678505200656 140678604183253 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3164] ppid=3103 vsize=10355560 memory=139931683149440 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3164/stat : 3164 (java) S 3103 3106 29867 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 9 0 474259092 10604093440 5672 33554432000 4194304 4196468 140733247504400 140678063216752 140678604184194 0 0 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3165] ppid=3103 vsize=10355560 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3165/stat : 3165 (java) S 3103 3106 29867 0 -1 1077944384 13 13288 0 0 0 0 5 2 20 0 9 0 474259093 10604093440 5672 33554432000 4194304 4196468 140733247504400 140677962785568 140678604183253 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3166] ppid=3103 vsize=10355560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3166/stat : 3166 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 9 0 474259093 10604093440 5672 33554432000 4194304 4196468 140733247504400 140677358806192 140678604183253 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 10355560 KiB
Current children cumulated memory: 22668 KiB
[startup+0.2102 s]*
/proc/loadavg: 1.28 1.31 1.34 3/227 3172
/proc/meminfo: memFree=10113984/32770624 swapFree=66997176/67108860
[pid=3106] ppid=3103 vsize=10820196 memory=44148 CPUtime=0.25 cores=1,3,5,7
/proc/3106/stat : 3106 (java) S 3103 3106 29867 0 -1 1077944320 7520 13288 0 0 17 1 5 2 20 0 15 0 474259081 11079880704 11037 33554432000 4194304 4196468 140733247504400 140733247486944 140678604173047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
/proc/3106/statm: 2705049 11037 3256 1 0 2667149 0
[pid=3106/tid=3159] ppid=3103 vsize=10820196 memory=8389772277269004345 CPUtime=0.19 cores=1,3,5,7
/proc/3106/task/3159/stat : 3159 (java) R 3103 3106 29867 0 -1 4202560 4040 13288 0 0 11 1 5 2 20 0 15 0 474259090 11079880704 11103 33554432000 4194304 4196468 140733247504400 140678575984080 140678604194973 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3160] ppid=3103 vsize=10820196 memory=4294967660 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3160/stat : 3160 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 474259091 11079880704 11103 33554432000 4194304 4196468 140733247504400 140678608415632 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3161] ppid=3103 vsize=10820196 memory=139931686602861 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3161/stat : 3161 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 474259091 11079880704 11103 33554432000 4194304 4196468 140733247504400 140678507305744 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3162] ppid=3103 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3162/stat : 3162 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 474259091 11079880704 11103 33554432000 4194304 4196468 140733247504400 140678506253456 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3163] ppid=3103 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3163/stat : 3163 (java) S 3103 3106 29867 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 474259091 11079880704 11103 33554432000 4194304 4196468 140733247504400 140678505200656 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3164] ppid=3103 vsize=10820196 memory=139931683149440 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3164/stat : 3164 (java) S 3103 3106 29867 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 474259092 11079880704 11103 33554432000 4194304 4196468 140733247504400 140678063216752 140678604184194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3165] ppid=3103 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3165/stat : 3165 (java) S 3103 3106 29867 0 -1 1077944384 13 13288 0 0 0 0 5 2 20 0 15 0 474259093 11079880704 11103 33554432000 4194304 4196468 140733247504400 140677962785568 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3166] ppid=3103 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3166/stat : 3166 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 474259093 11079880704 11103 33554432000 4194304 4196468 140733247504400 140677358806128 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3167] ppid=3103 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3167/stat : 3167 (java) S 3103 3106 29867 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 474259096 11079880704 11103 33554432000 4194304 4196468 140733247504400 140677219174480 140678604191643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3168] ppid=3103 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3106/task/3168/stat : 3168 (java) R 3103 3106 29867 0 -1 4202560 601 13288 0 0 1 0 5 2 20 0 15 0 474259096 11079880704 11103 33554432000 4194304 4196468 140733247504400 140678062164592 140678583870728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3169] ppid=3103 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3169/stat : 3169 (java) S 3103 3106 29867 0 -1 1077944384 61 13288 0 0 0 0 5 2 20 0 15 0 474259096 11079880704 11103 33554432000 4194304 4196468 140733247504400 140678061111792 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3170] ppid=3103 vsize=10820196 memory=139931683149440 CPUtime=0.1 cores=1,3,5,7
/proc/3106/task/3170/stat : 3170 (java) S 3103 3106 29867 0 -1 1077944384 605 13288 0 0 3 0 5 2 20 0 15 0 474259096 11079880704 11103 33554432000 4194304 4196468 140733247504400 140678060059504 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3171] ppid=3103 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3171/stat : 3171 (java) S 3103 3106 29867 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 474259096 11079880704 11103 33554432000 4194304 4196468 140733247504400 140676821937120 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3172] ppid=3103 vsize=10820196 memory=139931683149440 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3172/stat : 3172 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 474259096 11079880704 11103 33554432000 4194304 4196468 140733247504400 140678059006384 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 44148 KiB
[startup+0.310832 s]*
/proc/loadavg: 1.28 1.31 1.34 3/227 3172
/proc/meminfo: memFree=10100804/32770624 swapFree=66997176/67108860
[pid=3106] ppid=3103 vsize=10820196 memory=52612 CPUtime=0.39 cores=1,3,5,7
/proc/3106/stat : 3106 (java) S 3103 3106 29867 0 -1 1077944320 10879 13288 0 0 29 3 5 2 20 0 15 0 474259081 11079880704 13153 33554432000 4194304 4196468 140733247504400 140733247486944 140678604173047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
/proc/3106/statm: 2705049 13153 3313 1 0 2667149 0
[pid=3106/tid=3159] ppid=3103 vsize=10820196 memory=-8171376296011865461 CPUtime=0.29 cores=1,3,5,7
/proc/3106/task/3159/stat : 3159 (java) R 3103 3106 29867 0 -1 4202560 7372 13288 0 0 19 3 5 2 20 0 15 0 474259090 11079880704 13153 33554432000 4194304 4196468 140733247504400 140678575985944 140678587359885 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3160] ppid=3103 vsize=10820196 memory=4122819175002409273 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3160/stat : 3160 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 474259091 11079880704 13153 33554432000 4194304 4196468 140733247504400 140678608415632 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3161] ppid=3103 vsize=10820196 memory=139931683149440 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3161/stat : 3161 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 474259091 11079880704 13153 33554432000 4194304 4196468 140733247504400 140678507305744 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3162] ppid=3103 vsize=10820196 memory=2209 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3162/stat : 3162 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 474259091 11079880704 13153 33554432000 4194304 4196468 140733247504400 140678506253456 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3163] ppid=3103 vsize=10820196 memory=2272 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3163/stat : 3163 (java) S 3103 3106 29867 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 474259091 11079880704 13153 33554432000 4194304 4196468 140733247504400 140678505200656 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3164] ppid=3103 vsize=10820196 memory=139935978116735 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3164/stat : 3164 (java) S 3103 3106 29867 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 474259092 11079880704 13153 33554432000 4194304 4196468 140733247504400 140678063216752 140678604184194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3165] ppid=3103 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3165/stat : 3165 (java) S 3103 3106 29867 0 -1 1077944384 13 13288 0 0 0 0 5 2 20 0 15 0 474259093 11079880704 13153 33554432000 4194304 4196468 140733247504400 140677962785568 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3166] ppid=3103 vsize=10820196 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3166/stat : 3166 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 474259093 11079880704 13153 33554432000 4194304 4196468 140733247504400 140677358806128 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3167] ppid=3103 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3167/stat : 3167 (java) S 3103 3106 29867 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 474259096 11079880704 13153 33554432000 4194304 4196468 140733247504400 140677219174480 140678604191643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3168] ppid=3103 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/3106/task/3168/stat : 3168 (java) S 3103 3106 29867 0 -1 1077944384 602 13288 0 0 2 0 5 2 20 0 15 0 474259096 11079880704 13153 33554432000 4194304 4196468 140733247504400 140678062164592 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3169] ppid=3103 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/3106/task/3169/stat : 3169 (java) S 3103 3106 29867 0 -1 1077944384 62 13288 0 0 1 0 5 2 20 0 15 0 474259096 11079880704 13153 33554432000 4194304 4196468 140733247504400 140678061111792 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3170] ppid=3103 vsize=10820196 memory=139931683149440 CPUtime=0.12 cores=1,3,5,7
/proc/3106/task/3170/stat : 3170 (java) S 3103 3106 29867 0 -1 1077944384 613 13288 0 0 5 0 5 2 20 0 15 0 474259096 11079880704 13153 33554432000 4194304 4196468 140733247504400 140678060059504 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3171] ppid=3103 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3171/stat : 3171 (java) S 3103 3106 29867 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 474259096 11079880704 13153 33554432000 4194304 4196468 140733247504400 140676821937120 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3172] ppid=3103 vsize=10820196 memory=139931683149440 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3172/stat : 3172 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 474259096 11079880704 13153 33554432000 4194304 4196468 140733247504400 140678059006384 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
Current children cumulated CPU time: 0.39 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 52612 KiB
[startup+0.700724 s]
/proc/loadavg: 1.28 1.31 1.34 4/227 3172
/proc/meminfo: memFree=10086132/32770624 swapFree=66997176/67108860
[pid=3106] ppid=3103 vsize=10824364 memory=86200 CPUtime=1.13 cores=1,3,5,7
/proc/3106/stat : 3106 (java) S 3103 3106 29867 0 -1 1077944320 15218 13288 0 0 101 5 5 2 20 0 15 0 474259081 11084148736 21499 33554432000 4194304 4196468 140733247504400 140733247486944 140678604173047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
/proc/3106/statm: 2706091 21499 3514 1 0 2668173 0
[pid=3106/tid=3159] ppid=3103 vsize=10824364 memory=139934329471523 CPUtime=0.66 cores=1,3,5,7
/proc/3106/task/3159/stat : 3159 (java) R 3103 3106 29867 0 -1 4202560 10466 13288 0 0 55 4 5 2 20 0 15 0 474259090 11084148736 21550 33554432000 4194304 4196468 140733247504400 140678576002592 140678588216677 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3160] ppid=3103 vsize=10824364 memory=139934329471546 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3160/stat : 3160 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 474259091 11084148736 21550 33554432000 4194304 4196468 140733247504400 140678608415632 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3161] ppid=3103 vsize=10824364 memory=139934329471547 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3161/stat : 3161 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 474259091 11084148736 21550 33554432000 4194304 4196468 140733247504400 140678507305744 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3162] ppid=3103 vsize=10824364 memory=10596 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3162/stat : 3162 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 474259091 11084148736 21550 33554432000 4194304 4196468 140733247504400 140678506253456 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3163] ppid=3103 vsize=10824364 memory=6296683612671922525 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3163/stat : 3163 (java) S 3103 3106 29867 0 -1 1077944384 2 13288 0 0 0 0 5 2 20 0 15 0 474259091 11084148736 21550 33554432000 4194304 4196468 140733247504400 140678505200656 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3164] ppid=3103 vsize=10824364 memory=180 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3164/stat : 3164 (java) S 3103 3106 29867 0 -1 1077944384 5 13288 0 0 0 0 5 2 20 0 15 0 474259092 11084148736 21550 33554432000 4194304 4196468 140733247504400 140678063216752 140678604184194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3165] ppid=3103 vsize=10824364 memory=288230604626230233 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3165/stat : 3165 (java) S 3103 3106 29867 0 -1 1077944384 13 13288 0 0 0 0 5 2 20 0 15 0 474259093 11084148736 21550 33554432000 4194304 4196468 140733247504400 140677962785568 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3166] ppid=3103 vsize=10824364 memory=13846365502873590 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3166/stat : 3166 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 474259093 11084148736 21550 33554432000 4194304 4196468 140733247504400 140677358806128 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3167] ppid=3103 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3167/stat : 3167 (java) S 3103 3106 29867 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 474259096 11084148736 21550 33554432000 4194304 4196468 140733247504400 140677219174480 140678604191643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3168] ppid=3103 vsize=10824364 memory=0 CPUtime=0.2 cores=1,3,5,7
/proc/3106/task/3168/stat : 3168 (java) S 3103 3106 29867 0 -1 1077944384 1032 13288 0 0 13 0 5 2 20 0 15 0 474259096 11084148736 21550 33554432000 4194304 4196468 140733247504400 140678062164592 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3169] ppid=3103 vsize=10824364 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/3106/task/3169/stat : 3169 (java) R 3103 3106 29867 0 -1 4202560 677 13288 0 0 14 0 5 2 20 0 15 0 474259096 11084148736 21550 33554432000 4194304 4196468 140733247504400 140678061101904 140678584808486 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3170] ppid=3103 vsize=10824364 memory=0 CPUtime=0.24 cores=1,3,5,7
/proc/3106/task/3170/stat : 3170 (java) S 3103 3106 29867 0 -1 1077944384 808 13288 0 0 17 0 5 2 20 0 15 0 474259096 11084148736 21550 33554432000 4194304 4196468 140733247504400 140678060059504 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3171] ppid=3103 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3171/stat : 3171 (java) S 3103 3106 29867 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 474259096 11084148736 21550 33554432000 4194304 4196468 140733247504400 140676821937120 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3172] ppid=3103 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3172/stat : 3172 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 474259096 11084148736 21550 33554432000 4194304 4196468 140733247504400 140678059006384 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
Current children cumulated CPU time: 1.13 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 86200 KiB
[startup+1.50087 s]
/proc/loadavg: 1.28 1.31 1.34 5/227 3172
/proc/meminfo: memFree=9994068/32770624 swapFree=66997176/67108860
[pid=3106] ppid=3103 vsize=10832632 memory=235464 CPUtime=2.89 cores=1,3,5,7
/proc/3106/stat : 3106 (java) S 3103 3106 29867 0 -1 1077944320 23638 13288 0 0 270 12 5 2 20 0 15 0 474259081 11092615168 58866 33554432000 4194304 4196468 140733247504400 140733247486944 140678604173047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
/proc/3106/statm: 2708158 58866 3584 1 0 2670221 0
[pid=3106/tid=3159] ppid=3103 vsize=10832632 memory=54328 CPUtime=1.41 cores=1,3,5,7
/proc/3106/task/3159/stat : 3159 (java) R 3103 3106 29867 0 -1 4202560 14962 13288 0 0 127 7 5 2 20 0 15 0 474259090 11092615168 58866 33554432000 4194304 4196468 140733247504400 140678575990928 140678583701773 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3160] ppid=3103 vsize=10832632 memory=7518026621751088997 CPUtime=0.08 cores=1,3,5,7
/proc/3106/task/3160/stat : 3160 (java) S 3103 3106 29867 0 -1 1077944384 62 13288 0 0 1 0 5 2 20 0 15 0 474259091 11092615168 58866 33554432000 4194304 4196468 140733247504400 140678608415632 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3161] ppid=3103 vsize=10832632 memory=7517748492804384100 CPUtime=0.08 cores=1,3,5,7
/proc/3106/task/3161/stat : 3161 (java) S 3103 3106 29867 0 -1 1077944384 265 13288 0 0 1 0 5 2 20 0 15 0 474259091 11092615168 58866 33554432000 4194304 4196468 140733247504400 140678507305744 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3162] ppid=3103 vsize=10832632 memory=5865188000529146989 CPUtime=0.08 cores=1,3,5,7
/proc/3106/task/3162/stat : 3162 (java) S 3103 3106 29867 0 -1 1077944384 41 13288 0 0 1 0 5 2 20 0 15 0 474259091 11092615168 58866 33554432000 4194304 4196468 140733247504400 140678506253456 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3163] ppid=3103 vsize=10832632 memory=6935650355287975249 CPUtime=0.09 cores=1,3,5,7
/proc/3106/task/3163/stat : 3163 (java) S 3103 3106 29867 0 -1 1077944384 74 13288 0 0 2 0 5 2 20 0 15 0 474259091 11092615168 58866 33554432000 4194304 4196468 140733247504400 140678505200656 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3164] ppid=3103 vsize=10832632 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/3106/task/3164/stat : 3164 (java) S 3103 3106 29867 0 -1 1077944384 1137 13288 0 0 1 0 5 2 20 0 15 0 474259092 11092615168 58866 33554432000 4194304 4196468 140733247504400 140678063216752 140678604184194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3165] ppid=3103 vsize=10832632 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3165/stat : 3165 (java) S 3103 3106 29867 0 -1 1077944384 14 13288 0 0 0 0 5 2 20 0 15 0 474259093 11092615168 58866 33554432000 4194304 4196468 140733247504400 140677962785568 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3166] ppid=3103 vsize=10832632 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3166/stat : 3166 (java) S 3103 3106 29867 0 -1 1077944384 1 13288 0 0 0 0 5 2 20 0 15 0 474259093 11092615168 58866 33554432000 4194304 4196468 140733247504400 140677358806144 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3167] ppid=3103 vsize=10832632 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3167/stat : 3167 (java) S 3103 3106 29867 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 474259096 11092615168 58866 33554432000 4194304 4196468 140733247504400 140677219174480 140678604191643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3168] ppid=3103 vsize=10832632 memory=0 CPUtime=0.53 cores=1,3,5,7
/proc/3106/task/3168/stat : 3168 (java) S 3103 3106 29867 0 -1 1077944384 1786 13288 0 0 46 0 5 2 20 0 15 0 474259096 11092615168 58866 33554432000 4194304 4196468 140733247504400 140678062164592 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3169] ppid=3103 vsize=10832632 memory=4862657614864404823 CPUtime=0.55 cores=1,3,5,7
/proc/3106/task/3169/stat : 3169 (java) S 3103 3106 29867 0 -1 1077944384 1323 13288 0 0 48 0 5 2 20 0 15 0 474259096 11092615168 58866 33554432000 4194304 4196468 140733247504400 140678061111792 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3170] ppid=3103 vsize=10832632 memory=0 CPUtime=0.44 cores=1,3,5,7
/proc/3106/task/3170/stat : 3170 (java) S 3103 3106 29867 0 -1 1077944384 1758 13288 0 0 37 0 5 2 20 0 15 0 474259096 11092615168 58866 33554432000 4194304 4196468 140733247504400 140678060059504 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
################
# More data... #
################
/proc/3106/task/3159/stat : 3159 (java) R 3103 3106 29867 0 -1 4202560 66326 13288 0 0 236743 38 5 2 20 0 15 0 474259090 11107315712 171533 33554432000 4194304 4196468 140733247504400 140678576008992 140678197462281 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3160] ppid=3103 vsize=10846988 memory=686132 CPUtime=6.84 cores=1,3,5,7
/proc/3106/task/3160/stat : 3160 (java) S 3103 3106 29867 0 -1 1077944384 12545 13288 0 0 641 36 5 2 20 0 15 0 474259091 11107315712 171533 33554432000 4194304 4196468 140733247504400 140678608415632 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3161] ppid=3103 vsize=10846988 memory=686132 CPUtime=6.86 cores=1,3,5,7
/proc/3106/task/3161/stat : 3161 (java) S 3103 3106 29867 0 -1 1077944384 10237 13288 0 0 642 37 5 2 20 0 15 0 474259091 11107315712 171533 33554432000 4194304 4196468 140733247504400 140678507305744 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3162] ppid=3103 vsize=10846988 memory=686132 CPUtime=6.87 cores=1,3,5,7
/proc/3106/task/3162/stat : 3162 (java) S 3103 3106 29867 0 -1 1077944384 12345 13288 0 0 643 37 5 2 20 0 15 0 474259091 11107315712 171533 33554432000 4194304 4196468 140733247504400 140678506253456 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3163] ppid=3103 vsize=10846988 memory=686132 CPUtime=6.87 cores=1,3,5,7
/proc/3106/task/3163/stat : 3163 (java) S 3103 3106 29867 0 -1 1077944384 9961 13288 0 0 641 39 5 2 20 0 15 0 474259091 11107315712 171533 33554432000 4194304 4196468 140733247504400 140678505200656 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3164] ppid=3103 vsize=10846988 memory=686132 CPUtime=5.95 cores=1,3,5,7
/proc/3106/task/3164/stat : 3164 (java) S 3103 3106 29867 0 -1 1077944384 13439 13288 0 0 551 37 5 2 20 0 15 0 474259092 11107315712 171533 33554432000 4194304 4196468 140733247504400 140678063216752 140678604184194 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3165] ppid=3103 vsize=10846988 memory=686132 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3165/stat : 3165 (java) S 3103 3106 29867 0 -1 1077944384 29 13288 0 0 0 0 5 2 20 0 15 0 474259093 11107315712 171533 33554432000 4194304 4196468 140733247504400 140677962785632 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3166] ppid=3103 vsize=10846988 memory=686132 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3166/stat : 3166 (java) S 3103 3106 29867 0 -1 1077944384 18 13288 0 0 0 0 5 2 20 0 15 0 474259093 11107315712 171533 33554432000 4194304 4196468 140733247504400 140677358806144 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3167] ppid=3103 vsize=10846988 memory=686132 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3167/stat : 3167 (java) S 3103 3106 29867 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 474259096 11107315712 171533 33554432000 4194304 4196468 140733247504400 140677219174480 140678604191643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3168] ppid=3103 vsize=10846988 memory=686132 CPUtime=5.4 cores=1,3,5,7
/proc/3106/task/3168/stat : 3168 (java) S 3103 3106 29867 0 -1 1077944384 39124 13288 0 0 528 5 5 2 20 0 15 0 474259096 11107315712 171533 33554432000 4194304 4196468 140733247504400 140678062164592 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3169] ppid=3103 vsize=10846988 memory=686132 CPUtime=5.12 cores=1,3,5,7
/proc/3106/task/3169/stat : 3169 (java) S 3103 3106 29867 0 -1 1077944384 35930 13288 0 0 501 4 5 2 20 0 15 0 474259096 11107315712 171533 33554432000 4194304 4196468 140733247504400 140678061111792 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3170] ppid=3103 vsize=10846988 memory=3624 CPUtime=2 cores=1,3,5,7
/proc/3106/task/3170/stat : 3170 (java) S 3103 3106 29867 0 -1 1077944384 18046 13288 0 0 189 4 5 2 20 0 15 0 474259096 11107315712 171533 33554432000 4194304 4196468 140733247504400 140678060059504 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3171] ppid=3103 vsize=10846988 memory=54380 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3171/stat : 3171 (java) S 3103 3106 29867 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 474259096 11107315712 171533 33554432000 4194304 4196468 140733247504400 140676821937120 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3172] ppid=3103 vsize=10846988 memory=988 CPUtime=1.22 cores=1,3,5,7
/proc/3106/task/3172/stat : 3172 (java) S 3103 3106 29867 0 -1 1077944384 1106 13288 0 0 53 62 5 2 20 0 15 0 474259096 11107315712 171533 33554432000 4194304 4196468 140733247504400 140678059006384 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
Current children cumulated CPU time: 2414.49 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 686132 KiB
[startup+2442.3 s]
/proc/loadavg: 1.46 1.38 1.36 3/228 3556
/proc/meminfo: memFree=9883224/32770624 swapFree=66997180/67108860
[pid=3106] ppid=3103 vsize=10846988 memory=688180 CPUtime=2475.02 cores=1,3,5,7
/proc/3106/stat : 3106 (java) S 3103 3106 29867 0 -1 1077944320 222607 13288 0 0 247229 266 5 2 20 0 15 0 474259081 11107315712 172045 33554432000 4194304 4196468 140733247504400 140733247486944 140678604173047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
/proc/3106/statm: 2711747 172045 3629 1 0 2673805 0
[pid=3106/tid=3159] ppid=3103 vsize=10846988 memory=1048 CPUtime=2427.5 cores=1,3,5,7
/proc/3106/task/3159/stat : 3159 (java) R 3103 3106 29867 0 -1 4202560 66895 13288 0 0 242704 39 5 2 20 0 15 0 474259090 11107315712 172045 33554432000 4194304 4196468 140733247504400 140678576007808 140678187022345 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3160] ppid=3103 vsize=10846988 memory=1764 CPUtime=7.03 cores=1,3,5,7
/proc/3106/task/3160/stat : 3160 (java) S 3103 3106 29867 0 -1 1077944384 12573 13288 0 0 659 37 5 2 20 0 15 0 474259091 11107315712 172045 33554432000 4194304 4196468 140733247504400 140678608415632 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3161] ppid=3103 vsize=10846988 memory=688180 CPUtime=7.03 cores=1,3,5,7
/proc/3106/task/3161/stat : 3161 (java) S 3103 3106 29867 0 -1 1077944384 10411 13288 0 0 659 37 5 2 20 0 15 0 474259091 11107315712 172045 33554432000 4194304 4196468 140733247504400 140678507305744 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3162] ppid=3103 vsize=10846988 memory=688180 CPUtime=7.05 cores=1,3,5,7
/proc/3106/task/3162/stat : 3162 (java) S 3103 3106 29867 0 -1 1077944384 12579 13288 0 0 660 38 5 2 20 0 15 0 474259091 11107315712 172045 33554432000 4194304 4196468 140733247504400 140678506253456 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3163] ppid=3103 vsize=10846988 memory=688180 CPUtime=7.05 cores=1,3,5,7
/proc/3106/task/3163/stat : 3163 (java) S 3103 3106 29867 0 -1 1077944384 10005 13288 0 0 658 40 5 2 20 0 15 0 474259091 11107315712 172045 33554432000 4194304 4196468 140733247504400 140678505200656 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3164] ppid=3103 vsize=10846988 memory=688180 CPUtime=6.11 cores=1,3,5,7
/proc/3106/task/3164/stat : 3164 (java) S 3103 3106 29867 0 -1 1077944384 13655 13288 0 0 566 38 5 2 20 0 15 0 474259092 11107315712 172045 33554432000 4194304 4196468 140733247504400 140678063216752 140678604184194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3165] ppid=3103 vsize=10846988 memory=688180 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3165/stat : 3165 (java) S 3103 3106 29867 0 -1 1077944384 29 13288 0 0 0 0 5 2 20 0 15 0 474259093 11107315712 172045 33554432000 4194304 4196468 140733247504400 140677962785632 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3166] ppid=3103 vsize=10846988 memory=688180 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3166/stat : 3166 (java) S 3103 3106 29867 0 -1 1077944384 18 13288 0 0 0 0 5 2 20 0 15 0 474259093 11107315712 172045 33554432000 4194304 4196468 140733247504400 140677358806144 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3167] ppid=3103 vsize=10846988 memory=688180 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3167/stat : 3167 (java) S 3103 3106 29867 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 474259096 11107315712 172045 33554432000 4194304 4196468 140733247504400 140677219174480 140678604191643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3168] ppid=3103 vsize=10846988 memory=688180 CPUtime=5.4 cores=1,3,5,7
/proc/3106/task/3168/stat : 3168 (java) S 3103 3106 29867 0 -1 1077944384 39126 13288 0 0 528 5 5 2 20 0 15 0 474259096 11107315712 172045 33554432000 4194304 4196468 140733247504400 140678062164592 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3169] ppid=3103 vsize=10846988 memory=688180 CPUtime=5.12 cores=1,3,5,7
/proc/3106/task/3169/stat : 3169 (java) S 3103 3106 29867 0 -1 1077944384 35932 13288 0 0 501 4 5 2 20 0 15 0 474259096 11107315712 172045 33554432000 4194304 4196468 140733247504400 140678061111792 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3170] ppid=3103 vsize=10846988 memory=688180 CPUtime=2 cores=1,3,5,7
/proc/3106/task/3170/stat : 3170 (java) S 3103 3106 29867 0 -1 1077944384 18048 13288 0 0 189 4 5 2 20 0 15 0 474259096 11107315712 172045 33554432000 4194304 4196468 140733247504400 140678060059504 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3171] ppid=3103 vsize=10846988 memory=688180 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3171/stat : 3171 (java) S 3103 3106 29867 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 474259096 11107315712 172045 33554432000 4194304 4196468 140733247504400 140676821937120 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3172] ppid=3103 vsize=10846988 memory=688180 CPUtime=1.25 cores=1,3,5,7
/proc/3106/task/3172/stat : 3172 (java) S 3103 3106 29867 0 -1 1077944384 1124 13288 0 0 54 64 5 2 20 0 15 0 474259096 11107315712 172045 33554432000 4194304 4196468 140733247504400 140678059006384 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
Current children cumulated CPU time: 2475.02 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 688180 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2486.9 s]
/proc/loadavg: 1.99 1.52 1.41 3/228 3559
/proc/meminfo: memFree=9881892/32770624 swapFree=66997180/67108860
[pid=3106] ppid=3103 vsize=10846988 memory=689372 CPUtime=2520.01 cores=1,3,5,7
/proc/3106/stat : 3106 (java) S 3103 3106 29867 0 -1 1077944320 222845 13288 0 0 251724 270 5 2 20 0 15 0 474259081 11107315712 172343 33554432000 4194304 4196468 140733247504400 140733247486944 140678604173047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
/proc/3106/statm: 2711747 172343 3629 1 0 2673805 0
[pid=3106/tid=3159] ppid=3103 vsize=10846988 memory=689372 CPUtime=2471.79 cores=1,3,5,7
/proc/3106/task/3159/stat : 3159 (java) R 3103 3106 29867 0 -1 4202560 67096 13288 0 0 247133 39 5 2 20 0 15 0 474259090 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678576008656 140678197464488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3160] ppid=3103 vsize=10846988 memory=14060 CPUtime=7.17 cores=1,3,5,7
/proc/3106/task/3160/stat : 3160 (java) S 3103 3106 29867 0 -1 1077944384 12578 13288 0 0 672 38 5 2 20 0 15 0 474259091 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678608415632 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3161] ppid=3103 vsize=10846988 memory=3624 CPUtime=7.18 cores=1,3,5,7
/proc/3106/task/3161/stat : 3161 (java) S 3103 3106 29867 0 -1 1077944384 10414 13288 0 0 673 38 5 2 20 0 15 0 474259091 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678507305744 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3162] ppid=3103 vsize=10846988 memory=689372 CPUtime=7.18 cores=1,3,5,7
/proc/3106/task/3162/stat : 3162 (java) S 3103 3106 29867 0 -1 1077944384 12599 13288 0 0 673 38 5 2 20 0 15 0 474259091 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678506253456 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3163] ppid=3103 vsize=10846988 memory=689372 CPUtime=7.19 cores=1,3,5,7
/proc/3106/task/3163/stat : 3163 (java) S 3103 3106 29867 0 -1 1077944384 10005 13288 0 0 671 41 5 2 20 0 15 0 474259091 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678505200656 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3164] ppid=3103 vsize=10846988 memory=688180 CPUtime=6.22 cores=1,3,5,7
/proc/3106/task/3164/stat : 3164 (java) S 3103 3106 29867 0 -1 1077944384 13662 13288 0 0 577 38 5 2 20 0 15 0 474259092 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678063216752 140678604184194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3165] ppid=3103 vsize=10846988 memory=688180 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3165/stat : 3165 (java) S 3103 3106 29867 0 -1 1077944384 29 13288 0 0 0 0 5 2 20 0 15 0 474259093 11107315712 172343 33554432000 4194304 4196468 140733247504400 140677962785632 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3166] ppid=3103 vsize=10846988 memory=688180 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3166/stat : 3166 (java) S 3103 3106 29867 0 -1 1077944384 18 13288 0 0 0 0 5 2 20 0 15 0 474259093 11107315712 172343 33554432000 4194304 4196468 140733247504400 140677358806144 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3167] ppid=3103 vsize=10846988 memory=689372 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3167/stat : 3167 (java) S 3103 3106 29867 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 474259096 11107315712 172343 33554432000 4194304 4196468 140733247504400 140677219174480 140678604191643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3168] ppid=3103 vsize=10846988 memory=505 CPUtime=5.4 cores=1,3,5,7
/proc/3106/task/3168/stat : 3168 (java) S 3103 3106 29867 0 -1 1077944384 39126 13288 0 0 528 5 5 2 20 0 15 0 474259096 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678062164592 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3169] ppid=3103 vsize=10846988 memory=0 CPUtime=5.12 cores=1,3,5,7
/proc/3106/task/3169/stat : 3169 (java) S 3103 3106 29867 0 -1 1077944384 35932 13288 0 0 501 4 5 2 20 0 15 0 474259096 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678061111792 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3170] ppid=3103 vsize=10846988 memory=689372 CPUtime=2 cores=1,3,5,7
/proc/3106/task/3170/stat : 3170 (java) S 3103 3106 29867 0 -1 1077944384 18048 13288 0 0 189 4 5 2 20 0 15 0 474259096 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678060059504 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3171] ppid=3103 vsize=10846988 memory=689372 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3171/stat : 3171 (java) S 3103 3106 29867 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 474259096 11107315712 172343 33554432000 4194304 4196468 140733247504400 140676821937120 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3172] ppid=3103 vsize=10846988 memory=2308852705775681914 CPUtime=1.27 cores=1,3,5,7
/proc/3106/task/3172/stat : 3172 (java) S 3103 3106 29867 0 -1 1077944384 1126 13288 0 0 55 65 5 2 20 0 15 0 474259096 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678059006384 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 689372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2486.93 s]
# the end of solver process 3106 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.32 s, system=2.73889 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2486.9 s]
/proc/loadavg: 1.99 1.52 1.41 3/228 3559
/proc/meminfo: memFree=9881892/32770624 swapFree=66997180/67108860
[pid=3106] ppid=3103 vsize=10846988 memory=689372 CPUtime=2520.01 cores=1,3,5,7
/proc/3106/stat : 3106 (java) S 3103 3106 29867 0 -1 1077944320 222845 13288 0 0 251724 270 5 2 20 0 15 0 474259081 11107315712 172343 33554432000 4194304 4196468 140733247504400 140733247486944 140678604173047 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
/proc/3106/statm: 2711747 172343 3629 1 0 2673805 0
[pid=3106/tid=3159] ppid=3103 vsize=10846988 memory=689372 CPUtime=2471.79 cores=1,3,5,7
/proc/3106/task/3159/stat : 3159 (java) R 3103 3106 29867 0 -1 4202560 67096 13288 0 0 247133 39 5 2 20 0 15 0 474259090 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678576008656 140678197464488 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3160] ppid=3103 vsize=10846988 memory=14060 CPUtime=7.17 cores=1,3,5,7
/proc/3106/task/3160/stat : 3160 (java) S 3103 3106 29867 0 -1 1077944384 12578 13288 0 0 672 38 5 2 20 0 15 0 474259091 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678608415632 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3161] ppid=3103 vsize=10846988 memory=3624 CPUtime=7.18 cores=1,3,5,7
/proc/3106/task/3161/stat : 3161 (java) S 3103 3106 29867 0 -1 1077944384 10414 13288 0 0 673 38 5 2 20 0 15 0 474259091 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678507305744 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3162] ppid=3103 vsize=10846988 memory=689372 CPUtime=7.18 cores=1,3,5,7
/proc/3106/task/3162/stat : 3162 (java) S 3103 3106 29867 0 -1 1077944384 12599 13288 0 0 673 38 5 2 20 0 15 0 474259091 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678506253456 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3163] ppid=3103 vsize=10846988 memory=689372 CPUtime=7.19 cores=1,3,5,7
/proc/3106/task/3163/stat : 3163 (java) S 3103 3106 29867 0 -1 1077944384 10005 13288 0 0 671 41 5 2 20 0 15 0 474259091 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678505200656 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3164] ppid=3103 vsize=10846988 memory=688180 CPUtime=6.22 cores=1,3,5,7
/proc/3106/task/3164/stat : 3164 (java) S 3103 3106 29867 0 -1 1077944384 13662 13288 0 0 577 38 5 2 20 0 15 0 474259092 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678063216752 140678604184194 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3165] ppid=3103 vsize=10846988 memory=688180 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3165/stat : 3165 (java) S 3103 3106 29867 0 -1 1077944384 29 13288 0 0 0 0 5 2 20 0 15 0 474259093 11107315712 172343 33554432000 4194304 4196468 140733247504400 140677962785632 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3166] ppid=3103 vsize=10846988 memory=688180 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3166/stat : 3166 (java) S 3103 3106 29867 0 -1 1077944384 18 13288 0 0 0 0 5 2 20 0 15 0 474259093 11107315712 172343 33554432000 4194304 4196468 140733247504400 140677358806144 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3167] ppid=3103 vsize=10846988 memory=689372 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3167/stat : 3167 (java) S 3103 3106 29867 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 474259096 11107315712 172343 33554432000 4194304 4196468 140733247504400 140677219174480 140678604191643 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3168] ppid=3103 vsize=10846988 memory=505 CPUtime=5.4 cores=1,3,5,7
/proc/3106/task/3168/stat : 3168 (java) S 3103 3106 29867 0 -1 1077944384 39126 13288 0 0 528 5 5 2 20 0 15 0 474259096 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678062164592 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3169] ppid=3103 vsize=10846988 memory=0 CPUtime=5.12 cores=1,3,5,7
/proc/3106/task/3169/stat : 3169 (java) S 3103 3106 29867 0 -1 1077944384 35932 13288 0 0 501 4 5 2 20 0 15 0 474259096 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678061111792 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3170] ppid=3103 vsize=10846988 memory=689372 CPUtime=2 cores=1,3,5,7
/proc/3106/task/3170/stat : 3170 (java) S 3103 3106 29867 0 -1 1077944384 18048 13288 0 0 189 4 5 2 20 0 15 0 474259096 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678060059504 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3171] ppid=3103 vsize=10846988 memory=689372 CPUtime=0.07 cores=1,3,5,7
/proc/3106/task/3171/stat : 3171 (java) S 3103 3106 29867 0 -1 1077944384 3 13288 0 0 0 0 5 2 20 0 15 0 474259096 11107315712 172343 33554432000 4194304 4196468 140733247504400 140676821937120 140678604183253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
[pid=3106/tid=3172] ppid=3103 vsize=10846988 memory=2308852705775681914 CPUtime=1.27 cores=1,3,5,7
/proc/3106/task/3172/stat : 3172 (java) S 3103 3106 29867 0 -1 1077944384 1126 13288 0 0 55 65 5 2 20 0 15 0 474259096 11107315712 172343 33554432000 4194304 4196468 140733247504400 140678059006384 140678604184194 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24002560 140733247511139 140733247513781 140733247513781 140733247516623 0
Current children cumulated CPU time: 2520.01 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 689372 KiB
Child status: 143
Real time (s): 2486.93
CPU time (s): 2520.05
CPU user time (s): 2517.32
CPU system time (s): 2.73889
CPU usage (%): 101.332
Max. virtual memory (cumulated for all children) (KiB): 10846988
Max. memory (cumulated for all children) (KiB): 1194504
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.32
system time used= 2.73889
maximum resident set size= 1195048
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237157
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 186452
involuntary context switches= 7659
# summary of solver processes directly reported to runsolver:
# pid: 3106
# total CPU time (s): 2520.05
# total CPU user time (s): 2517.32
# total CPU system time (s): 2.73889
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.5323 second user time and 26.1625 second system time
The end