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 (6649 MiB free)
memory of node 1: 16384 MiB (12675 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298223-1532749974/watcher-4298223-1532749974 -o /tmp/evaluation-result-4298223-1532749974/solver-4298223-1532749974 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1532740019-20129 --watchdog 2580 java -jar HOME/dodo_solver.jar HOME/instance-4298223-1532749974.xml --timelimit 2520
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=21357, runsolver pid=21354
Current StackSize limit: 8192 KiB
[startup+0.100789 s]*
/proc/loadavg: 1.86 1.74 1.68 4/216 21372
/proc/meminfo: memFree=19771308/32770624 swapFree=67108796/67108860
[pid=21357] ppid=21354 vsize=10658972 memory=28488 CPUtime=0.13 cores=1,3,5,7
/proc/21357/stat : 21357 (java) S 21354 21357 25017 0 -1 1077944320 5020 0 0 0 12 1 0 0 20 0 15 0 92560588 10914787328 7122 33554432000 4194304 4196468 140723557434592 140723557417136 139795897925367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
/proc/21357/statm: 2664743 7122 2842 1 0 2627263 0
[pid=21357/tid=21359] ppid=21354 vsize=10658972 memory=8326441112148417179 CPUtime=0.09 cores=1,3,5,7
/proc/21357/task/21359/stat : 21359 (java) R 21354 21357 25017 0 -1 4202560 2850 0 0 0 9 0 0 0 20 0 15 0 92560588 10914787328 7122 33554432000 4194304 4196468 140723557434592 139795902151616 139795897937302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21360] ppid=21354 vsize=10658972 memory=-9181546050914066336 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21360/stat : 21360 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560589 10914787328 7122 33554432000 4194304 4196468 140723557434592 139795823999504 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21361] ppid=21354 vsize=10658972 memory=140340827186816 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21361/stat : 21361 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560589 10914787328 7122 33554432000 4194304 4196468 140723557434592 139795822946960 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21362] ppid=21354 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21362/stat : 21362 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560589 10914787328 7122 33554432000 4194304 4196468 140723557434592 139795821893904 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21363] ppid=21354 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21363/stat : 21363 (java) S 21354 21357 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92560589 10914787328 7122 33554432000 4194304 4196468 140723557434592 139795820841360 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21364] ppid=21354 vsize=10658972 memory=140340827186816 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21364/stat : 21364 (java) S 21354 21357 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92560590 10914787328 7122 33554432000 4194304 4196468 140723557434592 139795389938416 139795897936514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21365] ppid=21354 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21365/stat : 21365 (java) S 21354 21357 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92560591 10914787328 7122 33554432000 4194304 4196468 140723557434592 139795388884640 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21366] ppid=21354 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21366/stat : 21366 (java) S 21354 21357 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92560591 10914787328 7122 33554432000 4194304 4196468 140723557434592 139795387831536 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21367] ppid=21354 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21367/stat : 21367 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560593 10914787328 7122 33554432000 4194304 4196468 140723557434592 139795386780112 139795897943963 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21368] ppid=21354 vsize=10658972 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21368/stat : 21368 (java) R 21354 21357 25017 0 -1 1077944384 413 0 0 0 0 0 0 0 20 0 15 0 92560593 10914787328 7122 33554432000 4194304 4196468 140723557434592 139795385727216 139795897936514 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21369] ppid=21354 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21369/stat : 21369 (java) R 21354 21357 25017 0 -1 4202560 47 0 0 0 0 0 0 0 20 0 15 0 92560593 10914787328 7122 33554432000 4194304 4196468 140723557434592 139795384674672 139795890910409 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21370] ppid=21354 vsize=10658972 memory=140340827186816 CPUtime=0.02 cores=1,3,5,7
/proc/21357/task/21370/stat : 21370 (java) R 21354 21357 25017 0 -1 4202560 346 0 0 0 2 0 0 0 20 0 15 0 92560593 10914787328 7122 33554432000 4194304 4196468 140723557434592 139795383621616 139795897937302 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21371] ppid=21354 vsize=10658972 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21371/stat : 21371 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560593 10914787328 7122 33554432000 4194304 4196468 140723557434592 139795382569312 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21372] ppid=21354 vsize=10658972 memory=140340827186816 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21372/stat : 21372 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560594 10914787328 7122 33554432000 4194304 4196468 140723557434592 139795381517360 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 10658972 KiB
Current children cumulated memory: 28488 KiB
[startup+0.210517 s]*
/proc/loadavg: 1.86 1.74 1.68 4/216 21372
/proc/meminfo: memFree=19760268/32770624 swapFree=67108796/67108860
[pid=21357] ppid=21354 vsize=10661056 memory=40108 CPUtime=0.34 cores=1,3,5,7
/proc/21357/stat : 21357 (java) S 21354 21357 25017 0 -1 1077944320 7569 0 0 0 33 1 0 0 20 0 15 0 92560588 10916921344 10027 33554432000 4194304 4196468 140723557434592 140723557417136 139795897925367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
/proc/21357/statm: 2665264 10027 2962 1 0 2627263 0
[pid=21357/tid=21359] ppid=21354 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=1,3,5,7
/proc/21357/task/21359/stat : 21359 (java) R 21354 21357 25017 0 -1 4202560 4651 0 0 0 19 1 0 0 20 0 15 0 92560588 10916921344 10027 33554432000 4194304 4196468 140723557434592 139795902163776 139795897937302 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21360] ppid=21354 vsize=10661056 memory=345 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21360/stat : 21360 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560589 10916921344 10027 33554432000 4194304 4196468 140723557434592 139795823999504 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21361] ppid=21354 vsize=10661056 memory=140340827761700 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21361/stat : 21361 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560589 10916921344 10027 33554432000 4194304 4196468 140723557434592 139795822946960 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21362] ppid=21354 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21362/stat : 21362 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560589 10916921344 10027 33554432000 4194304 4196468 140723557434592 139795821893904 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21363] ppid=21354 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21363/stat : 21363 (java) S 21354 21357 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92560589 10916921344 10027 33554432000 4194304 4196468 140723557434592 139795820841360 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21364] ppid=21354 vsize=10661056 memory=140340827186816 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21364/stat : 21364 (java) S 21354 21357 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92560590 10916921344 10027 33554432000 4194304 4196468 140723557434592 139795389938416 139795897936514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21365] ppid=21354 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21365/stat : 21365 (java) S 21354 21357 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92560591 10916921344 10027 33554432000 4194304 4196468 140723557434592 139795388884640 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21366] ppid=21354 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21366/stat : 21366 (java) S 21354 21357 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92560591 10916921344 10027 33554432000 4194304 4196468 140723557434592 139795387831536 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21367] ppid=21354 vsize=10661056 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21367/stat : 21367 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560593 10916921344 10027 33554432000 4194304 4196468 140723557434592 139795386780112 139795897943963 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21368] ppid=21354 vsize=10661056 memory=0 CPUtime=0.03 cores=1,3,5,7
/proc/21357/task/21368/stat : 21368 (java) R 21354 21357 25017 0 -1 4202560 656 0 0 0 3 0 0 0 20 0 15 0 92560593 10916921344 10027 33554432000 4194304 4196468 140723557434592 139795385717136 139795883606806 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21369] ppid=21354 vsize=10661056 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/21357/task/21369/stat : 21369 (java) R 21354 21357 25017 0 -1 4202560 80 0 0 0 1 0 0 0 20 0 15 0 92560593 10916921344 10027 33554432000 4194304 4196468 140723557434592 139795384674672 139795890910409 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21370] ppid=21354 vsize=10661056 memory=140340827186816 CPUtime=0.09 cores=1,3,5,7
/proc/21357/task/21370/stat : 21370 (java) R 21354 21357 25017 0 -1 4202560 821 0 0 0 9 0 0 0 20 0 15 0 92560593 10916921344 10027 33554432000 4194304 4196468 140723557434592 139795383617984 139795897937302 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21371] ppid=21354 vsize=10661056 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21371/stat : 21371 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560593 10916921344 10027 33554432000 4194304 4196468 140723557434592 139795382569312 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21372] ppid=21354 vsize=10661056 memory=140340827186816 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21372/stat : 21372 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560594 10916921344 10027 33554432000 4194304 4196468 140723557434592 139795381517360 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40108 KiB
[startup+0.31544 s]*
/proc/loadavg: 1.86 1.74 1.68 6/216 21372
/proc/meminfo: memFree=19747492/32770624 swapFree=67108796/67108860
[pid=21357] ppid=21354 vsize=10661132 memory=53276 CPUtime=0.71 cores=1,3,5,7
/proc/21357/stat : 21357 (java) S 21354 21357 25017 0 -1 1077944320 9859 0 0 0 69 2 0 0 20 0 15 0 92560588 10916999168 13319 33554432000 4194304 4196468 140723557434592 140723557417136 139795897925367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
/proc/21357/statm: 2665283 13319 3070 1 0 2627263 0
[pid=21357/tid=21359] ppid=21354 vsize=10661132 memory=53476 CPUtime=0.29 cores=1,3,5,7
/proc/21357/task/21359/stat : 21359 (java) R 21354 21357 25017 0 -1 4202560 4939 0 0 0 28 1 0 0 20 0 15 0 92560588 10916999168 13319 33554432000 4194304 4196468 140723557434592 139795902160400 139795881968997 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21360] ppid=21354 vsize=10661132 memory=35 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21360/stat : 21360 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560589 10916999168 13319 33554432000 4194304 4196468 140723557434592 139795823999504 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21361] ppid=21354 vsize=10661132 memory=140340827244832 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21361/stat : 21361 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560589 10916999168 13319 33554432000 4194304 4196468 140723557434592 139795822946960 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21362] ppid=21354 vsize=10661132 memory=60388 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21362/stat : 21362 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560589 10916999168 13319 33554432000 4194304 4196468 140723557434592 139795821893904 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21363] ppid=21354 vsize=10661132 memory=35 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21363/stat : 21363 (java) S 21354 21357 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92560589 10916999168 13319 33554432000 4194304 4196468 140723557434592 139795820841360 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21364] ppid=21354 vsize=10661132 memory=140340827251744 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21364/stat : 21364 (java) S 21354 21357 25017 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92560590 10916999168 13319 33554432000 4194304 4196468 140723557434592 139795389938416 139795897936514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21365] ppid=21354 vsize=10661132 memory=35 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21365/stat : 21365 (java) S 21354 21357 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92560591 10916999168 13319 33554432000 4194304 4196468 140723557434592 139795388884640 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21366] ppid=21354 vsize=10661132 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21366/stat : 21366 (java) S 21354 21357 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92560591 10916999168 13319 33554432000 4194304 4196468 140723557434592 139795387831536 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21367] ppid=21354 vsize=10661132 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21367/stat : 21367 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560593 10916999168 13319 33554432000 4194304 4196468 140723557434592 139795386780112 139795897943963 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21368] ppid=21354 vsize=10661132 memory=0 CPUtime=0.13 cores=1,3,5,7
/proc/21357/task/21368/stat : 21368 (java) R 21354 21357 25017 0 -1 1077944384 1136 0 0 0 13 0 0 0 20 0 15 0 92560593 10916999168 13319 33554432000 4194304 4196468 140723557434592 139795385720240 139795897935573 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21369] ppid=21354 vsize=10661132 memory=140340673765327 CPUtime=0.11 cores=1,3,5,7
/proc/21357/task/21369/stat : 21369 (java) R 21354 21357 25017 0 -1 4202560 942 0 0 0 11 0 0 0 20 0 15 0 92560593 10916999168 13319 33554432000 4194304 4196468 140723557434592 139795384666000 139795882854765 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21370] ppid=21354 vsize=10661132 memory=140340827208078 CPUtime=0.15 cores=1,3,5,7
/proc/21357/task/21370/stat : 21370 (java) R 21354 21357 25017 0 -1 4202560 1482 0 0 0 15 0 0 0 20 0 15 0 92560593 10916999168 13319 33554432000 4194304 4196468 140723557434592 139795383619152 139795877747965 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21371] ppid=21354 vsize=10661132 memory=140340673765327 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21371/stat : 21371 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560593 10916999168 13319 33554432000 4194304 4196468 140723557434592 139795382569312 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21372] ppid=21354 vsize=10661132 memory=280681500968896 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21372/stat : 21372 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560594 10916999168 13319 33554432000 4194304 4196468 140723557434592 139795381517360 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
Current children cumulated CPU time: 0.71 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 53276 KiB
[startup+0.706296 s]
/proc/loadavg: 1.86 1.74 1.68 5/216 21372
/proc/meminfo: memFree=19719072/32770624 swapFree=67108796/67108860
[pid=21357] ppid=21354 vsize=10661132 memory=137464 CPUtime=1.96 cores=1,3,5,7
/proc/21357/stat : 21357 (java) S 21354 21357 25017 0 -1 1077944320 10971 0 0 0 192 4 0 0 20 0 15 0 92560588 10916999168 34366 33554432000 4194304 4196468 140723557434592 140723557417136 139795897925367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
/proc/21357/statm: 2665283 34366 3106 1 0 2627263 0
[pid=21357/tid=21359] ppid=21354 vsize=10661132 memory=2372 CPUtime=0.68 cores=1,3,5,7
/proc/21357/task/21359/stat : 21359 (java) R 21354 21357 25017 0 -1 4202560 5144 0 0 0 65 3 0 0 20 0 15 0 92560588 10916999168 34366 33554432000 4194304 4196468 140723557434592 139795902162976 139795502124531 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21360] ppid=21354 vsize=10661132 memory=6872598998417432672 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21360/stat : 21360 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560589 10916999168 34366 33554432000 4194304 4196468 140723557434592 139795823999504 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21361] ppid=21354 vsize=10661132 memory=7024 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21361/stat : 21361 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560589 10916999168 34366 33554432000 4194304 4196468 140723557434592 139795822946960 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21362] ppid=21354 vsize=10661132 memory=15044 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21362/stat : 21362 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560589 10916999168 34366 33554432000 4194304 4196468 140723557434592 139795821893904 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21363] ppid=21354 vsize=10661132 memory=20188 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21363/stat : 21363 (java) S 21354 21357 25017 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92560589 10916999168 34366 33554432000 4194304 4196468 140723557434592 139795820841360 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21364] ppid=21354 vsize=10661132 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21364/stat : 21364 (java) S 21354 21357 25017 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92560590 10916999168 34366 33554432000 4194304 4196468 140723557434592 139795389938416 139795897936514 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21365] ppid=21354 vsize=10661132 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21365/stat : 21365 (java) S 21354 21357 25017 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92560591 10916999168 34366 33554432000 4194304 4196468 140723557434592 139795388884640 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21366] ppid=21354 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21366/stat : 21366 (java) S 21354 21357 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92560591 10916999168 34366 33554432000 4194304 4196468 140723557434592 139795387831536 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21367] ppid=21354 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21367/stat : 21367 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560593 10916999168 34366 33554432000 4194304 4196468 140723557434592 139795386780112 139795897943963 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21368] ppid=21354 vsize=10661132 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/21357/task/21368/stat : 21368 (java) R 21354 21357 25017 0 -1 4202560 1555 0 0 0 46 0 0 0 20 0 15 0 92560593 10916999168 34366 33554432000 4194304 4196468 140723557434592 139795385708816 139795881425699 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21369] ppid=21354 vsize=10661132 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/21357/task/21369/stat : 21369 (java) R 21354 21357 25017 0 -1 4202560 1061 0 0 0 46 0 0 0 20 0 15 0 92560593 10916999168 34366 33554432000 4194304 4196468 140723557434592 139795384673856 139795877580592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21370] ppid=21354 vsize=10661132 memory=0 CPUtime=0.33 cores=1,3,5,7
/proc/21357/task/21370/stat : 21370 (java) S 21354 21357 25017 0 -1 1077944384 1842 0 0 0 33 0 0 0 20 0 15 0 92560593 10916999168 34366 33554432000 4194304 4196468 140723557434592 139795383621616 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21371] ppid=21354 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21371/stat : 21371 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560593 10916999168 34366 33554432000 4194304 4196468 140723557434592 139795382569312 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21372] ppid=21354 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21372/stat : 21372 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560594 10916999168 34366 33554432000 4194304 4196468 140723557434592 139795381517360 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
Current children cumulated CPU time: 1.96 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 137464 KiB
[startup+1.50534 s]
/proc/loadavg: 1.86 1.74 1.68 6/216 21372
/proc/meminfo: memFree=19588268/32770624 swapFree=67108796/67108860
[pid=21357] ppid=21354 vsize=10661132 memory=362188 CPUtime=4.21 cores=1,3,5,7
/proc/21357/stat : 21357 (java) S 21354 21357 25017 0 -1 1077944320 12769 0 0 0 391 30 0 0 20 0 15 0 92560588 10916999168 90547 33554432000 4194304 4196468 140723557434592 140723557417136 139795897925367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
/proc/21357/statm: 2665283 90547 3162 1 0 2627263 0
[pid=21357/tid=21359] ppid=21354 vsize=10661132 memory=4050201938391160168 CPUtime=1.25 cores=1,3,5,7
/proc/21357/task/21359/stat : 21359 (java) R 21354 21357 25017 0 -1 4202560 5276 0 0 0 122 3 0 0 20 0 15 0 92560588 10916999168 90547 33554432000 4194304 4196468 140723557434592 139795902160112 139795503058268 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21360] ppid=21354 vsize=10661132 memory=164304 CPUtime=0.2 cores=1,3,5,7
/proc/21357/task/21360/stat : 21360 (java) S 21354 21357 25017 0 -1 1077944384 163 0 0 0 15 5 0 0 20 0 15 0 92560589 10916999168 90547 33554432000 4194304 4196468 140723557434592 139795823999504 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21361] ppid=21354 vsize=10661132 memory=2241 CPUtime=0.19 cores=1,3,5,7
/proc/21357/task/21361/stat : 21361 (java) S 21354 21357 25017 0 -1 1077944384 146 0 0 0 13 6 0 0 20 0 15 0 92560589 10916999168 90547 33554432000 4194304 4196468 140723557434592 139795822946960 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21362] ppid=21354 vsize=10661132 memory=7024 CPUtime=0.21 cores=1,3,5,7
/proc/21357/task/21362/stat : 21362 (java) S 21354 21357 25017 0 -1 1077944384 162 0 0 0 15 6 0 0 20 0 15 0 92560589 10916999168 90547 33554432000 4194304 4196468 140723557434592 139795821893904 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21363] ppid=21354 vsize=10661132 memory=15044 CPUtime=0.2 cores=1,3,5,7
/proc/21357/task/21363/stat : 21363 (java) S 21354 21357 25017 0 -1 1077944384 174 0 0 0 15 5 0 0 20 0 15 0 92560589 10916999168 90547 33554432000 4194304 4196468 140723557434592 139795820841360 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21364] ppid=21354 vsize=10661132 memory=20188 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21364/stat : 21364 (java) S 21354 21357 25017 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 92560590 10916999168 90547 33554432000 4194304 4196468 140723557434592 139795389938416 139795897936514 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21365] ppid=21354 vsize=10661132 memory=2241 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21365/stat : 21365 (java) S 21354 21357 25017 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92560591 10916999168 90547 33554432000 4194304 4196468 140723557434592 139795388884640 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21366] ppid=21354 vsize=10661132 memory=2244 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21366/stat : 21366 (java) S 21354 21357 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92560591 10916999168 90547 33554432000 4194304 4196468 140723557434592 139795387831536 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21367] ppid=21354 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21367/stat : 21367 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560593 10916999168 90547 33554432000 4194304 4196468 140723557434592 139795386780112 139795897943963 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21368] ppid=21354 vsize=10661132 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/21357/task/21368/stat : 21368 (java) R 21354 21357 25017 0 -1 4202560 2064 0 0 0 81 0 0 0 20 0 15 0 92560593 10916999168 90547 33554432000 4194304 4196468 140723557434592 139795385727512 139795881916506 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21369] ppid=21354 vsize=10661132 memory=0 CPUtime=0.86 cores=1,3,5,7
/proc/21357/task/21369/stat : 21369 (java) R 21354 21357 25017 0 -1 4202560 1225 0 0 0 86 0 0 0 20 0 15 0 92560593 10916999168 90547 33554432000 4194304 4196468 140723557434592 139795384674672 139795878096017 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21370] ppid=21354 vsize=10661132 memory=0 CPUtime=0.41 cores=1,3,5,7
/proc/21357/task/21370/stat : 21370 (java) S 21354 21357 25017 0 -1 1077944384 2116 0 0 0 41 0 0 0 20 0 15 0 92560593 10916999168 90547 33554432000 4194304 4196468 140723557434592 139795383621616 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21371] ppid=21354 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21371/stat : 21371 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560593 10916999168 90547 33554432000 4194304 4196468 140723557434592 139795382569312 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21372] ppid=21354 vsize=10661132 memory=371059 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21372/stat : 21372 (java) S 21354 21357 25017 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92560594 10916999168 90547 33554432000 4194304 4196468 140723557434592 139795381517360 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
Current children cumulated CPU time: 4.21 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 362188 KiB
[startup+3.11038 s]
/proc/loadavg: 1.86 1.74 1.68 6/216 21372
/proc/meminfo: memFree=19040904/32770624 swapFree=67108796/67108860
[pid=21357] ppid=21354 vsize=10661132 memory=760388 CPUtime=9.52 cores=1,3,5,7
/proc/21357/stat : 21357 (java) S 21354 21357 25017 0 -1 1077944320 34655 0 0 0 889 63 0 0 20 0 15 0 92560588 10916999168 190097 33554432000 4194304 4196468 140723557434592 140723557417136 139795897925367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
/proc/21357/statm: 2665283 190097 3179 1 0 2627263 0
[pid=21357/tid=21359] ppid=21354 vsize=10661132 memory=56 CPUtime=1.74 cores=1,3,5,7
/proc/21357/task/21359/stat : 21359 (java) R 21354 21357 25017 0 -1 4202560 5351 0 0 0 170 4 0 0 20 0 15 0 92560588 10916999168 190097 33554432000 4194304 4196468 140723557434592 139795902163280 139795503215205 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21360] ppid=21354 vsize=10661132 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/21357/task/21360/stat : 21360 (java) S 21354 21357 25017 0 -1 1077944384 5206 0 0 0 115 14 0 0 20 0 15 0 92560589 10916999168 190097 33554432000 4194304 4196468 140723557434592 139795823999504 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21361] ppid=21354 vsize=10661132 memory=280681347485536 CPUtime=1.27 cores=1,3,5,7
/proc/21357/task/21361/stat : 21361 (java) S 21354 21357 25017 0 -1 1077944384 5573 0 0 0 113 14 0 0 20 0 15 0 92560589 10916999168 190097 33554432000 4194304 4196468 140723557434592 139795822946960 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21362] ppid=21354 vsize=10661132 memory=3977153291650977637 CPUtime=1.3 cores=1,3,5,7
/proc/21357/task/21362/stat : 21362 (java) S 21354 21357 25017 0 -1 1077944384 5331 0 0 0 116 14 0 0 20 0 15 0 92560589 10916999168 190097 33554432000 4194304 4196468 140723557434592 139795821893904 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21363] ppid=21354 vsize=10661132 memory=140340673747024 CPUtime=1.3 cores=1,3,5,7
/proc/21357/task/21363/stat : 21363 (java) S 21354 21357 25017 0 -1 1077944384 5038 0 0 0 116 14 0 0 20 0 15 0 92560589 10916999168 190097 33554432000 4194304 4196468 140723557434592 139795820841360 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21364] ppid=21354 vsize=10661132 memory=2110691280853508 CPUtime=0.02 cores=1,3,5,7
/proc/21357/task/21364/stat : 21364 (java) S 21354 21357 25017 0 -1 1077944384 709 0 0 0 2 0 0 0 20 0 15 0 92560590 10916999168 190097 33554432000 4194304 4196468 140723557434592 139795389938416 139795897936514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21365] ppid=21354 vsize=10661132 memory=11009559757 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21365/stat : 21365 (java) S 21354 21357 25017 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92560591 10916999168 190097 33554432000 4194304 4196468 140723557434592 139795388884640 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21366] ppid=21354 vsize=10661132 memory=11009559757 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21366/stat : 21366 (java) S 21354 21357 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92560591 10916999168 190097 33554432000 4194304 4196468 140723557434592 139795387831536 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21367] ppid=21354 vsize=10661132 memory=88206288 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21367/stat : 21367 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560593 10916999168 190097 33554432000 4194304 4196468 140723557434592 139795386780112 139795897943963 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21368] ppid=21354 vsize=10661132 memory=0 CPUtime=1.06 cores=1,3,5,7
/proc/21357/task/21368/stat : 21368 (java) R 21354 21357 25017 0 -1 4202560 2145 0 0 0 106 0 0 0 20 0 15 0 92560593 10916999168 190097 33554432000 4194304 4196468 140723557434592 139795385727216 139795879470046 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21369] ppid=21354 vsize=10661132 memory=55 CPUtime=1.05 cores=1,3,5,7
/proc/21357/task/21369/stat : 21369 (java) S 21354 21357 25017 0 -1 1077944384 1821 0 0 0 105 0 0 0 20 0 15 0 92560593 10916999168 190097 33554432000 4194304 4196468 140723557434592 139795384674672 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21370] ppid=21354 vsize=10661132 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/21357/task/21370/stat : 21370 (java) S 21354 21357 25017 0 -1 1077944384 2120 0 0 0 42 0 0 0 20 0 15 0 92560593 10916999168 190097 33554432000 4194304 4196468 140723557434592 139795383621616 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21371] ppid=21354 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21371/stat : 21371 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560593 10916999168 190097 33554432000 4194304 4196468 140723557434592 139795382569312 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21372] ppid=21354 vsize=10661132 memory=0 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21372/stat : 21372 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560594 10916999168 190097 33554432000 4194304 4196468 140723557434592 139795381517360 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
Current children cumulated CPU time: 9.52 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 760388 KiB
[startup+3.33754 s]
# the end of solver process 21357 was just reported to runsolver
# cumulated CPU time of all completed processes: user=9.12 s, system=0.649563 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20089 s]
/proc/loadavg: 1.86 1.74 1.68 6/216 21372
/proc/meminfo: memFree=19040904/32770624 swapFree=67108796/67108860
[pid=21357] ppid=21354 vsize=10661132 memory=760440 CPUtime=9.62 cores=1,3,5,7
/proc/21357/stat : 21357 (java) S 21354 21357 25017 0 -1 1077944320 34687 0 0 0 899 63 0 0 20 0 15 0 92560588 10916999168 190110 33554432000 4194304 4196468 140723557434592 140723557417136 139795897925367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
/proc/21357/statm: 2665283 190110 3186 1 0 2627263 0
[pid=21357/tid=21359] ppid=21354 vsize=10661132 memory=0 CPUtime=1.83 cores=1,3,5,7
/proc/21357/task/21359/stat : 21359 (java) R 21354 21357 25017 0 -1 4202560 5371 0 0 0 179 4 0 0 20 0 15 0 92560588 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795902163280 139795503212927 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21360] ppid=21354 vsize=10661132 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/21357/task/21360/stat : 21360 (java) S 21354 21357 25017 0 -1 1077944384 5206 0 0 0 115 14 0 0 20 0 15 0 92560589 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795823999504 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21361] ppid=21354 vsize=10661132 memory=0 CPUtime=1.27 cores=1,3,5,7
/proc/21357/task/21361/stat : 21361 (java) S 21354 21357 25017 0 -1 1077944384 5573 0 0 0 113 14 0 0 20 0 15 0 92560589 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795822946960 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21362] ppid=21354 vsize=10661132 memory=22244 CPUtime=1.3 cores=1,3,5,7
/proc/21357/task/21362/stat : 21362 (java) S 21354 21357 25017 0 -1 1077944384 5331 0 0 0 116 14 0 0 20 0 15 0 92560589 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795821893904 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21363] ppid=21354 vsize=10661132 memory=-7173504570862900581 CPUtime=1.3 cores=1,3,5,7
/proc/21357/task/21363/stat : 21363 (java) S 21354 21357 25017 0 -1 1077944384 5038 0 0 0 116 14 0 0 20 0 15 0 92560589 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795820841360 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21364] ppid=21354 vsize=10661132 memory=-6951259422114956437 CPUtime=0.02 cores=1,3,5,7
/proc/21357/task/21364/stat : 21364 (java) S 21354 21357 25017 0 -1 1077944384 709 0 0 0 2 0 0 0 20 0 15 0 92560590 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795389938416 139795897936514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21365] ppid=21354 vsize=10661132 memory=5012 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21365/stat : 21365 (java) S 21354 21357 25017 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92560591 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795388884640 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21366] ppid=21354 vsize=10661132 memory=4032 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21366/stat : 21366 (java) S 21354 21357 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92560591 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795387831536 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21367] ppid=21354 vsize=10661132 memory=1284 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21367/stat : 21367 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560593 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795386780112 139795897943963 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21368] ppid=21354 vsize=10661132 memory=1088 CPUtime=1.07 cores=1,3,5,7
/proc/21357/task/21368/stat : 21368 (java) S 21354 21357 25017 0 -1 1077944384 2150 0 0 0 107 0 0 0 20 0 15 0 92560593 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795385727216 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21369] ppid=21354 vsize=10661132 memory=1800 CPUtime=1.05 cores=1,3,5,7
/proc/21357/task/21369/stat : 21369 (java) S 21354 21357 25017 0 -1 1077944384 1827 0 0 0 105 0 0 0 20 0 15 0 92560593 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795384674672 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21370] ppid=21354 vsize=10661132 memory=7024 CPUtime=0.42 cores=1,3,5,7
/proc/21357/task/21370/stat : 21370 (java) S 21354 21357 25017 0 -1 1077944384 2120 0 0 0 42 0 0 0 20 0 15 0 92560593 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795383621616 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21371] ppid=21354 vsize=10661132 memory=15044 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21371/stat : 21371 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560593 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795382569312 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21372] ppid=21354 vsize=10661132 memory=20188 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21372/stat : 21372 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560594 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795381517360 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
Current children cumulated CPU time: 9.62 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 760440 KiB
[startup+3.30068 s]
/proc/loadavg: 1.86 1.74 1.68 6/216 21372
/proc/meminfo: memFree=19040904/32770624 swapFree=67108796/67108860
[pid=21357] ppid=21354 vsize=10661132 memory=760440 CPUtime=9.72 cores=1,3,5,7
/proc/21357/stat : 21357 (java) S 21354 21357 25017 0 -1 1077944320 34703 0 0 0 909 63 0 0 20 0 15 0 92560588 10916999168 190110 33554432000 4194304 4196468 140723557434592 140723557417136 139795897925367 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
/proc/21357/statm: 2665283 190110 3186 1 0 2627263 0
[pid=21357/tid=21359] ppid=21354 vsize=10661132 memory=56 CPUtime=1.93 cores=1,3,5,7
/proc/21357/task/21359/stat : 21359 (java) R 21354 21357 25017 0 -1 4202560 5387 0 0 0 189 4 0 0 20 0 15 0 92560588 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795902163280 139795502216918 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21360] ppid=21354 vsize=10661132 memory=0 CPUtime=1.29 cores=1,3,5,7
/proc/21357/task/21360/stat : 21360 (java) S 21354 21357 25017 0 -1 1077944384 5206 0 0 0 115 14 0 0 20 0 15 0 92560589 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795823999504 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21361] ppid=21354 vsize=10661132 memory=2110691280853508 CPUtime=1.27 cores=1,3,5,7
/proc/21357/task/21361/stat : 21361 (java) S 21354 21357 25017 0 -1 1077944384 5573 0 0 0 113 14 0 0 20 0 15 0 92560589 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795822946960 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21362] ppid=21354 vsize=10661132 memory=11009559757 CPUtime=1.3 cores=1,3,5,7
/proc/21357/task/21362/stat : 21362 (java) S 21354 21357 25017 0 -1 1077944384 5331 0 0 0 116 14 0 0 20 0 15 0 92560589 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795821893904 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21363] ppid=21354 vsize=10661132 memory=11009559757 CPUtime=1.3 cores=1,3,5,7
/proc/21357/task/21363/stat : 21363 (java) S 21354 21357 25017 0 -1 1077944384 5038 0 0 0 116 14 0 0 20 0 15 0 92560589 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795820841360 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21364] ppid=21354 vsize=10661132 memory=0 CPUtime=0.02 cores=1,3,5,7
/proc/21357/task/21364/stat : 21364 (java) S 21354 21357 25017 0 -1 1077944384 709 0 0 0 2 0 0 0 20 0 15 0 92560590 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795389938416 139795897936514 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21365] ppid=21354 vsize=10661132 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21365/stat : 21365 (java) S 21354 21357 25017 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92560591 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795388884640 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21366] ppid=21354 vsize=10661132 memory=4137282616176384387 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21366/stat : 21366 (java) S 21354 21357 25017 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92560591 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795387831536 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21367] ppid=21354 vsize=10661132 memory=6791534058613427641 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21367/stat : 21367 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560593 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795386780112 139795897943963 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21368] ppid=21354 vsize=10661132 memory=2244 CPUtime=1.07 cores=1,3,5,7
/proc/21357/task/21368/stat : 21368 (java) S 21354 21357 25017 0 -1 1077944384 2150 0 0 0 107 0 0 0 20 0 15 0 92560593 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795385727216 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21369] ppid=21354 vsize=10661132 memory=6944652177228980320 CPUtime=1.05 cores=1,3,5,7
/proc/21357/task/21369/stat : 21369 (java) S 21354 21357 25017 0 -1 1077944384 1827 0 0 0 105 0 0 0 20 0 15 0 92560593 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795384674672 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21370] ppid=21354 vsize=10661132 memory=6655300316396806240 CPUtime=0.42 cores=1,3,5,7
/proc/21357/task/21370/stat : 21370 (java) S 21354 21357 25017 0 -1 1077944384 2120 0 0 0 42 0 0 0 20 0 15 0 92560593 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795383621616 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21371] ppid=21354 vsize=10661132 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21371/stat : 21371 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560593 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795382569312 139795897935573 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
[pid=21357/tid=21372] ppid=21354 vsize=10661132 memory=88206288 CPUtime=0 cores=1,3,5,7
/proc/21357/task/21372/stat : 21372 (java) S 21354 21357 25017 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92560594 10916999168 190110 33554432000 4194304 4196468 140723557434592 139795381517360 139795897936514 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 35684352 140723557442680 140723557442825 140723557442825 140723557445583 0
Current children cumulated CPU time: 9.72 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 760440 KiB
Child status: 0
Real time (s): 3.33758
CPU time (s): 9.76956
CPU user time (s): 9.12
CPU system time (s): 0.649563
CPU usage (%): 292.714
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 760440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.12
system time used= 0.649563
maximum resident set size= 760992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 34765
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1658
involuntary context switches= 70
# summary of solver processes directly reported to runsolver:
# pid: 21357
# total CPU time (s): 9.76956
# total CPU user time (s): 9.12
# total CPU system time (s): 0.649563
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.049422 second user time and 0.07011 second system time
The end