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-3453713-1307194127/watcher-3453713-1307194127 -o /tmp/evaluation-result-3453713-1307194127/solver-3453713-1307194127 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453713-1307194127.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.33 3.38 3.54 4/510 1257
/proc/meminfo: memFree=26776428/32951124 swapFree=63649284/67111528
[pid=1257] ppid=1255 vsize=27172 CPUtime=0 cores=0,2,4,6
/proc/1257/stat : 1257 (java) S 1255 1257 28154 0 -1 4202496 1179 0 0 0 0 0 0 0 25 0 2 0 831011254 27824128 906 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216450021 0 0 4096 0 18446744073709551615 0 0 17 4 0 0 0
/proc/1257/statm: 6793 906 688 9 0 381 0
[pid=1257/tid=1258] ppid=1255 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1258/stat : 1258 (java) R 1255 1257 28154 0 -1 4202560 5890 0 1 0 0 0 0 0 25 0 2 0 831011255 10694979584 6706 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210204341307 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.074124 s]
/proc/loadavg: 2.33 3.38 3.54 4/510 1257
/proc/meminfo: memFree=26776428/32951124 swapFree=63649284/67111528
[pid=1257] ppid=1255 vsize=10472952 CPUtime=0.05 cores=0,2,4,6
/proc/1257/stat : 1257 (java) S 1255 1257 28154 0 -1 4202496 11776 0 1 0 4 1 0 0 25 0 18 0 831011254 10724302848 11472 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1257/statm: 2618238 11472 1742 9 0 2608972 0
[pid=1257/tid=1258] ppid=1255 vsize=10472952 CPUtime=0.05 cores=0,2,4,6
/proc/1257/task/1258/stat : 1258 (java) R 1255 1257 28154 0 -1 4202560 10602 0 1 0 4 1 0 0 25 0 18 0 831011255 10724302848 11474 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 47419852539528 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472952
[startup+0.105106 s]
/proc/loadavg: 2.33 3.38 3.54 4/510 1257
/proc/meminfo: memFree=26776428/32951124 swapFree=63649284/67111528
[pid=1257] ppid=1255 vsize=10539812 CPUtime=0.09 cores=0,2,4,6
/proc/1257/stat : 1257 (java) S 1255 1257 28154 0 -1 4202496 12965 0 1 0 8 1 0 0 25 0 18 0 831011254 10792767488 12661 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1257/statm: 2634953 12661 2091 9 0 2625687 0
[pid=1257/tid=1258] ppid=1255 vsize=10539812 CPUtime=0.08 cores=0,2,4,6
/proc/1257/task/1258/stat : 1258 (java) R 1255 1257 28154 0 -1 4202560 11125 0 1 0 7 1 0 0 18 0 18 0 831011255 10792767488 12661 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 47419851710371 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539812
[startup+0.301107 s]
/proc/loadavg: 2.33 3.38 3.54 4/510 1257
/proc/meminfo: memFree=26776428/32951124 swapFree=63649284/67111528
[pid=1257] ppid=1255 vsize=10543924 CPUtime=0.15 cores=0,2,4,6
/proc/1257/stat : 1257 (java) S 1255 1257 28154 0 -1 4202496 13556 0 1 0 14 1 0 0 25 0 19 0 831011254 10796978176 13252 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1257/statm: 2635981 13252 2141 9 0 2626715 0
[pid=1257/tid=1258] ppid=1255 vsize=10543924 CPUtime=0.11 cores=0,2,4,6
/proc/1257/task/1258/stat : 1258 (java) S 1255 1257 28154 0 -1 4202560 11541 0 1 0 10 1 0 0 19 0 19 0 831011255 10796978176 13252 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463872 0 4 0 16800975 18446604449537619968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 10543924
[startup+0.701032 s]
/proc/loadavg: 2.33 3.38 3.54 4/510 1257
/proc/meminfo: memFree=26776428/32951124 swapFree=63649284/67111528
[pid=1257] ppid=1255 vsize=10543924 CPUtime=0.15 cores=0,2,4,6
/proc/1257/stat : 1257 (java) S 1255 1257 28154 0 -1 4202496 13577 0 1 0 14 1 0 0 25 0 20 0 831011254 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1257/statm: 2635981 13273 2141 9 0 2626715 0
[pid=1257/tid=1258] ppid=1255 vsize=10543924 CPUtime=0.11 cores=0,2,4,6
/proc/1257/task/1258/stat : 1258 (java) S 1255 1257 28154 0 -1 4202560 11550 0 1 0 10 1 0 0 16 0 20 0 831011255 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463872 0 4 0 16800975 18446604449537619968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 10543924
Solver just ended. Dumping a history of the last processes samples
[startup+1.11896 s]
/proc/loadavg: 2.33 3.38 3.54 3/530 1282
/proc/meminfo: memFree=26676360/32951124 swapFree=63649284/67111528
[pid=1257] ppid=1255 vsize=10543924 CPUtime=0.15 cores=0,2,4,6
/proc/1257/stat : 1257 (java) S 1255 1257 28154 0 -1 4202496 13577 0 1 0 14 1 0 0 25 0 20 0 831011254 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1257/statm: 2635981 13273 2141 9 0 2626715 0
[pid=1257/tid=1258] ppid=1255 vsize=10543924 CPUtime=0.11 cores=0,2,4,6
/proc/1257/task/1258/stat : 1258 (java) S 1255 1257 28154 0 -1 4202560 11550 0 1 0 10 1 0 0 16 0 20 0 831011255 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463872 0 4 0 16800975 18446604449537619968 0 0 -1 0 0 0 0
[pid=1257/tid=1260] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1260/stat : 1260 (java) S 1255 1257 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831011256 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463257 0 4 0 16800975 18446604449537619968 0 0 -1 6 0 0 0
[pid=1257/tid=1261] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1261/stat : 1261 (java) S 1255 1257 28154 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 831011256 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463257 0 4 0 16800975 18446604449537619968 0 0 -1 6 0 0 0
[pid=1257/tid=1262] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1262/stat : 1262 (java) S 1255 1257 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831011256 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463257 0 4 0 16800975 18446604449537619968 0 0 -1 6 0 0 0
[pid=1257/tid=1263] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1263/stat : 1263 (java) S 1255 1257 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831011256 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463257 0 4 0 16800975 18446604449537619968 0 0 -1 6 0 0 0
[pid=1257/tid=1264] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1264/stat : 1264 (java) S 1255 1257 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831011256 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463257 0 4 0 16800975 18446604449537619968 0 0 -1 6 0 0 0
[pid=1257/tid=1265] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1265/stat : 1265 (java) S 1255 1257 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831011256 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463257 0 4 0 16800975 18446604449537619968 0 0 -1 6 0 0 0
[pid=1257/tid=1266] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1266/stat : 1266 (java) S 1255 1257 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831011256 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463257 0 4 0 16800975 18446604449537619968 0 0 -1 6 0 0 0
[pid=1257/tid=1267] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1267/stat : 1267 (java) S 1255 1257 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831011256 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463257 0 4 0 16800975 18446604449537619968 0 0 -1 6 0 0 0
[pid=1257/tid=1268] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1268/stat : 1268 (java) S 1255 1257 28154 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 831011257 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463872 0 0 0 16800975 18446604449537619968 0 0 -1 4 0 0 0
[pid=1257/tid=1269] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1269/stat : 1269 (java) S 1255 1257 28154 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 831011258 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463257 0 4 0 16800975 18446604449537619968 0 0 -1 4 0 0 0
[pid=1257/tid=1270] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1270/stat : 1270 (java) S 1255 1257 28154 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 831011258 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463257 0 4 0 16800975 18446604449537619968 0 0 -1 4 0 0 0
[pid=1257/tid=1271] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1271/stat : 1271 (java) S 1255 1257 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831011261 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216470961 0 4 0 16800975 18446604449537619968 0 0 -1 4 0 0 0
[pid=1257/tid=1272] ppid=1255 vsize=10543924 CPUtime=0.01 cores=0,2,4,6
/proc/1257/task/1272/stat : 1272 (java) S 1255 1257 28154 0 -1 4202560 185 0 0 0 1 0 0 0 17 0 20 0 831011261 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463257 0 4 0 16800975 18446604449537619968 0 0 -1 0 0 0 0
[pid=1257/tid=1273] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1273/stat : 1273 (java) S 1255 1257 28154 0 -1 4202560 580 0 0 0 0 0 0 0 18 0 20 0 831011261 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463257 0 4 0 16800975 18446604449537619968 0 0 -1 6 0 0 0
[pid=1257/tid=1274] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1274/stat : 1274 (java) S 1255 1257 28154 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831011261 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463257 0 4 0 16800975 18446604449537619968 0 0 -1 4 0 0 0
[pid=1257/tid=1275] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1275/stat : 1275 (java) S 1255 1257 28154 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831011261 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463872 0 4 0 16800975 18446604449537619968 0 0 -1 6 0 0 0
[pid=1257/tid=1278] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1278/stat : 1278 (java) S 1255 1257 28154 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 831011268 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463872 0 4 0 16800975 18446604449537619968 0 0 -1 6 0 0 0
[pid=1257/tid=1282] ppid=1255 vsize=10543924 CPUtime=0 cores=0,2,4,6
/proc/1257/task/1282/stat : 1282 (java) S 1255 1257 28154 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 20 0 831011319 10796978176 13273 33554432000 1073741824 1073778376 140733720953600 18446744073709551615 210216463872 0 4 0 16800975 18446604449537619968 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 10543924
Child status: 30
Real time (s): 1.15197
CPU time (s): 0.173973
CPU user time (s): 0.150977
CPU system time (s): 0.022996
CPU usage (%): 15.1022
Max. virtual memory (cumulated for all children) (KiB): 10543924
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.150977
system time used= 0.022996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13588
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= 167
involuntary context switches= 52
runsolver used 0.013997 second user time and 0.022996 second system time
The end