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-3453852-1307194314/watcher-3453852-1307194314 -o /tmp/evaluation-result-3453852-1307194314/solver-3453852-1307194314 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453852-1307194314.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.25 3.77 3.67 4/394 23132
/proc/meminfo: memFree=21892656/32951124 swapFree=37148216/67111528
[pid=23132] ppid=23130 vsize=33696 CPUtime=0 cores=0,2,4,6
/proc/23132/stat : 23132 (java) S 23130 23132 19222 0 -1 4202496 1290 0 0 0 0 0 0 0 25 0 2 0 831031885 34504704 1000 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/23132/statm: 8960 1006 775 9 0 386 0
[pid=23132/tid=23133] ppid=23130 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23133/stat : 23133 (java) R 23130 23132 19222 0 -1 4202560 1238 0 1 0 0 0 0 0 25 0 2 0 831031886 10681323520 2053 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 2 0 0 0
[startup+0.0236469 s]
/proc/loadavg: 3.25 3.77 3.67 4/394 23132
/proc/meminfo: memFree=21892656/32951124 swapFree=37148216/67111528
[pid=23132] ppid=23130 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/23132/stat : 23132 (java) S 23130 23132 19222 0 -1 4202496 8896 0 1 0 0 0 0 0 25 0 2 0 831031885 10694979584 8599 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820968421 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/23132/statm: 2611079 8615 917 9 0 2602235 0
[pid=23132/tid=23133] ppid=23130 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23133/stat : 23133 (java) R 23130 23132 19222 0 -1 4202560 7811 0 1 0 0 0 0 0 25 0 2 0 831031886 10694979584 8626 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230808859707 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316
[startup+0.100682 s]
/proc/loadavg: 3.25 3.77 3.67 4/394 23132
/proc/meminfo: memFree=21892656/32951124 swapFree=37148216/67111528
[pid=23132] ppid=23130 vsize=10539704 CPUtime=0.1 cores=0,2,4,6
/proc/23132/stat : 23132 (java) S 23130 23132 19222 0 -1 4202496 13038 0 1 0 9 1 0 0 25 0 18 0 831031885 10792656896 12713 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23132/statm: 2634926 12713 2092 9 0 2625660 0
[pid=23132/tid=23133] ppid=23130 vsize=10539704 CPUtime=0.07 cores=0,2,4,6
/proc/23132/task/23133/stat : 23133 (java) R 23130 23132 19222 0 -1 4202560 11099 0 1 0 7 0 0 0 18 0 18 0 831031886 10792656896 12713 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 47527139100184 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) 10539704
[startup+0.300668 s]
/proc/loadavg: 3.25 3.77 3.67 4/394 23132
/proc/meminfo: memFree=21892656/32951124 swapFree=37148216/67111528
[pid=23132] ppid=23130 vsize=10543956 CPUtime=0.16 cores=0,2,4,6
/proc/23132/stat : 23132 (java) S 23130 23132 19222 0 -1 4202496 13630 0 1 0 15 1 0 0 25 0 19 0 831031885 10797010944 13285 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23132/statm: 2635989 13285 2140 9 0 2626723 0
[pid=23132/tid=23133] ppid=23130 vsize=10543956 CPUtime=0.12 cores=0,2,4,6
/proc/23132/task/23133/stat : 23133 (java) S 23130 23132 19222 0 -1 4202560 11487 0 1 0 11 1 0 0 19 0 19 0 831031886 10797010944 13285 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820982272 0 4 0 16800975 18446604449110500672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 10543956
[startup+0.70061 s]
/proc/loadavg: 3.25 3.77 3.67 4/394 23132
/proc/meminfo: memFree=21892656/32951124 swapFree=37148216/67111528
[pid=23132] ppid=23130 vsize=10543956 CPUtime=0.17 cores=0,2,4,6
/proc/23132/stat : 23132 (java) S 23130 23132 19222 0 -1 4202496 13682 0 1 0 16 1 0 0 25 0 20 0 831031885 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23132/statm: 2635989 13337 2140 9 0 2626723 0
[pid=23132/tid=23133] ppid=23130 vsize=10543956 CPUtime=0.12 cores=0,2,4,6
/proc/23132/task/23133/stat : 23133 (java) S 23130 23132 19222 0 -1 4202560 11489 0 1 0 11 1 0 0 16 0 20 0 831031886 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820982272 0 4 0 16800975 18446604449110500672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10543956
Solver just ended. Dumping a history of the last processes samples
[startup+1.11452 s]
/proc/loadavg: 3.25 3.77 3.67 3/414 23157
/proc/meminfo: memFree=21846996/32951124 swapFree=37148216/67111528
[pid=23132] ppid=23130 vsize=10543956 CPUtime=0.17 cores=0,2,4,6
/proc/23132/stat : 23132 (java) S 23130 23132 19222 0 -1 4202496 13682 0 1 0 16 1 0 0 25 0 20 0 831031885 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820968421 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/23132/statm: 2635989 13337 2140 9 0 2626723 0
[pid=23132/tid=23133] ppid=23130 vsize=10543956 CPUtime=0.12 cores=0,2,4,6
/proc/23132/task/23133/stat : 23133 (java) S 23130 23132 19222 0 -1 4202560 11489 0 1 0 11 1 0 0 16 0 20 0 831031886 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820982272 0 4 0 16800975 18446604449110500672 0 0 -1 6 0 0 0
[pid=23132/tid=23135] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23135/stat : 23135 (java) S 23130 23132 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831031888 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820981657 0 4 0 16800975 18446604449110500672 0 0 -1 6 0 0 0
[pid=23132/tid=23136] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23136/stat : 23136 (java) S 23130 23132 19222 0 -1 4202560 2 0 0 0 0 0 0 0 25 0 20 0 831031888 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820981657 0 4 0 16800975 18446604449110500672 0 0 -1 6 0 0 0
[pid=23132/tid=23137] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23137/stat : 23137 (java) S 23130 23132 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831031888 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820981657 0 4 0 16800975 18446604449110500672 0 0 -1 6 0 0 0
[pid=23132/tid=23138] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23138/stat : 23138 (java) S 23130 23132 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831031888 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820981657 0 4 0 16800975 18446604449110500672 0 0 -1 6 0 0 0
[pid=23132/tid=23139] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23139/stat : 23139 (java) S 23130 23132 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831031888 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820981657 0 4 0 16800975 18446604449110500672 0 0 -1 6 0 0 0
[pid=23132/tid=23140] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23140/stat : 23140 (java) S 23130 23132 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831031888 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820981657 0 4 0 16800975 18446604449110500672 0 0 -1 6 0 0 0
[pid=23132/tid=23141] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23141/stat : 23141 (java) S 23130 23132 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831031888 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820981657 0 4 0 16800975 18446604449110500672 0 0 -1 6 0 0 0
[pid=23132/tid=23142] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23142/stat : 23142 (java) S 23130 23132 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831031888 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820981657 0 4 0 16800975 18446604449110500672 0 0 -1 6 0 0 0
[pid=23132/tid=23143] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23143/stat : 23143 (java) S 23130 23132 19222 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 20 0 831031889 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820982272 0 0 0 16800975 18446604449110500672 0 0 -1 2 0 0 0
[pid=23132/tid=23144] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23144/stat : 23144 (java) S 23130 23132 19222 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 20 0 831031889 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820981657 0 4 0 16800975 18446604449110500672 0 0 -1 2 0 0 0
[pid=23132/tid=23145] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23145/stat : 23145 (java) S 23130 23132 19222 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 20 0 831031889 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820981657 0 4 0 16800975 18446604449110500672 0 0 -1 2 0 0 0
[pid=23132/tid=23146] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23146/stat : 23146 (java) S 23130 23132 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831031891 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820989361 0 4 0 16800975 18446604449110500672 0 0 -1 2 0 0 0
[pid=23132/tid=23147] ppid=23130 vsize=10543956 CPUtime=0.02 cores=0,2,4,6
/proc/23132/task/23147/stat : 23147 (java) S 23130 23132 19222 0 -1 4202560 425 0 0 0 2 0 0 0 15 0 20 0 831031891 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820981657 0 4 0 16800975 18446604449110500672 0 0 -1 6 0 0 0
[pid=23132/tid=23148] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23148/stat : 23148 (java) S 23130 23132 19222 0 -1 4202560 451 0 0 0 0 0 0 0 18 0 20 0 831031891 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820981657 0 4 0 16800975 18446604449110500672 0 0 -1 0 0 0 0
[pid=23132/tid=23149] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23149/stat : 23149 (java) S 23130 23132 19222 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 20 0 831031891 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820981657 0 4 0 16800975 18446604449110500672 0 0 -1 2 0 0 0
[pid=23132/tid=23150] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23150/stat : 23150 (java) S 23130 23132 19222 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 20 0 831031891 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820982272 0 4 0 16800975 18446604449110500672 0 0 -1 0 0 0 0
[pid=23132/tid=23153] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23153/stat : 23153 (java) S 23130 23132 19222 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 20 0 831031899 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820982272 0 4 0 16800975 18446604449110500672 0 0 -1 2 0 0 0
[pid=23132/tid=23157] ppid=23130 vsize=10543956 CPUtime=0 cores=0,2,4,6
/proc/23132/task/23157/stat : 23157 (java) S 23130 23132 19222 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 20 0 831031949 10797010944 13337 33554432000 1073741824 1073778376 140734135861280 18446744073709551615 230820982272 0 4 0 16800975 18446604449110500672 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10543956
Child status: 30
Real time (s): 1.14576
CPU time (s): 0.182971
CPU user time (s): 0.166974
CPU system time (s): 0.015997
CPU usage (%): 15.9694
Max. virtual memory (cumulated for all children) (KiB): 10543956
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.166974
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13693
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= 154
involuntary context switches= 18
runsolver used 0.006998 second user time and 0.020996 second system time
The end