Trace number 3495455

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
OptimuS x100_source? (TO) 1800.05 1800.01

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E04F15.cnf
MD5SUM2f0f06d695c1977edc3fba0ba8753984
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark496.525
Satisfiable
(Un)Satisfiability was proved
Number of variables4740
Number of clauses37893
Sum of the clauses size149173
Maximum clause length28
Minimum clause length1
Number of clauses of size 112
Number of clauses of size 212041
Number of clauses of size 38998
Number of clauses of size 43795
Number of clauses of size 55970
Number of clauses of size over 57077

Solver Data


Verifier Data 

ERROR: Unexpected answer ! (UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3495455-1307806548/watcher-3495455-1307806548 -o /tmp/evaluation-result-3495455-1307806548/solver-3495455-1307806548 -C 1800 -W 1850 -M 7680 OptimuS_release HOME/instance-3495455-1307806548.cnf 

running on 2 cores: 1,3

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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.53 2.58 3/178 23282
/proc/meminfo: memFree=31937320/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=20320 CPUtime=0 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 864 0 0 0 0 0 0 0 24 0 1 0 624846116 20807680 794 33554432000 4194304 4280283 140734163244960 18446744073709551615 4266385 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 5080 796 224 21 0 1717 0

[startup+0.051841 s]
/proc/loadavg: 1.00 1.53 2.58 3/178 23282
/proc/meminfo: memFree=31937320/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=30980 CPUtime=0.04 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 3319 0 0 0 4 0 0 0 24 0 1 0 624846116 31723520 3222 33554432000 4194304 4280283 140734163244960 18446744073709551615 268660323013 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 7745 3222 240 21 0 4382 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 30980

[startup+0.100821 s]
/proc/loadavg: 1.00 1.53 2.58 3/178 23282
/proc/meminfo: memFree=31937320/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=31108 CPUtime=0.09 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 3376 0 0 0 9 0 0 0 24 0 1 0 624846116 31854592 3278 33554432000 4194304 4280283 140734163244960 18446744073709551615 4210352 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 7777 3278 251 21 0 4414 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31108

[startup+0.300775 s]
/proc/loadavg: 1.00 1.53 2.58 3/178 23282
/proc/meminfo: memFree=31937320/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=34908 CPUtime=0.29 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 4613 0 0 0 29 0 0 0 25 0 1 0 624846116 35745792 4462 33554432000 4194304 4280283 140734163244960 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 8727 4462 269 21 0 5364 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34908

[startup+0.700706 s]
/proc/loadavg: 1.00 1.53 2.58 3/178 23282
/proc/meminfo: memFree=31937320/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=46808 CPUtime=0.69 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 7312 0 0 0 68 1 0 0 25 0 1 0 624846116 47931392 7153 33554432000 4194304 4280283 140734163244960 18446744073709551615 4242866 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 11702 7155 269 21 0 8339 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 46808

[startup+1.50056 s]
/proc/loadavg: 1.00 1.53 2.58 5/190 23317
/proc/meminfo: memFree=31828552/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=59108 CPUtime=1.49 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 15415 0 0 0 148 1 0 0 25 0 1 0 624846116 60526592 8364 33554432000 4194304 4280283 140734163244960 18446744073709551615 4243167 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 14777 8364 269 21 0 11414 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 59108

[startup+3.10029 s]
/proc/loadavg: 1.00 1.53 2.58 5/190 23317
/proc/meminfo: memFree=31814880/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=108632 CPUtime=3.09 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 39448 0 0 0 305 4 0 0 25 0 1 0 624846116 111239168 21937 33554432000 4194304 4280283 140734163244960 18446744073709551615 4243376 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 27158 21937 270 21 0 23795 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 108632

[startup+6.30071 s]
/proc/loadavg: 1.24 1.57 2.59 5/190 23356
/proc/meminfo: memFree=31767516/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=89672 CPUtime=6.29 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 66010 0 0 0 622 7 0 0 25 0 1 0 624846116 91824128 18759 33554432000 4194304 4280283 140734163244960 18446744073709551615 4242930 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 22418 18759 271 21 0 19055 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 89672

[startup+12.7006 s]
/proc/loadavg: 1.46 1.61 2.60 5/190 23394
/proc/meminfo: memFree=31690928/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=108348 CPUtime=12.69 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 70732 0 0 0 1261 8 0 0 25 0 1 0 624846116 110948352 23430 33554432000 4194304 4280283 140734163244960 18446744073709551615 4256749 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 27087 23430 271 21 0 23724 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 108348

[startup+25.5003 s]
/proc/loadavg: 2.02 1.73 2.62 5/190 23394
/proc/meminfo: memFree=31654284/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=157668 CPUtime=25.49 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 230185 0 0 0 2522 27 0 0 25 0 1 0 624846116 161452032 34438 33554432000 4194304 4280283 140734163244960 18446744073709551615 268664121534 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 39417 34438 270 21 0 36054 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 157668

[startup+51.1008 s]
/proc/loadavg: 2.76 1.92 2.66 5/190 23433
/proc/meminfo: memFree=31539864/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=108348 CPUtime=51.09 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 501640 0 0 0 5044 65 0 0 25 0 1 0 624846116 110948352 23431 33554432000 4194304 4280283 140734163244960 18446744073709551615 4229299 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 27087 23431 270 21 0 23724 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 108348

[startup+102.307 s]
/proc/loadavg: 3.46 2.24 2.73 5/190 23624
/proc/meminfo: memFree=31643236/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=157668 CPUtime=102.3 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 1028436 0 0 0 10093 137 0 0 25 0 1 0 624846116 161452032 31632 33554432000 4194304 4280283 140734163244960 18446744073709551615 4242881 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 39417 31632 270 21 0 36054 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 157668

[startup+162.3 s]
/proc/loadavg: 3.80 2.56 2.81 5/190 23626
/proc/meminfo: memFree=31663524/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=157668 CPUtime=162.3 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 1567047 0 0 0 16021 209 0 0 25 0 1 0 624846116 161452032 33614 33554432000 4194304 4280283 140734163244960 18446744073709551615 268664120223 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 39417 33614 269 21 0 36054 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 157668

[startup+222.301 s]
/proc/loadavg: 3.92 2.82 2.88 5/190 23627
/proc/meminfo: memFree=31619856/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=157668 CPUtime=222.29 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 2057142 0 0 0 21955 274 0 0 25 0 1 0 624846116 161452032 35687 33554432000 4194304 4280283 140734163244960 18446744073709551615 4243157 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 39417 35687 269 21 0 36054 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 157668

[startup+282.301 s]
/proc/loadavg: 3.97 3.03 2.94 5/190 23667
/proc/meminfo: memFree=31623924/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=188488 CPUtime=282.3 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 2617029 0 0 0 27881 349 0 0 25 0 1 0 624846116 193011712 37205 33554432000 4194304 4280283 140734163244960 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 47122 37205 269 21 0 43759 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 188488

[startup+342.3 s]
/proc/loadavg: 4.04 3.22 3.01 5/190 23669
/proc/meminfo: memFree=31660104/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=157668 CPUtime=342.3 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 3165951 0 0 0 33807 423 0 0 25 0 1 0 624846116 161452032 31492 33554432000 4194304 4280283 140734163244960 18446744073709551615 4243136 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 39417 31492 269 21 0 36054 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 157668

[startup+402.301 s]
/proc/loadavg: 4.01 3.36 3.07 5/190 23670
/proc/meminfo: memFree=31569552/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=157668 CPUtime=402.3 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 3635641 0 0 0 39745 485 0 0 25 0 1 0 624846116 161452032 33828 33554432000 4194304 4280283 140734163244960 18446744073709551615 4243147 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 39417 33828 269 21 0 36054 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 157668

[startup+462.3 s]
/proc/loadavg: 4.07 3.49 3.13 5/190 23710
/proc/meminfo: memFree=31481176/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=188488 CPUtime=462.3 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 4157213 0 0 0 45673 557 0 0 25 0 1 0 624846116 193011712 38610 33554432000 4194304 4280283 140734163244960 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 47122 38610 269 21 0 43759 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 188488

[startup+522.301 s]
/proc/loadavg: 4.10 3.60 3.19 5/190 23711
/proc/meminfo: memFree=31377256/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=157668 CPUtime=522.3 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 4671923 0 0 0 51606 624 0 0 25 0 1 0 624846116 161452032 32127 33554432000 4194304 4280283 140734163244960 18446744073709551615 4243328 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 39417 32127 269 21 0 36054 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 157668

[startup+582.3 s]
/proc/loadavg: 4.03 3.67 3.24 5/190 23713
/proc/meminfo: memFree=30899696/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=157668 CPUtime=582.31 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 5146960 0 0 0 57548 683 0 0 25 0 1 0 624846116 161452032 31705 33554432000 4194304 4280283 140734163244960 18446744073709551615 268664121656 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 39417 31705 269 21 0 36054 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 157668

[startup+642.301 s]

################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 4.00 3.84 3.40 5/190 23795
/proc/meminfo: memFree=30909664/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=157668 CPUtime=822.31 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 7179265 0 0 0 81275 956 0 0 25 0 1 0 624846116 161452032 32985 33554432000 4194304 4280283 140734163244960 18446744073709551615 4242905 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 39417 32985 269 21 0 36054 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 157668

[startup+882.3 s]
/proc/loadavg: 4.11 3.90 3.45 5/190 23797
/proc/meminfo: memFree=30620220/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=188488 CPUtime=882.31 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 7686820 0 0 0 87209 1022 0 0 25 0 1 0 624846116 193011712 37474 33554432000 4194304 4280283 140734163244960 18446744073709551615 4238883 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 47122 37474 269 21 0 43759 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 188488

[startup+942.301 s]
/proc/loadavg: 4.04 3.92 3.48 5/190 23799
/proc/meminfo: memFree=30209744/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=188488 CPUtime=942.31 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 8251796 0 0 0 93131 1100 0 0 25 0 1 0 624846116 193011712 36336 33554432000 4194304 4280283 140734163244960 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 47122 36336 269 21 0 43759 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 188488

[startup+1002.3 s]
/proc/loadavg: 4.01 3.93 3.51 5/190 23800
/proc/meminfo: memFree=29945076/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=188488 CPUtime=1002.32 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 8721488 0 0 0 99069 1163 0 0 25 0 1 0 624846116 193011712 37846 33554432000 4194304 4280283 140734163244960 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 47122 37846 269 21 0 43759 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 188488

[startup+1062.3 s]
/proc/loadavg: 4.00 3.94 3.54 5/190 23802
/proc/meminfo: memFree=29603928/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=157668 CPUtime=1062.32 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 9185864 0 0 0 105009 1223 0 0 25 0 1 0 624846116 161452032 35011 33554432000 4194304 4280283 140734163244960 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 39417 35011 269 21 0 36054 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 157668

[startup+1122.3 s]
/proc/loadavg: 4.04 3.96 3.57 5/190 23803
/proc/meminfo: memFree=29307660/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=157668 CPUtime=1122.32 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 9693806 0 0 0 110943 1289 0 0 25 0 1 0 624846116 161452032 35553 33554432000 4194304 4280283 140734163244960 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 39417 35553 269 21 0 36054 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 157668

[startup+1182.3 s]
/proc/loadavg: 4.01 3.97 3.59 5/190 23805
/proc/meminfo: memFree=30588188/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=157668 CPUtime=1182.32 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 10183603 0 0 0 116883 1349 0 0 25 0 1 0 624846116 161452032 25148 33554432000 4194304 4280283 140734163244960 18446744073709551615 268660359637 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 39417 25169 269 21 0 36054 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 157668

[startup+1242.3 s]
/proc/loadavg: 4.00 3.97 3.61 5/190 23810
/proc/meminfo: memFree=30509496/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=188488 CPUtime=1242.32 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 10706526 0 0 0 122813 1419 0 0 25 0 1 0 624846116 193011712 38530 33554432000 4194304 4280283 140734163244960 18446744073709551615 4243157 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 47122 38532 269 21 0 43759 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 188488

[startup+1302.3 s]
/proc/loadavg: 4.00 3.97 3.64 5/190 23811
/proc/meminfo: memFree=30458244/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=188488 CPUtime=1302.32 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 11265749 0 0 0 128742 1490 0 0 25 0 1 0 624846116 193011712 40631 33554432000 4194304 4280283 140734163244960 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 47122 40631 269 21 0 43759 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 188488

[startup+1362.3 s]
/proc/loadavg: 4.00 3.97 3.65 5/190 23813
/proc/meminfo: memFree=30153428/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=188488 CPUtime=1362.33 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 11818889 0 0 0 134668 1565 0 0 25 0 1 0 624846116 193011712 41060 33554432000 4194304 4280283 140734163244960 18446744073709551615 4243167 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 47122 41060 269 21 0 43759 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 188488

[startup+1422.31 s]
/proc/loadavg: 4.10 4.00 3.68 5/190 23814
/proc/meminfo: memFree=29894972/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=238576 CPUtime=1422.33 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 12417206 0 0 0 140592 1641 0 0 25 0 1 0 624846116 244301824 48109 33554432000 4194304 4280283 140734163244960 18446744073709551615 4256601 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 59644 48109 269 21 0 56281 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 238576

[startup+1482.3 s]
/proc/loadavg: 4.08 4.01 3.70 5/190 23854
/proc/meminfo: memFree=29674824/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=238576 CPUtime=1482.33 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 12990422 0 0 0 146514 1719 0 0 25 0 1 0 624846116 244301824 43798 33554432000 4194304 4280283 140734163244960 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 59644 43798 269 21 0 56281 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 238576

[startup+1542.3 s]
/proc/loadavg: 4.02 4.01 3.72 5/190 23865
/proc/meminfo: memFree=29538312/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=238576 CPUtime=1542.33 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 13566783 0 0 0 152435 1798 0 0 25 0 1 0 624846116 244301824 51937 33554432000 4194304 4280283 140734163244960 18446744073709551615 4243147 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 59644 51937 269 21 0 56281 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 238576

[startup+1602.3 s]
/proc/loadavg: 4.01 4.00 3.74 5/190 23866
/proc/meminfo: memFree=29568028/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=238576 CPUtime=1602.32 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 14141733 0 0 0 158357 1875 0 0 25 0 1 0 624846116 244301824 49232 33554432000 4194304 4280283 140734163244960 18446744073709551615 4243167 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 59644 49232 269 21 0 56281 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 238576

[startup+1662.3 s]
/proc/loadavg: 4.05 4.01 3.75 5/190 23868
/proc/meminfo: memFree=29482052/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=188488 CPUtime=1662.33 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 14713133 0 0 0 164274 1959 0 0 25 0 1 0 624846116 193011712 43207 33554432000 4194304 4280283 140734163244960 18446744073709551615 4256725 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 47122 43207 269 21 0 43759 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 188488

[startup+1722.3 s]
/proc/loadavg: 4.02 4.01 3.77 5/190 23869
/proc/meminfo: memFree=30832504/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=108348 CPUtime=1722.33 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 15207358 0 0 0 170209 2024 0 0 25 0 1 0 624846116 110948352 23433 33554432000 4194304 4280283 140734163244960 18446744073709551615 4257632 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 27087 23433 269 21 0 23724 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 108348

[startup+1782.3 s]
/proc/loadavg: 4.00 4.00 3.78 5/190 23871
/proc/meminfo: memFree=30714444/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=157668 CPUtime=1782.33 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 15730658 0 0 0 176143 2090 0 0 25 0 1 0 624846116 161452032 31799 33554432000 4194304 4280283 140734163244960 18446744073709551615 268664121853 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 39417 31799 269 21 0 36054 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 157668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 4.00 4.00 3.78 5/190 23871
/proc/meminfo: memFree=30585848/32951124 swapFree=67055708/67111528
[pid=23282] ppid=23280 vsize=157668 CPUtime=1800.04 cores=1,3
/proc/23282/stat : 23282 (OptimuS_release) R 23280 23282 22467 0 -1 4202496 15882458 0 0 0 177893 2111 0 0 25 0 1 0 624846116 161452032 33029 33554432000 4194304 4280283 140734163244960 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 1 0 0 0
/proc/23282/statm: 39417 33029 269 21 0 36054 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 157668

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.01
CPU time (s): 1800.05
CPU user time (s): 1778.94
CPU system time (s): 21.1158
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 400104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1778.94
system time used= 21.1158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15882458
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 969

runsolver used 2.86656 second user time and 6.96094 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-11 17:35:49
IDJOB=3495455
IDBENCH=83435
IDSOLVER=1988
FILE ID=node107/3495455-1307806548
RUNJOBID= node107-1307806548-23260
PBS_JOBID= 13551069
Free space on /tmp= 74132 MiB

SOLVER NAME= OptimuS x100_source
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E04F15.cnf
COMMAND LINE= OptimuS_release BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495455-1307806548/watcher-3495455-1307806548 -o /tmp/evaluation-result-3495455-1307806548/solver-3495455-1307806548 -C 1800 -W 1850 -M 7680  OptimuS_release HOME/instance-3495455-1307806548.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 2f0f06d695c1977edc3fba0ba8753984
RANDOM SEED=927201203

node107.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5359.47
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.829
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31938768 kB
Buffers:        170908 kB
Cached:         621748 kB
SwapCached:      19468 kB
Active:         260644 kB
Inactive:       563456 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31938768 kB
SwapTotal:    67111528 kB
SwapFree:     67055708 kB
Dirty:            1592 kB
Writeback:          28 kB
AnonPages:       29804 kB
Mapped:          12268 kB
Slab:           122168 kB
PageTables:       4700 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190632 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74124 MiB
End job on node107 at 2011-06-11 18:05:51