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 (2046 MiB free)
memory of node 1: 16384 MiB (13312 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295103-1532519911/watcher-4295103-1532519911 -o /tmp/evaluation-result-4295103-1532519911/solver-4295103-1532519911 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1532498695-4224 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=1490076278 -superng HOME/instance-4295103-1532519911.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=8057, runsolver pid=8054
Current StackSize limit: 8192 KiB
[startup+0.10006 s]*
/proc/loadavg: 2.29 2.07 2.03 3/209 8114
/proc/meminfo: memFree=15721636/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=9972712 memory=16808 CPUtime=0.08 cores=1,3,5,7
/proc/8057/stat : 8057 (java) S 8054 8057 4192 0 -1 1077944320 4349 12885 0 0 1 0 5 2 20 0 6 0 69554234 10212057088 4202 33554432000 4194304 4196468 140731152110528 140731152093072 140177686867703 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
/proc/8057/statm: 2493178 4202 1934 1 0 2481616 0
[pid=8057/tid=8110] ppid=8054 vsize=9972712 memory=4355714562812519319 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 4192 0 -1 4202560 2179 12885 0 0 0 0 5 2 20 0 6 0 69554243 10212057088 4714 33554432000 4194304 4196468 140731152110528 140177658704464 140177672550195 0 4 0 16784584 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8111] ppid=8054 vsize=9972712 memory=5793855875841776057 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 6 0 69554243 10212057088 4714 33554432000 4194304 4196468 140731152110528 140177691110416 140177686877909 0 4 0 16784584 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8112] ppid=8054 vsize=9972712 memory=140624831882880 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 6 0 69554243 10212057088 4714 33554432000 4194304 4196468 140731152110528 140177605930128 140177686877909 0 4 0 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8113] ppid=8054 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 6 0 69554243 10212057088 4714 33554432000 4194304 4196468 140731152110528 140177604877072 140177686877909 0 4 0 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8114] ppid=8054 vsize=9972712 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 4192 0 -1 1077944384 2 12885 0 0 0 0 5 2 20 0 6 0 69554243 10212057088 4714 33554432000 4194304 4196468 140731152110528 140177603824528 140177686877909 0 4 0 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 9972712 KiB
Current children cumulated memory: 16808 KiB
[startup+0.209969 s]*
/proc/loadavg: 2.29 2.07 2.03 3/218 8123
/proc/meminfo: memFree=15699780/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=10821524 memory=44992 CPUtime=0.25 cores=1,3,5,7
/proc/8057/stat : 8057 (java) S 8054 8057 4192 0 -1 1077944320 8513 12885 0 0 16 2 5 2 20 0 15 0 69554234 11081240576 11248 33554432000 4194304 4196468 140731152110528 140731152093072 140177686867703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
/proc/8057/statm: 2705381 11248 2943 1 0 2667804 0
[pid=8057/tid=8110] ppid=8054 vsize=10818936 memory=-2899909650764262549 CPUtime=0.18 cores=1,3,5,7
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 4192 0 -1 4202560 5462 12885 0 0 10 1 5 2 20 0 15 0 69554243 11078590464 10902 33554432000 4194304 4196468 140731152110528 140177658692512 140177679547421 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8111] ppid=8054 vsize=10818936 memory=4211974351036673418 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 15 0 69554243 11078590464 10902 33554432000 4194304 4196468 140731152110528 140177691110416 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8112] ppid=8054 vsize=10818936 memory=140624831882880 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 15 0 69554243 11078590464 10902 33554432000 4194304 4196468 140731152110528 140177605930128 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8113] ppid=8054 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 15 0 69554243 11078590464 10968 33554432000 4194304 4196468 140731152110528 140177604877072 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8114] ppid=8054 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 4192 0 -1 1077944384 2 12885 0 0 0 0 5 2 20 0 15 0 69554243 11078590464 10968 33554432000 4194304 4196468 140731152110528 140177603824528 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8115] ppid=8054 vsize=10818936 memory=140624831882880 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8115/stat : 8115 (java) S 8054 8057 4192 0 -1 1077944384 2 12885 0 0 0 0 5 2 20 0 15 0 69554245 11078590464 10968 33554432000 4194304 4196468 140731152110528 140177213544688 140177686878850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8116] ppid=8054 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8116/stat : 8116 (java) S 8054 8057 4192 0 -1 1077944384 13 12885 0 0 0 0 5 2 20 0 15 0 69554245 11078590464 11034 33554432000 4194304 4196468 140731152110528 140177129333920 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8117] ppid=8054 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8117/stat : 8117 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 15 0 69554246 11078590464 11034 33554432000 4194304 4196468 140731152110528 140176525353712 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8118] ppid=8054 vsize=10818936 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8118/stat : 8118 (java) S 8054 8057 4192 0 -1 1077944384 3 12885 0 0 0 0 5 2 20 0 15 0 69554248 11078590464 11034 33554432000 4194304 4196468 140731152110528 140176217954256 140177686886299 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8119] ppid=8054 vsize=10818936 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8057/task/8119/stat : 8119 (java) S 8054 8057 4192 0 -1 1077944384 509 12885 0 0 1 0 5 2 20 0 15 0 69554248 11078590464 11100 33554432000 4194304 4196468 140731152110528 140177212492528 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8120] ppid=8054 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8120/stat : 8120 (java) S 8054 8057 4192 0 -1 1077944384 54 12885 0 0 0 0 5 2 20 0 15 0 69554248 11078590464 11100 33554432000 4194304 4196468 140731152110528 140177211439984 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8121] ppid=8054 vsize=10818936 memory=140624831882880 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8121/stat : 8121 (java) S 8054 8057 4192 0 -1 1077944384 560 12885 0 0 3 0 5 2 20 0 15 0 69554248 11078590464 11100 33554432000 4194304 4196468 140731152110528 140177210386928 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8122] ppid=8054 vsize=10818936 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8122/stat : 8122 (java) S 8054 8057 4192 0 -1 1077944384 3 12885 0 0 0 0 5 2 20 0 15 0 69554248 11078590464 11166 33554432000 4194304 4196468 140731152110528 140176184396640 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8123] ppid=8054 vsize=10818936 memory=140624831882880 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8123/stat : 8123 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 15 0 69554249 11078590464 11166 33554432000 4194304 4196468 140731152110528 140177209334320 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 10821524 KiB
Current children cumulated memory: 44992 KiB
[startup+0.310321 s]*
/proc/loadavg: 2.29 2.07 2.03 3/218 8123
/proc/meminfo: memFree=15687268/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=10819352 memory=53280 CPUtime=0.37 cores=1,3,5,7
/proc/8057/stat : 8057 (java) S 8054 8057 4192 0 -1 1077944320 10427 12885 0 0 28 2 5 2 20 0 15 0 69554234 11079016448 13320 33554432000 4194304 4196468 140731152110528 140731152093072 140177686867703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
/proc/8057/statm: 2704838 13320 3062 1 0 2667149 0
[pid=8057/tid=8110] ppid=8054 vsize=10819352 memory=8112282956445269571 CPUtime=0.28 cores=1,3,5,7
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 4192 0 -1 4202560 7093 12885 0 0 19 2 5 2 20 0 15 0 69554243 11079016448 13320 33554432000 4194304 4196468 140731152110528 140177658679712 140177609910789 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8111] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 15 0 69554243 11079016448 13320 33554432000 4194304 4196468 140731152110528 140177691110416 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8112] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 15 0 69554243 11079016448 13320 33554432000 4194304 4196468 140731152110528 140177605930128 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8113] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 15 0 69554243 11079016448 13320 33554432000 4194304 4196468 140731152110528 140177604877072 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8114] ppid=8054 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 4192 0 -1 1077944384 2 12885 0 0 0 0 5 2 20 0 15 0 69554243 11079016448 13320 33554432000 4194304 4196468 140731152110528 140177603824528 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8115] ppid=8054 vsize=10819352 memory=140624831882879 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8115/stat : 8115 (java) S 8054 8057 4192 0 -1 1077944384 2 12885 0 0 0 0 5 2 20 0 15 0 69554245 11079016448 13320 33554432000 4194304 4196468 140731152110528 140177213544688 140177686878850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8116] ppid=8054 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8116/stat : 8116 (java) S 8054 8057 4192 0 -1 1077944384 13 12885 0 0 0 0 5 2 20 0 15 0 69554245 11079016448 13320 33554432000 4194304 4196468 140731152110528 140177129333920 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8117] ppid=8054 vsize=10819352 memory=140624831882880 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8117/stat : 8117 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 15 0 69554246 11079016448 13320 33554432000 4194304 4196468 140731152110528 140176525353712 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8118] ppid=8054 vsize=10819352 memory=-1 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8118/stat : 8118 (java) S 8054 8057 4192 0 -1 1077944384 3 12885 0 0 0 0 5 2 20 0 15 0 69554248 11079016448 13320 33554432000 4194304 4196468 140731152110528 140176217954256 140177686886299 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8119] ppid=8054 vsize=10819352 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8057/task/8119/stat : 8119 (java) S 8054 8057 4192 0 -1 1077944384 509 12885 0 0 2 0 5 2 20 0 15 0 69554248 11079016448 13320 33554432000 4194304 4196468 140731152110528 140177212492528 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8120] ppid=8054 vsize=10819352 memory=-1 CPUtime=0.08 cores=1,3,5,7
/proc/8057/task/8120/stat : 8120 (java) S 8054 8057 4192 0 -1 1077944384 55 12885 0 0 1 0 5 2 20 0 15 0 69554248 11079016448 13320 33554432000 4194304 4196468 140731152110528 140177211439984 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8121] ppid=8054 vsize=10819352 memory=0 CPUtime=0.12 cores=1,3,5,7
/proc/8057/task/8121/stat : 8121 (java) R 8054 8057 4192 0 -1 4202560 565 12885 0 0 5 0 5 2 20 0 15 0 69554248 11079016448 13320 33554432000 4194304 4196468 140731152110528 140177210386928 140177686889050 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8122] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8122/stat : 8122 (java) S 8054 8057 4192 0 -1 1077944384 3 12885 0 0 0 0 5 2 20 0 15 0 69554248 11079016448 13320 33554432000 4194304 4196468 140731152110528 140176184396640 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8123] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8123/stat : 8123 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 15 0 69554249 11079016448 13320 33554432000 4194304 4196468 140731152110528 140177209334320 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
Current children cumulated CPU time: 0.37 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 53280 KiB
[startup+0.700742 s]
/proc/loadavg: 2.29 2.07 2.03 3/218 8123
/proc/meminfo: memFree=15676632/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=10819352 memory=86488 CPUtime=0.98 cores=1,3,5,7
/proc/8057/stat : 8057 (java) S 8054 8057 4192 0 -1 1077944320 16749 12885 0 0 87 4 5 2 20 0 15 0 69554234 11079016448 21622 33554432000 4194304 4196468 140731152110528 140731152093072 140177686867703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
/proc/8057/statm: 2704838 21622 3239 1 0 2667149 0
[pid=8057/tid=8110] ppid=8054 vsize=10819352 memory=0 CPUtime=0.65 cores=1,3,5,7
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 4192 0 -1 4202560 12294 12885 0 0 55 3 5 2 20 0 15 0 69554243 11079016448 21622 33554432000 4194304 4196468 140731152110528 140177658688528 140177668431263 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8111] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 15 0 69554243 11079016448 21622 33554432000 4194304 4196468 140731152110528 140177691110416 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8112] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 15 0 69554243 11079016448 21622 33554432000 4194304 4196468 140731152110528 140177605930128 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8113] ppid=8054 vsize=10819352 memory=4132 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 15 0 69554243 11079016448 21622 33554432000 4194304 4196468 140731152110528 140177604877072 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8114] ppid=8054 vsize=10819352 memory=2241 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 4192 0 -1 1077944384 2 12885 0 0 0 0 5 2 20 0 15 0 69554243 11079016448 21622 33554432000 4194304 4196468 140731152110528 140177603824528 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8115] ppid=8054 vsize=10819352 memory=2244 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8115/stat : 8115 (java) S 8054 8057 4192 0 -1 1077944384 5 12885 0 0 0 0 5 2 20 0 15 0 69554245 11079016448 21622 33554432000 4194304 4196468 140731152110528 140177213544688 140177686878850 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8116] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8116/stat : 8116 (java) S 8054 8057 4192 0 -1 1077944384 13 12885 0 0 0 0 5 2 20 0 15 0 69554245 11079016448 21622 33554432000 4194304 4196468 140731152110528 140177129333920 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8117] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8117/stat : 8117 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 15 0 69554246 11079016448 21622 33554432000 4194304 4196468 140731152110528 140176525353712 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8118] ppid=8054 vsize=10819352 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8118/stat : 8118 (java) S 8054 8057 4192 0 -1 1077944384 3 12885 0 0 0 0 5 2 20 0 15 0 69554248 11079016448 21622 33554432000 4194304 4196468 140731152110528 140176217954256 140177686886299 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8119] ppid=8054 vsize=10819352 memory=30305 CPUtime=0.16 cores=1,3,5,7
/proc/8057/task/8119/stat : 8119 (java) S 8054 8057 4192 0 -1 1077944384 1097 12885 0 0 9 0 5 2 20 0 15 0 69554248 11079016448 21622 33554432000 4194304 4196468 140731152110528 140177212492528 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8120] ppid=8054 vsize=10819352 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/8057/task/8120/stat : 8120 (java) S 8054 8057 4192 0 -1 1077944384 484 12885 0 0 7 0 5 2 20 0 15 0 69554248 11079016448 21622 33554432000 4194304 4196468 140731152110528 140177211439984 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8121] ppid=8054 vsize=10819352 memory=3533419649945857444 CPUtime=0.2 cores=1,3,5,7
/proc/8057/task/8121/stat : 8121 (java) S 8054 8057 4192 0 -1 1077944384 656 12885 0 0 13 0 5 2 20 0 15 0 69554248 11079016448 21622 33554432000 4194304 4196468 140731152110528 140177210386928 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8122] ppid=8054 vsize=10819352 memory=-6305718312468242048 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8122/stat : 8122 (java) S 8054 8057 4192 0 -1 1077944384 3 12885 0 0 0 0 5 2 20 0 15 0 69554248 11079016448 21622 33554432000 4194304 4196468 140731152110528 140176184396640 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8123] ppid=8054 vsize=10819352 memory=-7094132109863559211 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8123/stat : 8123 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 15 0 69554249 11079016448 21622 33554432000 4194304 4196468 140731152110528 140177209334320 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
Current children cumulated CPU time: 0.98 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 86488 KiB
[startup+1.50074 s]
/proc/loadavg: 2.29 2.07 2.03 3/218 8123
/proc/meminfo: memFree=15630672/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=10834252 memory=174772 CPUtime=2.25 cores=1,3,5,7
/proc/8057/stat : 8057 (java) S 8054 8057 4192 0 -1 1077944320 23764 12885 0 0 207 11 5 2 20 0 15 0 69554234 11094274048 43693 33554432000 4194304 4196468 140731152110528 140731152093072 140177686867703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
/proc/8057/statm: 2708563 43693 3469 1 0 2670221 0
[pid=8057/tid=8110] ppid=8054 vsize=10834252 memory=187 CPUtime=1.41 cores=1,3,5,7
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 4192 0 -1 4202560 17814 12885 0 0 128 6 5 2 20 0 15 0 69554243 11094274048 43693 33554432000 4194304 4196468 140731152110528 140177658698096 140177668431236 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8111] ppid=8054 vsize=10834252 memory=117 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 4192 0 -1 1077944384 37 12885 0 0 0 0 5 2 20 0 15 0 69554243 11094274048 43693 33554432000 4194304 4196468 140731152110528 140177691110416 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8112] ppid=8054 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 4192 0 -1 1077944384 265 12885 0 0 1 0 5 2 20 0 15 0 69554243 11094274048 43693 33554432000 4194304 4196468 140731152110528 140177605930128 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8113] ppid=8054 vsize=10834252 memory=0 CPUtime=0.08 cores=1,3,5,7
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 4192 0 -1 1077944384 14 12885 0 0 1 0 5 2 20 0 15 0 69554243 11094274048 43693 33554432000 4194304 4196468 140731152110528 140177604877072 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8114] ppid=8054 vsize=10834252 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 4192 0 -1 1077944384 80 12885 0 0 0 0 5 2 20 0 15 0 69554243 11094274048 43693 33554432000 4194304 4196468 140731152110528 140177603824528 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8115] ppid=8054 vsize=10834252 memory=3533419649945857444 CPUtime=0.08 cores=1,3,5,7
/proc/8057/task/8115/stat : 8115 (java) S 8054 8057 4192 0 -1 1077944384 57 12885 0 0 1 0 5 2 20 0 15 0 69554245 11094274048 43693 33554432000 4194304 4196468 140731152110528 140177213544688 140177686878850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8116] ppid=8054 vsize=10834252 memory=281249356755008 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8116/stat : 8116 (java) S 8054 8057 4192 0 -1 1077944384 13 12885 0 0 0 0 5 2 20 0 15 0 69554245 11094274048 43693 33554432000 4194304 4196468 140731152110528 140177129333984 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8117] ppid=8054 vsize=10834252 memory=281249356759456 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8117/stat : 8117 (java) S 8054 8057 4192 0 -1 1077944384 2 12885 0 0 0 0 5 2 20 0 15 0 69554246 11094274048 43693 33554432000 4194304 4196468 140731152110528 140176525353728 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8118] ppid=8054 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8118/stat : 8118 (java) S 8054 8057 4192 0 -1 1077944384 3 12885 0 0 0 0 5 2 20 0 15 0 69554248 11094274048 43693 33554432000 4194304 4196468 140731152110528 140176217954256 140177686886299 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8119] ppid=8054 vsize=10834252 memory=6944656575208382560 CPUtime=0.31 cores=1,3,5,7
/proc/8057/task/8119/stat : 8119 (java) S 8054 8057 4192 0 -1 1077944384 1533 12885 0 0 24 0 5 2 20 0 15 0 69554248 11094274048 43693 33554432000 4194304 4196468 140731152110528 140177212492528 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8120] ppid=8054 vsize=10834252 memory=0 CPUtime=0.23 cores=1,3,5,7
/proc/8057/task/8120/stat : 8120 (java) S 8054 8057 4192 0 -1 1077944384 637 12885 0 0 16 0 5 2 20 0 15 0 69554248 11094274048 43693 33554432000 4194304 4196468 140731152110528 140177211439984 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8121] ppid=8054 vsize=10834252 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/8057/task/8121/stat : 8121 (java) S 8054 8057 4192 0 -1 1077944384 1118 12885 0 0 31 0 5 2 20 0 15 0 69554248 11094274048 43693 33554432000 4194304 4196468 140731152110528 140177210386928 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8122] ppid=8054 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8122/stat : 8122 (java) S 8054 8057 4192 0 -1 1077944384 3 12885 0 0 0 0 5 2 20 0 15 0 69554248 11094274048 43693 33554432000 4194304 4196468 140731152110528 140176184396640 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8123] ppid=8054 vsize=10834252 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8123/stat : 8123 (java) S 8054 8057 4192 0 -1 1077944384 1 12885 0 0 0 0 5 2 20 0 15 0 69554249 11094274048 43693 33554432000 4194304 4196468 140731152110528 140177209334320 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
Current children cumulated CPU time: 2.25 s
Current children cumulated vsize: 10834252 KiB
################
# More data... #
################
[startup+3.11043 s]
/proc/loadavg: 2.43 2.10 2.04 3/218 8123
/proc/meminfo: memFree=15512956/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=10846560 memory=241384 CPUtime=6.07 cores=1,3,5,7
/proc/8057/stat : 8057 (java) S 8054 8057 4192 0 -1 1077944320 46565 12885 0 0 584 16 5 2 20 0 15 0 69554234 11106877440 60346 33554432000 4194304 4196468 140731152110528 140731152093072 140177686867703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
/proc/8057/statm: 2711640 60346 3505 1 0 2673293 0
[pid=8057/tid=8110] ppid=8054 vsize=10846560 memory=0 CPUtime=2.97 cores=1,3,5,7
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 4192 0 -1 4202560 29105 12885 0 0 282 8 5 2 20 0 15 0 69554243 11106877440 60346 33554432000 4194304 4196468 140731152110528 140177658699984 140177670911333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8111] ppid=8054 vsize=10846560 memory=80 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 4192 0 -1 1077944384 103 12885 0 0 3 0 5 2 20 0 15 0 69554243 11106877440 60346 33554432000 4194304 4196468 140731152110528 140177691110416 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8112] ppid=8054 vsize=10846560 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 4192 0 -1 1077944384 293 12885 0 0 3 0 5 2 20 0 15 0 69554243 11106877440 60346 33554432000 4194304 4196468 140731152110528 140177605930128 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8113] ppid=8054 vsize=10846560 memory=281249356754912 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 4192 0 -1 1077944384 81 12885 0 0 3 0 5 2 20 0 15 0 69554243 11106877440 60346 33554432000 4194304 4196468 140731152110528 140177604877072 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8114] ppid=8054 vsize=10846560 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 4192 0 -1 1077944384 90 12885 0 0 2 0 5 2 20 0 15 0 69554243 11106877440 60346 33554432000 4194304 4196468 140731152110528 140177603824528 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8115] ppid=8054 vsize=10846560 memory=55 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8115/stat : 8115 (java) S 8054 8057 4192 0 -1 1077944384 2153 12885 0 0 3 0 5 2 20 0 15 0 69554245 11106877440 60346 33554432000 4194304 4196468 140731152110528 140177213544688 140177686878850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8116] ppid=8054 vsize=10846560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8116/stat : 8116 (java) S 8054 8057 4192 0 -1 1077944384 13 12885 0 0 0 0 5 2 20 0 15 0 69554245 11106877440 60346 33554432000 4194304 4196468 140731152110528 140177129333984 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8117] ppid=8054 vsize=10846560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8117/stat : 8117 (java) S 8054 8057 4192 0 -1 1077944384 2 12885 0 0 0 0 5 2 20 0 15 0 69554246 11106877440 60346 33554432000 4194304 4196468 140731152110528 140176525353728 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8118] ppid=8054 vsize=10846560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8118/stat : 8118 (java) S 8054 8057 4192 0 -1 1077944384 3 12885 0 0 0 0 5 2 20 0 15 0 69554248 11106877440 60346 33554432000 4194304 4196468 140731152110528 140176217954256 140177686886299 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8119] ppid=8054 vsize=10846560 memory=9130442918606830210 CPUtime=1.12 cores=1,3,5,7
/proc/8057/task/8119/stat : 8119 (java) S 8054 8057 4192 0 -1 1077944384 4516 12885 0 0 104 1 5 2 20 0 15 0 69554248 11106877440 60346 33554432000 4194304 4196468 140731152110528 140177212492528 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8120] ppid=8054 vsize=10846560 memory=667680 CPUtime=0.78 cores=1,3,5,7
/proc/8057/task/8120/stat : 8120 (java) R 8054 8057 4192 0 -1 4202560 2351 12885 0 0 71 0 5 2 20 0 15 0 69554248 11106877440 60346 33554432000 4194304 4196468 140731152110528 140177211430176 140177670768304 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8121] ppid=8054 vsize=10846560 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/8057/task/8121/stat : 8121 (java) R 8054 8057 4192 0 -1 4202560 5656 12885 0 0 108 1 5 2 20 0 15 0 69554248 11106877440 60346 33554432000 4194304 4196468 140731152110528 140177210386928 140177686889050 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8122] ppid=8054 vsize=10846560 memory=303993173188018202 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8122/stat : 8122 (java) S 8054 8057 4192 0 -1 1077944384 3 12885 0 0 0 0 5 2 20 0 15 0 69554248 11106877440 60346 33554432000 4194304 4196468 140731152110528 140176184396640 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8123] ppid=8054 vsize=10846560 memory=302022869909766459 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8123/stat : 8123 (java) S 8054 8057 4192 0 -1 1077944384 11 12885 0 0 0 0 5 2 20 0 15 0 69554249 11106877440 60346 33554432000 4194304 4196468 140731152110528 140177209334320 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
Current children cumulated CPU time: 6.07 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 241384 KiB
[startup+3.7857 s]
# the end of solver process 8057 was just reported to runsolver
# cumulated CPU time of all completed processes: user=7.60649 s, system=0.232874 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3.20093 s]
/proc/loadavg: 2.43 2.10 2.04 3/218 8123
/proc/meminfo: memFree=15512956/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=10846560 memory=243008 CPUtime=6.3 cores=1,3,5,7
/proc/8057/stat : 8057 (java) S 8054 8057 4192 0 -1 1077944320 47020 12885 0 0 607 16 5 2 20 0 15 0 69554234 11106877440 60752 33554432000 4194304 4196468 140731152110528 140731152093072 140177686867703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
/proc/8057/statm: 2711640 60752 3505 1 0 2673293 0
[pid=8057/tid=8110] ppid=8054 vsize=10846560 memory=281249357496080 CPUtime=3.06 cores=1,3,5,7
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 4192 0 -1 4202560 29406 12885 0 0 291 8 5 2 20 0 15 0 69554243 11106877440 60752 33554432000 4194304 4196468 140731152110528 140177658700000 140177670911333 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8111] ppid=8054 vsize=10846560 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 4192 0 -1 1077944384 103 12885 0 0 3 0 5 2 20 0 15 0 69554243 11106877440 60752 33554432000 4194304 4196468 140731152110528 140177691110416 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8112] ppid=8054 vsize=10846560 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 4192 0 -1 1077944384 293 12885 0 0 3 0 5 2 20 0 15 0 69554243 11106877440 60752 33554432000 4194304 4196468 140731152110528 140177605930128 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8113] ppid=8054 vsize=10846560 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 4192 0 -1 1077944384 81 12885 0 0 3 0 5 2 20 0 15 0 69554243 11106877440 60752 33554432000 4194304 4196468 140731152110528 140177604877072 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8114] ppid=8054 vsize=10846560 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 4192 0 -1 1077944384 90 12885 0 0 2 0 5 2 20 0 15 0 69554243 11106877440 60752 33554432000 4194304 4196468 140731152110528 140177603824528 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8115] ppid=8054 vsize=10846560 memory=3009 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8115/stat : 8115 (java) S 8054 8057 4192 0 -1 1077944384 2153 12885 0 0 3 0 5 2 20 0 15 0 69554245 11106877440 60752 33554432000 4194304 4196468 140731152110528 140177213544688 140177686878850 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8116] ppid=8054 vsize=10846560 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8116/stat : 8116 (java) S 8054 8057 4192 0 -1 1077944384 13 12885 0 0 0 0 5 2 20 0 15 0 69554245 11106877440 60752 33554432000 4194304 4196468 140731152110528 140177129333984 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8117] ppid=8054 vsize=10846560 memory=-5628408999910123566 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8117/stat : 8117 (java) S 8054 8057 4192 0 -1 1077944384 2 12885 0 0 0 0 5 2 20 0 15 0 69554246 11106877440 60752 33554432000 4194304 4196468 140731152110528 140176525353728 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8118] ppid=8054 vsize=10846560 memory=6944652177228980320 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8118/stat : 8118 (java) S 8054 8057 4192 0 -1 1077944384 3 12885 0 0 0 0 5 2 20 0 15 0 69554248 11106877440 60752 33554432000 4194304 4196468 140731152110528 140176217954256 140177686886299 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8119] ppid=8054 vsize=10846560 memory=6944656592455360604 CPUtime=1.16 cores=1,3,5,7
/proc/8057/task/8119/stat : 8119 (java) S 8054 8057 4192 0 -1 1077944384 4543 12885 0 0 108 1 5 2 20 0 15 0 69554248 11106877440 60752 33554432000 4194304 4196468 140731152110528 140177212492528 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8120] ppid=8054 vsize=10846560 memory=-5628408999910123566 CPUtime=0.83 cores=1,3,5,7
/proc/8057/task/8120/stat : 8120 (java) R 8054 8057 4192 0 -1 4202560 2364 12885 0 0 76 0 5 2 20 0 15 0 69554248 11106877440 60752 33554432000 4194304 4196468 140731152110528 140177211439984 140177679973434 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8121] ppid=8054 vsize=10846560 memory=164 CPUtime=1.22 cores=1,3,5,7
/proc/8057/task/8121/stat : 8121 (java) S 8054 8057 4192 0 -1 1077944384 5768 12885 0 0 114 1 5 2 20 0 15 0 69554248 11106877440 60752 33554432000 4194304 4196468 140731152110528 140177210386928 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8122] ppid=8054 vsize=10846560 memory=6944656592455350634 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8122/stat : 8122 (java) S 8054 8057 4192 0 -1 1077944384 3 12885 0 0 0 0 5 2 20 0 15 0 69554248 11106877440 60752 33554432000 4194304 4196468 140731152110528 140176184396640 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8123] ppid=8054 vsize=10846560 memory=140624831883457 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8123/stat : 8123 (java) S 8054 8057 4192 0 -1 1077944384 11 12885 0 0 0 0 5 2 20 0 15 0 69554249 11106877440 60752 33554432000 4194304 4196468 140731152110528 140177209334320 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 243008 KiB
[startup+3.60501 s]
/proc/loadavg: 2.43 2.10 2.04 3/218 8123
/proc/meminfo: memFree=15512956/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=10914144 memory=301052 CPUtime=7.4 cores=1,3,5,7
/proc/8057/stat : 8057 (java) S 8054 8057 4192 0 -1 1077944320 61531 12885 0 0 714 19 5 2 20 0 15 0 69554234 11176083456 75263 33554432000 4194304 4196468 140731152110528 140731152093072 140177686867703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
/proc/8057/statm: 2728536 75263 3506 1 0 2690189 0
[pid=8057/tid=8110] ppid=8054 vsize=10914144 memory=0 CPUtime=3.46 cores=1,3,5,7
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 4192 0 -1 4202560 41175 12885 0 0 329 10 5 2 20 0 15 0 69554243 11176083456 75263 33554432000 4194304 4196468 140731152110528 140177658695504 140177686879638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8111] ppid=8054 vsize=10914144 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 4192 0 -1 1077944384 103 12885 0 0 3 0 5 2 20 0 15 0 69554243 11176083456 75263 33554432000 4194304 4196468 140731152110528 140177691110416 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8112] ppid=8054 vsize=10914144 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 4192 0 -1 1077944384 293 12885 0 0 3 0 5 2 20 0 15 0 69554243 11176083456 75263 33554432000 4194304 4196468 140731152110528 140177605930128 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8113] ppid=8054 vsize=10914144 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 4192 0 -1 1077944384 81 12885 0 0 3 0 5 2 20 0 15 0 69554243 11176083456 75263 33554432000 4194304 4196468 140731152110528 140177604877072 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8114] ppid=8054 vsize=10914144 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 4192 0 -1 1077944384 90 12885 0 0 2 0 5 2 20 0 15 0 69554243 11176083456 75263 33554432000 4194304 4196468 140731152110528 140177603824528 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8115] ppid=8054 vsize=10914144 memory=0 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8115/stat : 8115 (java) S 8054 8057 4192 0 -1 1077944384 2153 12885 0 0 3 0 5 2 20 0 15 0 69554245 11176083456 75263 33554432000 4194304 4196468 140731152110528 140177213544688 140177686878850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8116] ppid=8054 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8116/stat : 8116 (java) S 8054 8057 4192 0 -1 1077944384 13 12885 0 0 0 0 5 2 20 0 15 0 69554245 11176083456 75263 33554432000 4194304 4196468 140731152110528 140177129333984 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8117] ppid=8054 vsize=10914144 memory=14 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8117/stat : 8117 (java) S 8054 8057 4192 0 -1 1077944384 2 12885 0 0 0 0 5 2 20 0 15 0 69554246 11176083456 75263 33554432000 4194304 4196468 140731152110528 140176525353728 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8118] ppid=8054 vsize=10914144 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8118/stat : 8118 (java) S 8054 8057 4192 0 -1 1077944384 3 12885 0 0 0 0 5 2 20 0 15 0 69554248 11176083456 75263 33554432000 4194304 4196468 140731152110528 140176217954256 140177686886299 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8119] ppid=8054 vsize=10914144 memory=7813587196152197430 CPUtime=1.31 cores=1,3,5,7
/proc/8057/task/8119/stat : 8119 (java) R 8054 8057 4192 0 -1 4202560 4615 12885 0 0 123 1 5 2 20 0 15 0 69554248 11176083456 75263 33554432000 4194304 4196468 140731152110528 140177212478736 140177679973430 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8120] ppid=8054 vsize=10914144 memory=5859570522891898960 CPUtime=1.23 cores=1,3,5,7
/proc/8057/task/8120/stat : 8120 (java) R 8054 8057 4192 0 -1 4202560 4688 12885 0 0 116 0 5 2 20 0 15 0 69554248 11176083456 75263 33554432000 4194304 4196468 140731152110528 140177211420008 140177671257557 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8121] ppid=8054 vsize=10914144 memory=7588675599774802240 CPUtime=1.35 cores=1,3,5,7
/proc/8057/task/8121/stat : 8121 (java) R 8054 8057 4192 0 -1 1077944384 6114 12885 0 0 127 1 5 2 20 0 15 0 69554248 11176083456 75263 33554432000 4194304 4196468 140731152110528 140177210386928 140177686878850 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8122] ppid=8054 vsize=10914144 memory=6298092078072080992 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8122/stat : 8122 (java) S 8054 8057 4192 0 -1 1077944384 3 12885 0 0 0 0 5 2 20 0 15 0 69554248 11176083456 75263 33554432000 4194304 4196468 140731152110528 140176184396640 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8123] ppid=8054 vsize=10914144 memory=55 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8123/stat : 8123 (java) S 8054 8057 4192 0 -1 1077944384 11 12885 0 0 0 0 5 2 20 0 15 0 69554249 11176083456 75263 33554432000 4194304 4196468 140731152110528 140177209334320 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
Current children cumulated CPU time: 7.4 s
Current children cumulated vsize: 10914144 KiB
Current children cumulated memory: 301052 KiB
[startup+3.70066 s]
/proc/loadavg: 2.43 2.10 2.04 3/218 8123
/proc/meminfo: memFree=15512956/32770624 swapFree=67108860/67108860
[pid=8057] ppid=8054 vsize=10916500 memory=304508 CPUtime=7.69 cores=1,3,5,7
/proc/8057/stat : 8057 (java) S 8054 8057 4192 0 -1 1077944320 62432 12885 0 0 743 19 5 2 20 0 15 0 69554234 11178496000 76127 33554432000 4194304 4196468 140731152110528 140731152093072 140177686867703 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
/proc/8057/statm: 2729125 76127 3506 1 0 2690778 0
[pid=8057/tid=8110] ppid=8054 vsize=10916500 memory=0 CPUtime=3.56 cores=1,3,5,7
/proc/8057/task/8110/stat : 8110 (java) R 8054 8057 4192 0 -1 4202560 41298 12885 0 0 339 10 5 2 20 0 15 0 69554243 11178496000 76127 33554432000 4194304 4196468 140731152110528 140177658698048 140177280412808 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8111] ppid=8054 vsize=10916500 memory=55 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8111/stat : 8111 (java) S 8054 8057 4192 0 -1 1077944384 103 12885 0 0 3 0 5 2 20 0 15 0 69554243 11178496000 76127 33554432000 4194304 4196468 140731152110528 140177691110416 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8112] ppid=8054 vsize=10916500 memory=3303 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8112/stat : 8112 (java) S 8054 8057 4192 0 -1 1077944384 293 12885 0 0 3 0 5 2 20 0 15 0 69554243 11178496000 76127 33554432000 4194304 4196468 140731152110528 140177605930128 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8113] ppid=8054 vsize=10916500 memory=80 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8113/stat : 8113 (java) S 8054 8057 4192 0 -1 1077944384 81 12885 0 0 3 0 5 2 20 0 15 0 69554243 11178496000 76127 33554432000 4194304 4196468 140731152110528 140177604877072 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8114] ppid=8054 vsize=10916500 memory=0 CPUtime=0.09 cores=1,3,5,7
/proc/8057/task/8114/stat : 8114 (java) S 8054 8057 4192 0 -1 1077944384 90 12885 0 0 2 0 5 2 20 0 15 0 69554243 11178496000 76127 33554432000 4194304 4196468 140731152110528 140177603824528 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8115] ppid=8054 vsize=10916500 memory=281249356754912 CPUtime=0.1 cores=1,3,5,7
/proc/8057/task/8115/stat : 8115 (java) S 8054 8057 4192 0 -1 1077944384 2153 12885 0 0 3 0 5 2 20 0 15 0 69554245 11178496000 76127 33554432000 4194304 4196468 140731152110528 140177213544688 140177686878850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8116] ppid=8054 vsize=10916500 memory=0 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8116/stat : 8116 (java) S 8054 8057 4192 0 -1 1077944384 13 12885 0 0 0 0 5 2 20 0 15 0 69554245 11178496000 76127 33554432000 4194304 4196468 140731152110528 140177129333984 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8117] ppid=8054 vsize=10916500 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8117/stat : 8117 (java) S 8054 8057 4192 0 -1 1077944384 2 12885 0 0 0 0 5 2 20 0 15 0 69554246 11178496000 76127 33554432000 4194304 4196468 140731152110528 140176525353728 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8118] ppid=8054 vsize=10916500 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8118/stat : 8118 (java) S 8054 8057 4192 0 -1 1077944384 3 12885 0 0 0 0 5 2 20 0 15 0 69554248 11178496000 76127 33554432000 4194304 4196468 140731152110528 140176217954256 140177686886299 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8119] ppid=8054 vsize=10916500 memory=7 CPUtime=1.36 cores=1,3,5,7
/proc/8057/task/8119/stat : 8119 (java) R 8054 8057 4192 0 -1 4202560 4631 12885 0 0 128 1 5 2 20 0 15 0 69554248 11178496000 76127 33554432000 4194304 4196468 140731152110528 140177212479312 140177665034184 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8120] ppid=8054 vsize=10916500 memory=7 CPUtime=1.33 cores=1,3,5,7
/proc/8057/task/8120/stat : 8120 (java) R 8054 8057 4192 0 -1 4202560 5368 12885 0 0 126 0 5 2 20 0 15 0 69554248 11178496000 76127 33554432000 4194304 4196468 140731152110528 140177211426144 140177671994421 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8121] ppid=8054 vsize=10916500 memory=7 CPUtime=1.39 cores=1,3,5,7
/proc/8057/task/8121/stat : 8121 (java) S 8054 8057 4192 0 -1 1077944384 6197 12885 0 0 131 1 5 2 20 0 15 0 69554248 11178496000 76127 33554432000 4194304 4196468 140731152110528 140177210386928 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8122] ppid=8054 vsize=10916500 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8122/stat : 8122 (java) S 8054 8057 4192 0 -1 1077944384 3 12885 0 0 0 0 5 2 20 0 15 0 69554248 11178496000 76127 33554432000 4194304 4196468 140731152110528 140176184396640 140177686877909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
[pid=8057/tid=8123] ppid=8054 vsize=10916500 memory=7 CPUtime=0.07 cores=1,3,5,7
/proc/8057/task/8123/stat : 8123 (java) S 8054 8057 4192 0 -1 1077944384 11 12885 0 0 0 0 5 2 20 0 15 0 69554249 11178496000 76127 33554432000 4194304 4196468 140731152110528 140177209334320 140177686878850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 14102528 140731152111787 140731152115036 140731152115036 140731152117711 0
Current children cumulated CPU time: 7.69 s
Current children cumulated vsize: 10916500 KiB
Current children cumulated memory: 304508 KiB
Child status: 0
Real time (s): 3.78575
CPU time (s): 7.83937
CPU user time (s): 7.60649
CPU system time (s): 0.232874
CPU usage (%): 207.076
Max. virtual memory (cumulated for all children) (KiB): 10916500
Max. memory (cumulated for all children) (KiB): 304508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.60649
system time used= 0.232874
maximum resident set size= 307340
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76199
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6179
involuntary context switches= 32
# summary of solver processes directly reported to runsolver:
# pid: 8057
# total CPU time (s): 7.83937
# total CPU user time (s): 7.60649
# total CPU system time (s): 0.232874
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041598 second user time and 0.080225 second system time
The end