runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3454763-1307186787/watcher-3454763-1307186787 -o /tmp/evaluation-result-3454763-1307186787/solver-3454763-1307186787 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454763-1307186787.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.75 1.78 1.83 3/421 11018
/proc/meminfo: memFree=29749312/32950904 swapFree=56615552/67111528
[pid=11018] ppid=11016 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/11018/stat : 11018 (java) S 11016 11018 8078 0 -1 4202496 2753 0 1 0 0 0 0 0 25 0 2 0 830278436 10681323520 2455 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290682341 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/11018/statm: 2607745 2467 906 9 0 2598901 0
[pid=11018/tid=11019] ppid=11016 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11019/stat : 11019 (java) R 11016 11018 8078 0 -1 4202560 5108 0 1 0 0 0 0 0 25 0 2 0 830278436 10694979584 5925 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237278573627 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.081443 s]
/proc/loadavg: 2.75 1.78 1.83 3/421 11018
/proc/meminfo: memFree=29749312/32950904 swapFree=56615552/67111528
[pid=11018] ppid=11016 vsize=10538944 CPUtime=0.07 cores=0,2,4,6
/proc/11018/stat : 11018 (java) S 11016 11018 8078 0 -1 4202496 12310 0 1 0 6 1 0 0 25 0 18 0 830278436 10791878656 12007 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11018/statm: 2634736 12007 1914 9 0 2625470 0
[pid=11018/tid=11019] ppid=11016 vsize=10538944 CPUtime=0.07 cores=0,2,4,6
/proc/11018/task/11019/stat : 11019 (java) R 11016 11018 8078 0 -1 4202560 10928 0 1 0 6 1 0 0 25 0 18 0 830278436 10791878656 12007 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290708959 0 2147483391 0 16800975 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10538944
[startup+0.10571 s]
/proc/loadavg: 2.75 1.78 1.83 3/421 11018
/proc/meminfo: memFree=29749312/32950904 swapFree=56615552/67111528
[pid=11018] ppid=11016 vsize=10540048 CPUtime=0.11 cores=0,2,4,6
/proc/11018/stat : 11018 (java) S 11016 11018 8078 0 -1 4202496 13203 0 1 0 10 1 0 0 25 0 18 0 830278436 10793009152 12900 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11018/statm: 2635012 12900 2107 9 0 2625746 0
[pid=11018/tid=11019] ppid=11016 vsize=10540048 CPUtime=0.09 cores=0,2,4,6
/proc/11018/task/11019/stat : 11019 (java) R 11016 11018 8078 0 -1 4202560 11272 0 1 0 8 1 0 0 25 0 18 0 830278436 10793009152 12900 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540048
[startup+0.300674 s]
/proc/loadavg: 2.75 1.78 1.83 3/421 11018
/proc/meminfo: memFree=29749312/32950904 swapFree=56615552/67111528
[pid=11018] ppid=11016 vsize=10548036 CPUtime=0.69 cores=0,2,4,6
/proc/11018/stat : 11018 (java) S 11016 11018 8078 0 -1 4202496 17867 0 1 0 67 2 0 0 25 0 22 0 830278436 10801188864 16285 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11018/statm: 2637009 16286 2214 9 0 2627743 0
[pid=11018/tid=11019] ppid=11016 vsize=10548036 CPUtime=0.16 cores=0,2,4,6
/proc/11018/task/11019/stat : 11019 (java) S 11016 11018 8078 0 -1 4202560 11783 0 1 0 15 1 0 0 25 0 22 0 830278436 10801188864 16286 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10548036
[startup+0.700604 s]
/proc/loadavg: 2.75 1.78 1.83 3/421 11018
/proc/meminfo: memFree=29749312/32950904 swapFree=56615552/67111528
[pid=11018] ppid=11016 vsize=10558216 CPUtime=2.24 cores=0,2,4,6
/proc/11018/stat : 11018 (java) S 11016 11018 8078 0 -1 4202496 41865 0 1 0 219 5 0 0 25 0 22 0 830278436 10811613184 35898 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11018/statm: 2639554 35898 2253 9 0 2630288 0
[pid=11018/tid=11019] ppid=11016 vsize=10558216 CPUtime=0.16 cores=0,2,4,6
/proc/11018/task/11019/stat : 11019 (java) S 11016 11018 8078 0 -1 4202560 11783 0 1 0 15 1 0 0 20 0 22 0 830278436 10811613184 35898 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 10558216
[startup+1.50553 s]
/proc/loadavg: 3.01 1.85 1.85 5/443 11040
/proc/meminfo: memFree=29520368/32950904 swapFree=56615552/67111528
[pid=11018] ppid=11016 vsize=10558216 CPUtime=4.36 cores=0,2,4,6
/proc/11018/stat : 11018 (java) S 11016 11018 8078 0 -1 4202496 74866 0 1 0 427 9 0 0 25 0 22 0 830278436 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11018/statm: 2639554 64162 2258 9 0 2630288 0
[pid=11018/tid=11019] ppid=11016 vsize=10558216 CPUtime=0.16 cores=0,2,4,6
/proc/11018/task/11019/stat : 11019 (java) S 11016 11018 8078 0 -1 4202560 11783 0 1 0 15 1 0 0 15 0 22 0 830278436 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11021] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 8078 0 -1 4202560 183 0 0 0 0 0 0 0 16 0 22 0 830278438 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11022] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 8078 0 -1 4202560 195 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11023] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 8078 0 -1 4202560 343 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11024] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 8078 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11025] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 8078 0 -1 4202560 344 0 0 0 0 0 0 0 16 0 22 0 830278438 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11026] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 8078 0 -1 4202560 31 0 0 0 0 0 0 0 16 0 22 0 830278438 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11027] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11027/stat : 11027 (java) S 11016 11018 8078 0 -1 4202560 59 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11028] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11028/stat : 11028 (java) S 11016 11018 8078 0 -1 4202560 369 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11029] ppid=11016 vsize=10558216 CPUtime=0.05 cores=0,2,4,6
/proc/11018/task/11029/stat : 11029 (java) R 11016 11018 8078 0 -1 4202560 1259 0 0 0 5 0 0 0 15 0 22 0 830278439 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 47982234929222 0 0 0 16800975 0 0 0 -1 0 0 0 0
[pid=11018/tid=11030] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11030/stat : 11030 (java) S 11016 11018 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 830278439 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11031] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11031/stat : 11031 (java) S 11016 11018 8078 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 830278439 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11032] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11032/stat : 11032 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830278441 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290703281 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11033] ppid=11016 vsize=10558216 CPUtime=0.78 cores=0,2,4,6
/proc/11018/task/11033/stat : 11033 (java) S 11016 11018 8078 0 -1 4202560 12039 0 0 0 77 1 0 0 21 0 22 0 830278441 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11034] ppid=11016 vsize=10558216 CPUtime=0.78 cores=0,2,4,6
/proc/11018/task/11034/stat : 11034 (java) S 11016 11018 8078 0 -1 4202560 5478 0 0 0 78 0 0 0 20 0 22 0 830278441 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11035] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11035/stat : 11035 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830278441 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11036] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11036/stat : 11036 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830278441 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11037] ppid=11016 vsize=10558216 CPUtime=1.26 cores=0,2,4,6
/proc/11018/task/11037/stat : 11037 (java) S 11016 11018 8078 0 -1 4202560 292 0 0 0 126 0 0 0 25 0 22 0 830278453 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11038] ppid=11016 vsize=10558216 CPUtime=1.25 cores=0,2,4,6
/proc/11018/task/11038/stat : 11038 (java) S 11016 11018 8078 0 -1 4202560 41315 0 0 0 121 4 0 0 18 0 22 0 830278453 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11039] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11039/stat : 11039 (java) S 11016 11018 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830278453 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11040] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11040/stat : 11040 (java) S 11016 11018 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830278453 10811613184 64162 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.36
Current children cumulated vsize (KiB) 10558216
[startup+3.10118 s]
/proc/loadavg: 3.01 1.85 1.85 5/443 11041
/proc/meminfo: memFree=29488996/32950904 swapFree=56615552/67111528
[pid=11018] ppid=11016 vsize=10558216 CPUtime=7.47 cores=0,2,4,6
/proc/11018/stat : 11018 (java) S 11016 11018 8078 0 -1 4202496 76760 0 1 0 738 9 0 0 25 0 22 0 830278436 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11018/statm: 2639554 66052 2258 9 0 2630288 0
[pid=11018/tid=11019] ppid=11016 vsize=10558216 CPUtime=0.16 cores=0,2,4,6
/proc/11018/task/11019/stat : 11019 (java) S 11016 11018 8078 0 -1 4202560 11783 0 1 0 15 1 0 0 15 0 22 0 830278436 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11021] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 8078 0 -1 4202560 243 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11022] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 8078 0 -1 4202560 288 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11023] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 8078 0 -1 4202560 343 0 0 0 0 0 0 0 16 0 22 0 830278438 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11024] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 8078 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11025] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 8078 0 -1 4202560 346 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11026] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 8078 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11027] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11027/stat : 11027 (java) S 11016 11018 8078 0 -1 4202560 61 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11028] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11028/stat : 11028 (java) S 11016 11018 8078 0 -1 4202560 415 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11029] ppid=11016 vsize=10558216 CPUtime=0.15 cores=0,2,4,6
/proc/11018/task/11029/stat : 11029 (java) S 11016 11018 8078 0 -1 4202560 2940 0 0 0 15 0 0 0 16 0 22 0 830278439 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 0 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11030] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11030/stat : 11030 (java) S 11016 11018 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 830278439 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11031] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11031/stat : 11031 (java) S 11016 11018 8078 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 830278439 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11032] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11032/stat : 11032 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830278441 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290703281 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11033] ppid=11016 vsize=10558216 CPUtime=0.79 cores=0,2,4,6
/proc/11018/task/11033/stat : 11033 (java) S 11016 11018 8078 0 -1 4202560 12044 0 0 0 78 1 0 0 21 0 22 0 830278441 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11034] ppid=11016 vsize=10558216 CPUtime=0.79 cores=0,2,4,6
/proc/11018/task/11034/stat : 11034 (java) S 11016 11018 8078 0 -1 4202560 5478 0 0 0 79 0 0 0 15 0 22 0 830278441 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11035] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11035/stat : 11035 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830278441 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11036] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11036/stat : 11036 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830278441 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11037] ppid=11016 vsize=10558216 CPUtime=2.75 cores=0,2,4,6
/proc/11018/task/11037/stat : 11037 (java) R 11016 11018 8078 0 -1 4202560 295 0 0 0 275 0 0 0 25 0 22 0 830278453 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 46912505585489 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11018/tid=11038] ppid=11016 vsize=10558216 CPUtime=2.74 cores=0,2,4,6
/proc/11018/task/11038/stat : 11038 (java) R 11016 11018 8078 0 -1 4202560 41316 0 0 0 270 4 0 0 18 0 22 0 830278453 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 46912505708865 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11018/tid=11039] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11039/stat : 11039 (java) S 11016 11018 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830278453 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11040] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11040/stat : 11040 (java) S 11016 11018 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830278453 10811613184 66052 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 7.47
Current children cumulated vsize (KiB) 10558216
Solver just ended. Dumping a history of the last processes samples
[startup+4.70089 s]
/proc/loadavg: 3.01 1.85 1.85 5/443 11090
/proc/meminfo: memFree=29594316/32950904 swapFree=56615552/67111528
[pid=11018] ppid=11016 vsize=10558216 CPUtime=10.59 cores=0,2,4,6
/proc/11018/stat : 11018 (java) S 11016 11018 8078 0 -1 4202496 77261 0 1 0 1049 10 0 0 25 0 22 0 830278436 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11018/statm: 2639554 66549 2258 9 0 2630288 0
[pid=11018/tid=11019] ppid=11016 vsize=10558216 CPUtime=0.16 cores=0,2,4,6
/proc/11018/task/11019/stat : 11019 (java) S 11016 11018 8078 0 -1 4202560 11783 0 1 0 15 1 0 0 15 0 22 0 830278436 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11021] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 8078 0 -1 4202560 244 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11022] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 8078 0 -1 4202560 288 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11023] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 8078 0 -1 4202560 343 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11024] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 8078 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11025] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 8078 0 -1 4202560 346 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11026] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 8078 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 22 0 830278438 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11027] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11027/stat : 11027 (java) S 11016 11018 8078 0 -1 4202560 61 0 0 0 0 0 0 0 16 0 22 0 830278438 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
################
# More data... #
################
/proc/11018/task/11029/stat : 11029 (java) S 11016 11018 8078 0 -1 4202560 3434 0 0 0 23 0 0 0 16 0 22 0 830278439 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 0 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11030] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11030/stat : 11030 (java) S 11016 11018 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 830278439 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11031] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11031/stat : 11031 (java) S 11016 11018 8078 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 830278439 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11032] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11032/stat : 11032 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830278441 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290703281 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11033] ppid=11016 vsize=10558216 CPUtime=0.79 cores=0,2,4,6
/proc/11018/task/11033/stat : 11033 (java) S 11016 11018 8078 0 -1 4202560 12044 0 0 0 78 1 0 0 21 0 22 0 830278441 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11034] ppid=11016 vsize=10558216 CPUtime=0.79 cores=0,2,4,6
/proc/11018/task/11034/stat : 11034 (java) S 11016 11018 8078 0 -1 4202560 5478 0 0 0 79 0 0 0 15 0 22 0 830278441 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11035] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11035/stat : 11035 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830278441 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11036] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11036/stat : 11036 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830278441 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11037] ppid=11016 vsize=10558216 CPUtime=4.25 cores=0,2,4,6
/proc/11018/task/11037/stat : 11037 (java) R 11016 11018 8078 0 -1 4202560 299 0 0 0 425 0 0 0 25 0 22 0 830278453 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 46912505542142 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11018/tid=11038] ppid=11016 vsize=10558216 CPUtime=4.24 cores=0,2,4,6
/proc/11018/task/11038/stat : 11038 (java) R 11016 11018 8078 0 -1 4202560 41316 0 0 0 420 4 0 0 17 0 22 0 830278453 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 46912505708909 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11018/tid=11039] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11039/stat : 11039 (java) S 11016 11018 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830278453 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11040] ppid=11016 vsize=10558216 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11040/stat : 11040 (java) S 11016 11018 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830278453 10811613184 66549 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 10.59
Current children cumulated vsize (KiB) 10558216
[startup+5.5158 s]
/proc/loadavg: 3.01 1.85 1.85 4/443 11090
/proc/meminfo: memFree=29465244/32950904 swapFree=56615552/67111528
[pid=11018] ppid=11016 vsize=10555076 CPUtime=12.17 cores=0,2,4,6
/proc/11018/stat : 11018 (java) S 11016 11018 8078 0 -1 4202496 77264 0 1 0 1207 10 0 0 25 0 22 0 830278436 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11018/statm: 2638769 65738 2258 9 0 2629503 0
[pid=11018/tid=11019] ppid=11016 vsize=10555076 CPUtime=0.16 cores=0,2,4,6
/proc/11018/task/11019/stat : 11019 (java) S 11016 11018 8078 0 -1 4202560 11783 0 1 0 15 1 0 0 15 0 22 0 830278436 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11021] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 8078 0 -1 4202560 244 0 0 0 0 0 0 0 16 0 22 0 830278438 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11022] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 8078 0 -1 4202560 288 0 0 0 0 0 0 0 15 0 22 0 830278438 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11023] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 8078 0 -1 4202560 343 0 0 0 0 0 0 0 15 0 22 0 830278438 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11024] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 8078 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 22 0 830278438 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11025] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 8078 0 -1 4202560 347 0 0 0 0 0 0 0 15 0 22 0 830278438 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11026] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 8078 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 22 0 830278438 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11027] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11027/stat : 11027 (java) S 11016 11018 8078 0 -1 4202560 61 0 0 0 0 0 0 0 16 0 22 0 830278438 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11028] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11028/stat : 11028 (java) S 11016 11018 8078 0 -1 4202560 417 0 0 0 0 0 0 0 15 0 22 0 830278438 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11029] ppid=11016 vsize=10555076 CPUtime=0.28 cores=0,2,4,6
/proc/11018/task/11029/stat : 11029 (java) S 11016 11018 8078 0 -1 4202560 3434 0 0 0 28 0 0 0 16 0 22 0 830278439 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 0 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11030] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11030/stat : 11030 (java) S 11016 11018 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 830278439 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11031] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11031/stat : 11031 (java) S 11016 11018 8078 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 830278439 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11032] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11032/stat : 11032 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830278441 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290703281 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11033] ppid=11016 vsize=10555076 CPUtime=0.79 cores=0,2,4,6
/proc/11018/task/11033/stat : 11033 (java) S 11016 11018 8078 0 -1 4202560 12044 0 0 0 78 1 0 0 21 0 22 0 830278441 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11034] ppid=11016 vsize=10555076 CPUtime=0.79 cores=0,2,4,6
/proc/11018/task/11034/stat : 11034 (java) S 11016 11018 8078 0 -1 4202560 5478 0 0 0 79 0 0 0 15 0 22 0 830278441 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11035] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11035/stat : 11035 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 830278441 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11036] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11036/stat : 11036 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 830278441 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11037] ppid=11016 vsize=10555076 CPUtime=5.02 cores=0,2,4,6
/proc/11018/task/11037/stat : 11037 (java) R 11016 11018 8078 0 -1 4202560 301 0 0 0 502 0 0 0 25 0 22 0 830278453 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 46912505589600 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=11018/tid=11038] ppid=11016 vsize=10555076 CPUtime=5.01 cores=0,2,4,6
/proc/11018/task/11038/stat : 11038 (java) R 11016 11018 8078 0 -1 4202560 41316 0 0 0 497 4 0 0 18 0 22 0 830278453 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 46912506196389 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11018/tid=11039] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11039/stat : 11039 (java) S 11016 11018 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830278453 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11040] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11040/stat : 11040 (java) S 11016 11018 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 830278453 10808397824 65738 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.17
Current children cumulated vsize (KiB) 10555076
[startup+5.90074 s]
/proc/loadavg: 3.01 1.85 1.85 4/443 11090
/proc/meminfo: memFree=29465244/32950904 swapFree=56615552/67111528
[pid=11018] ppid=11016 vsize=10555076 CPUtime=12.71 cores=0,2,4,6
/proc/11018/stat : 11018 (java) S 11016 11018 8078 0 -1 4202496 77268 0 1 0 1261 10 0 0 25 0 20 0 830278436 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11018/statm: 2638769 65741 2259 9 0 2629503 0
[pid=11018/tid=11019] ppid=11016 vsize=10555076 CPUtime=0.16 cores=0,2,4,6
/proc/11018/task/11019/stat : 11019 (java) S 11016 11018 8078 0 -1 4202560 11783 0 1 0 15 1 0 0 15 0 20 0 830278436 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11021] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 8078 0 -1 4202560 244 0 0 0 0 0 0 0 16 0 20 0 830278438 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11022] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 8078 0 -1 4202560 288 0 0 0 0 0 0 0 15 0 20 0 830278438 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11023] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 8078 0 -1 4202560 343 0 0 0 0 0 0 0 15 0 20 0 830278438 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11024] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 8078 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 20 0 830278438 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11025] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 8078 0 -1 4202560 347 0 0 0 0 0 0 0 15 0 20 0 830278438 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11026] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 8078 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 20 0 830278438 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11027] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11027/stat : 11027 (java) S 11016 11018 8078 0 -1 4202560 61 0 0 0 0 0 0 0 16 0 20 0 830278438 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11028] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11028/stat : 11028 (java) S 11016 11018 8078 0 -1 4202560 417 0 0 0 0 0 0 0 15 0 20 0 830278438 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11029] ppid=11016 vsize=10555076 CPUtime=0.28 cores=0,2,4,6
/proc/11018/task/11029/stat : 11029 (java) S 11016 11018 8078 0 -1 4202560 3434 0 0 0 28 0 0 0 16 0 20 0 830278439 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 0 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11030] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11030/stat : 11030 (java) S 11016 11018 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 830278439 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11031] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11031/stat : 11031 (java) S 11016 11018 8078 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 830278439 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11032] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11032/stat : 11032 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830278441 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290703281 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11033] ppid=11016 vsize=10555076 CPUtime=0.79 cores=0,2,4,6
/proc/11018/task/11033/stat : 11033 (java) S 11016 11018 8078 0 -1 4202560 12044 0 0 0 78 1 0 0 21 0 20 0 830278441 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11034] ppid=11016 vsize=10555076 CPUtime=0.81 cores=0,2,4,6
/proc/11018/task/11034/stat : 11034 (java) S 11016 11018 8078 0 -1 4202560 5478 0 0 0 81 0 0 0 15 0 20 0 830278441 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11035] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11035/stat : 11035 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830278441 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11036] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11036/stat : 11036 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830278441 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11038] ppid=11016 vsize=10555076 CPUtime=5.39 cores=0,2,4,6
/proc/11018/task/11038/stat : 11038 (java) R 11016 11018 8078 0 -1 4202560 41316 0 0 0 535 4 0 0 18 0 20 0 830278453 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 46912505708951 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11018/tid=11039] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11039/stat : 11039 (java) S 11016 11018 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830278453 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 10555076
[startup+6.1007 s]
/proc/loadavg: 3.01 1.85 1.85 4/443 11090
/proc/meminfo: memFree=29465244/32950904 swapFree=56615552/67111528
[pid=11018] ppid=11016 vsize=10555076 CPUtime=12.91 cores=0,2,4,6
/proc/11018/stat : 11018 (java) S 11016 11018 8078 0 -1 4202496 77268 0 1 0 1281 10 0 0 25 0 20 0 830278436 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/11018/statm: 2638769 65741 2259 9 0 2629503 0
[pid=11018/tid=11019] ppid=11016 vsize=10555076 CPUtime=0.16 cores=0,2,4,6
/proc/11018/task/11019/stat : 11019 (java) S 11016 11018 8078 0 -1 4202560 11783 0 1 0 15 1 0 0 15 0 20 0 830278436 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11021] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11021/stat : 11021 (java) S 11016 11018 8078 0 -1 4202560 244 0 0 0 0 0 0 0 16 0 20 0 830278438 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11022] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11022/stat : 11022 (java) S 11016 11018 8078 0 -1 4202560 288 0 0 0 0 0 0 0 15 0 20 0 830278438 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11023] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11023/stat : 11023 (java) S 11016 11018 8078 0 -1 4202560 343 0 0 0 0 0 0 0 15 0 20 0 830278438 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11024] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11024/stat : 11024 (java) S 11016 11018 8078 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 20 0 830278438 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11025] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11025/stat : 11025 (java) S 11016 11018 8078 0 -1 4202560 347 0 0 0 0 0 0 0 15 0 20 0 830278438 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11026] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11026/stat : 11026 (java) S 11016 11018 8078 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 20 0 830278438 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11027] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11027/stat : 11027 (java) S 11016 11018 8078 0 -1 4202560 61 0 0 0 0 0 0 0 16 0 20 0 830278438 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11028] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11028/stat : 11028 (java) S 11016 11018 8078 0 -1 4202560 417 0 0 0 0 0 0 0 15 0 20 0 830278438 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 4 0 0 0
[pid=11018/tid=11029] ppid=11016 vsize=10555076 CPUtime=0.28 cores=0,2,4,6
/proc/11018/task/11029/stat : 11029 (java) S 11016 11018 8078 0 -1 4202560 3434 0 0 0 28 0 0 0 16 0 20 0 830278439 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 0 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11030] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11030/stat : 11030 (java) S 11016 11018 8078 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 830278439 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11031] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11031/stat : 11031 (java) S 11016 11018 8078 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 20 0 830278439 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11032] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11032/stat : 11032 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830278441 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290703281 0 4 0 16800975 18446604450309596992 0 0 -1 0 0 0 0
[pid=11018/tid=11033] ppid=11016 vsize=10555076 CPUtime=0.79 cores=0,2,4,6
/proc/11018/task/11033/stat : 11033 (java) S 11016 11018 8078 0 -1 4202560 12044 0 0 0 78 1 0 0 21 0 20 0 830278441 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11034] ppid=11016 vsize=10555076 CPUtime=0.81 cores=0,2,4,6
/proc/11018/task/11034/stat : 11034 (java) S 11016 11018 8078 0 -1 4202560 5478 0 0 0 81 0 0 0 15 0 20 0 830278441 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11035] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11035/stat : 11035 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 830278441 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290695577 0 4 0 16800975 18446604450309596992 0 0 -1 6 0 0 0
[pid=11018/tid=11036] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11036/stat : 11036 (java) S 11016 11018 8078 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 830278441 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
[pid=11018/tid=11038] ppid=11016 vsize=10555076 CPUtime=5.59 cores=0,2,4,6
/proc/11018/task/11038/stat : 11038 (java) R 11016 11018 8078 0 -1 4202560 41316 0 0 0 555 4 0 0 18 0 20 0 830278453 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 46912505708909 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=11018/tid=11039] ppid=11016 vsize=10555076 CPUtime=0 cores=0,2,4,6
/proc/11018/task/11039/stat : 11039 (java) S 11016 11018 8078 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 830278453 10808397824 65741 33554432000 1073741824 1073778376 140737346313952 18446744073709551615 237290696192 0 4 0 16800975 18446604450309596992 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.91
Current children cumulated vsize (KiB) 10555076
Child status: 20
Real time (s): 6.13734
CPU time (s): 12.943
CPU user time (s): 12.83
CPU system time (s): 0.112982
CPU usage (%): 210.89
Max. virtual memory (cumulated for all children) (KiB): 10558216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.83
system time used= 0.112982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77280
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 836
involuntary context switches= 285
runsolver used 0.020996 second user time and 0.066989 second system time
The end