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-3455200-1307191008/watcher-3455200-1307191008 -o /tmp/evaluation-result-3455200-1307191008/solver-3455200-1307191008 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3455200-1307191008.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: 4.00 3.99 3.75 4/485 17133
/proc/meminfo: memFree=26406224/32950928 swapFree=45617076/67111528
[pid=17133] ppid=17131 vsize=35820 CPUtime=0 cores=1,3,5,7
/proc/17133/stat : 17133 (java) S 17131 17133 13462 0 -1 4202496 1356 0 1 0 0 0 0 0 25 0 2 0 830700655 36679680 1059 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/17133/statm: 8955 1064 827 9 0 386 0
[pid=17133/tid=17134] ppid=17131 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17134/stat : 17134 (java) R 17131 17133 13462 0 -1 4202560 4083 0 1 0 0 0 0 0 25 0 2 0 830700656 10694979584 4899 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.0269269 s]
/proc/loadavg: 4.00 3.99 3.75 4/485 17133
/proc/meminfo: memFree=26406224/32950928 swapFree=45617076/67111528
[pid=17133] ppid=17131 vsize=10453028 CPUtime=0.01 cores=1,3,5,7
/proc/17133/stat : 17133 (java) S 17131 17133 13462 0 -1 4202496 10089 0 1 0 1 0 0 0 25 0 10 0 830700655 10703900672 9791 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/17133/statm: 2613257 9807 1051 9 0 2604413 0
[pid=17133/tid=17134] ppid=17131 vsize=10453028 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17134/stat : 17134 (java) R 17131 17133 13462 0 -1 4202560 8985 0 1 0 0 0 0 0 25 0 10 0 830700656 10703900672 9809 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248089694213 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028
[startup+0.10097 s]
/proc/loadavg: 4.00 3.99 3.75 4/485 17133
/proc/meminfo: memFree=26406224/32950928 swapFree=45617076/67111528
[pid=17133] ppid=17131 vsize=10539548 CPUtime=0.1 cores=1,3,5,7
/proc/17133/stat : 17133 (java) S 17131 17133 13462 0 -1 4202496 13047 0 1 0 9 1 0 0 25 0 18 0 830700655 10792497152 12704 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17133/statm: 2634887 12705 2093 9 0 2625621 0
[pid=17133/tid=17134] ppid=17131 vsize=10539548 CPUtime=0.08 cores=1,3,5,7
/proc/17133/task/17134/stat : 17134 (java) R 17131 17133 13462 0 -1 4202560 11085 0 1 0 7 1 0 0 25 0 18 0 830700656 10792497152 12706 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 47499930207768 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) 10539548
[startup+0.300938 s]
/proc/loadavg: 4.00 3.99 3.75 4/485 17133
/proc/meminfo: memFree=26406224/32950928 swapFree=45617076/67111528
[pid=17133] ppid=17131 vsize=10543972 CPUtime=0.58 cores=1,3,5,7
/proc/17133/stat : 17133 (java) S 17131 17133 13462 0 -1 4202496 19755 0 1 0 57 1 0 0 25 0 18 0 830700655 10797027328 17888 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17133/statm: 2635993 17890 2201 9 0 2626727 0
[pid=17133/tid=17134] ppid=17131 vsize=10543972 CPUtime=0.28 cores=1,3,5,7
/proc/17133/task/17134/stat : 17134 (java) R 17131 17133 13462 0 -1 4202560 14553 0 1 0 27 1 0 0 25 0 18 0 830700656 10797027328 17890 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 46912505366267 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 10543972
[startup+0.700873 s]
/proc/loadavg: 4.00 3.99 3.75 4/485 17133
/proc/meminfo: memFree=26406224/32950928 swapFree=45617076/67111528
[pid=17133] ppid=17131 vsize=10549096 CPUtime=1.37 cores=1,3,5,7
/proc/17133/stat : 17133 (java) S 17131 17133 13462 0 -1 4202496 51705 0 1 0 131 6 0 0 25 0 18 0 830700655 10802274304 46776 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17133/statm: 2637274 46779 2212 9 0 2628008 0
[pid=17133/tid=17134] ppid=17131 vsize=10549096 CPUtime=0.68 cores=1,3,5,7
/proc/17133/task/17134/stat : 17134 (java) R 17131 17133 13462 0 -1 4202560 39732 0 1 0 63 5 0 0 25 0 18 0 830700656 10802274304 46780 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 46912505618170 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 10549096
Solver just ended. Dumping a history of the last processes samples
[startup+1.11773 s]
/proc/loadavg: 4.00 3.99 3.75 3/503 17154
/proc/meminfo: memFree=26184748/32950928 swapFree=45617076/67111528
[pid=17133] ppid=17131 vsize=10551152 CPUtime=1.71 cores=1,3,5,7
/proc/17133/stat : 17133 (java) S 17131 17133 13462 0 -1 4202496 62248 0 1 0 164 7 0 0 25 0 18 0 830700655 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17133/statm: 2637788 57318 2226 9 0 2628522 0
[pid=17133/tid=17134] ppid=17131 vsize=10551152 CPUtime=0.79 cores=1,3,5,7
/proc/17133/task/17134/stat : 17134 (java) S 17131 17133 13462 0 -1 4202560 49364 0 1 0 73 6 0 0 25 0 18 0 830700656 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514752 0 4 0 16800975 18446604466347780992 0 0 -1 1 0 0 0
[pid=17133/tid=17136] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17136/stat : 17136 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700657 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17137] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17137/stat : 17137 (java) S 17131 17133 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830700657 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17138] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17138/stat : 17138 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700657 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17139] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17139/stat : 17139 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700657 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17140] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17140/stat : 17140 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700657 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17141] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17141/stat : 17141 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700657 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17142] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17142/stat : 17142 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700657 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17144] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17144/stat : 17144 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700657 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17145] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17145/stat : 17145 (java) S 17131 17133 13462 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830700658 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514752 0 0 0 16800975 18446604466347780992 0 0 -1 5 0 0 0
[pid=17133/tid=17146] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17146/stat : 17146 (java) S 17131 17133 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830700659 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 5 0 0 0
[pid=17133/tid=17147] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17147/stat : 17147 (java) S 17131 17133 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830700659 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17148] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17148/stat : 17148 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700661 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101521841 0 4 0 16800975 18446604466347780992 0 0 -1 5 0 0 0
[pid=17133/tid=17149] ppid=17131 vsize=10551152 CPUtime=0.4 cores=1,3,5,7
/proc/17133/task/17149/stat : 17149 (java) S 17131 17133 13462 0 -1 4202560 4127 0 0 0 40 0 0 0 22 0 18 0 830700661 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 3 0 0 0
[pid=17133/tid=17150] ppid=17131 vsize=10551152 CPUtime=0.37 cores=1,3,5,7
/proc/17133/task/17150/stat : 17150 (java) S 17131 17133 13462 0 -1 4202560 6727 0 0 0 37 0 0 0 22 0 18 0 830700661 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 1 0 0 0
[pid=17133/tid=17151] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17151/stat : 17151 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700661 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 5 0 0 0
[pid=17133/tid=17152] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17152/stat : 17152 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830700661 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514752 0 4 0 16800975 18446604466347780992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 10551152
[startup+1.3007 s]
/proc/loadavg: 4.00 3.99 3.75 3/503 17154
/proc/meminfo: memFree=26184748/32950928 swapFree=45617076/67111528
[pid=17133] ppid=17131 vsize=10551152 CPUtime=1.71 cores=1,3,5,7
/proc/17133/stat : 17133 (java) S 17131 17133 13462 0 -1 4202496 62248 0 1 0 164 7 0 0 25 0 18 0 830700655 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/17133/statm: 2637788 57318 2226 9 0 2628522 0
[pid=17133/tid=17134] ppid=17131 vsize=10551152 CPUtime=0.79 cores=1,3,5,7
/proc/17133/task/17134/stat : 17134 (java) S 17131 17133 13462 0 -1 4202560 49364 0 1 0 73 6 0 0 25 0 18 0 830700656 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514752 0 4 0 16800975 18446604466347780992 0 0 -1 1 0 0 0
[pid=17133/tid=17136] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17136/stat : 17136 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700657 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17137] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17137/stat : 17137 (java) S 17131 17133 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 18 0 830700657 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17138] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17138/stat : 17138 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700657 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17139] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17139/stat : 17139 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700657 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17140] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17140/stat : 17140 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700657 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17141] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17141/stat : 17141 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700657 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17142] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17142/stat : 17142 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700657 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17144] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17144/stat : 17144 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700657 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17145] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17145/stat : 17145 (java) S 17131 17133 13462 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 18 0 830700658 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514752 0 0 0 16800975 18446604466347780992 0 0 -1 5 0 0 0
[pid=17133/tid=17146] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17146/stat : 17146 (java) S 17131 17133 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 18 0 830700659 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 5 0 0 0
[pid=17133/tid=17147] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17147/stat : 17147 (java) S 17131 17133 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 18 0 830700659 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 7 0 0 0
[pid=17133/tid=17148] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17148/stat : 17148 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700661 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101521841 0 4 0 16800975 18446604466347780992 0 0 -1 5 0 0 0
[pid=17133/tid=17149] ppid=17131 vsize=10551152 CPUtime=0.4 cores=1,3,5,7
/proc/17133/task/17149/stat : 17149 (java) S 17131 17133 13462 0 -1 4202560 4127 0 0 0 40 0 0 0 22 0 18 0 830700661 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 3 0 0 0
[pid=17133/tid=17150] ppid=17131 vsize=10551152 CPUtime=0.37 cores=1,3,5,7
/proc/17133/task/17150/stat : 17150 (java) S 17131 17133 13462 0 -1 4202560 6727 0 0 0 37 0 0 0 22 0 18 0 830700661 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 1 0 0 0
[pid=17133/tid=17151] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17151/stat : 17151 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 18 0 830700661 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514137 0 4 0 16800975 18446604466347780992 0 0 -1 5 0 0 0
[pid=17133/tid=17152] ppid=17131 vsize=10551152 CPUtime=0 cores=1,3,5,7
/proc/17133/task/17152/stat : 17152 (java) S 17131 17133 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 18 0 830700661 10804379648 57318 33554432000 1073741824 1073778376 140737024514416 18446744073709551615 248101514752 0 4 0 16800975 18446604466347780992 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.71
Current children cumulated vsize (KiB) 10551152
Child status: 20
Real time (s): 1.33026
CPU time (s): 1.73473
CPU user time (s): 1.64675
CPU system time (s): 0.087986
CPU usage (%): 130.406
Max. virtual memory (cumulated for all children) (KiB): 10551152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.64675
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62265
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= 256
involuntary context switches= 29
runsolver used 0.011998 second user time and 0.022996 second system time
The end