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-3458361-1307159551/watcher-3458361-1307159551 -o /tmp/evaluation-result-3458361-1307159551/solver-3458361-1307159551 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458361-1307159551.opb
running on 4 cores: 1,3,5,7
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: 1.86 2.01 1.99 1/533 23169
/proc/meminfo: memFree=29023028/32951124 swapFree=58212616/67111528
[pid=23169] ppid=23167 vsize=13508980 CPUtime=0 cores=1,3,5,7
/proc/23169/stat : 23169 (java) S 23167 23169 19861 0 -1 4202496 3126 0 1 0 0 0 0 0 24 0 2 0 827553045 13833195520 2827 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/23169/statm: 3377245 2841 906 9 0 3368401 0
[pid=23169/tid=23170] ppid=23167 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23170/stat : 23170 (java) R 23167 23169 19861 0 -1 4202560 6518 0 1 0 0 0 0 0 25 0 2 0 827553046 13850947584 7333 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228244042811 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.042139 s]
/proc/loadavg: 1.86 2.01 1.99 1/533 23169
/proc/meminfo: memFree=29023028/32951124 swapFree=58212616/67111528
[pid=23169] ppid=23167 vsize=13613988 CPUtime=0.03 cores=1,3,5,7
/proc/23169/stat : 23169 (java) S 23167 23169 19861 0 -1 4202496 13566 0 1 0 2 1 0 0 24 0 12 0 827553045 13940723712 13264 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256151525 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/23169/statm: 3403497 13265 1629 9 0 3394245 0
[pid=23169/tid=23170] ppid=23167 vsize=13613988 CPUtime=0.02 cores=1,3,5,7
/proc/23169/task/23170/stat : 23170 (java) R 23167 23169 19861 0 -1 4202560 12441 0 1 0 1 1 0 0 25 0 12 0 827553046 13940723712 13265 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 47345985300499 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 13613988
[startup+0.10114 s]
/proc/loadavg: 1.86 2.01 1.99 1/533 23169
/proc/meminfo: memFree=29023028/32951124 swapFree=58212616/67111528
[pid=23169] ppid=23167 vsize=13687412 CPUtime=0.1 cores=1,3,5,7
/proc/23169/stat : 23169 (java) S 23167 23169 19861 0 -1 4202496 15539 0 1 0 9 1 0 0 24 0 18 0 827553045 14015909888 15216 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23169/statm: 3421853 15216 2092 9 0 3412587 0
[pid=23169/tid=23170] ppid=23167 vsize=13687412 CPUtime=0.08 cores=1,3,5,7
/proc/23169/task/23170/stat : 23170 (java) R 23167 23169 19861 0 -1 4202560 13603 0 1 0 7 1 0 0 25 0 18 0 827553046 14015909888 15217 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 47345985963544 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13687412
[startup+0.301093 s]
/proc/loadavg: 1.86 2.01 1.99 1/533 23169
/proc/meminfo: memFree=29023028/32951124 swapFree=58212616/67111528
[pid=23169] ppid=23167 vsize=13688056 CPUtime=0.46 cores=1,3,5,7
/proc/23169/stat : 23169 (java) S 23167 23169 19861 0 -1 4202496 18039 0 1 0 44 2 0 0 24 0 18 0 827553045 14016569344 17342 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23169/statm: 3422014 17342 2218 9 0 3412748 0
[pid=23169/tid=23170] ppid=23167 vsize=13688056 CPUtime=0.29 cores=1,3,5,7
/proc/23169/task/23170/stat : 23170 (java) R 23167 23169 19861 0 -1 4202560 15255 0 1 0 27 2 0 0 18 0 18 0 827553046 14016569344 17342 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 46912505211299 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 13688056
[startup+0.701021 s]
/proc/loadavg: 1.86 2.01 1.99 1/533 23169
/proc/meminfo: memFree=29023028/32951124 swapFree=58212616/67111528
[pid=23169] ppid=23167 vsize=13691052 CPUtime=1.1 cores=1,3,5,7
/proc/23169/stat : 23169 (java) S 23167 23169 19861 0 -1 4202496 20564 0 1 0 108 2 0 0 24 0 19 0 827553045 14019637248 18902 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23169/statm: 3422763 18902 2228 9 0 3413497 0
[pid=23169/tid=23170] ppid=23167 vsize=13691052 CPUtime=0.69 cores=1,3,5,7
/proc/23169/task/23170/stat : 23170 (java) R 23167 23169 19861 0 -1 4202560 16086 0 1 0 67 2 0 0 19 0 19 0 827553046 14019637248 18902 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 46912505392544 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 13691052
[startup+1.50088 s]
/proc/loadavg: 1.86 2.01 1.99 2/551 23209
/proc/meminfo: memFree=28953848/32951124 swapFree=58212616/67111528
[pid=23169] ppid=23167 vsize=13691052 CPUtime=2.03 cores=1,3,5,7
/proc/23169/stat : 23169 (java) S 23167 23169 19861 0 -1 4202496 23622 0 1 0 200 3 0 0 24 0 19 0 827553045 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23169/statm: 3422763 21686 2260 9 0 3413497 0
[pid=23169/tid=23170] ppid=23167 vsize=13691052 CPUtime=1.44 cores=1,3,5,7
/proc/23169/task/23170/stat : 23170 (java) R 23167 23169 19861 0 -1 4202560 16297 0 1 0 142 2 0 0 20 0 19 0 827553046 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 46912505590823 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23169/tid=23172] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23172/stat : 23172 (java) S 23167 23169 19861 0 -1 4202560 152 0 0 0 0 0 0 0 16 0 19 0 827553048 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23173] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23173/stat : 23173 (java) S 23167 23169 19861 0 -1 4202560 299 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23174] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23174/stat : 23174 (java) S 23167 23169 19861 0 -1 4202560 145 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23175] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23175/stat : 23175 (java) S 23167 23169 19861 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23176] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23176/stat : 23176 (java) S 23167 23169 19861 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23177] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23177/stat : 23177 (java) S 23167 23169 19861 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23178] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23178/stat : 23178 (java) S 23167 23169 19861 0 -1 4202560 251 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 3 0 0 0
[pid=23169/tid=23179] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23179/stat : 23179 (java) S 23167 23169 19861 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23180] ppid=23167 vsize=13691052 CPUtime=0.03 cores=1,3,5,7
/proc/23169/task/23180/stat : 23180 (java) S 23167 23169 19861 0 -1 4202560 1115 0 0 0 3 0 0 0 16 0 19 0 827553049 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256165376 0 0 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23181] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23181/stat : 23181 (java) S 23167 23169 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827553049 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23182] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23182/stat : 23182 (java) S 23167 23169 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827553049 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23183] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23183/stat : 23183 (java) S 23167 23169 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553051 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256172465 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23184] ppid=23167 vsize=13691052 CPUtime=0.3 cores=1,3,5,7
/proc/23169/task/23184/stat : 23184 (java) S 23167 23169 19861 0 -1 4202560 1473 0 0 0 30 0 0 0 15 0 19 0 827553051 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23185] ppid=23167 vsize=13691052 CPUtime=0.22 cores=1,3,5,7
/proc/23169/task/23185/stat : 23185 (java) S 23167 23169 19861 0 -1 4202560 2190 0 0 0 22 0 0 0 16 0 19 0 827553051 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 3 0 0 0
[pid=23169/tid=23186] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23186/stat : 23186 (java) S 23167 23169 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553051 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23187] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23187/stat : 23187 (java) S 23167 23169 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827553052 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256165376 0 4 0 16800975 18446604456670054336 0 0 -1 3 0 0 0
[pid=23169/tid=23191] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23191/stat : 23191 (java) S 23167 23169 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827553076 14019637248 21686 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256165376 0 4 0 16800975 18446604456670054336 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.03
Current children cumulated vsize (KiB) 13691052
[startup+3.1006 s]
/proc/loadavg: 1.86 2.01 1.99 3/572 23233
/proc/meminfo: memFree=28834128/32951124 swapFree=58212616/67111528
[pid=23169] ppid=23167 vsize=13691052 CPUtime=3.69 cores=1,3,5,7
/proc/23169/stat : 23169 (java) S 23167 23169 19861 0 -1 4202496 24323 0 1 0 366 3 0 0 24 0 19 0 827553045 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23169/statm: 3422763 22174 2261 9 0 3413497 0
[pid=23169/tid=23170] ppid=23167 vsize=13691052 CPUtime=3 cores=1,3,5,7
/proc/23169/task/23170/stat : 23170 (java) R 23167 23169 19861 0 -1 4202560 16299 0 1 0 298 2 0 0 25 0 19 0 827553046 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 46912505590815 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23169/tid=23172] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23172/stat : 23172 (java) S 23167 23169 19861 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23173] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23173/stat : 23173 (java) S 23167 23169 19861 0 -1 4202560 360 0 0 0 0 0 0 0 16 0 19 0 827553048 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23174] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23174/stat : 23174 (java) S 23167 23169 19861 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23175] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23175/stat : 23175 (java) S 23167 23169 19861 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23176] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23176/stat : 23176 (java) S 23167 23169 19861 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23177] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23177/stat : 23177 (java) S 23167 23169 19861 0 -1 4202560 166 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23178] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23178/stat : 23178 (java) S 23167 23169 19861 0 -1 4202560 257 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23179] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23179/stat : 23179 (java) S 23167 23169 19861 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23180] ppid=23167 vsize=13691052 CPUtime=0.07 cores=1,3,5,7
/proc/23169/task/23180/stat : 23180 (java) S 23167 23169 19861 0 -1 4202560 1392 0 0 0 7 0 0 0 16 0 19 0 827553049 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256165376 0 0 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23181] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23181/stat : 23181 (java) S 23167 23169 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827553049 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23182] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23182/stat : 23182 (java) S 23167 23169 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827553049 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23183] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23183/stat : 23183 (java) S 23167 23169 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553051 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256172465 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23184] ppid=23167 vsize=13691052 CPUtime=0.32 cores=1,3,5,7
/proc/23169/task/23184/stat : 23184 (java) S 23167 23169 19861 0 -1 4202560 1478 0 0 0 32 0 0 0 15 0 19 0 827553051 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23185] ppid=23167 vsize=13691052 CPUtime=0.26 cores=1,3,5,7
/proc/23169/task/23185/stat : 23185 (java) S 23167 23169 19861 0 -1 4202560 2410 0 0 0 26 0 0 0 15 0 19 0 827553051 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 3 0 0 0
[pid=23169/tid=23186] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23186/stat : 23186 (java) S 23167 23169 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553051 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23187] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23187/stat : 23187 (java) S 23167 23169 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827553052 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256165376 0 4 0 16800975 18446604456670054336 0 0 -1 3 0 0 0
[pid=23169/tid=23191] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23191/stat : 23191 (java) S 23167 23169 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827553076 14019637248 22174 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256165376 0 4 0 16800975 18446604456670054336 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 13691052
[startup+6.30103 s]
/proc/loadavg: 1.87 2.01 1.99 3/572 23233
/proc/meminfo: memFree=28781172/32951124 swapFree=58212616/67111528
[pid=23169] ppid=23167 vsize=13691052 CPUtime=6.94 cores=1,3,5,7
/proc/23169/stat : 23169 (java) S 23167 23169 19861 0 -1 4202496 24730 0 1 0 691 3 0 0 24 0 19 0 827553045 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23169/statm: 3422763 22568 2261 9 0 3413497 0
[pid=23169/tid=23170] ppid=23167 vsize=13691052 CPUtime=6.12 cores=1,3,5,7
/proc/23169/task/23170/stat : 23170 (java) R 23167 23169 19861 0 -1 4202560 16306 0 1 0 610 2 0 0 25 0 19 0 827553046 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 46912505682933 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23169/tid=23172] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23172/stat : 23172 (java) S 23167 23169 19861 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23173] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23173/stat : 23173 (java) S 23167 23169 19861 0 -1 4202560 360 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23174] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23174/stat : 23174 (java) S 23167 23169 19861 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23175] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23175/stat : 23175 (java) S 23167 23169 19861 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23176] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23176/stat : 23176 (java) S 23167 23169 19861 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23177] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23177/stat : 23177 (java) S 23167 23169 19861 0 -1 4202560 170 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23178] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23178/stat : 23178 (java) S 23167 23169 19861 0 -1 4202560 257 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23179] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23179/stat : 23179 (java) S 23167 23169 19861 0 -1 4202560 294 0 0 0 0 0 0 0 15 0 19 0 827553048 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23180] ppid=23167 vsize=13691052 CPUtime=0.14 cores=1,3,5,7
/proc/23169/task/23180/stat : 23180 (java) S 23167 23169 19861 0 -1 4202560 1788 0 0 0 14 0 0 0 16 0 19 0 827553049 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256165376 0 0 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23181] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23181/stat : 23181 (java) S 23167 23169 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827553049 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23182] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23182/stat : 23182 (java) S 23167 23169 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827553049 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23183] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23183/stat : 23183 (java) S 23167 23169 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553051 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256172465 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23184] ppid=23167 vsize=13691052 CPUtime=0.37 cores=1,3,5,7
/proc/23169/task/23184/stat : 23184 (java) S 23167 23169 19861 0 -1 4202560 1478 0 0 0 37 0 0 0 16 0 19 0 827553051 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23185] ppid=23167 vsize=13691052 CPUtime=0.26 cores=1,3,5,7
/proc/23169/task/23185/stat : 23185 (java) S 23167 23169 19861 0 -1 4202560 2410 0 0 0 26 0 0 0 16 0 19 0 827553051 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 3 0 0 0
[pid=23169/tid=23186] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23186/stat : 23186 (java) S 23167 23169 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553051 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23187] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23187/stat : 23187 (java) S 23167 23169 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827553052 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256165376 0 4 0 16800975 18446604456670054336 0 0 -1 3 0 0 0
[pid=23169/tid=23191] ppid=23167 vsize=13691052 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23191/stat : 23191 (java) S 23167 23169 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827553076 14019637248 22568 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256165376 0 4 0 16800975 18446604456670054336 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.94
Current children cumulated vsize (KiB) 13691052
[startup+12.7009 s]
/proc/loadavg: 1.88 2.01 1.99 3/572 23233
/proc/meminfo: memFree=28748352/32951124 swapFree=58212616/67111528
[pid=23169] ppid=23167 vsize=13690344 CPUtime=13.35 cores=1,3,5,7
/proc/23169/stat : 23169 (java) S 23167 23169 19861 0 -1 4202496 24756 0 1 0 1332 3 0 0 24 0 19 0 827553045 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23169/statm: 3422586 22420 2261 9 0 3413320 0
[pid=23169/tid=23170] ppid=23167 vsize=13690344 CPUtime=12.39 cores=1,3,5,7
/proc/23169/task/23170/stat : 23170 (java) R 23167 23169 19861 0 -1 4202560 16312 0 1 0 1237 2 0 0 25 0 19 0 827553046 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 46912505628924 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23169/tid=23172] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23172/stat : 23172 (java) S 23167 23169 19861 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 827553048 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23173] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23173/stat : 23173 (java) S 23167 23169 19861 0 -1 4202560 360 0 0 0 0 0 0 0 15 0 19 0 827553048 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23174] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23174/stat : 23174 (java) S 23167 23169 19861 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 827553048 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23175] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23175/stat : 23175 (java) S 23167 23169 19861 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 19 0 827553048 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23176] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23176/stat : 23176 (java) S 23167 23169 19861 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 827553048 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23177] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23177/stat : 23177 (java) S 23167 23169 19861 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 827553048 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23178] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23178/stat : 23178 (java) S 23167 23169 19861 0 -1 4202560 260 0 0 0 0 0 0 0 16 0 19 0 827553048 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23179] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23179/stat : 23179 (java) S 23167 23169 19861 0 -1 4202560 302 0 0 0 0 0 0 0 15 0 19 0 827553048 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23180] ppid=23167 vsize=13690344 CPUtime=0.26 cores=1,3,5,7
/proc/23169/task/23180/stat : 23180 (java) S 23167 23169 19861 0 -1 4202560 1794 0 0 0 26 0 0 0 16 0 19 0 827553049 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256165376 0 0 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23181] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23181/stat : 23181 (java) S 23167 23169 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827553049 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23182] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23182/stat : 23182 (java) S 23167 23169 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827553049 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23183] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23183/stat : 23183 (java) S 23167 23169 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553051 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256172465 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23184] ppid=23167 vsize=13690344 CPUtime=0.37 cores=1,3,5,7
/proc/23169/task/23184/stat : 23184 (java) S 23167 23169 19861 0 -1 4202560 1478 0 0 0 37 0 0 0 16 0 19 0 827553051 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23185] ppid=23167 vsize=13690344 CPUtime=0.26 cores=1,3,5,7
/proc/23169/task/23185/stat : 23185 (java) S 23167 23169 19861 0 -1 4202560 2410 0 0 0 26 0 0 0 16 0 19 0 827553051 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 3 0 0 0
[pid=23169/tid=23186] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23186/stat : 23186 (java) S 23167 23169 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553051 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23187] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23187/stat : 23187 (java) S 23167 23169 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827553052 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256165376 0 4 0 16800975 18446604456670054336 0 0 -1 3 0 0 0
[pid=23169/tid=23191] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23191/stat : 23191 (java) S 23167 23169 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827553076 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256165376 0 4 0 16800975 18446604456670054336 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.35
Current children cumulated vsize (KiB) 13690344
Solver just ended. Dumping a history of the last processes samples
[startup+13.1009 s]
/proc/loadavg: 1.88 2.01 1.99 3/572 23233
/proc/meminfo: memFree=28738720/32951124 swapFree=58212616/67111528
[pid=23169] ppid=23167 vsize=13690344 CPUtime=13.76 cores=1,3,5,7
/proc/23169/stat : 23169 (java) S 23167 23169 19861 0 -1 4202496 24756 0 1 0 1373 3 0 0 24 0 19 0 827553045 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256151525 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/23169/statm: 3422586 22420 2261 9 0 3413320 0
[pid=23169/tid=23170] ppid=23167 vsize=13690344 CPUtime=12.81 cores=1,3,5,7
/proc/23169/task/23170/stat : 23170 (java) R 23167 23169 19861 0 -1 4202560 16312 0 1 0 1279 2 0 0 25 0 19 0 827553046 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 46912505643993 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=23169/tid=23172] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23172/stat : 23172 (java) S 23167 23169 19861 0 -1 4202560 154 0 0 0 0 0 0 0 15 0 19 0 827553048 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23173] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23173/stat : 23173 (java) S 23167 23169 19861 0 -1 4202560 360 0 0 0 0 0 0 0 15 0 19 0 827553048 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23174] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23174/stat : 23174 (java) S 23167 23169 19861 0 -1 4202560 212 0 0 0 0 0 0 0 15 0 19 0 827553048 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23175] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23175/stat : 23175 (java) S 23167 23169 19861 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 19 0 827553048 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23176] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23176/stat : 23176 (java) S 23167 23169 19861 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 827553048 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23177] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23177/stat : 23177 (java) S 23167 23169 19861 0 -1 4202560 171 0 0 0 0 0 0 0 15 0 19 0 827553048 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23178] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23178/stat : 23178 (java) S 23167 23169 19861 0 -1 4202560 260 0 0 0 0 0 0 0 16 0 19 0 827553048 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 7 0 0 0
[pid=23169/tid=23179] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23179/stat : 23179 (java) S 23167 23169 19861 0 -1 4202560 302 0 0 0 0 0 0 0 15 0 19 0 827553048 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23180] ppid=23167 vsize=13690344 CPUtime=0.26 cores=1,3,5,7
/proc/23169/task/23180/stat : 23180 (java) S 23167 23169 19861 0 -1 4202560 1794 0 0 0 26 0 0 0 15 0 19 0 827553049 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256165376 0 0 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23181] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23181/stat : 23181 (java) S 23167 23169 19861 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 827553049 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23182] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23182/stat : 23182 (java) S 23167 23169 19861 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 827553049 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23183] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23183/stat : 23183 (java) S 23167 23169 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553051 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256172465 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23184] ppid=23167 vsize=13690344 CPUtime=0.37 cores=1,3,5,7
/proc/23169/task/23184/stat : 23184 (java) S 23167 23169 19861 0 -1 4202560 1478 0 0 0 37 0 0 0 16 0 19 0 827553051 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 1 0 0 0
[pid=23169/tid=23185] ppid=23167 vsize=13690344 CPUtime=0.26 cores=1,3,5,7
/proc/23169/task/23185/stat : 23185 (java) S 23167 23169 19861 0 -1 4202560 2410 0 0 0 26 0 0 0 16 0 19 0 827553051 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 3 0 0 0
[pid=23169/tid=23186] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23186/stat : 23186 (java) S 23167 23169 19861 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827553051 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256164761 0 4 0 16800975 18446604456670054336 0 0 -1 5 0 0 0
[pid=23169/tid=23187] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23187/stat : 23187 (java) S 23167 23169 19861 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827553052 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256165376 0 4 0 16800975 18446604456670054336 0 0 -1 3 0 0 0
[pid=23169/tid=23191] ppid=23167 vsize=13690344 CPUtime=0 cores=1,3,5,7
/proc/23169/task/23191/stat : 23191 (java) S 23167 23169 19861 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827553076 14018912256 22420 33554432000 1073741824 1073778376 140735159643952 18446744073709551615 228256165376 0 4 0 16800975 18446604456670054336 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.76
Current children cumulated vsize (KiB) 13690344
Child status: 30
Real time (s): 13.1751
CPU time (s): 13.8409
CPU user time (s): 13.7979
CPU system time (s): 0.042993
CPU usage (%): 105.053
Max. virtual memory (cumulated for all children) (KiB): 13691052
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.7979
system time used= 0.042993
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24776
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= 900
involuntary context switches= 275
runsolver used 0.074988 second user time and 0.184971 second system time
The end