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-3455321-1307192865/watcher-3455321-1307192865 -o /tmp/evaluation-result-3455321-1307192865/solver-3455321-1307192865 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455321-1307192865.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: 3.15 3.08 3.33 3/534 28274
/proc/meminfo: memFree=17957520/32951124 swapFree=62999000/67111528
[pid=28274] ppid=28272 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/28274/stat : 28274 (java) S 28272 28274 24981 0 -1 4202496 8065 0 1 0 0 0 0 0 25 0 2 0 811702129 10694979584 7767 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/28274/statm: 2611079 7781 917 9 0 2602235 0
[pid=28274/tid=28275] ppid=28272 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28275/stat : 28275 (java) R 28272 28274 24981 0 -1 4202560 7017 0 1 0 0 0 0 0 25 0 2 0 811702129 10694979584 7832 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0195519 s]
/proc/loadavg: 3.15 3.08 3.33 3/534 28274
/proc/meminfo: memFree=17957520/32951124 swapFree=62999000/67111528
[pid=28274] ppid=28272 vsize=10444316 CPUtime=0.01 cores=0,2,4,6
/proc/28274/stat : 28274 (java) S 28272 28274 24981 0 -1 4202496 8565 0 1 0 0 1 0 0 25 0 2 0 811702129 10694979584 8266 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/28274/statm: 2611079 8282 917 9 0 2602235 0
[pid=28274/tid=28275] ppid=28272 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28275/stat : 28275 (java) R 28272 28274 24981 0 -1 4202560 7477 0 1 0 0 0 0 0 25 0 2 0 811702129 10694979584 8292 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264726099003 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10444316
[startup+0.100574 s]
/proc/loadavg: 3.15 3.08 3.33 3/534 28274
/proc/meminfo: memFree=17957520/32951124 swapFree=62999000/67111528
[pid=28274] ppid=28272 vsize=10539868 CPUtime=0.1 cores=0,2,4,6
/proc/28274/stat : 28274 (java) S 28272 28274 24981 0 -1 4202496 13101 0 1 0 9 1 0 0 25 0 18 0 811702129 10792824832 12769 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28274/statm: 2634967 12771 2092 9 0 2625701 0
[pid=28274/tid=28275] ppid=28272 vsize=10539868 CPUtime=0.08 cores=0,2,4,6
/proc/28274/task/28275/stat : 28275 (java) R 28272 28274 24981 0 -1 4202560 11170 0 1 0 7 1 0 0 18 0 18 0 811702129 10792824832 12772 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 47403326155603 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539868
[startup+0.345496 s]
/proc/loadavg: 3.15 3.08 3.33 3/534 28274
/proc/meminfo: memFree=17957520/32951124 swapFree=62999000/67111528
[pid=28274] ppid=28272 vsize=10547836 CPUtime=0.95 cores=0,2,4,6
/proc/28274/stat : 28274 (java) S 28272 28274 24981 0 -1 4202496 19732 0 1 0 93 2 0 0 25 0 20 0 811702129 10800984064 18471 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28274/statm: 2636959 18471 2220 9 0 2627693 0
[pid=28274/tid=28275] ppid=28272 vsize=10547836 CPUtime=0.19 cores=0,2,4,6
/proc/28274/task/28275/stat : 28275 (java) S 28272 28274 24981 0 -1 4202560 11920 0 1 0 18 1 0 0 19 0 20 0 811702129 10800984064 18471 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738221568 0 4 0 16800975 18446604441055479040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10547836
[startup+0.700482 s]
/proc/loadavg: 3.15 3.08 3.33 3/534 28274
/proc/meminfo: memFree=17957520/32951124 swapFree=62999000/67111528
[pid=28274] ppid=28272 vsize=10547836 CPUtime=0.96 cores=0,2,4,6
/proc/28274/stat : 28274 (java) S 28272 28274 24981 0 -1 4202496 19754 0 1 0 94 2 0 0 25 0 19 0 811702129 10800984064 18493 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28274/statm: 2636959 18493 2221 9 0 2627693 0
[pid=28274/tid=28275] ppid=28272 vsize=10547836 CPUtime=0.19 cores=0,2,4,6
/proc/28274/task/28275/stat : 28275 (java) S 28272 28274 24981 0 -1 4202560 11920 0 1 0 18 1 0 0 19 0 19 0 811702129 10800984064 18493 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738221568 0 4 0 16800975 18446604441055479040 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10547836
[startup+1.5013 s]
/proc/loadavg: 3.15 3.08 3.33 2/553 28299
/proc/meminfo: memFree=17846332/32951124 swapFree=62999000/67111528
[pid=28274] ppid=28272 vsize=10557148 CPUtime=2.37 cores=0,2,4,6
/proc/28274/stat : 28274 (java) S 28272 28274 24981 0 -1 4202496 52488 0 1 0 231 6 0 0 25 0 19 0 811702129 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28274/statm: 2639287 48655 2229 9 0 2630021 0
[pid=28274/tid=28275] ppid=28272 vsize=10557148 CPUtime=0.19 cores=0,2,4,6
/proc/28274/task/28275/stat : 28275 (java) S 28272 28274 24981 0 -1 4202560 11924 0 1 0 18 1 0 0 16 0 19 0 811702129 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738221568 0 4 0 16800975 18446604441055479040 0 0 -1 6 0 0 0
[pid=28274/tid=28277] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28277/stat : 28277 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811702131 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28278] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28278/stat : 28278 (java) S 28272 28274 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811702131 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28279] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28279/stat : 28279 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811702131 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28280] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28280/stat : 28280 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811702131 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28281] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28281/stat : 28281 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811702131 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28282] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28282/stat : 28282 (java) S 28272 28274 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811702131 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 6 0 0 0
[pid=28274/tid=28283] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28283/stat : 28283 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811702131 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28284] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28284/stat : 28284 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811702131 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28285] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28285/stat : 28285 (java) S 28272 28274 24981 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 811702132 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738221568 0 0 0 16800975 18446604441055479040 0 0 -1 6 0 0 0
[pid=28274/tid=28286] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28286/stat : 28286 (java) S 28272 28274 24981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811702132 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28287] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28287/stat : 28287 (java) S 28272 28274 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811702132 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28288] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28288/stat : 28288 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811702134 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738228657 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28289] ppid=28272 vsize=10557148 CPUtime=0.52 cores=0,2,4,6
/proc/28274/task/28289/stat : 28289 (java) S 28272 28274 24981 0 -1 4202560 6186 0 0 0 51 1 0 0 15 0 19 0 811702134 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28290] ppid=28272 vsize=10557148 CPUtime=0.58 cores=0,2,4,6
/proc/28274/task/28290/stat : 28290 (java) S 28272 28274 24981 0 -1 4202560 5477 0 0 0 58 0 0 0 15 0 19 0 811702134 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 4 0 0 0
[pid=28274/tid=28291] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28291/stat : 28291 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811702134 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 6 0 0 0
[pid=28274/tid=28292] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28292/stat : 28292 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811702134 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738221568 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28295] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28295/stat : 28295 (java) S 28272 28274 24981 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 811702150 10810519552 48655 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738221568 0 4 0 16800975 18446604441055479040 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 10557148
Solver just ended. Dumping a history of the last processes samples
[startup+2.30114 s]
/proc/loadavg: 3.15 3.08 3.33 2/553 28305
/proc/meminfo: memFree=17707080/32951124 swapFree=62999000/67111528
[pid=28274] ppid=28272 vsize=10557148 CPUtime=3.07 cores=0,2,4,6
/proc/28274/stat : 28274 (java) S 28272 28274 24981 0 -1 4202496 72531 0 1 0 298 9 0 0 25 0 22 0 811702129 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28274/statm: 2639287 68697 2233 9 0 2630021 0
[pid=28274/tid=28275] ppid=28272 vsize=10557148 CPUtime=0.19 cores=0,2,4,6
/proc/28274/task/28275/stat : 28275 (java) S 28272 28274 24981 0 -1 4202560 11928 0 1 0 18 1 0 0 16 0 22 0 811702129 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738221568 0 4 0 16800975 18446604441055479040 0 0 -1 6 0 0 0
[pid=28274/tid=28277] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28277/stat : 28277 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811702131 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28278] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28278/stat : 28278 (java) S 28272 28274 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811702131 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28279] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28279/stat : 28279 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811702131 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28280] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28280/stat : 28280 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811702131 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28281] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28281/stat : 28281 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811702131 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28282] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28282/stat : 28282 (java) S 28272 28274 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 22 0 811702131 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 6 0 0 0
[pid=28274/tid=28283] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28283/stat : 28283 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811702131 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28284] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28284/stat : 28284 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811702131 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28285] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28285/stat : 28285 (java) S 28272 28274 24981 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 22 0 811702132 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738221568 0 0 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28286] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28286/stat : 28286 (java) S 28272 28274 24981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 22 0 811702132 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28287] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28287/stat : 28287 (java) S 28272 28274 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 22 0 811702132 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28288] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28288/stat : 28288 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811702134 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738228657 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28289] ppid=28272 vsize=10557148 CPUtime=0.57 cores=0,2,4,6
/proc/28274/task/28289/stat : 28289 (java) S 28272 28274 24981 0 -1 4202560 6190 0 0 0 56 1 0 0 15 0 22 0 811702134 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28290] ppid=28272 vsize=10557148 CPUtime=0.65 cores=0,2,4,6
/proc/28274/task/28290/stat : 28290 (java) S 28272 28274 24981 0 -1 4202560 5489 0 0 0 65 0 0 0 15 0 22 0 811702134 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 4 0 0 0
[pid=28274/tid=28291] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28291/stat : 28291 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 22 0 811702134 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 6 0 0 0
[pid=28274/tid=28292] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28292/stat : 28292 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 22 0 811702134 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738221568 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28295] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28295/stat : 28295 (java) S 28272 28274 24981 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 22 0 811702150 10810519552 68697 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738221568 0 4 0 16800975 18446604441055479040 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10557148
[startup+2.7011 s]
/proc/loadavg: 3.15 3.08 3.33 2/553 28305
/proc/meminfo: memFree=17707080/32951124 swapFree=62999000/67111528
[pid=28274] ppid=28272 vsize=10557148 CPUtime=3.35 cores=0,2,4,6
/proc/28274/stat : 28274 (java) S 28272 28274 24981 0 -1 4202496 83643 0 1 0 325 10 0 0 25 0 19 0 811702129 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/28274/statm: 2639287 79809 2234 9 0 2630021 0
[pid=28274/tid=28275] ppid=28272 vsize=10557148 CPUtime=0.19 cores=0,2,4,6
/proc/28274/task/28275/stat : 28275 (java) S 28272 28274 24981 0 -1 4202560 11928 0 1 0 18 1 0 0 16 0 19 0 811702129 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738221568 0 4 0 16800975 18446604441055479040 0 0 -1 6 0 0 0
[pid=28274/tid=28277] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28277/stat : 28277 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811702131 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28278] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28278/stat : 28278 (java) S 28272 28274 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811702131 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28279] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28279/stat : 28279 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811702131 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28280] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28280/stat : 28280 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811702131 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28281] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28281/stat : 28281 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811702131 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28282] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28282/stat : 28282 (java) S 28272 28274 24981 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 19 0 811702131 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 6 0 0 0
[pid=28274/tid=28283] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28283/stat : 28283 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811702131 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28284] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28284/stat : 28284 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811702131 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28285] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28285/stat : 28285 (java) S 28272 28274 24981 0 -1 4202560 4 0 0 0 0 0 0 0 18 0 19 0 811702132 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738221568 0 0 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28286] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28286/stat : 28286 (java) S 28272 28274 24981 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 811702132 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28287] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28287/stat : 28287 (java) S 28272 28274 24981 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 811702132 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28288] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28288/stat : 28288 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811702134 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738228657 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28289] ppid=28272 vsize=10557148 CPUtime=0.59 cores=0,2,4,6
/proc/28274/task/28289/stat : 28289 (java) S 28272 28274 24981 0 -1 4202560 6193 0 0 0 58 1 0 0 16 0 19 0 811702134 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 0 0 0 0
[pid=28274/tid=28290] ppid=28272 vsize=10557148 CPUtime=0.66 cores=0,2,4,6
/proc/28274/task/28290/stat : 28290 (java) S 28272 28274 24981 0 -1 4202560 5490 0 0 0 66 0 0 0 15 0 19 0 811702134 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 4 0 0 0
[pid=28274/tid=28291] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28291/stat : 28291 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 811702134 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738220953 0 4 0 16800975 18446604441055479040 0 0 -1 6 0 0 0
[pid=28274/tid=28292] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28292/stat : 28292 (java) S 28272 28274 24981 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811702134 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738221568 0 4 0 16800975 18446604441055479040 0 0 -1 2 0 0 0
[pid=28274/tid=28295] ppid=28272 vsize=10557148 CPUtime=0 cores=0,2,4,6
/proc/28274/task/28295/stat : 28295 (java) S 28272 28274 24981 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 811702150 10810519552 79809 33554432000 1073741824 1073778376 140733611097648 18446744073709551615 264738221568 0 4 0 16800975 18446604441055479040 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.35
Current children cumulated vsize (KiB) 10557148
Child status: 30
Real time (s): 2.76497
CPU time (s): 3.40948
CPU user time (s): 3.2855
CPU system time (s): 0.123981
CPU usage (%): 123.31
Max. virtual memory (cumulated for all children) (KiB): 10557148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.2855
system time used= 0.123981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83662
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= 374
involuntary context switches= 100
runsolver used 0.011998 second user time and 0.046992 second system time
The end