runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4245435-1500685991/watcher-4245435-1500685991 -o /tmp/evaluation-result-4245435-1500685991/solver-4245435-1500685991 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14657 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 985246057 HOME/instance-4245435-1500685991.xml
pid=29217
running on 8 cores: 0,2,4,6,8,10,12,14
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 12.77 14.83 14.70 10/272 29220
/proc/meminfo: memFree=29796060/32770624 swapFree=5972/225584
[pid=29220] ppid=29217 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29220/stat : 29220 (xcsp3-exec) S 29217 29220 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3868577 9740288 346 33554432000 4194304 5098028 140731179477664 140731179475768 140378238681724 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12623872 140731179480207 140731179480416 140731179480416 140731179483115 0
/proc/29220/statm: 2378 346 289 221 0 87 0
[startup+0.100129 s]
/proc/loadavg: 12.77 14.83 14.70 10/272 29220
/proc/meminfo: memFree=29796060/32770624 swapFree=5972/225584
[pid=29220] ppid=29217 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29220/stat : 29220 (xcsp3-exec) S 29217 29220 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3868577 9740288 346 33554432000 4194304 5098028 140731179477664 140731179475768 140378238681724 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12623872 140731179480207 140731179480416 140731179480416 140731179483115 0
/proc/29220/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200327 s]
/proc/loadavg: 12.77 14.83 14.70 10/272 29220
/proc/meminfo: memFree=29796060/32770624 swapFree=5972/225584
[pid=29220] ppid=29217 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29220/stat : 29220 (xcsp3-exec) S 29217 29220 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3868577 9740288 346 33554432000 4194304 5098028 140731179477664 140731179475768 140378238681724 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12623872 140731179480207 140731179480416 140731179480416 140731179483115 0
/proc/29220/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.30025 s]
/proc/loadavg: 12.77 14.83 14.70 10/272 29220
/proc/meminfo: memFree=29796060/32770624 swapFree=5972/225584
[pid=29220] ppid=29217 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29220/stat : 29220 (xcsp3-exec) S 29217 29220 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3868577 9740288 346 33554432000 4194304 5098028 140731179477664 140731179475768 140378238681724 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12623872 140731179480207 140731179480416 140731179480416 140731179483115 0
/proc/29220/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700215 s]
/proc/loadavg: 12.77 14.83 14.70 10/272 29220
/proc/meminfo: memFree=29796060/32770624 swapFree=5972/225584
[pid=29220] ppid=29217 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29220/stat : 29220 (xcsp3-exec) S 29217 29220 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3868577 9740288 346 33554432000 4194304 5098028 140731179477664 140731179475768 140378238681724 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12623872 140731179480207 140731179480416 140731179480416 140731179483115 0
/proc/29220/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50076 s]
/proc/loadavg: 12.77 14.83 14.70 14/293 29241
/proc/meminfo: memFree=29539652/32770624 swapFree=5972/225536
[pid=29220] ppid=29217 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29220/stat : 29220 (xcsp3-exec) S 29217 29220 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3868577 9740288 346 33554432000 4194304 5098028 140731179477664 140731179475768 140378238681724 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12623872 140731179480207 140731179480416 140731179480416 140731179483115 0
/proc/29220/statm: 2378 346 289 221 0 87 0
[pid=29221] ppid=29220 vsize=13801768 CPUtime=5.45 cores=0,2,4,6,8,10,12,14
/proc/29221/stat : 29221 (java) S 29220 29220 14626 0 -1 1077944320 15691 0 0 0 524 21 0 0 20 0 28 0 3868578 14133010432 58327 33554432000 4194304 4196468 140724011757440 140724011739984 140689233997559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
/proc/29221/statm: 3450442 58327 3226 1 0 3437675 0
[pid=29221/tid=29222] ppid=29220 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29222/stat : 29222 (java) S 29220 29220 14626 0 -1 1077944384 6775 0 0 0 119 5 0 0 20 0 28 0 3868578 14133010432 58327 33554432000 4194304 4196468 140724011757440 140689238238336 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29224] ppid=29220 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29224/stat : 29224 (java) S 29220 29220 14626 0 -1 1077944384 11 0 0 0 1 1 0 0 20 0 28 0 3868579 14133010432 58327 33554432000 4194304 4196468 140724011757440 140689172961808 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29225] ppid=29220 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29225/stat : 29225 (java) S 29220 29220 14626 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3868579 14133010432 58327 33554432000 4194304 4196468 140724011757440 140689171909264 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29226] ppid=29220 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29226/stat : 29226 (java) S 29220 29220 14626 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 3868579 14133010432 58327 33554432000 4194304 4196468 140724011757440 140688830716176 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29227] ppid=29220 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29227/stat : 29227 (java) S 29220 29220 14626 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3868579 14133010432 58327 33554432000 4194304 4196468 140724011757440 140688829663632 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29228] ppid=29220 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29228/stat : 29228 (java) S 29220 29220 14626 0 -1 1077944384 13 0 0 0 0 1 0 0 20 0 28 0 3868579 14133010432 58327 33554432000 4194304 4196468 140724011757440 140688828611600 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29229] ppid=29220 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29229/stat : 29229 (java) S 29220 29220 14626 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3868579 14133010432 58327 33554432000 4194304 4196468 140724011757440 140688827559056 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29230] ppid=29220 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29230/stat : 29230 (java) S 29220 29220 14626 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3868579 14133010432 58327 33554432000 4194304 4196468 140724011757440 140688826506000 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29231] ppid=29220 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29231/stat : 29231 (java) S 29220 29220 14626 0 -1 1077944384 17 0 0 0 0 1 0 0 20 0 28 0 3868579 14133010432 58327 33554432000 4194304 4196468 140724011757440 140688825453456 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29232] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29232/stat : 29232 (java) S 29220 29220 14626 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3868582 14133010432 58327 33554432000 4194304 4196468 140724011757440 140688427559152 140689234008706 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29233] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29233/stat : 29233 (java) S 29220 29220 14626 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3868583 14133010432 58327 33554432000 4194304 4196468 140724011757440 140688426505440 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29234] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29234/stat : 29234 (java) S 29220 29220 14626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3868584 14133010432 58327 33554432000 4194304 4196468 140724011757440 140688425452272 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29235] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29235/stat : 29235 (java) S 29220 29220 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3868588 14133010432 58327 33554432000 4194304 4196468 140724011757440 140688424400848 140689234016155 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29236] ppid=29220 vsize=13801768 CPUtime=0.85 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29236/stat : 29236 (java) R 29220 29220 14626 0 -1 4202560 1736 0 0 0 85 0 0 0 20 0 28 0 3868588 14133010432 58327 33554432000 4194304 4196468 140724011757440 140688423334944 140689217384336 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29237] ppid=29220 vsize=13801768 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29237/stat : 29237 (java) R 29220 29220 14626 0 -1 4202560 1288 0 0 0 78 0 0 0 20 0 28 0 3868588 14133010432 58327 33554432000 4194304 4196468 140724011757440 140688422289624 140689217483611 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29238] ppid=29220 vsize=13801768 CPUtime=0.8 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29238/stat : 29238 (java) R 29220 29220 14626 0 -1 4202560 1843 0 0 0 80 0 0 0 20 0 28 0 3868588 14133010432 58327 33554432000 4194304 4196468 140724011757440 140688421232736 140689214762737 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29239] ppid=29220 vsize=13801768 CPUtime=0.58 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29239/stat : 29239 (java) R 29220 29220 14626 0 -1 1077944384 2178 0 0 0 58 0 0 0 20 0 28 0 3868588 14133010432 58327 33554432000 4194304 4196468 140724011757440 140688420185872 140689234007765 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29240] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29240/stat : 29240 (java) S 29220 29220 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3868588 14133010432 58327 33554432000 4194304 4196468 140724011757440 140688419138016 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29241] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29241/stat : 29241 (java) S 29220 29220 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3868588 14133010432 58327 33554432000 4194304 4196468 140724011757440 140688418085552 140689234008706 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
Current children cumulated CPU time (s) 5.45
Current children cumulated vsize (KiB) 13811280
[startup+3.10152 s]
/proc/loadavg: 13.27 14.90 14.73 20/301 29249
/proc/meminfo: memFree=29414104/32770624 swapFree=5972/225536
[pid=29220] ppid=29217 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29220/stat : 29220 (xcsp3-exec) S 29217 29220 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3868577 9740288 346 33554432000 4194304 5098028 140731179477664 140731179475768 140378238681724 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12623872 140731179480207 140731179480416 140731179480416 140731179483115 0
/proc/29220/statm: 2378 346 289 221 0 87 0
[pid=29221] ppid=29220 vsize=13801768 CPUtime=18.13 cores=0,2,4,6,8,10,12,14
/proc/29221/stat : 29221 (java) S 29220 29220 14626 0 -1 1077944320 18844 0 0 0 1790 23 0 0 20 0 28 0 3868578 14133010432 63971 33554432000 4194304 4196468 140724011757440 140724011739984 140689233997559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
/proc/29221/statm: 3450442 63971 3243 1 0 3437675 0
[pid=29221/tid=29222] ppid=29220 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29222/stat : 29222 (java) S 29220 29220 14626 0 -1 1077944384 6775 0 0 0 119 5 0 0 20 0 28 0 3868578 14133010432 63971 33554432000 4194304 4196468 140724011757440 140689238238336 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29224] ppid=29220 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29224/stat : 29224 (java) S 29220 29220 14626 0 -1 1077944384 11 0 0 0 1 1 0 0 20 0 28 0 3868579 14133010432 63971 33554432000 4194304 4196468 140724011757440 140689172961808 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29225] ppid=29220 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29225/stat : 29225 (java) S 29220 29220 14626 0 -1 1077944384 18 0 0 0 1 1 0 0 20 0 28 0 3868579 14133010432 63971 33554432000 4194304 4196468 140724011757440 140689171909264 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29226] ppid=29220 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29226/stat : 29226 (java) S 29220 29220 14626 0 -1 1077944384 23 0 0 0 1 1 0 0 20 0 28 0 3868579 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688830716176 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29227] ppid=29220 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29227/stat : 29227 (java) S 29220 29220 14626 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3868579 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688829663632 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29228] ppid=29220 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29228/stat : 29228 (java) S 29220 29220 14626 0 -1 1077944384 13 0 0 0 0 1 0 0 20 0 28 0 3868579 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688828611600 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29229] ppid=29220 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29229/stat : 29229 (java) S 29220 29220 14626 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3868579 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688827559056 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29230] ppid=29220 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29230/stat : 29230 (java) S 29220 29220 14626 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3868579 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688826506000 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29231] ppid=29220 vsize=13801768 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29231/stat : 29231 (java) S 29220 29220 14626 0 -1 1077944384 17 0 0 0 0 1 0 0 20 0 28 0 3868579 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688825453456 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29232] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29232/stat : 29232 (java) S 29220 29220 14626 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 3868582 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688427559152 140689234008706 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29233] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29233/stat : 29233 (java) S 29220 29220 14626 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3868583 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688426505440 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29234] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29234/stat : 29234 (java) S 29220 29220 14626 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 28 0 3868584 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688425452272 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29235] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29235/stat : 29235 (java) S 29220 29220 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3868588 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688424400848 140689234016155 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29236] ppid=29220 vsize=13801768 CPUtime=1.67 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29236/stat : 29236 (java) S 29220 29220 14626 0 -1 1077944384 2408 0 0 0 167 0 0 0 20 0 28 0 3868588 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688423348976 140689234008706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29237] ppid=29220 vsize=13801768 CPUtime=1.6 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29237/stat : 29237 (java) R 29220 29220 14626 0 -1 4202560 2114 0 0 0 159 1 0 0 20 0 28 0 3868588 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688422296728 140689215515344 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29238] ppid=29220 vsize=13801768 CPUtime=1.5 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29238/stat : 29238 (java) S 29220 29220 14626 0 -1 1077944384 2960 0 0 0 150 0 0 0 20 0 28 0 3868588 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688421243376 140689234008706 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29239] ppid=29220 vsize=13801768 CPUtime=0.71 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29239/stat : 29239 (java) S 29220 29220 14626 0 -1 1077944384 2670 0 0 0 70 1 0 0 20 0 28 0 3868588 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688420190832 140689234008706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29240] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29240/stat : 29240 (java) S 29220 29220 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3868588 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688419138016 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29241] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29241/stat : 29241 (java) S 29220 29220 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3868588 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688418085552 140689234008706 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29242] ppid=29220 vsize=13801768 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29242/stat : 29242 (java) R 29220 29220 14626 0 -1 4202560 61 0 0 0 123 0 0 0 20 0 28 0 3868709 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688410069712 140688857067325 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29243] ppid=29220 vsize=13801768 CPUtime=1.56 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29243/stat : 29243 (java) R 29220 29220 14626 0 -1 4202560 49 0 0 0 156 0 0 0 20 0 28 0 3868709 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688409017768 140688858093357 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29244] ppid=29220 vsize=13801768 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29244/stat : 29244 (java) R 29220 29220 14626 0 -1 4202560 49 0 0 0 129 0 0 0 20 0 28 0 3868709 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688407966600 140688857714235 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29245] ppid=29220 vsize=13801768 CPUtime=1.39 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29245/stat : 29245 (java) R 29220 29220 14626 0 -1 4202560 82 0 0 0 139 0 0 0 20 0 28 0 3868709 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688406914056 140688857924993 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29246] ppid=29220 vsize=13801768 CPUtime=1.31 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29246/stat : 29246 (java) R 29220 29220 14626 0 -1 4202560 36 0 0 0 131 0 0 0 20 0 28 0 3868709 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688405861016 140688857067801 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29247] ppid=29220 vsize=13801768 CPUtime=1.43 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29247/stat : 29247 (java) R 29220 29220 14626 0 -1 4202560 49 0 0 0 143 0 0 0 20 0 28 0 3868709 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688404807848 140688857067325 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29248] ppid=29220 vsize=13801768 CPUtime=1.49 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29248/stat : 29248 (java) R 29220 29220 14626 0 -1 4202560 39 0 0 0 149 0 0 0 20 0 28 0 3868709 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688403754360 140688858093331 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29249] ppid=29220 vsize=13801768 CPUtime=1.38 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29249/stat : 29249 (java) R 29220 29220 14626 0 -1 4202560 32 0 0 0 138 0 0 0 20 0 28 0 3868709 14133010432 63971 33554432000 4194304 4196468 140724011757440 140688402702424 140688857067499 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
Current children cumulated CPU time (s) 18.13
Current children cumulated vsize (KiB) 13811280
[startup+6.30156 s]
/proc/loadavg: 13.27 14.90 14.73 17/301 29249
/proc/meminfo: memFree=29127676/32770624 swapFree=5972/225536
[pid=29220] ppid=29217 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29220/stat : 29220 (xcsp3-exec) S 29217 29220 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3868577 9740288 346 33554432000 4194304 5098028 140731179477664 140731179475768 140378238681724 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12623872 140731179480207 140731179480416 140731179480416 140731179483115 0
/proc/29220/statm: 2378 346 289 221 0 87 0
[pid=29221] ppid=29220 vsize=13801768 CPUtime=43.57 cores=0,2,4,6,8,10,12,14
/proc/29221/stat : 29221 (java) S 29220 29220 14626 0 -1 1077944320 24472 0 0 0 4329 28 0 0 20 0 28 0 3868578 14133010432 87497 33554432000 4194304 4196468 140724011757440 140724011739984 140689233997559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
/proc/29221/statm: 3450442 87497 3254 1 0 3437675 0
[pid=29221/tid=29222] ppid=29220 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29222/stat : 29222 (java) S 29220 29220 14626 0 -1 1077944384 6775 0 0 0 119 5 0 0 20 0 28 0 3868578 14133010432 87497 33554432000 4194304 4196468 140724011757440 140689238238336 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29224] ppid=29220 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29224/stat : 29224 (java) R 29220 29220 14626 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 28 0 3868579 14133010432 87497 33554432000 4194304 4196468 140724011757440 140689172959440 140689219025406 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29225] ppid=29220 vsize=13801768 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29225/stat : 29225 (java) R 29220 29220 14626 0 -1 4202560 134 0 0 0 1 1 0 0 20 0 28 0 3868579 14133010432 87497 33554432000 4194304 4196468 140724011757440 140689171906896 140689219025406 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29226] ppid=29220 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29226/stat : 29226 (java) R 29220 29220 14626 0 -1 4202560 48 0 0 0 1 2 0 0 20 0 28 0 3868579 14133010432 87497 33554432000 4194304 4196468 140724011757440 140688830713808 140689219025442 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29227] ppid=29220 vsize=13801768 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29227/stat : 29227 (java) R 29220 29220 14626 0 -1 4202560 38 0 0 0 2 1 0 0 20 0 28 0 3868579 14133010432 87497 33554432000 4194304 4196468 140724011757440 140688829661264 140689219025442 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
################
# More data... #
################
[pid=29221/tid=29248] ppid=29220 vsize=13801768 CPUtime=220.05 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29248/stat : 29248 (java) R 29220 29220 14626 0 -1 4202560 1175 0 0 0 22003 2 0 0 20 0 28 0 3868709 14133010432 508818 33554432000 4194304 4196468 140724011757440 140688403757744 140688858723954 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29249] ppid=29220 vsize=13801768 CPUtime=219.92 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29249/stat : 29249 (java) R 29220 29220 14626 0 -1 4202560 1491 0 0 0 21987 5 0 0 20 0 28 0 3868709 14133010432 508818 33554432000 4194304 4196468 140724011757440 140688402702216 140688857565115 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
Current children cumulated CPU time (s) 1764.41
Current children cumulated vsize (KiB) 13811280
[startup+282.302 s]
/proc/loadavg: 15.55 15.22 14.92 17/300 29482
/proc/meminfo: memFree=25912364/32770624 swapFree=5972/225880
[pid=29220] ppid=29217 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29220/stat : 29220 (xcsp3-exec) S 29217 29220 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3868577 9740288 346 33554432000 4194304 5098028 140731179477664 140731179475768 140378238681724 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12623872 140731179480207 140731179480416 140731179480416 140731179483115 0
/proc/29220/statm: 2378 346 289 221 0 87 0
[pid=29221] ppid=29220 vsize=13801768 CPUtime=2242.3 cores=0,2,4,6,8,10,12,14
/proc/29221/stat : 29221 (java) S 29220 29220 14626 0 -1 1077944320 53973 0 0 0 224096 134 0 0 20 0 28 0 3868578 14133010432 490930 33554432000 4194304 4196468 140724011757440 140724011739984 140689233997559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
/proc/29221/statm: 3450442 490930 3260 1 0 3437675 0
[pid=29221/tid=29222] ppid=29220 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29222/stat : 29222 (java) S 29220 29220 14626 0 -1 1077944384 6775 0 0 0 119 5 0 0 20 0 28 0 3868578 14133010432 490930 33554432000 4194304 4196468 140724011757440 140689238238336 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29224] ppid=29220 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29224/stat : 29224 (java) S 29220 29220 14626 0 -1 1077944384 546 0 0 0 12 10 0 0 20 0 28 0 3868579 14133010432 490930 33554432000 4194304 4196468 140724011757440 140689172961808 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29225] ppid=29220 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29225/stat : 29225 (java) S 29220 29220 14626 0 -1 1077944384 1372 0 0 0 12 8 0 0 20 0 28 0 3868579 14133010432 490930 33554432000 4194304 4196468 140724011757440 140689171909264 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29226] ppid=29220 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29226/stat : 29226 (java) S 29220 29220 14626 0 -1 1077944384 515 0 0 0 11 10 0 0 20 0 28 0 3868579 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688830716176 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29227] ppid=29220 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29227/stat : 29227 (java) S 29220 29220 14626 0 -1 1077944384 560 0 0 0 11 9 0 0 20 0 28 0 3868579 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688829663632 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29228] ppid=29220 vsize=13801768 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29228/stat : 29228 (java) S 29220 29220 14626 0 -1 1077944384 571 0 0 0 11 8 0 0 20 0 28 0 3868579 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688828611600 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29229] ppid=29220 vsize=13801768 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29229/stat : 29229 (java) S 29220 29220 14626 0 -1 1077944384 949 0 0 0 12 10 0 0 20 0 28 0 3868579 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688827559056 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29230] ppid=29220 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29230/stat : 29230 (java) S 29220 29220 14626 0 -1 1077944384 1036 0 0 0 13 10 0 0 20 0 28 0 3868579 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688826506000 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29231] ppid=29220 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29231/stat : 29231 (java) S 29220 29220 14626 0 -1 1077944384 1289 0 0 0 12 11 0 0 20 0 28 0 3868579 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688825453456 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29232] ppid=29220 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29232/stat : 29232 (java) S 29220 29220 14626 0 -1 1077944384 2987 0 0 0 4 4 0 0 20 0 28 0 3868582 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688427559152 140689234008706 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29233] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29233/stat : 29233 (java) S 29220 29220 14626 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 3868583 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688426505440 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29234] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29234/stat : 29234 (java) S 29220 29220 14626 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3868584 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688425452288 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29235] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29235/stat : 29235 (java) S 29220 29220 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3868588 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688424400848 140689234016155 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29236] ppid=29220 vsize=13801768 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29236/stat : 29236 (java) S 29220 29220 14626 0 -1 1077944384 5259 0 0 0 183 1 0 0 20 0 28 0 3868588 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688423348976 140689234008706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29237] ppid=29220 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29237/stat : 29237 (java) S 29220 29220 14626 0 -1 1077944384 4283 0 0 0 176 1 0 0 20 0 28 0 3868588 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688422296432 140689234008706 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 7 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29238] ppid=29220 vsize=13801768 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29238/stat : 29238 (java) S 29220 29220 14626 0 -1 1077944384 7630 0 0 0 187 1 0 0 20 0 28 0 3868588 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688421243376 140689234008706 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29239] ppid=29220 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29239/stat : 29239 (java) S 29220 29220 14626 0 -1 1077944384 4539 0 0 0 73 1 0 0 20 0 28 0 3868588 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688420190832 140689234008706 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29240] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29240/stat : 29240 (java) S 29220 29220 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3868588 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688419138016 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29241] ppid=29220 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29241/stat : 29241 (java) S 29220 29220 14626 0 -1 1077944384 670 0 0 0 6 4 0 0 20 0 28 0 3868588 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688418085552 140689234008706 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 9 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29242] ppid=29220 vsize=13801768 CPUtime=279.51 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29242/stat : 29242 (java) R 29220 29220 14626 0 -1 4202560 1680 0 0 0 27949 2 0 0 20 0 28 0 3868709 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688410069384 140688857564929 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29243] ppid=29220 vsize=13801768 CPUtime=279.14 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29243/stat : 29243 (java) R 29220 29220 14626 0 -1 4202560 1290 0 0 0 27911 3 0 0 20 0 28 0 3868709 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688409020880 140688857565222 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29244] ppid=29220 vsize=13801768 CPUtime=279.98 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29244/stat : 29244 (java) R 29220 29220 14626 0 -1 4202560 2875 0 0 0 27989 9 0 0 20 0 28 0 3868709 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688407966088 140688857625921 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29245] ppid=29220 vsize=13801768 CPUtime=276.23 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29245/stat : 29245 (java) R 29220 29220 14626 0 -1 4202560 2329 0 0 0 27617 6 0 0 20 0 28 0 3868709 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688406913544 140688857713934 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29246] ppid=29220 vsize=13801768 CPUtime=279.91 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29246/stat : 29246 (java) R 29220 29220 14626 0 -1 4202560 2066 0 0 0 27985 6 0 0 20 0 28 0 3868709 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688405860240 140688857067521 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29247] ppid=29220 vsize=13801768 CPUtime=278.23 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29247/stat : 29247 (java) R 29220 29220 14626 0 -1 4202560 369 0 0 0 27822 1 0 0 20 0 28 0 3868709 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688404808824 140688857565227 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29248] ppid=29220 vsize=13801768 CPUtime=279.95 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29248/stat : 29248 (java) R 29220 29220 14626 0 -1 4202560 1353 0 0 0 27993 2 0 0 20 0 28 0 3868709 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688403754632 140688857625553 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29249] ppid=29220 vsize=13801768 CPUtime=279.8 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29249/stat : 29249 (java) R 29220 29220 14626 0 -1 4202560 1696 0 0 0 27975 5 0 0 20 0 28 0 3868709 14133010432 490930 33554432000 4194304 4196468 140724011757440 140688402702952 140688857067325 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
Current children cumulated CPU time (s) 2242.3
Current children cumulated vsize (KiB) 13811280
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+302.202 s]
/proc/loadavg: 15.76 15.29 14.95 17/300 29483
/proc/meminfo: memFree=25877356/32770624 swapFree=5972/225912
[pid=29220] ppid=29217 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29220/stat : 29220 (xcsp3-exec) S 29217 29220 14626 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3868577 9740288 346 33554432000 4194304 5098028 140731179477664 140731179475768 140378238681724 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 12623872 140731179480207 140731179480416 140731179480416 140731179483115 0
/proc/29220/statm: 2378 346 289 221 0 87 0
[pid=29221] ppid=29220 vsize=13801768 CPUtime=2400.73 cores=0,2,4,6,8,10,12,14
/proc/29221/stat : 29221 (java) S 29220 29220 14626 0 -1 1077944320 54293 0 0 0 239936 137 0 0 20 0 28 0 3868578 14133010432 484003 33554432000 4194304 4196468 140724011757440 140724011739984 140689233997559 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
/proc/29221/statm: 3450442 484003 3260 1 0 3437675 0
[pid=29221/tid=29222] ppid=29220 vsize=13801768 CPUtime=1.24 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29222/stat : 29222 (java) S 29220 29220 14626 0 -1 1077944384 6775 0 0 0 119 5 0 0 20 0 28 0 3868578 14133010432 484003 33554432000 4194304 4196468 140724011757440 140689238238336 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29224] ppid=29220 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29224/stat : 29224 (java) S 29220 29220 14626 0 -1 1077944384 550 0 0 0 13 10 0 0 20 0 28 0 3868579 14133010432 484003 33554432000 4194304 4196468 140724011757440 140689172961808 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29225] ppid=29220 vsize=13801768 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29225/stat : 29225 (java) S 29220 29220 14626 0 -1 1077944384 1379 0 0 0 13 8 0 0 20 0 28 0 3868579 14133010432 484003 33554432000 4194304 4196468 140724011757440 140689171909264 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29226] ppid=29220 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29226/stat : 29226 (java) S 29220 29220 14626 0 -1 1077944384 524 0 0 0 13 11 0 0 20 0 28 0 3868579 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688830716176 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29227] ppid=29220 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29227/stat : 29227 (java) S 29220 29220 14626 0 -1 1077944384 562 0 0 0 13 10 0 0 20 0 28 0 3868579 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688829663632 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29228] ppid=29220 vsize=13801768 CPUtime=0.2 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29228/stat : 29228 (java) S 29220 29220 14626 0 -1 1077944384 585 0 0 0 12 8 0 0 20 0 28 0 3868579 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688828611600 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29229] ppid=29220 vsize=13801768 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29229/stat : 29229 (java) S 29220 29220 14626 0 -1 1077944384 957 0 0 0 13 10 0 0 20 0 28 0 3868579 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688827559056 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29230] ppid=29220 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29230/stat : 29230 (java) S 29220 29220 14626 0 -1 1077944384 1043 0 0 0 14 10 0 0 20 0 28 0 3868579 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688826506000 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29231] ppid=29220 vsize=13801768 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29231/stat : 29231 (java) S 29220 29220 14626 0 -1 1077944384 1306 0 0 0 13 11 0 0 20 0 28 0 3868579 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688825453456 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29232] ppid=29220 vsize=13801768 CPUtime=0.08 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29232/stat : 29232 (java) S 29220 29220 14626 0 -1 1077944384 2991 0 0 0 4 4 0 0 20 0 28 0 3868582 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688427559152 140689234008706 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29233] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29233/stat : 29233 (java) S 29220 29220 14626 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 3868583 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688426505440 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29234] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29234/stat : 29234 (java) S 29220 29220 14626 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3868584 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688425452288 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29235] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29235/stat : 29235 (java) S 29220 29220 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3868588 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688424400848 140689234016155 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29236] ppid=29220 vsize=13801768 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29236/stat : 29236 (java) S 29220 29220 14626 0 -1 1077944384 5259 0 0 0 183 1 0 0 20 0 28 0 3868588 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688423348976 140689234008706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 11 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29237] ppid=29220 vsize=13801768 CPUtime=1.77 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29237/stat : 29237 (java) S 29220 29220 14626 0 -1 1077944384 4283 0 0 0 176 1 0 0 20 0 28 0 3868588 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688422296432 140689234008706 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29238] ppid=29220 vsize=13801768 CPUtime=1.88 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29238/stat : 29238 (java) S 29220 29220 14626 0 -1 1077944384 7630 0 0 0 187 1 0 0 20 0 28 0 3868588 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688421243376 140689234008706 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29239] ppid=29220 vsize=13801768 CPUtime=0.74 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29239/stat : 29239 (java) S 29220 29220 14626 0 -1 1077944384 4539 0 0 0 73 1 0 0 20 0 28 0 3868588 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688420190832 140689234008706 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29240] ppid=29220 vsize=13801768 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29240/stat : 29240 (java) S 29220 29220 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3868588 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688419138016 140689234007765 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29241] ppid=29220 vsize=13801768 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29241/stat : 29241 (java) S 29220 29220 14626 0 -1 1077944384 670 0 0 0 6 4 0 0 20 0 28 0 3868588 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688418085552 140689234008706 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 9 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29242] ppid=29220 vsize=13801768 CPUtime=299.36 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29242/stat : 29242 (java) R 29220 29220 14626 0 -1 4202560 1703 0 0 0 29934 2 0 0 20 0 28 0 3868709 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688410072304 140688857565176 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29243] ppid=29220 vsize=13801768 CPUtime=298.62 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29243/stat : 29243 (java) R 29220 29220 14626 0 -1 4202560 1300 0 0 0 29859 3 0 0 20 0 28 0 3868709 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688409018728 140688858723959 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29244] ppid=29220 vsize=13801768 CPUtime=299.84 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29244/stat : 29244 (java) R 29220 29220 14626 0 -1 4202560 2919 0 0 0 29975 9 0 0 20 0 28 0 3868709 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688407966056 140688857565082 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29245] ppid=29220 vsize=13801768 CPUtime=296.09 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29245/stat : 29245 (java) R 29220 29220 14626 0 -1 4202560 2383 0 0 0 29603 6 0 0 20 0 28 0 3868709 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688406913544 140688857565149 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29246] ppid=29220 vsize=13801768 CPUtime=299.76 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29246/stat : 29246 (java) R 29220 29220 14626 0 -1 4202560 2128 0 0 0 29970 6 0 0 20 0 28 0 3868709 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688405864584 140688858397181 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29247] ppid=29220 vsize=13801768 CPUtime=297.9 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29247/stat : 29247 (java) R 29220 29220 14626 0 -1 4202560 372 0 0 0 29789 1 0 0 20 0 28 0 3868709 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688404807944 140688857431218 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29248] ppid=29220 vsize=13801768 CPUtime=299.81 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29248/stat : 29248 (java) R 29220 29220 14626 0 -1 4202560 1362 0 0 0 29979 2 0 0 20 0 28 0 3868709 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688403754888 140688857565171 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
[pid=29221/tid=29249] ppid=29220 vsize=13801768 CPUtime=299.66 cores=0,2,4,6,8,10,12,14
/proc/29221/task/29249/stat : 29249 (java) R 29220 29220 14626 0 -1 4202560 1739 0 0 0 29961 5 0 0 20 0 28 0 3868709 14133010432 484003 33554432000 4194304 4196468 140724011757440 140688402701936 140688857067325 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 19845120 140724011758780 140724011758956 140724011758956 140724011761615 0
Current children cumulated CPU time (s) 2400.73
Current children cumulated vsize (KiB) 13811280
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 29221 sig 9
??? kill 29220 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29220 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=2115
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=1057
# CPU time returned by wait4() is 0.003172
# while last known CPU time is 2400.73
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 302.212
CPU time (s): 2400.73
CPU user time (s): 2399.36
CPU system time (s): 1.37
CPU usage (%): 794.385
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.002115
system time used= 0.001057
maximum resident set size= 1388
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 517
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.71728 second user time and 4.47508 second system time
The end