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 (15322 MiB free)
memory of node 1: 16384 MiB (13344 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4400974-1568673331/watcher-4400974-1568673331 -o /tmp/evaluation-result-4400974-1568673331/solver-4400974-1568673331 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node145-1568673289-32268 --watchdog 2580 bin/xcsp-3-concrete -J-Xss32M -randomseed=1889038206 HOME/instance-4400974-1568673331.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
solver pid=32293, runsolver pid=32288
Current StackSize limit: 8192 KiB
[startup+0.100147 s]*
/proc/loadavg: 0.39 1.86 2.77 1/206 32354
/proc/meminfo: memFree=29352264/32770624 swapFree=66958316/67108860
[pid=32293] ppid=32288 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/32293/stat : 32293 (bash) S 32288 32293 32236 0 -1 4202496 891 5701 0 0 0 0 0 1 20 0 1 0 443270336 115974144 404 33554432000 4194304 5098028 140723237992880 140723237986888 139990791441408 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 0 0 0 7196144 7232144 27353088 140723237995540 140723237995665 140723237995665 140723237998574 0
/proc/32293/statm: 28314 404 320 221 0 119 0
[pid=32347] ppid=32293 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/32347/stat : 32347 (bash) S 32293 32293 32236 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443270339 115974144 178 33554432000 4194304 5098028 140723237992880 140723237985560 139990791266940 0 65536 4096 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27353088 140723237995540 140723237995665 140723237995665 140723237998574 0
/proc/32347/statm: 28314 178 94 221 0 119 0
[pid=32349] ppid=32347 vsize=10648 memory=688 CPUtime=0 cores=1,3,5,7
/proc/32349/stat : 32349 (java) D 32347 32293 32236 0 -1 1077944320 318 0 0 0 0 0 0 0 20 0 1 0 443270339 10903552 172 33554432000 4194304 4196468 140725675388512 140725675371128 140649049757045 0 0 4096 0 18446744072101580324 0 0 17 3 0 0 0 0 0 6293624 6294260 20553728 140725675394188 140725675394202 140725675394202 140725675397071 0
/proc/32349/statm: 2662 172 139 1 0 84 0
[pid=32350] ppid=32347 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (awk) S 32347 32293 32236 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 443270339 116211712 243 33554432000 4194304 4609284 140730940580912 140730940580088 139734203952128 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 8708096 140730940585148 140730940585178 140730940585178 140730940588015 0
/proc/32350/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.01 s
Current children cumulated vsize: 350648 KiB
Current children cumulated memory: 3988 KiB
[startup+0.210082 s]*
/proc/loadavg: 0.39 1.86 2.77 2/212 32360
/proc/meminfo: memFree=29343708/32770624 swapFree=66958316/67108860
[pid=32293] ppid=32288 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/32293/stat : 32293 (bash) S 32288 32293 32236 0 -1 4202496 891 5701 0 0 0 0 0 1 20 0 1 0 443270336 115974144 404 33554432000 4194304 5098028 140723237992880 140723237986888 139990791441408 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 0 0 0 7196144 7232144 27353088 140723237995540 140723237995665 140723237995665 140723237998574 0
/proc/32293/statm: 28314 404 320 221 0 119 0
[pid=32347] ppid=32293 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/32347/stat : 32347 (bash) S 32293 32293 32236 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443270339 115974144 178 33554432000 4194304 5098028 140723237992880 140723237985560 139990791266940 0 65536 4096 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27353088 140723237995540 140723237995665 140723237995665 140723237998574 0
/proc/32347/statm: 28314 178 94 221 0 119 0
[pid=32349] ppid=32347 vsize=9940964 memory=14944 CPUtime=0.01 cores=1,3,5,7
/proc/32349/stat : 32349 (java) S 32347 32293 32236 0 -1 1077944320 3023 0 0 0 0 1 0 0 20 0 6 0 443270339 10179547136 3670 33554432000 4194304 4196468 140725675388512 140725675371056 140649057079031 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20553728 140725675394188 140725675394202 140725675394202 140725675397071 0
/proc/32349/statm: 2485241 3670 1605 1 0 2473679 0
[pid=32349/tid=32355] ppid=32347 vsize=9940964 memory=7751702667093440019 CPUtime=0 cores=1,3,5,7
/proc/32349/task/32355/stat : 32355 (java) R 32347 32293 32236 0 -1 4202560 1834 0 0 0 0 0 0 0 20 0 6 0 443270349 10179547136 3797 33554432000 4194304 4196468 140725675388512 140649061315152 140649013714499 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20553728 140725675394188 140725675394202 140725675394202 140725675397071 0
[pid=32349/tid=32357] ppid=32347 vsize=9940964 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32349/task/32357/stat : 32357 (java) S 32347 32293 32236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 443270357 10179547136 3797 33554432000 4194304 4196468 140725675388512 140648983153168 140649057089237 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725675394188 140725675394202 140725675394202 140725675397071 0
[pid=32349/tid=32358] ppid=32347 vsize=9940964 memory=140189139818112 CPUtime=0 cores=1,3,5,7
/proc/32349/task/32358/stat : 32358 (java) S 32347 32293 32236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 443270357 10179547136 3797 33554432000 4194304 4196468 140725675388512 140648982100624 140649057089237 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725675394188 140725675394202 140725675394202 140725675397071 0
[pid=32349/tid=32359] ppid=32347 vsize=9940964 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32349/task/32359/stat : 32359 (java) S 32347 32293 32236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 443270357 10179547136 3797 33554432000 4194304 4196468 140725675388512 140648981047568 140649057089237 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20553728 140725675394188 140725675394202 140725675394202 140725675397071 0
[pid=32349/tid=32360] ppid=32347 vsize=9940964 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32349/task/32360/stat : 32360 (java) S 32347 32293 32236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 443270357 10179547136 3797 33554432000 4194304 4196468 140725675388512 140648979995024 140649057089237 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725675394188 140725675394202 140725675394202 140725675397071 0
[pid=32350] ppid=32347 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (awk) S 32347 32293 32236 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 443270339 116211712 243 33554432000 4194304 4609284 140730940580912 140730940580088 139734203952128 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 8708096 140730940585148 140730940585178 140730940585178 140730940588015 0
/proc/32350/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.02 s
Current children cumulated vsize: 10280964 KiB
Current children cumulated memory: 18244 KiB
[startup+0.310394 s]*
/proc/loadavg: 0.39 1.86 2.77 1/222 32370
/proc/meminfo: memFree=29327372/32770624 swapFree=66958316/67108860
[pid=32293] ppid=32288 vsize=113256 memory=1616 CPUtime=0.01 cores=1,3,5,7
/proc/32293/stat : 32293 (bash) S 32288 32293 32236 0 -1 4202496 891 5701 0 0 0 0 0 1 20 0 1 0 443270336 115974144 404 33554432000 4194304 5098028 140723237992880 140723237986888 139990791441408 0 0 4100 65536 18446744071580971376 0 0 17 5 0 0 0 0 0 7196144 7232144 27353088 140723237995540 140723237995665 140723237995665 140723237998574 0
/proc/32293/statm: 28314 404 320 221 0 119 0
[pid=32347] ppid=32293 vsize=113256 memory=712 CPUtime=0 cores=1,3,5,7
/proc/32347/stat : 32347 (bash) S 32293 32293 32236 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 443270339 115974144 178 33554432000 4194304 5098028 140723237992880 140723237985560 139990791266940 0 65536 4096 65538 18446744071579417331 0 0 17 7 0 0 0 0 0 7196144 7232144 27353088 140723237995540 140723237995665 140723237995665 140723237998574 0
/proc/32347/statm: 28314 178 94 221 0 119 0
[pid=32349] ppid=32347 vsize=10260324 memory=20596 CPUtime=0.04 cores=1,3,5,7
/proc/32349/stat : 32349 (java) S 32347 32293 32236 0 -1 1077944320 4028 0 0 0 3 1 0 0 20 0 9 0 443270339 10506571776 5149 33554432000 4194304 4196468 140725675388512 140725675371056 140649057079031 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 20553728 140725675394188 140725675394202 140725675394202 140725675397071 0
/proc/32349/statm: 2565081 5149 2193 1 0 2527622 0
[pid=32349/tid=32355] ppid=32347 vsize=10260324 memory=288355116380323867 CPUtime=0.04 cores=1,3,5,7
/proc/32349/task/32355/stat : 32355 (java) D 32347 32293 32236 0 -1 1077944384 2684 0 0 0 3 1 0 0 20 0 9 0 443270349 10506571776 5149 33554432000 4194304 4196468 140725675388512 140649061314072 140649049757045 0 4 0 16800971 18446744072101580324 0 0 -1 1 0 0 0 0 0 6293624 6294260 20553728 140725675394188 140725675394202 140725675394202 140725675397071 0
[pid=32349/tid=32357] ppid=32347 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32349/task/32357/stat : 32357 (java) S 32347 32293 32236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443270357 10506571776 5149 33554432000 4194304 4196468 140725675388512 140648983153168 140649057089237 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725675394188 140725675394202 140725675394202 140725675397071 0
[pid=32349/tid=32358] ppid=32347 vsize=10260324 memory=3762669199271745184 CPUtime=0 cores=1,3,5,7
/proc/32349/task/32358/stat : 32358 (java) S 32347 32293 32236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443270357 10506571776 5149 33554432000 4194304 4196468 140725675388512 140648982100624 140649057089237 0 4 0 16800971 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20553728 140725675394188 140725675394202 140725675394202 140725675397071 0
[pid=32349/tid=32359] ppid=32347 vsize=10260324 memory=140189139818112 CPUtime=0 cores=1,3,5,7
/proc/32349/task/32359/stat : 32359 (java) S 32347 32293 32236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443270357 10506571776 5149 33554432000 4194304 4196468 140725675388512 140648981047568 140649057089237 0 4 0 16800971 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20553728 140725675394188 140725675394202 140725675394202 140725675397071 0
[pid=32349/tid=32360] ppid=32347 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32349/task/32360/stat : 32360 (java) S 32347 32293 32236 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 443270357 10506571776 5149 33554432000 4194304 4196468 140725675388512 140648979995024 140649057089237 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725675394188 140725675394202 140725675394202 140725675397071 0
[pid=32349/tid=32365] ppid=32347 vsize=10260324 memory=0 CPUtime=0 cores=1,3,5,7
/proc/32349/task/32365/stat : 32365 (java) S 32347 32293 32236 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 443270359 10506571776 5149 33554432000 4194304 4196468 140725675388512 140648159083248 140649057090178 0 0 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725675394188 140725675394202 140725675394202 140725675397071 0
[pid=32349/tid=32367] ppid=32347 vsize=10260324 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/32349/task/32367/stat : 32367 (java) S 32347 32293 32236 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 443270360 10506571776 5149 33554432000 4194304 4196468 140725675388512 140648158029472 140649057089237 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725675394188 140725675394202 140725675394202 140725675397071 0
[pid=32349/tid=32369] ppid=32347 vsize=10260324 memory=140189139818112 CPUtime=0 cores=1,3,5,7
/proc/32349/task/32369/stat : 32369 (java) S 32347 32293 32236 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 443270360 10506571776 5149 33554432000 4194304 4196468 140725675388512 140648156976368 140649057089237 0 4 0 16800971 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20553728 140725675394188 140725675394202 140725675394202 140725675397071 0
[pid=32350] ppid=32347 vsize=113488 memory=972 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (awk) S 32347 32293 32236 0 -1 4202496 426 0 0 0 0 0 0 0 20 0 1 0 443270339 116211712 243 33554432000 4194304 4609284 140730940580912 140730940580088 139734203952128 0 0 4096 1216 18446744071580971376 0 0 17 5 0 0 0 0 0 6708720 6711756 8708096 140730940585148 140730940585178 140730940585178 140730940588015 0
/proc/32350/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 23896 KiB
[startup+0.700766 s]
/proc/loadavg: 0.39 1.86 2.77 3/227 32427
/proc/meminfo: memFree=29317400/32770624 swapFree=66958316/67108860
[pid=32293] ppid=32288 vsize=10820196 memory=47620 CPUtime=0.29 cores=1,3,5,7
/proc/32293/stat : 32293 (java) S 32288 32293 32236 0 -1 1077944320 9971 13042 0 0 19 2 4 4 20 0 15 0 443270336 11079880704 11905 33554432000 4194304 4196468 140722785749696 140722785732240 140045800988407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
/proc/32293/statm: 2705049 11905 3297 1 0 2667149 0
[pid=32293/tid=32392] ppid=32288 vsize=10820196 memory=0 CPUtime=0.21 cores=1,3,5,7
/proc/32293/task/32392/stat : 32392 (java) R 32288 32293 32236 0 -1 4202560 6468 13042 0 0 11 2 4 4 20 0 15 0 443270374 11079880704 11905 33554432000 4194304 4196468 140722785749696 140045772802592 140045404972560 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32403] ppid=32288 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32403/stat : 32403 (java) S 32288 32293 32236 0 -1 1077944384 1 13042 0 0 0 0 4 4 20 0 15 0 443270377 11079880704 11905 33554432000 4194304 4196468 140722785749696 140045805230608 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32404] ppid=32288 vsize=10820196 memory=2529 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32404/stat : 32404 (java) S 32288 32293 32236 0 -1 1077944384 1 13042 0 0 0 0 4 4 20 0 15 0 443270377 11079880704 11905 33554432000 4194304 4196468 140722785749696 140045374380688 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32405] ppid=32288 vsize=10820196 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32405/stat : 32405 (java) S 32288 32293 32236 0 -1 1077944384 1 13042 0 0 0 0 4 4 20 0 15 0 443270377 11079880704 11905 33554432000 4194304 4196468 140722785749696 140045373327632 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32406] ppid=32288 vsize=10820196 memory=-7880843606118635149 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32406/stat : 32406 (java) S 32288 32293 32236 0 -1 1077944384 2 13042 0 0 0 0 4 4 20 0 15 0 443270377 11079880704 11905 33554432000 4194304 4196468 140722785749696 140045372275088 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32411] ppid=32288 vsize=10820196 memory=6944656592387989600 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32411/stat : 32411 (java) S 32288 32293 32236 0 -1 1077944384 2 13042 0 0 0 0 4 4 20 0 15 0 443270378 11079880704 11905 33554432000 4194304 4196468 140722785749696 140044871396080 140045800999554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32412] ppid=32288 vsize=10820196 memory=1196 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32412/stat : 32412 (java) S 32288 32293 32236 0 -1 1077944384 13 13042 0 0 0 0 4 4 20 0 15 0 443270379 11079880704 11905 33554432000 4194304 4196468 140722785749696 140044790654624 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32413] ppid=32288 vsize=10820196 memory=1044 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32413/stat : 32413 (java) S 32288 32293 32236 0 -1 1077944384 1 13042 0 0 0 0 4 4 20 0 15 0 443270379 11079880704 11905 33554432000 4194304 4196468 140722785749696 140044589327600 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32417] ppid=32288 vsize=10820196 memory=712 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32417/stat : 32417 (java) S 32288 32293 32236 0 -1 1077944384 3 13042 0 0 0 0 4 4 20 0 15 0 443270383 11079880704 11905 33554432000 4194304 4196468 140722785749696 140044349037008 140045801007003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32418] ppid=32288 vsize=10820196 memory=2832 CPUtime=0.09 cores=1,3,5,7
/proc/32293/task/32418/stat : 32418 (java) S 32288 32293 32236 0 -1 1077944384 577 13042 0 0 1 0 4 4 20 0 15 0 443270383 11079880704 11905 33554432000 4194304 4196468 140722785749696 140044870342896 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32419] ppid=32288 vsize=10820196 memory=8020 CPUtime=0.09 cores=1,3,5,7
/proc/32293/task/32419/stat : 32419 (java) S 32288 32293 32236 0 -1 1077944384 78 13042 0 0 1 0 4 4 20 0 15 0 443270383 11079880704 11905 33554432000 4194304 4196468 140722785749696 140044869290352 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32420] ppid=32288 vsize=10820196 memory=10428 CPUtime=0.11 cores=1,3,5,7
/proc/32293/task/32420/stat : 32420 (java) S 32288 32293 32236 0 -1 1077944384 611 13042 0 0 3 0 4 4 20 0 15 0 443270383 11079880704 11905 33554432000 4194304 4196468 140722785749696 140044868237296 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32421] ppid=32288 vsize=10820196 memory=14012 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32421/stat : 32421 (java) S 32288 32293 32236 0 -1 1077944384 3 13042 0 0 0 0 4 4 20 0 15 0 443270383 11079880704 11905 33554432000 4194304 4196468 140722785749696 140044315478368 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32427] ppid=32288 vsize=10820196 memory=14080 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32427/stat : 32427 (java) S 32288 32293 32236 0 -1 1077944384 1 13042 0 0 0 0 4 4 20 0 15 0 443270387 11079880704 11905 33554432000 4194304 4196468 140722785749696 140044867185712 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 10820196 KiB
Current children cumulated memory: 47620 KiB
[startup+1.50078 s]
/proc/loadavg: 0.39 1.86 2.77 3/228 32428
/proc/meminfo: memFree=29244556/32770624 swapFree=66958316/67108860
[pid=32293] ppid=32288 vsize=10830584 memory=117236 CPUtime=1.75 cores=1,3,5,7
/proc/32293/stat : 32293 (java) S 32288 32293 32236 0 -1 1077944320 18040 13042 0 0 161 6 4 4 20 0 15 0 443270336 11090518016 29309 33554432000 4194304 4196468 140722785749696 140722785732240 140045800988407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
/proc/32293/statm: 2707646 29309 3542 1 0 2669709 0
[pid=32293/tid=32392] ppid=32288 vsize=10830584 memory=5787213827347079488 CPUtime=1.01 cores=1,3,5,7
/proc/32293/task/32392/stat : 32392 (java) R 32288 32293 32236 0 -1 4202560 13211 13042 0 0 88 5 4 4 20 0 15 0 443270374 11090518016 29309 33554432000 4194304 4196468 140722785749696 140045772820640 140045785068894 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32403] ppid=32288 vsize=10830584 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32403/stat : 32403 (java) S 32288 32293 32236 0 -1 1077944384 1 13042 0 0 0 0 4 4 20 0 15 0 443270377 11090518016 29309 33554432000 4194304 4196468 140722785749696 140045805230608 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32404] ppid=32288 vsize=10830584 memory=288230376974057755 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32404/stat : 32404 (java) S 32288 32293 32236 0 -1 1077944384 1 13042 0 0 0 0 4 4 20 0 15 0 443270377 11090518016 29309 33554432000 4194304 4196468 140722785749696 140045374380688 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32405] ppid=32288 vsize=10830584 memory=288289995532534958 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32405/stat : 32405 (java) S 32288 32293 32236 0 -1 1077944384 1 13042 0 0 0 0 4 4 20 0 15 0 443270377 11090518016 29309 33554432000 4194304 4196468 140722785749696 140045373327632 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32406] ppid=32288 vsize=10830584 memory=4050199730586910752 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32406/stat : 32406 (java) S 32288 32293 32236 0 -1 1077944384 2 13042 0 0 0 0 4 4 20 0 15 0 443270377 11090518016 29309 33554432000 4194304 4196468 140722785749696 140045372275088 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32411] ppid=32288 vsize=10830584 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32411/stat : 32411 (java) S 32288 32293 32236 0 -1 1077944384 5 13042 0 0 0 0 4 4 20 0 15 0 443270378 11090518016 29309 33554432000 4194304 4196468 140722785749696 140044871396080 140045800999554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32412] ppid=32288 vsize=10830584 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32412/stat : 32412 (java) S 32288 32293 32236 0 -1 1077944384 13 13042 0 0 0 0 4 4 20 0 15 0 443270379 11090518016 29309 33554432000 4194304 4196468 140722785749696 140044790654624 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32413] ppid=32288 vsize=10830584 memory=1432 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32413/stat : 32413 (java) S 32288 32293 32236 0 -1 1077944384 1 13042 0 0 0 0 4 4 20 0 15 0 443270379 11090518016 29309 33554432000 4194304 4196468 140722785749696 140044589327600 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32417] ppid=32288 vsize=10830584 memory=776 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32417/stat : 32417 (java) S 32288 32293 32236 0 -1 1077944384 3 13042 0 0 0 0 4 4 20 0 15 0 443270383 11090518016 29309 33554432000 4194304 4196468 140722785749696 140044349037008 140045801007003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32418] ppid=32288 vsize=10830584 memory=1056 CPUtime=0.27 cores=1,3,5,7
/proc/32293/task/32418/stat : 32418 (java) S 32288 32293 32236 0 -1 1077944384 1044 13042 0 0 19 0 4 4 20 0 15 0 443270383 11090518016 29309 33554432000 4194304 4196468 140722785749696 140044870342896 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32419] ppid=32288 vsize=10830584 memory=33 CPUtime=0.32 cores=1,3,5,7
/proc/32293/task/32419/stat : 32419 (java) S 32288 32293 32236 0 -1 1077944384 539 13042 0 0 24 0 4 4 20 0 15 0 443270383 11090518016 29309 33554432000 4194304 4196468 140722785749696 140044869290352 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32420] ppid=32288 vsize=10830584 memory=0 CPUtime=0.36 cores=1,3,5,7
/proc/32293/task/32420/stat : 32420 (java) S 32288 32293 32236 0 -1 1077944384 1008 13042 0 0 28 0 4 4 20 0 15 0 443270383 11090518016 29309 33554432000 4194304 4196468 140722785749696 140044868237296 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32421] ppid=32288 vsize=10830584 memory=140189139819921 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32421/stat : 32421 (java) S 32288 32293 32236 0 -1 1077944384 3 13042 0 0 0 0 4 4 20 0 15 0 443270383 11090518016 29309 33554432000 4194304 4196468 140722785749696 140044315478368 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32427] ppid=32288 vsize=10830584 memory=6791534058613427641 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32427/stat : 32427 (java) S 32288 32293 32236 0 -1 1077944384 1 13042 0 0 0 0 4 4 20 0 15 0 443270387 11090518016 29309 33554432000 4194304 4196468 140722785749696 140044867185712 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
Current children cumulated CPU time: 1.75 s
Current children cumulated vsize: 10830584 KiB
Current children cumulated memory: 117236 KiB
[startup+3.11083 s]
/proc/loadavg: 0.39 1.86 2.77 5/228 32428
/proc/meminfo: memFree=28969796/32770624 swapFree=66958316/67108860
[pid=32293] ppid=32288 vsize=10842892 memory=213260 CPUtime=5.52 cores=1,3,5,7
/proc/32293/stat : 32293 (java) S 32288 32293 32236 0 -1 1077944320 33327 13042 0 0 530 14 4 4 20 0 15 0 443270336 11103121408 53315 33554432000 4194304 4196468 140722785749696 140722785732240 140045800988407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
/proc/32293/statm: 2710723 53315 3595 1 0 2672781 0
[pid=32293/tid=32392] ppid=32288 vsize=10842892 memory=46900 CPUtime=2.58 cores=1,3,5,7
/proc/32293/task/32392/stat : 32392 (java) R 32288 32293 32236 0 -1 4202560 19293 13042 0 0 242 8 4 4 20 0 15 0 443270374 11103121408 53315 33554432000 4194304 4196468 140722785749696 140045772819952 140045782394628 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32403] ppid=32288 vsize=10842892 memory=988 CPUtime=0.09 cores=1,3,5,7
/proc/32293/task/32403/stat : 32403 (java) S 32288 32293 32236 0 -1 1077944384 362 13042 0 0 1 0 4 4 20 0 15 0 443270377 11103121408 53315 33554432000 4194304 4196468 140722785749696 140045805230608 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32404] ppid=32288 vsize=10842892 memory=2020 CPUtime=0.08 cores=1,3,5,7
################
# More data... #
################
/proc/32293/task/32392/stat : 32392 (java) R 32288 32293 32236 0 -1 4202560 77574 13042 0 0 229600 54 4 4 20 0 15 0 443270374 11111522304 292319 33554432000 4194304 4196468 140722785749696 140045772823616 140045419242119 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32403] ppid=32288 vsize=10851096 memory=1169276 CPUtime=12.28 cores=1,3,5,7
/proc/32293/task/32403/stat : 32403 (java) S 32288 32293 32236 0 -1 1077944384 12248 13042 0 0 1164 56 4 4 20 0 15 0 443270377 11111522304 292319 33554432000 4194304 4196468 140722785749696 140045805230608 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32404] ppid=32288 vsize=10851096 memory=1169276 CPUtime=12.29 cores=1,3,5,7
/proc/32293/task/32404/stat : 32404 (java) S 32288 32293 32236 0 -1 1077944384 15460 13042 0 0 1166 55 4 4 20 0 15 0 443270377 11111522304 292319 33554432000 4194304 4196468 140722785749696 140045374380688 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32405] ppid=32288 vsize=10851096 memory=1169276 CPUtime=12.26 cores=1,3,5,7
/proc/32293/task/32405/stat : 32405 (java) S 32288 32293 32236 0 -1 1077944384 8336 13042 0 0 1159 59 4 4 20 0 15 0 443270377 11111522304 292319 33554432000 4194304 4196468 140722785749696 140045373327632 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32406] ppid=32288 vsize=10851096 memory=1169276 CPUtime=12.32 cores=1,3,5,7
/proc/32293/task/32406/stat : 32406 (java) S 32288 32293 32236 0 -1 1077944384 13912 13042 0 0 1173 51 4 4 20 0 15 0 443270377 11111522304 292319 33554432000 4194304 4196468 140722785749696 140045372275088 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32411] ppid=32288 vsize=10851096 memory=1169276 CPUtime=10.66 cores=1,3,5,7
/proc/32293/task/32411/stat : 32411 (java) S 32288 32293 32236 0 -1 1077944384 15553 13042 0 0 1006 52 4 4 20 0 15 0 443270378 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044871396080 140045800999554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32412] ppid=32288 vsize=10851096 memory=1169276 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32412/stat : 32412 (java) S 32288 32293 32236 0 -1 1077944384 14 13042 0 0 0 0 4 4 20 0 15 0 443270379 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044790654688 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32413] ppid=32288 vsize=10851096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32413/stat : 32413 (java) S 32288 32293 32236 0 -1 1077944384 5 13042 0 0 0 0 4 4 20 0 15 0 443270379 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044589327616 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32417] ppid=32288 vsize=10851096 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32417/stat : 32417 (java) S 32288 32293 32236 0 -1 1077944384 3 13042 0 0 0 0 4 4 20 0 15 0 443270383 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044349037008 140045801007003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32418] ppid=32288 vsize=10851096 memory=1169276 CPUtime=7.01 cores=1,3,5,7
/proc/32293/task/32418/stat : 32418 (java) S 32288 32293 32236 0 -1 1077944384 32441 13042 0 0 687 6 4 4 20 0 15 0 443270383 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044870342896 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32419] ppid=32288 vsize=10851096 memory=3612 CPUtime=7.73 cores=1,3,5,7
/proc/32293/task/32419/stat : 32419 (java) S 32288 32293 32236 0 -1 1077944384 32353 13042 0 0 760 5 4 4 20 0 15 0 443270383 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044869290352 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32420] ppid=32288 vsize=10851096 memory=6791534058613427641 CPUtime=4.5 cores=1,3,5,7
/proc/32293/task/32420/stat : 32420 (java) S 32288 32293 32236 0 -1 1077944384 33895 13042 0 0 435 7 4 4 20 0 15 0 443270383 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044868237296 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32421] ppid=32288 vsize=10851096 memory=111636 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32421/stat : 32421 (java) S 32288 32293 32236 0 -1 1077944384 3 13042 0 0 0 0 4 4 20 0 15 0 443270383 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044315478368 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32427] ppid=32288 vsize=10851096 memory=804 CPUtime=1.44 cores=1,3,5,7
/proc/32293/task/32427/stat : 32427 (java) S 32288 32293 32236 0 -1 1077944384 1259 13042 0 0 63 73 4 4 20 0 15 0 443270387 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044867185712 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
Current children cumulated CPU time: 2376.51 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1169276 KiB
[startup+2382.3 s]
/proc/loadavg: 1.21 1.23 1.44 3/228 32670
/proc/meminfo: memFree=27074668/32770624 swapFree=66958316/67108860
[pid=32293] ppid=32288 vsize=10851096 memory=1169276 CPUtime=2437.49 cores=1,3,5,7
/proc/32293/stat : 32293 (java) S 32288 32293 32236 0 -1 1077944320 246822 13042 0 0 243373 368 4 4 20 0 15 0 443270336 11111522304 292319 33554432000 4194304 4196468 140722785749696 140722785732240 140045800988407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
/proc/32293/statm: 2712774 292319 3633 1 0 2674829 0
[pid=32293/tid=32392] ppid=32288 vsize=10851096 memory=1169276 CPUtime=2355.96 cores=1,3,5,7
/proc/32293/task/32392/stat : 32392 (java) R 32288 32293 32236 0 -1 4202560 78394 13042 0 0 235534 54 4 4 20 0 15 0 443270374 11111522304 292319 33554432000 4194304 4196468 140722785749696 140045772823088 140045413037997 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32403] ppid=32288 vsize=10851096 memory=1169276 CPUtime=12.61 cores=1,3,5,7
/proc/32293/task/32403/stat : 32403 (java) S 32288 32293 32236 0 -1 1077944384 12304 13042 0 0 1196 57 4 4 20 0 15 0 443270377 11111522304 292319 33554432000 4194304 4196468 140722785749696 140045805230608 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32404] ppid=32288 vsize=10851096 memory=1169276 CPUtime=12.62 cores=1,3,5,7
/proc/32293/task/32404/stat : 32404 (java) S 32288 32293 32236 0 -1 1077944384 15564 13042 0 0 1198 56 4 4 20 0 15 0 443270377 11111522304 292319 33554432000 4194304 4196468 140722785749696 140045374380688 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32405] ppid=32288 vsize=10851096 memory=1169276 CPUtime=12.59 cores=1,3,5,7
/proc/32293/task/32405/stat : 32405 (java) S 32288 32293 32236 0 -1 1077944384 8402 13042 0 0 1190 61 4 4 20 0 15 0 443270377 11111522304 292319 33554432000 4194304 4196468 140722785749696 140045373327632 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32406] ppid=32288 vsize=10851096 memory=1169276 CPUtime=12.65 cores=1,3,5,7
/proc/32293/task/32406/stat : 32406 (java) S 32288 32293 32236 0 -1 1077944384 14206 13042 0 0 1204 53 4 4 20 0 15 0 443270377 11111522304 292319 33554432000 4194304 4196468 140722785749696 140045372275088 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32411] ppid=32288 vsize=10851096 memory=1169276 CPUtime=10.94 cores=1,3,5,7
/proc/32293/task/32411/stat : 32411 (java) S 32288 32293 32236 0 -1 1077944384 15746 13042 0 0 1032 54 4 4 20 0 15 0 443270378 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044871396080 140045800999554 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32412] ppid=32288 vsize=10851096 memory=1169276 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32412/stat : 32412 (java) S 32288 32293 32236 0 -1 1077944384 14 13042 0 0 0 0 4 4 20 0 15 0 443270379 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044790654688 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32413] ppid=32288 vsize=10851096 memory=1169276 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32413/stat : 32413 (java) S 32288 32293 32236 0 -1 1077944384 5 13042 0 0 0 0 4 4 20 0 15 0 443270379 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044589327616 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32417] ppid=32288 vsize=10851096 memory=1169276 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32417/stat : 32417 (java) S 32288 32293 32236 0 -1 1077944384 3 13042 0 0 0 0 4 4 20 0 15 0 443270383 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044349037008 140045801007003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32418] ppid=32288 vsize=10851096 memory=3612 CPUtime=7.01 cores=1,3,5,7
/proc/32293/task/32418/stat : 32418 (java) S 32288 32293 32236 0 -1 1077944384 32443 13042 0 0 687 6 4 4 20 0 15 0 443270383 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044870342896 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32419] ppid=32288 vsize=10851096 memory=1169276 CPUtime=7.73 cores=1,3,5,7
/proc/32293/task/32419/stat : 32419 (java) S 32288 32293 32236 0 -1 1077944384 32355 13042 0 0 760 5 4 4 20 0 15 0 443270383 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044869290352 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32420] ppid=32288 vsize=10851096 memory=3612 CPUtime=4.5 cores=1,3,5,7
/proc/32293/task/32420/stat : 32420 (java) S 32288 32293 32236 0 -1 1077944384 33897 13042 0 0 435 7 4 4 20 0 15 0 443270383 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044868237296 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32421] ppid=32288 vsize=10851096 memory=1169276 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32421/stat : 32421 (java) S 32288 32293 32236 0 -1 1077944384 3 13042 0 0 0 0 4 4 20 0 15 0 443270383 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044315478368 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32427] ppid=32288 vsize=10851096 memory=1169276 CPUtime=1.47 cores=1,3,5,7
/proc/32293/task/32427/stat : 32427 (java) S 32288 32293 32236 0 -1 1077944384 1277 13042 0 0 64 75 4 4 20 0 15 0 443270387 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044867185712 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
Current children cumulated CPU time: 2437.49 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1169276 KiB
[startup+2442.3 s]
/proc/loadavg: 0.91 1.16 1.40 3/227 32674
/proc/meminfo: memFree=27074872/32770624 swapFree=66958316/67108860
[pid=32293] ppid=32288 vsize=10851096 memory=1169276 CPUtime=2498.43 cores=1,3,5,7
/proc/32293/stat : 32293 (java) S 32288 32293 32236 0 -1 1077944320 248459 13042 0 0 249460 375 4 4 20 0 15 0 443270336 11111522304 292319 33554432000 4194304 4196468 140722785749696 140722785732240 140045800988407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
/proc/32293/statm: 2712774 292319 3633 1 0 2674829 0
[pid=32293/tid=32392] ppid=32288 vsize=10851096 memory=1169276 CPUtime=2415.31 cores=1,3,5,7
/proc/32293/task/32392/stat : 32392 (java) R 32288 32293 32236 0 -1 4202560 79268 13042 0 0 241468 55 4 4 20 0 15 0 443270374 11111522304 292319 33554432000 4194304 4196468 140722785749696 140045772824064 140045406141911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32403] ppid=32288 vsize=10851096 memory=1169276 CPUtime=12.94 cores=1,3,5,7
/proc/32293/task/32403/stat : 32403 (java) S 32288 32293 32236 0 -1 1077944384 12346 13042 0 0 1227 59 4 4 20 0 15 0 443270377 11111522304 292319 33554432000 4194304 4196468 140722785749696 140045805230608 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32404] ppid=32288 vsize=10851096 memory=1169276 CPUtime=12.96 cores=1,3,5,7
/proc/32293/task/32404/stat : 32404 (java) S 32288 32293 32236 0 -1 1077944384 15711 13042 0 0 1230 58 4 4 20 0 15 0 443270377 11111522304 292319 33554432000 4194304 4196468 140722785749696 140045374380688 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32405] ppid=32288 vsize=10851096 memory=3612 CPUtime=12.91 cores=1,3,5,7
/proc/32293/task/32405/stat : 32405 (java) S 32288 32293 32236 0 -1 1077944384 8736 13042 0 0 1221 62 4 4 20 0 15 0 443270377 11111522304 292319 33554432000 4194304 4196468 140722785749696 140045373327632 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32406] ppid=32288 vsize=10851096 memory=1169276 CPUtime=12.97 cores=1,3,5,7
/proc/32293/task/32406/stat : 32406 (java) S 32288 32293 32236 0 -1 1077944384 14231 13042 0 0 1235 54 4 4 20 0 15 0 443270377 11111522304 292319 33554432000 4194304 4196468 140722785749696 140045372275088 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32411] ppid=32288 vsize=10851096 memory=1169276 CPUtime=11.21 cores=1,3,5,7
/proc/32293/task/32411/stat : 32411 (java) S 32288 32293 32236 0 -1 1077944384 15940 13042 0 0 1059 54 4 4 20 0 15 0 443270378 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044871396080 140045800999554 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32412] ppid=32288 vsize=10851096 memory=1169276 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32412/stat : 32412 (java) S 32288 32293 32236 0 -1 1077944384 14 13042 0 0 0 0 4 4 20 0 15 0 443270379 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044790654688 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32413] ppid=32288 vsize=10851096 memory=1169276 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32413/stat : 32413 (java) S 32288 32293 32236 0 -1 1077944384 5 13042 0 0 0 0 4 4 20 0 15 0 443270379 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044589327616 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32417] ppid=32288 vsize=10851096 memory=1169276 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32417/stat : 32417 (java) S 32288 32293 32236 0 -1 1077944384 3 13042 0 0 0 0 4 4 20 0 15 0 443270383 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044349037008 140045801007003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32418] ppid=32288 vsize=10851096 memory=1169276 CPUtime=7.01 cores=1,3,5,7
/proc/32293/task/32418/stat : 32418 (java) S 32288 32293 32236 0 -1 1077944384 32445 13042 0 0 687 6 4 4 20 0 15 0 443270383 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044870342896 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32419] ppid=32288 vsize=10851096 memory=1169276 CPUtime=7.73 cores=1,3,5,7
/proc/32293/task/32419/stat : 32419 (java) S 32288 32293 32236 0 -1 1077944384 32357 13042 0 0 760 5 4 4 20 0 15 0 443270383 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044869290352 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32420] ppid=32288 vsize=10851096 memory=1169276 CPUtime=4.5 cores=1,3,5,7
/proc/32293/task/32420/stat : 32420 (java) S 32288 32293 32236 0 -1 1077944384 33899 13042 0 0 435 7 4 4 20 0 15 0 443270383 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044868237296 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32421] ppid=32288 vsize=10851096 memory=1169276 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32421/stat : 32421 (java) S 32288 32293 32236 0 -1 1077944384 3 13042 0 0 0 0 4 4 20 0 15 0 443270383 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044315478368 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32427] ppid=32288 vsize=10851096 memory=1169276 CPUtime=1.51 cores=1,3,5,7
/proc/32293/task/32427/stat : 32427 (java) S 32288 32293 32236 0 -1 1077944384 1292 13042 0 0 66 77 4 4 20 0 15 0 443270387 11111522304 292319 33554432000 4194304 4196468 140722785749696 140044867185712 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
Current children cumulated CPU time: 2498.43 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1169276 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2463.6 s]
/proc/loadavg: 0.99 1.17 1.40 3/227 32678
/proc/meminfo: memFree=27072224/32770624 swapFree=66958316/67108860
[pid=32293] ppid=32288 vsize=10851096 memory=1171324 CPUtime=2520.09 cores=1,3,5,7
/proc/32293/stat : 32293 (java) S 32288 32293 32236 0 -1 1077944320 249259 13042 0 0 251623 378 4 4 20 0 15 0 443270336 11111522304 292831 33554432000 4194304 4196468 140722785749696 140722785732240 140045800988407 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
/proc/32293/statm: 2712774 292831 3633 1 0 2674829 0
[pid=32293/tid=32392] ppid=32288 vsize=10851096 memory=3612 CPUtime=2436.37 cores=1,3,5,7
/proc/32293/task/32392/stat : 32392 (java) R 32288 32293 32236 0 -1 4202560 79696 13042 0 0 243574 55 4 4 20 0 15 0 443270374 11111522304 292831 33554432000 4194304 4196468 140722785749696 140045772823968 140045422575077 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32403] ppid=32288 vsize=10851096 memory=46968 CPUtime=13.05 cores=1,3,5,7
/proc/32293/task/32403/stat : 32403 (java) S 32288 32293 32236 0 -1 1077944384 12355 13042 0 0 1238 59 4 4 20 0 15 0 443270377 11111522304 292831 33554432000 4194304 4196468 140722785749696 140045805230608 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32404] ppid=32288 vsize=10851096 memory=6791534058613427641 CPUtime=13.07 cores=1,3,5,7
/proc/32293/task/32404/stat : 32404 (java) S 32288 32293 32236 0 -1 1077944384 15742 13042 0 0 1241 58 4 4 20 0 15 0 443270377 11111522304 292831 33554432000 4194304 4196468 140722785749696 140045374380688 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32405] ppid=32288 vsize=10851096 memory=2020 CPUtime=13.03 cores=1,3,5,7
/proc/32293/task/32405/stat : 32405 (java) S 32288 32293 32236 0 -1 1077944384 8743 13042 0 0 1233 62 4 4 20 0 15 0 443270377 11111522304 292831 33554432000 4194304 4196468 140722785749696 140045373327632 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32406] ppid=32288 vsize=10851096 memory=1432 CPUtime=13.1 cores=1,3,5,7
/proc/32293/task/32406/stat : 32406 (java) S 32288 32293 32236 0 -1 1077944384 14518 13042 0 0 1247 55 4 4 20 0 15 0 443270377 11111522304 292831 33554432000 4194304 4196468 140722785749696 140045372275088 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32411] ppid=32288 vsize=10851096 memory=776 CPUtime=11.31 cores=1,3,5,7
/proc/32293/task/32411/stat : 32411 (java) S 32288 32293 32236 0 -1 1077944384 15968 13042 0 0 1068 55 4 4 20 0 15 0 443270378 11111522304 292831 33554432000 4194304 4196468 140722785749696 140044871396080 140045800999554 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32412] ppid=32288 vsize=10851096 memory=1056 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32412/stat : 32412 (java) S 32288 32293 32236 0 -1 1077944384 14 13042 0 0 0 0 4 4 20 0 15 0 443270379 11111522304 292831 33554432000 4194304 4196468 140722785749696 140044790654688 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32413] ppid=32288 vsize=10851096 memory=4000 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32413/stat : 32413 (java) S 32288 32293 32236 0 -1 1077944384 5 13042 0 0 0 0 4 4 20 0 15 0 443270379 11111522304 292831 33554432000 4194304 4196468 140722785749696 140044589327616 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32417] ppid=32288 vsize=10851096 memory=932 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32417/stat : 32417 (java) S 32288 32293 32236 0 -1 1077944384 3 13042 0 0 0 0 4 4 20 0 15 0 443270383 11111522304 292831 33554432000 4194304 4196468 140722785749696 140044349037008 140045801007003 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32418] ppid=32288 vsize=10851096 memory=1568 CPUtime=7.01 cores=1,3,5,7
/proc/32293/task/32418/stat : 32418 (java) S 32288 32293 32236 0 -1 1077944384 32447 13042 0 0 687 6 4 4 20 0 15 0 443270383 11111522304 292831 33554432000 4194304 4196468 140722785749696 140044870342896 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32419] ppid=32288 vsize=10851096 memory=1444 CPUtime=7.73 cores=1,3,5,7
/proc/32293/task/32419/stat : 32419 (java) S 32288 32293 32236 0 -1 1077944384 32359 13042 0 0 760 5 4 4 20 0 15 0 443270383 11111522304 292831 33554432000 4194304 4196468 140722785749696 140044869290352 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32420] ppid=32288 vsize=10851096 memory=880 CPUtime=4.5 cores=1,3,5,7
/proc/32293/task/32420/stat : 32420 (java) S 32288 32293 32236 0 -1 1077944384 33901 13042 0 0 435 7 4 4 20 0 15 0 443270383 11111522304 292831 33554432000 4194304 4196468 140722785749696 140044868237296 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32421] ppid=32288 vsize=10851096 memory=1976 CPUtime=0.08 cores=1,3,5,7
/proc/32293/task/32421/stat : 32421 (java) S 32288 32293 32236 0 -1 1077944384 3 13042 0 0 0 0 4 4 20 0 15 0 443270383 11111522304 292831 33554432000 4194304 4196468 140722785749696 140044315478368 140045800998613 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
[pid=32293/tid=32427] ppid=32288 vsize=10851096 memory=2496 CPUtime=1.52 cores=1,3,5,7
/proc/32293/task/32427/stat : 32427 (java) S 32288 32293 32236 0 -1 1077944384 1296 13042 0 0 66 78 4 4 20 0 15 0 443270387 11111522304 292831 33554432000 4194304 4196468 140722785749696 140044867185712 140045800999554 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37928960 140722785757935 140722785760453 140722785760453 140722785763279 0
Current children cumulated CPU time: 2520.09 s
Current children cumulated vsize: 10851096 KiB
Current children cumulated memory: 1171324 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2463.63 s]
# the end of solver process 32293 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2516.31 s, system=3.83764 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 2463.63
CPU time (s): 2520.15
CPU user time (s): 2516.31
CPU system time (s): 3.83764
CPU usage (%): 102.294
Max. virtual memory (cumulated for all children) (KiB): 10851096
Max. memory (cumulated for all children) (KiB): 1173956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.31
system time used= 3.83764
maximum resident set size= 1175596
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 263151
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 289942
involuntary context switches= 7072
# summary of solver processes directly reported to runsolver:
# pid: 32293
# total CPU time (s): 2520.15
# total CPU user time (s): 2516.31
# total CPU system time (s): 3.83764
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1033 second user time and 27.8188 second system time
The end