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-3454774-1307186801/watcher-3454774-1307186801 -o /tmp/evaluation-result-3454774-1307186801/solver-3454774-1307186801 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3454774-1307186801.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: 3.76 2.66 2.12 4/509 21361
/proc/meminfo: memFree=20745376/32951124 swapFree=46575304/67111528
[pid=21361] ppid=21359 vsize=9100 CPUtime=0 cores=1,3,5,7
/proc/21361/stat : 21361 (java) S 21359 21361 17058 0 -1 4202496 418 0 0 0 0 0 0 0 25 0 1 0 562871344 9318400 165 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268660660224 0 2147483391 4096 0 18446744071699199166 0 0 17 5 0 0 0
/proc/21361/statm: 2275 165 125 9 0 67 0
[pid=21361/tid=21362] ppid=21359 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (java) R 21359 21361 17058 0 -1 4202560 3646 0 1 0 0 0 0 0 25 0 2 0 562871345 10694979584 4462 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268660356155 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.040298 s]
/proc/loadavg: 3.76 2.66 2.12 4/509 21361
/proc/meminfo: memFree=20745376/32951124 swapFree=46575304/67111528
[pid=21361] ppid=21359 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/21361/stat : 21361 (java) S 21359 21361 17058 0 -1 4202496 11053 0 1 0 1 1 0 0 25 0 11 0 562871344 10716594176 10752 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672464869 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/21361/statm: 2616356 10752 1627 9 0 2607104 0
[pid=21361/tid=21362] ppid=21359 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (java) R 21359 21361 17058 0 -1 4202560 9929 0 1 0 1 1 0 0 25 0 11 0 562871345 10716594176 10753 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 47373625029379 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10465424
[startup+0.100251 s]
/proc/loadavg: 3.76 2.66 2.12 4/509 21361
/proc/meminfo: memFree=20745376/32951124 swapFree=46575304/67111528
[pid=21361] ppid=21359 vsize=10540080 CPUtime=0.09 cores=1,3,5,7
/proc/21361/stat : 21361 (java) S 21359 21361 17058 0 -1 4202496 13020 0 1 0 8 1 0 0 25 0 18 0 562871344 10793041920 12695 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21361/statm: 2635020 12695 2093 9 0 2625754 0
[pid=21361/tid=21362] ppid=21359 vsize=10540080 CPUtime=0.07 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (java) R 21359 21361 17058 0 -1 4202560 11090 0 1 0 6 1 0 0 18 0 18 0 562871345 10793041920 12695 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 47373628767390 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540080
[startup+0.394218 s]
/proc/loadavg: 3.76 2.66 2.12 4/509 21361
/proc/meminfo: memFree=20745376/32951124 swapFree=46575304/67111528
[pid=21361] ppid=21359 vsize=10555476 CPUtime=1.04 cores=1,3,5,7
/proc/21361/stat : 21361 (java) S 21359 21361 17058 0 -1 4202496 23402 0 1 0 102 2 0 0 25 0 22 0 562871344 10808807424 19885 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21361/statm: 2638869 19885 2219 9 0 2629603 0
[pid=21361/tid=21362] ppid=21359 vsize=10555476 CPUtime=0.16 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (java) S 21359 21361 17058 0 -1 4202560 11740 0 1 0 14 2 0 0 19 0 22 0 562871345 10808807424 19885 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 10555476
[startup+0.703178 s]
/proc/loadavg: 3.76 2.66 2.12 4/509 21361
/proc/meminfo: memFree=20745376/32951124 swapFree=46575304/67111528
[pid=21361] ppid=21359 vsize=10557688 CPUtime=2.23 cores=1,3,5,7
/proc/21361/stat : 21361 (java) S 21359 21361 17058 0 -1 4202496 45859 0 1 0 218 5 0 0 25 0 22 0 562871344 10811072512 40396 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21361/statm: 2639088 48339 2254 9 0 2629822 0
[pid=21361/tid=21362] ppid=21359 vsize=10556352 CPUtime=0.16 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (java) S 21359 21361 17058 0 -1 4202560 11740 0 1 0 14 2 0 0 15 0 22 0 562871345 10809704448 48339 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.23
Current children cumulated vsize (KiB) 10557688
[startup+1.50104 s]
/proc/loadavg: 3.76 2.66 2.12 5/531 21385
/proc/meminfo: memFree=20555692/32951124 swapFree=46575304/67111528
[pid=21361] ppid=21359 vsize=10556352 CPUtime=4.27 cores=1,3,5,7
/proc/21361/stat : 21361 (java) S 21359 21361 17058 0 -1 4202496 70040 0 1 0 418 9 0 0 25 0 22 0 562871344 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21361/statm: 2639088 61893 2258 9 0 2629822 0
[pid=21361/tid=21362] ppid=21359 vsize=10556352 CPUtime=0.16 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (java) S 21359 21361 17058 0 -1 4202560 11740 0 1 0 14 2 0 0 15 0 22 0 562871345 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21364] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (java) S 21359 21361 17058 0 -1 4202560 173 0 0 0 0 0 0 0 16 0 22 0 562871347 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21365] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21365/stat : 21365 (java) S 21359 21361 17058 0 -1 4202560 145 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21366] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21366/stat : 21366 (java) S 21359 21361 17058 0 -1 4202560 62 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21367] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21367/stat : 21367 (java) S 21359 21361 17058 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21368] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21368/stat : 21368 (java) S 21359 21361 17058 0 -1 4202560 254 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21369] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21369/stat : 21369 (java) S 21359 21361 17058 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 1 0 0 0
[pid=21361/tid=21371] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21371/stat : 21371 (java) S 21359 21361 17058 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21372] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21372/stat : 21372 (java) S 21359 21361 17058 0 -1 4202560 165 0 0 0 0 0 0 0 16 0 22 0 562871347 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 1 0 0 0
[pid=21361/tid=21373] ppid=21359 vsize=10556352 CPUtime=0.06 cores=1,3,5,7
/proc/21361/task/21373/stat : 21373 (java) S 21359 21361 17058 0 -1 4202560 1317 0 0 0 6 0 0 0 16 0 22 0 562871348 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 0 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21375] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21375/stat : 21375 (java) S 21359 21361 17058 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 562871348 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21376] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21376/stat : 21376 (java) S 21359 21361 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 562871348 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21377] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21377/stat : 21377 (java) S 21359 21361 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562871350 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672485809 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21378] ppid=21359 vsize=10556352 CPUtime=0.79 cores=1,3,5,7
/proc/21361/task/21378/stat : 21378 (java) S 21359 21361 17058 0 -1 4202560 9226 0 0 0 78 1 0 0 15 0 22 0 562871350 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21379] ppid=21359 vsize=10556352 CPUtime=0.73 cores=1,3,5,7
/proc/21361/task/21379/stat : 21379 (java) S 21359 21361 17058 0 -1 4202560 5445 0 0 0 73 0 0 0 15 0 22 0 562871350 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 1 0 0 0
[pid=21361/tid=21380] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21380/stat : 21380 (java) S 21359 21361 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562871350 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21381] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21381/stat : 21381 (java) S 21359 21361 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562871350 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21382] ppid=21359 vsize=10556352 CPUtime=1.23 cores=1,3,5,7
/proc/21361/task/21382/stat : 21382 (java) R 21359 21361 17058 0 -1 4202560 314 0 0 0 123 0 0 0 17 0 22 0 562871362 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 46912505556071 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21361/tid=21383] ppid=21359 vsize=10556352 CPUtime=1.22 cores=1,3,5,7
/proc/21361/task/21383/stat : 21383 (java) R 21359 21361 17058 0 -1 4202560 39784 0 0 0 117 5 0 0 18 0 22 0 562871362 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 46912506148949 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21361/tid=21384] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21384/stat : 21384 (java) S 21359 21361 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562871362 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21385] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21385/stat : 21385 (java) S 21359 21361 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562871362 10809704448 61893 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.27
Current children cumulated vsize (KiB) 10556352
[startup+3.10076 s]
/proc/loadavg: 3.76 2.66 2.12 5/531 21385
/proc/meminfo: memFree=20455012/32951124 swapFree=46575304/67111528
[pid=21361] ppid=21359 vsize=10556352 CPUtime=7.4 cores=1,3,5,7
/proc/21361/stat : 21361 (java) S 21359 21361 17058 0 -1 4202496 82631 0 1 0 730 10 0 0 25 0 22 0 562871344 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21361/statm: 2639088 74480 2258 9 0 2629822 0
[pid=21361/tid=21362] ppid=21359 vsize=10556352 CPUtime=0.16 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (java) S 21359 21361 17058 0 -1 4202560 11740 0 1 0 14 2 0 0 15 0 22 0 562871345 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21364] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (java) S 21359 21361 17058 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21365] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21365/stat : 21365 (java) S 21359 21361 17058 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 1 0 0 0
[pid=21361/tid=21366] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21366/stat : 21366 (java) S 21359 21361 17058 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21367] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21367/stat : 21367 (java) S 21359 21361 17058 0 -1 4202560 30 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21368] ppid=21359 vsize=10556352 CPUtime=0.01 cores=1,3,5,7
/proc/21361/task/21368/stat : 21368 (java) S 21359 21361 17058 0 -1 4202560 346 0 0 0 1 0 0 0 15 0 22 0 562871347 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21369] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21369/stat : 21369 (java) S 21359 21361 17058 0 -1 4202560 150 0 0 0 0 0 0 0 16 0 22 0 562871347 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 1 0 0 0
[pid=21361/tid=21371] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21371/stat : 21371 (java) S 21359 21361 17058 0 -1 4202560 185 0 0 0 0 0 0 0 16 0 22 0 562871347 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21372] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21372/stat : 21372 (java) S 21359 21361 17058 0 -1 4202560 167 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21373] ppid=21359 vsize=10556352 CPUtime=0.15 cores=1,3,5,7
/proc/21361/task/21373/stat : 21373 (java) S 21359 21361 17058 0 -1 4202560 2607 0 0 0 15 0 0 0 16 0 22 0 562871348 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 0 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21375] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21375/stat : 21375 (java) S 21359 21361 17058 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 562871348 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21376] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21376/stat : 21376 (java) S 21359 21361 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 562871348 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21377] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21377/stat : 21377 (java) S 21359 21361 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562871350 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672485809 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21378] ppid=21359 vsize=10556352 CPUtime=0.82 cores=1,3,5,7
/proc/21361/task/21378/stat : 21378 (java) S 21359 21361 17058 0 -1 4202560 9228 0 0 0 81 1 0 0 15 0 22 0 562871350 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21379] ppid=21359 vsize=10556352 CPUtime=0.73 cores=1,3,5,7
/proc/21361/task/21379/stat : 21379 (java) S 21359 21361 17058 0 -1 4202560 5445 0 0 0 73 0 0 0 15 0 22 0 562871350 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 1 0 0 0
[pid=21361/tid=21380] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21380/stat : 21380 (java) S 21359 21361 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562871350 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21381] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21381/stat : 21381 (java) S 21359 21361 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562871350 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 1 0 0 0
[pid=21361/tid=21382] ppid=21359 vsize=10556352 CPUtime=2.74 cores=1,3,5,7
/proc/21361/task/21382/stat : 21382 (java) R 21359 21361 17058 0 -1 4202560 318 0 0 0 274 0 0 0 18 0 22 0 562871362 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 46912505591835 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=21361/tid=21383] ppid=21359 vsize=10556352 CPUtime=2.72 cores=1,3,5,7
/proc/21361/task/21383/stat : 21383 (java) R 21359 21361 17058 0 -1 4202560 50751 0 0 0 266 6 0 0 19 0 22 0 562871362 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 46912506007440 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21361/tid=21384] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21384/stat : 21384 (java) S 21359 21361 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562871362 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21385] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21385/stat : 21385 (java) S 21359 21361 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562871362 10809704448 74480 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 10556352
[startup+6.30116 s]
/proc/loadavg: 3.78 2.69 2.13 5/531 21385
/proc/meminfo: memFree=20445104/32951124 swapFree=46575304/67111528
[pid=21361] ppid=21359 vsize=10556352 CPUtime=13.58 cores=1,3,5,7
/proc/21361/stat : 21361 (java) S 21359 21361 17058 0 -1 4202496 84507 0 1 0 1347 11 0 0 25 0 22 0 562871344 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21361/statm: 2639088 76346 2258 9 0 2629822 0
[pid=21361/tid=21362] ppid=21359 vsize=10556352 CPUtime=0.16 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (java) S 21359 21361 17058 0 -1 4202560 11740 0 1 0 14 2 0 0 15 0 22 0 562871345 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21364] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (java) S 21359 21361 17058 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21365] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21365/stat : 21365 (java) S 21359 21361 17058 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21366] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21366/stat : 21366 (java) S 21359 21361 17058 0 -1 4202560 143 0 0 0 0 0 0 0 16 0 22 0 562871347 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21367] ppid=21359 vsize=10556352 CPUtime=0.01 cores=1,3,5,7
/proc/21361/task/21367/stat : 21367 (java) S 21359 21361 17058 0 -1 4202560 52 0 0 0 1 0 0 0 15 0 22 0 562871347 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21368] ppid=21359 vsize=10556352 CPUtime=0.01 cores=1,3,5,7
/proc/21361/task/21368/stat : 21368 (java) S 21359 21361 17058 0 -1 4202560 362 0 0 0 1 0 0 0 15 0 22 0 562871347 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21369] ppid=21359 vsize=10556352 CPUtime=0.01 cores=1,3,5,7
/proc/21361/task/21369/stat : 21369 (java) S 21359 21361 17058 0 -1 4202560 170 0 0 0 1 0 0 0 16 0 22 0 562871347 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 1 0 0 0
[pid=21361/tid=21371] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21371/stat : 21371 (java) S 21359 21361 17058 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21372] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21372/stat : 21372 (java) S 21359 21361 17058 0 -1 4202560 167 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
################
# More data... #
################
[pid=21361/tid=21381] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21381/stat : 21381 (java) S 21359 21361 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562871350 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 1 0 0 0
[pid=21361/tid=21382] ppid=21359 vsize=10556352 CPUtime=5.68 cores=1,3,5,7
/proc/21361/task/21382/stat : 21382 (java) R 21359 21361 17058 0 -1 4202560 326 0 0 0 568 0 0 0 22 0 22 0 562871362 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 46912505561717 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21361/tid=21383] ppid=21359 vsize=10556352 CPUtime=5.67 cores=1,3,5,7
/proc/21361/task/21383/stat : 21383 (java) R 21359 21361 17058 0 -1 4202560 50753 0 0 0 561 6 0 0 25 0 22 0 562871362 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 46912505722961 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21361/tid=21384] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21384/stat : 21384 (java) S 21359 21361 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562871362 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21385] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21385/stat : 21385 (java) S 21359 21361 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562871362 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.58
Current children cumulated vsize (KiB) 10556352
Solver just ended. Dumping a history of the last processes samples
[startup+6.40114 s]
/proc/loadavg: 3.78 2.69 2.13 5/531 21385
/proc/meminfo: memFree=20445104/32951124 swapFree=46575304/67111528
[pid=21361] ppid=21359 vsize=10556352 CPUtime=13.78 cores=1,3,5,7
/proc/21361/stat : 21361 (java) S 21359 21361 17058 0 -1 4202496 84507 0 1 0 1367 11 0 0 25 0 22 0 562871344 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21361/statm: 2639088 76346 2258 9 0 2629822 0
[pid=21361/tid=21362] ppid=21359 vsize=10556352 CPUtime=0.16 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (java) S 21359 21361 17058 0 -1 4202560 11740 0 1 0 14 2 0 0 15 0 22 0 562871345 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21364] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (java) S 21359 21361 17058 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21365] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21365/stat : 21365 (java) S 21359 21361 17058 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21366] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21366/stat : 21366 (java) S 21359 21361 17058 0 -1 4202560 143 0 0 0 0 0 0 0 16 0 22 0 562871347 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21367] ppid=21359 vsize=10556352 CPUtime=0.01 cores=1,3,5,7
/proc/21361/task/21367/stat : 21367 (java) S 21359 21361 17058 0 -1 4202560 52 0 0 0 1 0 0 0 15 0 22 0 562871347 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21368] ppid=21359 vsize=10556352 CPUtime=0.01 cores=1,3,5,7
/proc/21361/task/21368/stat : 21368 (java) S 21359 21361 17058 0 -1 4202560 362 0 0 0 1 0 0 0 15 0 22 0 562871347 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21369] ppid=21359 vsize=10556352 CPUtime=0.01 cores=1,3,5,7
/proc/21361/task/21369/stat : 21369 (java) S 21359 21361 17058 0 -1 4202560 170 0 0 0 1 0 0 0 16 0 22 0 562871347 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 1 0 0 0
[pid=21361/tid=21371] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21371/stat : 21371 (java) S 21359 21361 17058 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21372] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21372/stat : 21372 (java) S 21359 21361 17058 0 -1 4202560 167 0 0 0 0 0 0 0 15 0 22 0 562871347 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21373] ppid=21359 vsize=10556352 CPUtime=0.38 cores=1,3,5,7
/proc/21361/task/21373/stat : 21373 (java) S 21359 21361 17058 0 -1 4202560 4386 0 0 0 38 0 0 0 15 0 22 0 562871348 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 0 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21375] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21375/stat : 21375 (java) S 21359 21361 17058 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 22 0 562871348 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21376] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21376/stat : 21376 (java) S 21359 21361 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 22 0 562871348 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21377] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21377/stat : 21377 (java) S 21359 21361 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562871350 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672485809 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21378] ppid=21359 vsize=10556352 CPUtime=0.82 cores=1,3,5,7
/proc/21361/task/21378/stat : 21378 (java) S 21359 21361 17058 0 -1 4202560 9228 0 0 0 81 1 0 0 15 0 22 0 562871350 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21379] ppid=21359 vsize=10556352 CPUtime=0.73 cores=1,3,5,7
/proc/21361/task/21379/stat : 21379 (java) S 21359 21361 17058 0 -1 4202560 5445 0 0 0 73 0 0 0 15 0 22 0 562871350 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 1 0 0 0
[pid=21361/tid=21380] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21380/stat : 21380 (java) S 21359 21361 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 562871350 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21381] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21381/stat : 21381 (java) S 21359 21361 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 562871350 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 1 0 0 0
[pid=21361/tid=21382] ppid=21359 vsize=10556352 CPUtime=5.78 cores=1,3,5,7
/proc/21361/task/21382/stat : 21382 (java) R 21359 21361 17058 0 -1 4202560 326 0 0 0 578 0 0 0 22 0 22 0 562871362 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 46912505582967 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=21361/tid=21383] ppid=21359 vsize=10556352 CPUtime=5.77 cores=1,3,5,7
/proc/21361/task/21383/stat : 21383 (java) R 21359 21361 17058 0 -1 4202560 50753 0 0 0 571 6 0 0 25 0 22 0 562871362 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 46912506007568 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21361/tid=21384] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21384/stat : 21384 (java) S 21359 21361 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562871362 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21385] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21385/stat : 21385 (java) S 21359 21361 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 22 0 562871362 10809704448 76346 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 13.78
Current children cumulated vsize (KiB) 10556352
[startup+6.80111 s]
/proc/loadavg: 3.78 2.69 2.13 5/529 21385
/proc/meminfo: memFree=20437176/32951124 swapFree=46575304/67111528
[pid=21361] ppid=21359 vsize=10556352 CPUtime=14.73 cores=1,3,5,7
/proc/21361/stat : 21361 (java) S 21359 21361 17058 0 -1 4202496 89024 0 1 0 1461 12 0 0 25 0 20 0 562871344 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21361/statm: 2639088 78487 2259 9 0 2629822 0
[pid=21361/tid=21362] ppid=21359 vsize=10556352 CPUtime=0.16 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (java) S 21359 21361 17058 0 -1 4202560 11740 0 1 0 14 2 0 0 15 0 20 0 562871345 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21364] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (java) S 21359 21361 17058 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 20 0 562871347 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21365] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21365/stat : 21365 (java) S 21359 21361 17058 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 20 0 562871347 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21366] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21366/stat : 21366 (java) S 21359 21361 17058 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 20 0 562871347 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21367] ppid=21359 vsize=10556352 CPUtime=0.01 cores=1,3,5,7
/proc/21361/task/21367/stat : 21367 (java) S 21359 21361 17058 0 -1 4202560 52 0 0 0 1 0 0 0 15 0 20 0 562871347 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21368] ppid=21359 vsize=10556352 CPUtime=0.01 cores=1,3,5,7
/proc/21361/task/21368/stat : 21368 (java) S 21359 21361 17058 0 -1 4202560 362 0 0 0 1 0 0 0 15 0 20 0 562871347 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21369] ppid=21359 vsize=10556352 CPUtime=0.01 cores=1,3,5,7
/proc/21361/task/21369/stat : 21369 (java) S 21359 21361 17058 0 -1 4202560 171 0 0 0 1 0 0 0 15 0 20 0 562871347 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21371] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21371/stat : 21371 (java) S 21359 21361 17058 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 20 0 562871347 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21372] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21372/stat : 21372 (java) S 21359 21361 17058 0 -1 4202560 169 0 0 0 0 0 0 0 15 0 20 0 562871347 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21373] ppid=21359 vsize=10556352 CPUtime=0.41 cores=1,3,5,7
/proc/21361/task/21373/stat : 21373 (java) S 21359 21361 17058 0 -1 4202560 4386 0 0 0 41 0 0 0 16 0 20 0 562871348 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 0 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21375] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21375/stat : 21375 (java) S 21359 21361 17058 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 20 0 562871348 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21376] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21376/stat : 21376 (java) S 21359 21361 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 562871348 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21377] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21377/stat : 21377 (java) S 21359 21361 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 562871350 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672485809 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21378] ppid=21359 vsize=10556352 CPUtime=1.18 cores=1,3,5,7
/proc/21361/task/21378/stat : 21378 (java) R 21359 21361 17058 0 -1 4202560 13722 0 0 0 116 2 0 0 16 0 20 0 562871350 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 47373624231984 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=21361/tid=21379] ppid=21359 vsize=10556352 CPUtime=0.77 cores=1,3,5,7
/proc/21361/task/21379/stat : 21379 (java) S 21359 21361 17058 0 -1 4202560 5462 0 0 0 77 0 0 0 15 0 20 0 562871350 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21380] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21380/stat : 21380 (java) S 21359 21361 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 562871350 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21381] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21381/stat : 21381 (java) S 21359 21361 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 562871350 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21383] ppid=21359 vsize=10556352 CPUtime=6.14 cores=1,3,5,7
/proc/21361/task/21383/stat : 21383 (java) R 21359 21361 17058 0 -1 4202560 50753 0 0 0 608 6 0 0 25 0 20 0 562871362 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 46912505723031 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21361/tid=21384] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21384/stat : 21384 (java) S 21359 21361 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 562871362 10809704448 78487 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 14.73
Current children cumulated vsize (KiB) 10556352
[startup+7.20107 s]
/proc/loadavg: 3.78 2.69 2.13 5/529 21385
/proc/meminfo: memFree=20437176/32951124 swapFree=46575304/67111528
[pid=21361] ppid=21359 vsize=10556352 CPUtime=15.14 cores=1,3,5,7
/proc/21361/stat : 21361 (java) S 21359 21361 17058 0 -1 4202496 89054 0 1 0 1502 12 0 0 25 0 20 0 562871344 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21361/statm: 2639088 78465 2259 9 0 2629822 0
[pid=21361/tid=21362] ppid=21359 vsize=10556352 CPUtime=0.16 cores=1,3,5,7
/proc/21361/task/21362/stat : 21362 (java) S 21359 21361 17058 0 -1 4202560 11740 0 1 0 14 2 0 0 15 0 20 0 562871345 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21364] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21364/stat : 21364 (java) S 21359 21361 17058 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 20 0 562871347 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21365] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21365/stat : 21365 (java) S 21359 21361 17058 0 -1 4202560 219 0 0 0 0 0 0 0 15 0 20 0 562871347 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21366] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21366/stat : 21366 (java) S 21359 21361 17058 0 -1 4202560 143 0 0 0 0 0 0 0 15 0 20 0 562871347 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21367] ppid=21359 vsize=10556352 CPUtime=0.01 cores=1,3,5,7
/proc/21361/task/21367/stat : 21367 (java) S 21359 21361 17058 0 -1 4202560 52 0 0 0 1 0 0 0 15 0 20 0 562871347 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21368] ppid=21359 vsize=10556352 CPUtime=0.01 cores=1,3,5,7
/proc/21361/task/21368/stat : 21368 (java) S 21359 21361 17058 0 -1 4202560 362 0 0 0 1 0 0 0 15 0 20 0 562871347 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21369] ppid=21359 vsize=10556352 CPUtime=0.01 cores=1,3,5,7
/proc/21361/task/21369/stat : 21369 (java) S 21359 21361 17058 0 -1 4202560 171 0 0 0 1 0 0 0 15 0 20 0 562871347 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21371] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21371/stat : 21371 (java) S 21359 21361 17058 0 -1 4202560 185 0 0 0 0 0 0 0 15 0 20 0 562871347 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21372] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21372/stat : 21372 (java) S 21359 21361 17058 0 -1 4202560 169 0 0 0 0 0 0 0 15 0 20 0 562871347 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 3 0 0 0
[pid=21361/tid=21373] ppid=21359 vsize=10556352 CPUtime=0.41 cores=1,3,5,7
/proc/21361/task/21373/stat : 21373 (java) S 21359 21361 17058 0 -1 4202560 4386 0 0 0 41 0 0 0 16 0 20 0 562871348 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 0 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21375] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21375/stat : 21375 (java) S 21359 21361 17058 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 20 0 562871348 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21376] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21376/stat : 21376 (java) S 21359 21361 17058 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 20 0 562871348 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21377] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21377/stat : 21377 (java) S 21359 21361 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 562871350 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672485809 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21378] ppid=21359 vsize=10556352 CPUtime=1.19 cores=1,3,5,7
/proc/21361/task/21378/stat : 21378 (java) S 21359 21361 17058 0 -1 4202560 13752 0 0 0 117 2 0 0 16 0 20 0 562871350 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 1 0 0 0
[pid=21361/tid=21379] ppid=21359 vsize=10556352 CPUtime=0.77 cores=1,3,5,7
/proc/21361/task/21379/stat : 21379 (java) S 21359 21361 17058 0 -1 4202560 5462 0 0 0 77 0 0 0 15 0 20 0 562871350 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
[pid=21361/tid=21380] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21380/stat : 21380 (java) S 21359 21361 17058 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 562871350 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478105 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21381] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21381/stat : 21381 (java) S 21359 21361 17058 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 562871350 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 5 0 0 0
[pid=21361/tid=21383] ppid=21359 vsize=10556352 CPUtime=6.54 cores=1,3,5,7
/proc/21361/task/21383/stat : 21383 (java) R 21359 21361 17058 0 -1 4202560 50753 0 0 0 648 6 0 0 25 0 20 0 562871362 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 46912506148949 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=21361/tid=21384] ppid=21359 vsize=10556352 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21384/stat : 21384 (java) S 21359 21361 17058 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 562871362 10809704448 78465 33554432000 1073741824 1073778376 140736901913152 18446744073709551615 268672478720 0 4 0 16800975 18446604465235561344 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 15.14
Current children cumulated vsize (KiB) 10556352
[startup+7.30111 s]
/proc/loadavg: 3.78 2.69 2.13 5/529 21385
/proc/meminfo: memFree=20437176/32951124 swapFree=46575304/67111528
[pid=21361] ppid=21359 vsize=0 CPUtime=15.23 cores=1,3,5,7
/proc/21361/stat : 21361 (java) Z 21359 21361 17058 0 -1 4203548 89063 0 1 0 1511 12 0 0 18 0 2 0 562871344 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/21361/statm: 0 0 0 0 0 0 0
[pid=21361/tid=21384] ppid=21359 vsize=0 CPUtime=0 cores=1,3,5,7
/proc/21361/task/21384/stat : 21384 (java) R 21359 21361 17058 0 -1 4203588 7 0 0 0 0 0 0 0 18 0 2 0 562871362 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 15.23
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 7.31031
CPU time (s): 15.2487
CPU user time (s): 15.1117
CPU system time (s): 0.136979
CPU usage (%): 208.592
Max. virtual memory (cumulated for all children) (KiB): 10557688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.1117
system time used= 0.136979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 89063
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= 974
involuntary context switches= 449
runsolver used 0.042993 second user time and 0.090986 second system time
The end