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-3453878-1307194367/watcher-3453878-1307194367 -o /tmp/evaluation-result-3453878-1307194367/solver-3453878-1307194367 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453878-1307194367.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.72 3.68 3.63 3/526 15269
/proc/meminfo: memFree=29443124/32951124 swapFree=51712236/67111528
[pid=15269] ppid=15267 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15269/stat : 15269 (java) S 15267 15269 9506 0 -1 4202496 5827 0 1 0 0 0 0 0 25 0 2 0 831039316 10694979584 5529 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/15269/statm: 2611079 5541 917 9 0 2602235 0
[pid=15269/tid=15270] ppid=15267 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15270/stat : 15270 (java) R 15267 15269 9506 0 -1 4202560 7335 0 1 0 0 0 0 0 25 0 2 0 831039317 10694979584 8151 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216634209339 0 4 0 16784584 0 0 0 -1 5 0 0 0
[startup+0.032052 s]
/proc/loadavg: 3.72 3.68 3.63 3/526 15269
/proc/meminfo: memFree=29443124/32951124 swapFree=51712236/67111528
[pid=15269] ppid=15267 vsize=10465424 CPUtime=0.02 cores=1,3,5,7
/proc/15269/stat : 15269 (java) S 15267 15269 9506 0 -1 4202496 10954 0 1 0 2 0 0 0 25 0 11 0 831039316 10716594176 10653 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646318053 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/15269/statm: 2616356 10655 1600 9 0 2607104 0
[pid=15269/tid=15270] ppid=15267 vsize=10465424 CPUtime=0.01 cores=1,3,5,7
/proc/15269/task/15270/stat : 15270 (java) R 15267 15269 9506 0 -1 4202560 9831 0 1 0 1 0 0 0 25 0 11 0 831039317 10716594176 10655 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 47421076447207 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.101041 s]
/proc/loadavg: 3.72 3.68 3.63 3/526 15269
/proc/meminfo: memFree=29443124/32951124 swapFree=51712236/67111528
[pid=15269] ppid=15267 vsize=10539824 CPUtime=0.11 cores=1,3,5,7
/proc/15269/stat : 15269 (java) S 15267 15269 9506 0 -1 4202496 13128 0 1 0 10 1 0 0 25 0 18 0 831039316 10792779776 12796 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15269/statm: 2634956 12798 2092 9 0 2625690 0
[pid=15269/tid=15270] ppid=15267 vsize=10539824 CPUtime=0.08 cores=1,3,5,7
/proc/15269/task/15270/stat : 15270 (java) R 15267 15269 9506 0 -1 4202560 11184 0 1 0 8 0 0 0 18 0 18 0 831039317 10792779776 12798 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 47421076447237 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539824
[startup+0.301026 s]
/proc/loadavg: 3.72 3.68 3.63 3/526 15269
/proc/meminfo: memFree=29443124/32951124 swapFree=51712236/67111528
[pid=15269] ppid=15267 vsize=10543936 CPUtime=0.17 cores=1,3,5,7
/proc/15269/stat : 15269 (java) S 15267 15269 9506 0 -1 4202496 13709 0 1 0 16 1 0 0 25 0 19 0 831039316 10796990464 13348 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15269/statm: 2635984 13348 2140 9 0 2626718 0
[pid=15269/tid=15270] ppid=15267 vsize=10543936 CPUtime=0.13 cores=1,3,5,7
/proc/15269/task/15270/stat : 15270 (java) S 15267 15269 9506 0 -1 4202560 11542 0 1 0 12 1 0 0 19 0 19 0 831039317 10796990464 13348 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331904 0 4 0 16800975 18446604467111189376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10543936
[startup+0.700936 s]
/proc/loadavg: 3.72 3.68 3.63 3/526 15269
/proc/meminfo: memFree=29443124/32951124 swapFree=51712236/67111528
[pid=15269] ppid=15267 vsize=10547380 CPUtime=0.27 cores=1,3,5,7
/proc/15269/stat : 15269 (java) S 15267 15269 9506 0 -1 4202496 16491 0 1 0 26 1 0 0 25 0 20 0 831039316 10800517120 15412 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15269/statm: 2636845 15412 2180 9 0 2627579 0
[pid=15269/tid=15270] ppid=15267 vsize=10547380 CPUtime=0.13 cores=1,3,5,7
/proc/15269/task/15270/stat : 15270 (java) S 15267 15269 9506 0 -1 4202560 11544 0 1 0 12 1 0 0 16 0 20 0 831039317 10800517120 15412 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331904 0 4 0 16800975 18446604467111189376 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10547380
Solver just ended. Dumping a history of the last processes samples
[startup+1.11986 s]
/proc/loadavg: 3.72 3.68 3.63 3/546 15294
/proc/meminfo: memFree=29380752/32951124 swapFree=51712236/67111528
[pid=15269] ppid=15267 vsize=10547380 CPUtime=0.27 cores=1,3,5,7
/proc/15269/stat : 15269 (java) S 15267 15269 9506 0 -1 4202496 16495 0 1 0 26 1 0 0 25 0 20 0 831039316 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646318053 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/15269/statm: 2636845 15345 2180 9 0 2627579 0
[pid=15269/tid=15270] ppid=15267 vsize=10547380 CPUtime=0.13 cores=1,3,5,7
/proc/15269/task/15270/stat : 15270 (java) S 15267 15269 9506 0 -1 4202560 11544 0 1 0 12 1 0 0 16 0 20 0 831039317 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331904 0 4 0 16800975 18446604467111189376 0 0 -1 7 0 0 0
[pid=15269/tid=15272] ppid=15267 vsize=10547380 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15272/stat : 15272 (java) S 15267 15269 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831039318 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331289 0 4 0 16800975 18446604467111189376 0 0 -1 7 0 0 0
[pid=15269/tid=15273] ppid=15267 vsize=10547380 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15273/stat : 15273 (java) S 15267 15269 9506 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 831039318 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331289 0 4 0 16800975 18446604467111189376 0 0 -1 7 0 0 0
[pid=15269/tid=15274] ppid=15267 vsize=10547380 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15274/stat : 15274 (java) S 15267 15269 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831039318 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331289 0 4 0 16800975 18446604467111189376 0 0 -1 7 0 0 0
[pid=15269/tid=15275] ppid=15267 vsize=10547380 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15275/stat : 15275 (java) S 15267 15269 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831039318 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331289 0 4 0 16800975 18446604467111189376 0 0 -1 7 0 0 0
[pid=15269/tid=15276] ppid=15267 vsize=10547380 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15276/stat : 15276 (java) S 15267 15269 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831039318 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331289 0 4 0 16800975 18446604467111189376 0 0 -1 7 0 0 0
[pid=15269/tid=15277] ppid=15267 vsize=10547380 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15277/stat : 15277 (java) S 15267 15269 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831039318 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331289 0 4 0 16800975 18446604467111189376 0 0 -1 7 0 0 0
[pid=15269/tid=15278] ppid=15267 vsize=10547380 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15278/stat : 15278 (java) S 15267 15269 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831039318 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331289 0 4 0 16800975 18446604467111189376 0 0 -1 7 0 0 0
[pid=15269/tid=15279] ppid=15267 vsize=10547380 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15279/stat : 15279 (java) S 15267 15269 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831039318 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331289 0 4 0 16800975 18446604467111189376 0 0 -1 7 0 0 0
[pid=15269/tid=15280] ppid=15267 vsize=10547380 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15280/stat : 15280 (java) S 15267 15269 9506 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 831039319 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331904 0 0 0 16800975 18446604467111189376 0 0 -1 5 0 0 0
[pid=15269/tid=15281] ppid=15267 vsize=10547380 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15281/stat : 15281 (java) S 15267 15269 9506 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 831039320 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331289 0 4 0 16800975 18446604467111189376 0 0 -1 5 0 0 0
[pid=15269/tid=15282] ppid=15267 vsize=10547380 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15282/stat : 15282 (java) S 15267 15269 9506 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 831039320 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331289 0 4 0 16800975 18446604467111189376 0 0 -1 5 0 0 0
[pid=15269/tid=15283] ppid=15267 vsize=10547380 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15283/stat : 15283 (java) S 15267 15269 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831039322 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646338993 0 4 0 16800975 18446604467111189376 0 0 -1 5 0 0 0
[pid=15269/tid=15284] ppid=15267 vsize=10547380 CPUtime=0.06 cores=1,3,5,7
/proc/15269/task/15284/stat : 15284 (java) S 15267 15269 9506 0 -1 4202560 1745 0 0 0 6 0 0 0 20 0 20 0 831039322 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331289 0 4 0 16800975 18446604467111189376 0 0 -1 5 0 0 0
[pid=15269/tid=15285] ppid=15267 vsize=10547380 CPUtime=0.03 cores=1,3,5,7
/proc/15269/task/15285/stat : 15285 (java) S 15267 15269 9506 0 -1 4202560 1793 0 0 0 3 0 0 0 16 0 20 0 831039322 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331289 0 4 0 16800975 18446604467111189376 0 0 -1 3 0 0 0
[pid=15269/tid=15286] ppid=15267 vsize=10547380 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15286/stat : 15286 (java) S 15267 15269 9506 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831039322 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331289 0 4 0 16800975 18446604467111189376 0 0 -1 5 0 0 0
[pid=15269/tid=15287] ppid=15267 vsize=10547380 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15287/stat : 15287 (java) S 15267 15269 9506 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 20 0 831039322 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331904 0 4 0 16800975 18446604467111189376 0 0 -1 1 0 0 0
[pid=15269/tid=15290] ppid=15267 vsize=10547380 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15290/stat : 15290 (java) S 15267 15269 9506 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 831039330 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331904 0 4 0 16800975 18446604467111189376 0 0 -1 3 0 0 0
[pid=15269/tid=15294] ppid=15267 vsize=10547380 CPUtime=0 cores=1,3,5,7
/proc/15269/task/15294/stat : 15294 (java) S 15267 15269 9506 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 20 0 831039381 10800517120 15345 33554432000 1073741824 1073778376 140733327730144 18446744073709551615 216646331904 0 4 0 16800975 18446604467111189376 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 10547380
Child status: 30
Real time (s): 1.14994
CPU time (s): 0.292954
CPU user time (s): 0.269958
CPU system time (s): 0.022996
CPU usage (%): 25.4756
Max. virtual memory (cumulated for all children) (KiB): 10547380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.269958
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= 16507
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= 176
involuntary context switches= 19
runsolver used 0.010998 second user time and 0.027995 second system time
The end