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 (2930 MiB free)
memory of node 1: 16384 MiB (2623 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4402786-1568973526/watcher-4402786-1568973526 -o /tmp/evaluation-result-4402786-1568973526/solver-4402786-1568973526 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568967594-23612 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1574390344 HOME/instance-4402786-1568973526.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=25172, runsolver pid=25169
[startup+0.100661 s]*
/proc/loadavg: 1.64 1.45 1.45 3/218 25229
/proc/meminfo: memFree=5680044/32770624 swapFree=66935368/67108860
[pid=25172] ppid=25169 vsize=9972712 memory=17080 CPUtime=0.08 cores=1,3,5,7
/proc/25172/stat : 25172 (java) S 25169 25172 23580 0 -1 1077944320 4543 13086 0 0 1 0 4 3 20 0 6 0 473290408 10212057088 4270 33554432000 4194304 4196468 140729120029472 140729120012016 139637489299191 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
/proc/25172/statm: 2493178 4270 1935 1 0 2481616 0
[pid=25172/tid=25225] ppid=25169 vsize=9972712 memory=-8439527450518781933 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25225/stat : 25225 (java) R 25169 25172 23580 0 -1 4202560 2347 13086 0 0 0 0 4 3 20 0 6 0 473290417 10212057088 4336 33554432000 4194304 4196468 140729120029472 139637461135952 139637474611193 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25226] ppid=25169 vsize=9972712 memory=4211974297105821066 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25226/stat : 25226 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 6 0 473290417 10212057088 4336 33554432000 4194304 4196468 140729120029472 139637493541520 139637489309397 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25227] ppid=25169 vsize=9972712 memory=140570901030528 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25227/stat : 25227 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 6 0 473290417 10212057088 4336 33554432000 4194304 4196468 140729120029472 139637381814800 139637489309397 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25228] ppid=25169 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25228/stat : 25228 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 6 0 473290417 10212057088 4336 33554432000 4194304 4196468 140729120029472 139637380762000 139637489309397 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25229] ppid=25169 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25229/stat : 25229 (java) S 25169 25172 23580 0 -1 1077944384 2 13086 0 0 0 0 4 3 20 0 6 0 473290417 10212057088 4336 33554432000 4194304 4196468 140729120029472 139637379709200 139637489309397 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 17080 KiB
[startup+0.209948 s]*
/proc/loadavg: 1.64 1.45 1.45 5/227 25238
/proc/meminfo: memFree=5663776/32770624 swapFree=66935368/67108860
[pid=25172] ppid=25169 vsize=10820196 memory=40172 CPUtime=0.26 cores=1,3,5,7
/proc/25172/stat : 25172 (java) S 25169 25172 23580 0 -1 1077944320 7517 13086 0 0 18 1 4 3 20 0 15 0 473290408 11079880704 10043 33554432000 4194304 4196468 140729120029472 140729120012016 139637489299191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
/proc/25172/statm: 2705049 10043 3291 1 0 2667149 0
[pid=25172/tid=25225] ppid=25169 vsize=10820196 memory=7900017517374083699 CPUtime=0.18 cores=1,3,5,7
/proc/25172/task/25225/stat : 25225 (java) R 25169 25172 23580 0 -1 4202560 4002 13086 0 0 10 1 4 3 20 0 15 0 473290417 11079880704 10043 33554432000 4194304 4196468 140729120029472 139637461110224 139637489322781 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25226] ppid=25169 vsize=10820196 memory=4211974297105821066 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25226/stat : 25226 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290417 11079880704 10043 33554432000 4194304 4196468 140729120029472 139637493541520 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25227] ppid=25169 vsize=10820196 memory=140570901030528 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25227/stat : 25227 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290417 11079880704 10043 33554432000 4194304 4196468 140729120029472 139637381814800 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25228] ppid=25169 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25228/stat : 25228 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290417 11079880704 10043 33554432000 4194304 4196468 140729120029472 139637380762000 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25229] ppid=25169 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25229/stat : 25229 (java) S 25169 25172 23580 0 -1 1077944384 2 13086 0 0 0 0 4 3 20 0 15 0 473290417 11079880704 10043 33554432000 4194304 4196468 140729120029472 139637379709200 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25230] ppid=25169 vsize=10820196 memory=140570901030528 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25230/stat : 25230 (java) S 25169 25172 23580 0 -1 1077944384 2 13086 0 0 0 0 4 3 20 0 15 0 473290419 11079880704 10043 33554432000 4194304 4196468 140729120029472 139636491885424 139637489310338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25231] ppid=25169 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25231/stat : 25231 (java) S 25169 25172 23580 0 -1 1077944384 33 13086 0 0 0 0 4 3 20 0 15 0 473290419 11079880704 10043 33554432000 4194304 4196468 140729120029472 139636490831392 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25232] ppid=25169 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25232/stat : 25232 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290419 11079880704 10043 33554432000 4194304 4196468 140729120029472 139636366108016 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25233] ppid=25169 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25233/stat : 25233 (java) S 25169 25172 23580 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 473290422 11079880704 10043 33554432000 4194304 4196468 140729120029472 139636058708304 139637489317787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25234] ppid=25169 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25172/task/25234/stat : 25234 (java) S 25169 25172 23580 0 -1 1077944384 483 13086 0 0 1 0 4 3 20 0 15 0 473290422 11079880704 10043 33554432000 4194304 4196468 140729120029472 139636457273712 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25235] ppid=25169 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25235/stat : 25235 (java) S 25169 25172 23580 0 -1 1077944384 176 13086 0 0 0 0 4 3 20 0 15 0 473290422 11079880704 10043 33554432000 4194304 4196468 140729120029472 139636456220912 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25236] ppid=25169 vsize=10820196 memory=140570901030528 CPUtime=0.1 cores=1,3,5,7
/proc/25172/task/25236/stat : 25236 (java) S 25169 25172 23580 0 -1 1077944384 601 13086 0 0 3 0 4 3 20 0 15 0 473290422 11079880704 10043 33554432000 4194304 4196468 140729120029472 139636455168112 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25237] ppid=25169 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25237/stat : 25237 (java) S 25169 25172 23580 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 473290422 11079880704 10043 33554432000 4194304 4196468 140729120029472 139636025149664 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25238] ppid=25169 vsize=10820196 memory=140570901030528 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25238/stat : 25238 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290423 11079880704 10043 33554432000 4194304 4196468 140729120029472 139636454116528 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 40172 KiB
[startup+0.310563 s]*
/proc/loadavg: 1.64 1.45 1.45 3/227 25238
/proc/meminfo: memFree=5651500/32770624 swapFree=66935368/67108860
[pid=25172] ppid=25169 vsize=10820196 memory=48612 CPUtime=0.4 cores=1,3,5,7
/proc/25172/stat : 25172 (java) S 25169 25172 23580 0 -1 1077944320 10617 13086 0 0 30 3 4 3 20 0 15 0 473290408 11079880704 12153 33554432000 4194304 4196468 140729120029472 140729120012016 139637489299191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
/proc/25172/statm: 2705049 12153 3314 1 0 2667149 0
[pid=25172/tid=25225] ppid=25169 vsize=10820196 memory=8317482817917895235 CPUtime=0.28 cores=1,3,5,7
/proc/25172/task/25225/stat : 25225 (java) R 25169 25172 23580 0 -1 4202560 7090 13086 0 0 19 2 4 3 20 0 15 0 473290417 11079880704 12153 33554432000 4194304 4196468 140729120029472 139637461111856 139637489321117 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25226] ppid=25169 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25226/stat : 25226 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290417 11079880704 12153 33554432000 4194304 4196468 140729120029472 139637493541520 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25227] ppid=25169 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25227/stat : 25227 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290417 11079880704 12153 33554432000 4194304 4196468 140729120029472 139637381814800 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25228] ppid=25169 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25228/stat : 25228 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290417 11079880704 12153 33554432000 4194304 4196468 140729120029472 139637380762000 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25229] ppid=25169 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25229/stat : 25229 (java) S 25169 25172 23580 0 -1 1077944384 2 13086 0 0 0 0 4 3 20 0 15 0 473290417 11079880704 12153 33554432000 4194304 4196468 140729120029472 139637379709200 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25230] ppid=25169 vsize=10820196 memory=140570901030527 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25230/stat : 25230 (java) S 25169 25172 23580 0 -1 1077944384 2 13086 0 0 0 0 4 3 20 0 15 0 473290419 11079880704 12153 33554432000 4194304 4196468 140729120029472 139636491885424 139637489310338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25231] ppid=25169 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25231/stat : 25231 (java) S 25169 25172 23580 0 -1 1077944384 33 13086 0 0 0 0 4 3 20 0 15 0 473290419 11079880704 12153 33554432000 4194304 4196468 140729120029472 139636490831392 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25232] ppid=25169 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25232/stat : 25232 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290419 11079880704 12153 33554432000 4194304 4196468 140729120029472 139636366108016 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25233] ppid=25169 vsize=10820196 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25233/stat : 25233 (java) S 25169 25172 23580 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 473290422 11079880704 12153 33554432000 4194304 4196468 140729120029472 139636058708304 139637489317787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25234] ppid=25169 vsize=10820196 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/25172/task/25234/stat : 25234 (java) S 25169 25172 23580 0 -1 1077944384 483 13086 0 0 2 0 4 3 20 0 15 0 473290422 11079880704 12153 33554432000 4194304 4196468 140729120029472 139636457273712 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25235] ppid=25169 vsize=10820196 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/25172/task/25235/stat : 25235 (java) S 25169 25172 23580 0 -1 1077944384 177 13086 0 0 1 0 4 3 20 0 15 0 473290422 11079880704 12153 33554432000 4194304 4196468 140729120029472 139636456220912 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25236] ppid=25169 vsize=10820196 memory=140570901030528 CPUtime=0.12 cores=1,3,5,7
/proc/25172/task/25236/stat : 25236 (java) S 25169 25172 23580 0 -1 1077944384 610 13086 0 0 5 0 4 3 20 0 15 0 473290422 11079880704 12153 33554432000 4194304 4196468 140729120029472 139636455168112 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25237] ppid=25169 vsize=10820196 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25237/stat : 25237 (java) S 25169 25172 23580 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 473290422 11079880704 12153 33554432000 4194304 4196468 140729120029472 139636025149664 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25238] ppid=25169 vsize=10820196 memory=140570901030528 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25238/stat : 25238 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290423 11079880704 12153 33554432000 4194304 4196468 140729120029472 139636454116528 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
Current children cumulated CPU time: 0.4 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 48612 KiB
[startup+0.702478 s]
/proc/loadavg: 1.64 1.45 1.45 5/227 25238
/proc/meminfo: memFree=5637100/32770624 swapFree=66935368/67108860
[pid=25172] ppid=25169 vsize=10824364 memory=81816 CPUtime=1.15 cores=1,3,5,7
/proc/25172/stat : 25172 (java) S 25169 25172 23580 0 -1 1077944320 15170 13086 0 0 103 5 4 3 20 0 15 0 473290408 11084148736 20454 33554432000 4194304 4196468 140729120029472 140729120012016 139637489299191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
/proc/25172/statm: 2706091 20454 3514 1 0 2668173 0
[pid=25172/tid=25225] ppid=25169 vsize=10824364 memory=0 CPUtime=0.67 cores=1,3,5,7
/proc/25172/task/25225/stat : 25225 (java) R 25169 25172 23580 0 -1 4202560 10509 13086 0 0 56 4 4 3 20 0 15 0 473290417 11084148736 20454 33554432000 4194304 4196468 140729120029472 139637461126144 139637489321213 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25226] ppid=25169 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25226/stat : 25226 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290417 11084148736 20454 33554432000 4194304 4196468 140729120029472 139637493541520 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25227] ppid=25169 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25227/stat : 25227 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290417 11084148736 20454 33554432000 4194304 4196468 140729120029472 139637381814800 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25228] ppid=25169 vsize=10824364 memory=5937832725504747584 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25228/stat : 25228 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290417 11084148736 20454 33554432000 4194304 4196468 140729120029472 139637380762000 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25229] ppid=25169 vsize=10824364 memory=8320808402719879476 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25229/stat : 25229 (java) S 25169 25172 23580 0 -1 1077944384 2 13086 0 0 0 0 4 3 20 0 15 0 473290417 11084148736 20454 33554432000 4194304 4196468 140729120029472 139637379709200 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25230] ppid=25169 vsize=10824364 memory=988 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25230/stat : 25230 (java) S 25169 25172 23580 0 -1 1077944384 5 13086 0 0 0 0 4 3 20 0 15 0 473290419 11084148736 20454 33554432000 4194304 4196468 140729120029472 139636491885424 139637489310338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25231] ppid=25169 vsize=10824364 memory=61 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25231/stat : 25231 (java) S 25169 25172 23580 0 -1 1077944384 33 13086 0 0 0 0 4 3 20 0 15 0 473290419 11084148736 20454 33554432000 4194304 4196468 140729120029472 139636490831392 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25232] ppid=25169 vsize=10824364 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25232/stat : 25232 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290419 11084148736 20454 33554432000 4194304 4196468 140729120029472 139636366108016 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25233] ppid=25169 vsize=10824364 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25233/stat : 25233 (java) S 25169 25172 23580 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 473290422 11084148736 20454 33554432000 4194304 4196468 140729120029472 139636058708304 139637489317787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25234] ppid=25169 vsize=10824364 memory=281141579907104 CPUtime=0.19 cores=1,3,5,7
/proc/25172/task/25234/stat : 25234 (java) S 25169 25172 23580 0 -1 1077944384 938 13086 0 0 12 0 4 3 20 0 15 0 473290422 11084148736 20454 33554432000 4194304 4196468 140729120029472 139636457273712 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25235] ppid=25169 vsize=10824364 memory=16132 CPUtime=0.23 cores=1,3,5,7
/proc/25172/task/25235/stat : 25235 (java) R 25169 25172 23580 0 -1 1077944384 648 13086 0 0 16 0 4 3 20 0 15 0 473290422 11084148736 20454 33554432000 4194304 4196468 140729120029472 139636456220912 139637489310338 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25236] ppid=25169 vsize=10824364 memory=4420 CPUtime=0.24 cores=1,3,5,7
/proc/25172/task/25236/stat : 25236 (java) S 25169 25172 23580 0 -1 1077944384 815 13086 0 0 17 0 4 3 20 0 15 0 473290422 11084148736 20454 33554432000 4194304 4196468 140729120029472 139636455168112 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25237] ppid=25169 vsize=10824364 memory=239 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25237/stat : 25237 (java) S 25169 25172 23580 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 473290422 11084148736 20454 33554432000 4194304 4196468 140729120029472 139636025149664 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25238] ppid=25169 vsize=10824364 memory=8242257093008374069 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25238/stat : 25238 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290423 11084148736 20454 33554432000 4194304 4196468 140729120029472 139636454116528 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
Current children cumulated CPU time: 1.15 s
Current children cumulated vsize: 10824364 KiB
Current children cumulated memory: 81816 KiB
[startup+1.50195 s]
/proc/loadavg: 1.64 1.45 1.45 3/227 25238
/proc/meminfo: memFree=5595264/32770624 swapFree=66935368/67108860
[pid=25172] ppid=25169 vsize=10834680 memory=175760 CPUtime=2.62 cores=1,3,5,7
/proc/25172/stat : 25172 (java) S 25169 25172 23580 0 -1 1077944320 25090 13086 0 0 245 10 4 3 20 0 15 0 473290408 11094712320 43940 33554432000 4194304 4196468 140729120029472 140729120012016 139637489299191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
/proc/25172/statm: 2708670 43940 3580 1 0 2670733 0
[pid=25172/tid=25225] ppid=25169 vsize=10834680 memory=0 CPUtime=1.43 cores=1,3,5,7
/proc/25172/task/25225/stat : 25225 (java) R 25169 25172 23580 0 -1 4202560 15978 13086 0 0 130 6 4 3 20 0 15 0 473290417 11094712320 43940 33554432000 4194304 4196468 140729120029472 139637461120016 139637054073935 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25226] ppid=25169 vsize=10834680 memory=116 CPUtime=0.08 cores=1,3,5,7
/proc/25172/task/25226/stat : 25226 (java) S 25169 25172 23580 0 -1 1077944384 54 13086 0 0 1 0 4 3 20 0 15 0 473290417 11094712320 43940 33554432000 4194304 4196468 140729120029472 139637493541520 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25227] ppid=25169 vsize=10834680 memory=1 CPUtime=0.08 cores=1,3,5,7
/proc/25172/task/25227/stat : 25227 (java) S 25169 25172 23580 0 -1 1077944384 307 13086 0 0 1 0 4 3 20 0 15 0 473290417 11094712320 43940 33554432000 4194304 4196468 140729120029472 139637381814800 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25228] ppid=25169 vsize=10834680 memory=1 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25228/stat : 25228 (java) S 25169 25172 23580 0 -1 1077944384 43 13086 0 0 0 0 4 3 20 0 15 0 473290417 11094712320 43940 33554432000 4194304 4196468 140729120029472 139637380762000 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25229] ppid=25169 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25172/task/25229/stat : 25229 (java) S 25169 25172 23580 0 -1 1077944384 101 13086 0 0 1 0 4 3 20 0 15 0 473290417 11094712320 43940 33554432000 4194304 4196468 140729120029472 139637379709200 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25230] ppid=25169 vsize=10834680 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/25172/task/25230/stat : 25230 (java) S 25169 25172 23580 0 -1 1077944384 1504 13086 0 0 1 0 4 3 20 0 15 0 473290419 11094712320 43940 33554432000 4194304 4196468 140729120029472 139636491885424 139637489310338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25231] ppid=25169 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25231/stat : 25231 (java) S 25169 25172 23580 0 -1 1077944384 34 13086 0 0 0 0 4 3 20 0 15 0 473290419 11094712320 43940 33554432000 4194304 4196468 140729120029472 139636490831456 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25232] ppid=25169 vsize=10834680 memory=4580 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25232/stat : 25232 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290419 11094712320 43940 33554432000 4194304 4196468 140729120029472 139636366108032 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25233] ppid=25169 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25233/stat : 25233 (java) S 25169 25172 23580 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 473290422 11094712320 43940 33554432000 4194304 4196468 140729120029472 139636058708304 139637489317787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25234] ppid=25169 vsize=10834680 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/25172/task/25234/stat : 25234 (java) R 25169 25172 23580 0 -1 4202560 1809 13086 0 0 31 0 4 3 20 0 15 0 473290422 11094712320 43940 33554432000 4194304 4196468 140729120029472 139636457273712 139637489311126 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25235] ppid=25169 vsize=10834680 memory=2276 CPUtime=0.41 cores=1,3,5,7
/proc/25172/task/25235/stat : 25235 (java) R 25169 25172 23580 0 -1 4202560 1182 13086 0 0 34 0 4 3 20 0 15 0 473290422 11094712320 43940 33554432000 4194304 4196468 140729120029472 139636456220912 139637489310338 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25236] ppid=25169 vsize=10834680 memory=0 CPUtime=0.5 cores=1,3,5,7
/proc/25172/task/25236/stat : 25236 (java) R 25169 25172 23580 0 -1 4202560 1861 13086 0 0 42 1 4 3 20 0 15 0 473290422 11094712320 43940 33554432000 4194304 4196468 140729120029472 139636455168112 139637489320538 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25237] ppid=25169 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25237/stat : 25237 (java) S 25169 25172 23580 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 473290422 11094712320 43940 33554432000 4194304 4196468 140729120029472 139636025149664 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25238] ppid=25169 vsize=10834680 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25238/stat : 25238 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290423 11094712320 43940 33554432000 4194304 4196468 140729120029472 139636454116528 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
Current children cumulated CPU time: 2.62 s
Current children cumulated vsize: 10834680 KiB
Current children cumulated memory: 175760 KiB
[startup+3.11824 s]
/proc/loadavg: 1.91 1.50 1.47 5/228 25240
/proc/meminfo: memFree=5458428/32770624 swapFree=66935368/67108860
[pid=25172] ppid=25169 vsize=10846988 memory=251928 CPUtime=6.48 cores=1,3,5,7
/proc/25172/stat : 25172 (java) S 25169 25172 23580 0 -1 1077944320 37346 13086 0 0 625 16 4 3 20 0 15 0 473290408 11107315712 62982 33554432000 4194304 4196468 140729120029472 140729120012016 139637489299191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
/proc/25172/statm: 2711747 62982 3604 1 0 2673805 0
[pid=25172/tid=25225] ppid=25169 vsize=10846988 memory=0 CPUtime=3 cores=1,3,5,7
/proc/25172/task/25225/stat : 25225 (java) R 25169 25172 23580 0 -1 4202560 20941 13086 0 0 285 8 4 3 20 0 15 0 473290417 11107315712 62982 33554432000 4194304 4196468 140729120029472 139637461124032 139637054057780 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25226] ppid=25169 vsize=10846988 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/25172/task/25226/stat : 25226 (java) S 25169 25172 23580 0 -1 1077944384 81 13086 0 0 3 0 4 3 20 0 15 0 473290417 11107315712 62982 33554432000 4194304 4196468 140729120029472 139637493541520 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25227] ppid=25169 vsize=10846988 memory=211432 CPUtime=0.09 cores=1,3,5,7
/proc/25172/task/25227/stat : 25227 (java) S 25169 25172 23580 0 -1 1077944384 332 13086 0 0 2 0 4 3 20 0 15 0 473290417 11107315712 62982 33554432000 4194304 4196468 140729120029472 139637381814800 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25228] ppid=25169 vsize=10846988 memory=3616 CPUtime=0.1 cores=1,3,5,7
/proc/25172/task/25228/stat : 25228 (java) S 25169 25172 23580 0 -1 1077944384 54 13086 0 0 2 1 4 3 20 0 15 0 473290417 11107315712 62982 33554432000 4194304 4196468 140729120029472 139637380762000 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25229] ppid=25169 vsize=10846988 memory=40968 CPUtime=0.09 cores=1,3,5,7
/proc/25172/task/25229/stat : 25229 (java) S 25169 25172 23580 0 -1 1077944384 123 13086 0 0 2 0 4 3 20 0 15 0 473290417 11107315712 62982 33554432000 4194304 4196468 140729120029472 139637379709200 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25230] ppid=25169 vsize=10846988 memory=988 CPUtime=0.1 cores=1,3,5,7
/proc/25172/task/25230/stat : 25230 (java) S 25169 25172 23580 0 -1 1077944384 2059 13086 0 0 3 0 4 3 20 0 15 0 473290419 11107315712 62982 33554432000 4194304 4196468 140729120029472 139636491885424 139637489310338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25231] ppid=25169 vsize=10846988 memory=239536 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25231/stat : 25231 (java) S 25169 25172 23580 0 -1 1077944384 37 13086 0 0 0 0 4 3 20 0 15 0 473290419 11107315712 62982 33554432000 4194304 4196468 140729120029472 139636490831456 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25232] ppid=25169 vsize=10846988 memory=56 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25232/stat : 25232 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290419 11107315712 62982 33554432000 4194304 4196468 140729120029472 139636366108032 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25233] ppid=25169 vsize=10846988 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25233/stat : 25233 (java) S 25169 25172 23580 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 473290422 11107315712 62982 33554432000 4194304 4196468 140729120029472 139636058708304 139637489317787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25234] ppid=25169 vsize=10846988 memory=0 CPUtime=1.08 cores=1,3,5,7
/proc/25172/task/25234/stat : 25234 (java) S 25169 25172 23580 0 -1 1077944384 3148 13086 0 0 101 0 4 3 20 0 15 0 473290422 11107315712 62982 33554432000 4194304 4196468 140729120029472 139636457273712 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25235] ppid=25169 vsize=10846988 memory=7378391969546065001 CPUtime=1.07 cores=1,3,5,7
/proc/25172/task/25235/stat : 25235 (java) R 25169 25172 23580 0 -1 4202560 3503 13086 0 0 99 1 4 3 20 0 15 0 473290422 11107315712 62982 33554432000 4194304 4196468 140729120029472 139636456200872 139637468954737 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25236] ppid=25169 vsize=10846988 memory=7300448685418375521 CPUtime=1.31 cores=1,3,5,7
/proc/25172/task/25236/stat : 25236 (java) S 25169 25172 23580 0 -1 1077944384 4849 13086 0 0 122 2 4 3 20 0 15 0 473290422 11107315712 62982 33554432000 4194304 4196468 140729120029472 139636455168112 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25237] ppid=25169 vsize=10846988 memory=7378391969546065001 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25237/stat : 25237 (java) S 25169 25172 23580 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 473290422 11107315712 62982 33554432000 4194304 4196468 140729120029472 139636025149664 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25238] ppid=25169 vsize=10846988 memory=30961 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25238/stat : 25238 (java) S 25169 25172 23580 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 473290423 11107315712 62982 33554432000 4194304 4196468 140729120029472 139636454116528 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
Current children cumulated CPU time: 6.48 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 251928 KiB
[startup+4.02076 s]
# the end of solver process 25172 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.28537 s, system=0.247595 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20133 s]
/proc/loadavg: 1.91 1.50 1.47 5/228 25240
/proc/meminfo: memFree=5458428/32770624 swapFree=66935368/67108860
[pid=25172] ppid=25169 vsize=10846988 memory=257428 CPUtime=6.76 cores=1,3,5,7
/proc/25172/stat : 25172 (java) S 25169 25172 23580 0 -1 1077944320 40643 13086 0 0 653 16 4 3 20 0 15 0 473290408 11107315712 64357 33554432000 4194304 4196468 140729120029472 140729120012016 139637489299191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
/proc/25172/statm: 2711747 64357 3604 1 0 2673805 0
[pid=25172/tid=25225] ppid=25169 vsize=10846988 memory=6628 CPUtime=3.08 cores=1,3,5,7
/proc/25172/task/25225/stat : 25225 (java) R 25169 25172 23580 0 -1 4202560 22161 13086 0 0 293 8 4 3 20 0 15 0 473290417 11107315712 64357 33554432000 4194304 4196468 140729120029472 139637461134560 139637469944186 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25226] ppid=25169 vsize=10846988 memory=8836 CPUtime=0.1 cores=1,3,5,7
/proc/25172/task/25226/stat : 25226 (java) S 25169 25172 23580 0 -1 1077944384 81 13086 0 0 3 0 4 3 20 0 15 0 473290417 11107315712 64357 33554432000 4194304 4196468 140729120029472 139637493541520 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25227] ppid=25169 vsize=10846988 memory=11044 CPUtime=0.09 cores=1,3,5,7
/proc/25172/task/25227/stat : 25227 (java) S 25169 25172 23580 0 -1 1077944384 332 13086 0 0 2 0 4 3 20 0 15 0 473290417 11107315712 64357 33554432000 4194304 4196468 140729120029472 139637381814800 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25228] ppid=25169 vsize=10846988 memory=13252 CPUtime=0.1 cores=1,3,5,7
/proc/25172/task/25228/stat : 25228 (java) S 25169 25172 23580 0 -1 1077944384 54 13086 0 0 2 1 4 3 20 0 15 0 473290417 11107315712 64357 33554432000 4194304 4196468 140729120029472 139637380762000 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25229] ppid=25169 vsize=10846988 memory=15460 CPUtime=0.09 cores=1,3,5,7
/proc/25172/task/25229/stat : 25229 (java) S 25169 25172 23580 0 -1 1077944384 123 13086 0 0 2 0 4 3 20 0 15 0 473290417 11107315712 64357 33554432000 4194304 4196468 140729120029472 139637379709200 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25230] ppid=25169 vsize=10846988 memory=17668 CPUtime=0.1 cores=1,3,5,7
/proc/25172/task/25230/stat : 25230 (java) S 25169 25172 23580 0 -1 1077944384 2059 13086 0 0 3 0 4 3 20 0 15 0 473290419 11107315712 64357 33554432000 4194304 4196468 140729120029472 139636491885424 139637489310338 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25231] ppid=25169 vsize=10846988 memory=19876 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25231/stat : 25231 (java) S 25169 25172 23580 0 -1 1077944384 37 13086 0 0 0 0 4 3 20 0 15 0 473290419 11107315712 64357 33554432000 4194304 4196468 140729120029472 139636490831456 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25232] ppid=25169 vsize=10846988 memory=22084 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25232/stat : 25232 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290419 11107315712 64357 33554432000 4194304 4196468 140729120029472 139636366108032 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25233] ppid=25169 vsize=10846988 memory=24292 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25233/stat : 25233 (java) S 25169 25172 23580 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 473290422 11107315712 64357 33554432000 4194304 4196468 140729120029472 139636058708304 139637489317787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25234] ppid=25169 vsize=10846988 memory=26500 CPUtime=1.13 cores=1,3,5,7
/proc/25172/task/25234/stat : 25234 (java) R 25169 25172 23580 0 -1 4202560 3456 13086 0 0 106 0 4 3 20 0 15 0 473290422 11107315712 64357 33554432000 4194304 4196468 140729120029472 139636457255120 139637467152800 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25235] ppid=25169 vsize=10846988 memory=28708 CPUtime=1.15 cores=1,3,5,7
/proc/25172/task/25235/stat : 25235 (java) R 25169 25172 23580 0 -1 4202560 4436 13086 0 0 107 1 4 3 20 0 15 0 473290422 11107315712 64362 33554432000 4194304 4196468 140729120029472 139636456207072 139637470844489 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25236] ppid=25169 vsize=10846988 memory=30916 CPUtime=1.37 cores=1,3,5,7
/proc/25172/task/25236/stat : 25236 (java) S 25169 25172 23580 0 -1 1077944384 5692 13086 0 0 128 2 4 3 20 0 15 0 473290422 11107315712 64362 33554432000 4194304 4196468 140729120029472 139636455168112 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25237] ppid=25169 vsize=10846988 memory=301741373374332954 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25237/stat : 25237 (java) S 25169 25172 23580 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 473290422 11107315712 64362 33554432000 4194304 4196468 140729120029472 139636025149664 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25238] ppid=25169 vsize=10846988 memory=321726105394610490 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25238/stat : 25238 (java) S 25169 25172 23580 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 473290423 11107315712 64362 33554432000 4194304 4196468 140729120029472 139636454116528 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
Current children cumulated CPU time: 6.76 s
Current children cumulated vsize: 10846988 KiB
Current children cumulated memory: 257428 KiB
[startup+3.60327 s]
/proc/loadavg: 1.91 1.50 1.47 5/228 25240
/proc/meminfo: memFree=5458428/32770624 swapFree=66935368/67108860
[pid=25172] ppid=25169 vsize=10849048 memory=288524 CPUtime=8.07 cores=1,3,5,7
/proc/25172/stat : 25172 (java) S 25169 25172 23580 0 -1 1077944320 53751 13086 1 0 782 18 4 3 20 0 15 0 473290408 11109425152 72131 33554432000 4194304 4196468 140729120029472 140729120012016 139637489299191 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
/proc/25172/statm: 2712262 72131 3608 1 0 2674317 0
[pid=25172/tid=25225] ppid=25169 vsize=10849048 memory=1320 CPUtime=3.47 cores=1,3,5,7
/proc/25172/task/25225/stat : 25225 (java) R 25169 25172 23580 0 -1 4202560 24897 13086 1 0 331 9 4 3 20 0 15 0 473290417 11109425152 72131 33554432000 4194304 4196468 140729120029472 139637461132080 139637054013531 0 4 0 16800975 0 0 0 -1 5 0 0 1 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25226] ppid=25169 vsize=10849048 memory=1700 CPUtime=0.1 cores=1,3,5,7
/proc/25172/task/25226/stat : 25226 (java) S 25169 25172 23580 0 -1 1077944384 81 13086 0 0 3 0 4 3 20 0 15 0 473290417 11109425152 72131 33554432000 4194304 4196468 140729120029472 139637493541520 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25227] ppid=25169 vsize=10849048 memory=5968 CPUtime=0.09 cores=1,3,5,7
/proc/25172/task/25227/stat : 25227 (java) S 25169 25172 23580 0 -1 1077944384 332 13086 0 0 2 0 4 3 20 0 15 0 473290417 11109425152 72131 33554432000 4194304 4196468 140729120029472 139637381814800 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25228] ppid=25169 vsize=10849048 memory=588 CPUtime=0.1 cores=1,3,5,7
/proc/25172/task/25228/stat : 25228 (java) S 25169 25172 23580 0 -1 1077944384 54 13086 0 0 2 1 4 3 20 0 15 0 473290417 11109425152 72131 33554432000 4194304 4196468 140729120029472 139637380762000 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25229] ppid=25169 vsize=10849048 memory=780 CPUtime=0.09 cores=1,3,5,7
/proc/25172/task/25229/stat : 25229 (java) S 25169 25172 23580 0 -1 1077944384 123 13086 0 0 2 0 4 3 20 0 15 0 473290417 11109425152 72131 33554432000 4194304 4196468 140729120029472 139637379709200 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25230] ppid=25169 vsize=10849048 memory=1056 CPUtime=0.1 cores=1,3,5,7
/proc/25172/task/25230/stat : 25230 (java) S 25169 25172 23580 0 -1 1077944384 3303 13086 0 0 3 0 4 3 20 0 15 0 473290419 11109425152 72131 33554432000 4194304 4196468 140729120029472 139636491885424 139637489310338 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25231] ppid=25169 vsize=10849048 memory=7518026621751088992 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25231/stat : 25231 (java) S 25169 25172 23580 0 -1 1077944384 37 13086 0 0 0 0 4 3 20 0 15 0 473290419 11109425152 72131 33554432000 4194304 4196468 140729120029472 139636490831456 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25232] ppid=25169 vsize=10849048 memory=7237402611390506577 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25232/stat : 25232 (java) S 25169 25172 23580 0 -1 1077944384 1 13086 0 0 0 0 4 3 20 0 15 0 473290419 11109425152 72131 33554432000 4194304 4196468 140729120029472 139636366108032 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25233] ppid=25169 vsize=10849048 memory=5865188000529146989 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25233/stat : 25233 (java) S 25169 25172 23580 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 473290422 11109425152 72131 33554432000 4194304 4196468 140729120029472 139636058708304 139637489317787 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25234] ppid=25169 vsize=10849048 memory=5787213827063244903 CPUtime=1.53 cores=1,3,5,7
/proc/25172/task/25234/stat : 25234 (java) R 25169 25172 23580 0 -1 4202560 5827 13086 0 0 145 1 4 3 20 0 15 0 473290422 11109425152 72131 33554432000 4194304 4196468 140729120029472 139636457255104 139637468955712 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25235] ppid=25169 vsize=10849048 memory=7301858164987948385 CPUtime=1.56 cores=1,3,5,7
/proc/25172/task/25235/stat : 25235 (java) R 25169 25172 23580 0 -1 4202560 10093 13086 0 0 147 2 4 3 20 0 15 0 473290422 11109425152 72131 33554432000 4194304 4196468 140729120029472 139636456207072 139637468546992 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25236] ppid=25169 vsize=10849048 memory=5937832725504747584 CPUtime=1.52 cores=1,3,5,7
/proc/25172/task/25236/stat : 25236 (java) R 25169 25172 23580 0 -1 4202560 6781 13086 0 0 142 3 4 3 20 0 15 0 473290422 11109425152 72131 33554432000 4194304 4196468 140729120029472 139636455168112 139637482396027 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25237] ppid=25169 vsize=10849048 memory=7811040981868898131 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25237/stat : 25237 (java) S 25169 25172 23580 0 -1 1077944384 3 13086 0 0 0 0 4 3 20 0 15 0 473290422 11109425152 72131 33554432000 4194304 4196468 140729120029472 139636025149664 139637489309397 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
[pid=25172/tid=25238] ppid=25169 vsize=10849048 memory=7444819964895187797 CPUtime=0.07 cores=1,3,5,7
/proc/25172/task/25238/stat : 25238 (java) S 25169 25172 23580 0 -1 1077944384 9 13086 0 0 0 0 4 3 20 0 15 0 473290423 11109425152 72131 33554432000 4194304 4196468 140729120029472 139636454116528 139637489310338 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 18698240 140729120033519 140729120036037 140729120036037 140729120038863 0
Current children cumulated CPU time: 8.07 s
Current children cumulated vsize: 10849048 KiB
Current children cumulated memory: 288524 KiB
[startup+4.00962 s]*
/proc/loadavg: 1.91 1.50 1.47 4/227 25241
/proc/meminfo: memFree=5394260/32770624 swapFree=66935368/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 4.02081
CPU time (s): 9.53296
CPU user time (s): 9.28537
CPU system time (s): 0.247595
CPU usage (%): 237.091
Max. virtual memory (cumulated for all children) (KiB): 10851832
Max. memory (cumulated for all children) (KiB): 291288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.28537
system time used= 0.247595
maximum resident set size= 314236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 68019
page faults= 1
swaps= 0
block input operations= 2944
block output operations= 144
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6682
involuntary context switches= 74
# summary of solver processes directly reported to runsolver:
# pid: 25172
# total CPU time (s): 9.53296
# total CPU user time (s): 9.28537
# total CPU system time (s): 0.247595
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.039709 second user time and 0.083773 second system time
The end