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-3453753-1307194176/watcher-3453753-1307194176 -o /tmp/evaluation-result-3453753-1307194176/solver-3453753-1307194176 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453753-1307194176.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.48 3.46 3.52 3/463 18198
/proc/meminfo: memFree=30011664/32950928 swapFree=45617076/67111528
[pid=18196] ppid=18193 vsize=35820 CPUtime=0 cores=0,2,4,6
/proc/18196/stat : 18196 (java) S 18193 18196 13462 0 -1 4202496 1361 0 1 0 0 0 0 0 25 0 2 0 831017352 36679680 1065 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101500901 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/18196/statm: 8955 1065 828 9 0 386 0
[pid=18196/tid=18199] ppid=18193 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18199/stat : 18199 (java) R 18193 18196 13462 0 -1 4202560 4000 0 1 0 0 0 0 0 25 0 2 0 831017352 10694979584 4815 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248089392187 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0962 s]
/proc/loadavg: 2.48 3.46 3.52 3/463 18198
/proc/meminfo: memFree=30011664/32950928 swapFree=45617076/67111528
[pid=18196] ppid=18193 vsize=10540260 CPUtime=0.09 cores=0,2,4,6
/proc/18196/stat : 18196 (java) S 18193 18196 13462 0 -1 4202496 12920 0 1 0 8 1 0 0 25 0 18 0 831017352 10793226240 12618 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18196/statm: 2635065 12618 2083 9 0 2625799 0
[pid=18196/tid=18199] ppid=18193 vsize=10540260 CPUtime=0.07 cores=0,2,4,6
/proc/18196/task/18199/stat : 18199 (java) R 18193 18196 13462 0 -1 4202560 11011 0 1 0 6 1 0 0 25 0 18 0 831017352 10793226240 12618 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101524939 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) 10540260
[startup+0.100859 s]
/proc/loadavg: 2.48 3.46 3.52 3/463 18198
/proc/meminfo: memFree=30011664/32950928 swapFree=45617076/67111528
[pid=18196] ppid=18193 vsize=10540260 CPUtime=0.09 cores=0,2,4,6
/proc/18196/stat : 18196 (java) S 18193 18196 13462 0 -1 4202496 12977 0 1 0 8 1 0 0 25 0 18 0 831017352 10793226240 12675 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18196/statm: 2635065 12675 2092 9 0 2625799 0
[pid=18196/tid=18199] ppid=18193 vsize=10540260 CPUtime=0.07 cores=0,2,4,6
/proc/18196/task/18199/stat : 18199 (java) R 18193 18196 13462 0 -1 4202560 11060 0 1 0 6 1 0 0 25 0 18 0 831017352 10793226240 12676 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101524939 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) 10540260
[startup+0.300824 s]
/proc/loadavg: 2.48 3.46 3.52 3/463 18198
/proc/meminfo: memFree=30011664/32950928 swapFree=45617076/67111528
[pid=18196] ppid=18193 vsize=10544372 CPUtime=0.23 cores=0,2,4,6
/proc/18196/stat : 18196 (java) S 18193 18196 13462 0 -1 4202496 14403 0 1 0 21 2 0 0 25 0 19 0 831017352 10797436928 13867 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18196/statm: 2636093 13867 2168 9 0 2626827 0
[pid=18196/tid=18199] ppid=18193 vsize=10544372 CPUtime=0.12 cores=0,2,4,6
/proc/18196/task/18199/stat : 18199 (java) S 18193 18196 13462 0 -1 4202560 11536 0 1 0 11 1 0 0 25 0 19 0 831017352 10797436928 13867 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514752 0 4 0 16800975 18446604452459911104 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 10544372
[startup+0.700757 s]
/proc/loadavg: 2.48 3.46 3.52 3/463 18198
/proc/meminfo: memFree=30011664/32950928 swapFree=45617076/67111528
[pid=18196] ppid=18193 vsize=10545396 CPUtime=0.36 cores=0,2,4,6
/proc/18196/stat : 18196 (java) S 18193 18196 13462 0 -1 4202496 16039 0 1 0 34 2 0 0 25 0 21 0 831017352 10798485504 14876 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18196/statm: 2636349 14876 2184 9 0 2627083 0
[pid=18196/tid=18199] ppid=18193 vsize=10545396 CPUtime=0.12 cores=0,2,4,6
/proc/18196/task/18199/stat : 18199 (java) S 18193 18196 13462 0 -1 4202560 11539 0 1 0 11 1 0 0 21 0 21 0 831017352 10798485504 14876 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514752 0 4 0 16800975 18446604452459911104 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 10545396
Solver just ended. Dumping a history of the last processes samples
[startup+1.11871 s]
/proc/loadavg: 2.48 3.46 3.52 6/505 18245
/proc/meminfo: memFree=29749648/32950928 swapFree=45617076/67111528
[pid=18196] ppid=18193 vsize=10545396 CPUtime=0.42 cores=0,2,4,6
/proc/18196/stat : 18196 (java) S 18193 18196 13462 0 -1 4202496 16514 0 1 0 40 2 0 0 25 0 20 0 831017352 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101500901 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/18196/statm: 2636349 15350 2190 9 0 2627083 0
[pid=18196/tid=18199] ppid=18193 vsize=10545396 CPUtime=0.12 cores=0,2,4,6
/proc/18196/task/18199/stat : 18199 (java) S 18193 18196 13462 0 -1 4202560 11539 0 1 0 11 1 0 0 21 0 20 0 831017352 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514752 0 4 0 16800975 18446604452459911104 0 0 -1 4 0 0 0
[pid=18196/tid=18204] ppid=18193 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18204/stat : 18204 (java) S 18193 18196 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017354 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514137 0 4 0 16800975 18446604452459911104 0 0 -1 6 0 0 0
[pid=18196/tid=18206] ppid=18193 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18206/stat : 18206 (java) S 18193 18196 13462 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 831017354 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514137 0 4 0 16800975 18446604452459911104 0 0 -1 6 0 0 0
[pid=18196/tid=18208] ppid=18193 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18208/stat : 18208 (java) S 18193 18196 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017354 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514137 0 4 0 16800975 18446604452459911104 0 0 -1 6 0 0 0
[pid=18196/tid=18210] ppid=18193 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18210/stat : 18210 (java) S 18193 18196 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017354 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514137 0 4 0 16800975 18446604452459911104 0 0 -1 6 0 0 0
[pid=18196/tid=18211] ppid=18193 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18211/stat : 18211 (java) S 18193 18196 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017354 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514137 0 4 0 16800975 18446604452459911104 0 0 -1 6 0 0 0
[pid=18196/tid=18213] ppid=18193 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18213/stat : 18213 (java) S 18193 18196 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017354 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514137 0 4 0 16800975 18446604452459911104 0 0 -1 6 0 0 0
[pid=18196/tid=18215] ppid=18193 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18215/stat : 18215 (java) S 18193 18196 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017354 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514137 0 4 0 16800975 18446604452459911104 0 0 -1 6 0 0 0
[pid=18196/tid=18217] ppid=18193 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18217/stat : 18217 (java) S 18193 18196 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017354 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514137 0 4 0 16800975 18446604452459911104 0 0 -1 6 0 0 0
[pid=18196/tid=18219] ppid=18193 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18219/stat : 18219 (java) S 18193 18196 13462 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 831017355 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514752 0 0 0 16800975 18446604452459911104 0 0 -1 2 0 0 0
[pid=18196/tid=18222] ppid=18193 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18222/stat : 18222 (java) S 18193 18196 13462 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 831017356 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514137 0 4 0 16800975 18446604452459911104 0 0 -1 2 0 0 0
[pid=18196/tid=18224] ppid=18193 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18224/stat : 18224 (java) S 18193 18196 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 831017356 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514137 0 4 0 16800975 18446604452459911104 0 0 -1 6 0 0 0
[pid=18196/tid=18225] ppid=18193 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18225/stat : 18225 (java) S 18193 18196 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017358 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101521841 0 4 0 16800975 18446604452459911104 0 0 -1 2 0 0 0
[pid=18196/tid=18226] ppid=18193 vsize=10545396 CPUtime=0.08 cores=0,2,4,6
/proc/18196/task/18226/stat : 18226 (java) S 18193 18196 13462 0 -1 4202560 840 0 0 0 8 0 0 0 20 0 20 0 831017358 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514137 0 4 0 16800975 18446604452459911104 0 0 -1 2 0 0 0
[pid=18196/tid=18229] ppid=18193 vsize=10545396 CPUtime=0.1 cores=0,2,4,6
/proc/18196/task/18229/stat : 18229 (java) S 18193 18196 13462 0 -1 4202560 2278 0 0 0 10 0 0 0 20 0 20 0 831017358 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514137 0 4 0 16800975 18446604452459911104 0 0 -1 6 0 0 0
[pid=18196/tid=18230] ppid=18193 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18230/stat : 18230 (java) S 18193 18196 13462 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831017358 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514137 0 4 0 16800975 18446604452459911104 0 0 -1 2 0 0 0
[pid=18196/tid=18233] ppid=18193 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18233/stat : 18233 (java) S 18193 18196 13462 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831017358 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514752 0 4 0 16800975 18446604452459911104 0 0 -1 6 0 0 0
[pid=18196/tid=18237] ppid=18193 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18237/stat : 18237 (java) S 18193 18196 13462 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 831017367 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514752 0 4 0 16800975 18446604452459911104 0 0 -1 4 0 0 0
[pid=18196/tid=18245] ppid=18193 vsize=10545396 CPUtime=0 cores=0,2,4,6
/proc/18196/task/18245/stat : 18245 (java) S 18193 18196 13462 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 20 0 831017417 10798485504 15350 33554432000 1073741824 1073778376 140737166066064 18446744073709551615 248101514752 0 4 0 16800975 18446604452459911104 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 10545396
Child status: 30
Real time (s): 1.16312
CPU time (s): 0.433933
CPU user time (s): 0.408937
CPU system time (s): 0.024996
CPU usage (%): 37.3076
Max. virtual memory (cumulated for all children) (KiB): 10545396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.408937
system time used= 0.024996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16533
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= 395
involuntary context switches= 85
runsolver used 0.010998 second user time and 0.026995 second system time
The end