Trace number 3495453

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.06 1800.01

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E00N15.cnf
MD5SUM118efc8c27ac8b98e0191aab5293839d
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark480.045
Satisfiable
(Un)Satisfiability was proved
Number of variables4740
Number of clauses34241
Sum of the clauses size132438
Maximum clause length28
Minimum clause length1
Number of clauses of size 123
Number of clauses of size 212206
Number of clauses of size 38994
Number of clauses of size 42325
Number of clauses of size 52820
Number of clauses of size over 57873

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

running on 2 cores: 0,2

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: 4.02 4.02 3.75 2/179 24075
/proc/meminfo: memFree=31610696/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=20512 CPUtime=0 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 882 0 0 0 0 0 0 0 25 0 1 0 892256681 21004288 812 33554432000 4194304 4280283 140735539898528 18446744073709551615 4266385 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 5128 813 224 21 0 1765 0

[startup+0.0973661 s]
/proc/loadavg: 4.02 4.02 3.75 2/179 24075
/proc/meminfo: memFree=31610696/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=29184 CPUtime=0.09 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 3104 0 0 0 9 0 0 0 25 0 1 0 892256681 29884416 3018 33554432000 4194304 4280283 140735539898528 18446744073709551615 4210934 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 7296 3018 251 21 0 3933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29184

[startup+0.100399 s]
/proc/loadavg: 4.02 4.02 3.75 2/179 24075
/proc/meminfo: memFree=31610696/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=29184 CPUtime=0.09 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 3104 0 0 0 9 0 0 0 25 0 1 0 892256681 29884416 3018 33554432000 4194304 4280283 140735539898528 18446744073709551615 4210018 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 7296 3018 251 21 0 3933 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29184

[startup+0.300325 s]
/proc/loadavg: 4.02 4.02 3.75 2/179 24075
/proc/meminfo: memFree=31610696/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=32740 CPUtime=0.29 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 4299 0 0 0 29 0 0 0 25 0 1 0 892256681 33525760 4170 33554432000 4194304 4280283 140735539898528 18446744073709551615 4242878 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 8185 4170 270 21 0 4822 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 32740

[startup+0.700317 s]
/proc/loadavg: 4.02 4.02 3.75 2/179 24075
/proc/meminfo: memFree=31610696/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=44604 CPUtime=0.69 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 7750 0 0 0 68 1 0 0 25 0 1 0 892256681 45674496 7618 33554432000 4194304 4280283 140735539898528 18446744073709551615 4242905 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 11151 7618 270 21 0 7788 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 44604

[startup+1.50011 s]
/proc/loadavg: 4.02 4.02 3.75 5/190 24104
/proc/meminfo: memFree=31491088/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=45328 CPUtime=1.49 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 16789 0 0 0 147 2 0 0 25 0 1 0 892256681 46415872 7647 33554432000 4194304 4280283 140735539898528 18446744073709551615 4242930 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 11332 7647 270 21 0 7969 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45328

[startup+3.10083 s]
/proc/loadavg: 4.02 4.02 3.75 5/190 24104
/proc/meminfo: memFree=31490592/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=76416 CPUtime=3.09 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 31539 0 0 0 305 4 0 0 25 0 1 0 892256681 78249984 8520 33554432000 4194304 4280283 140735539898528 18446744073709551615 4237105 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 19104 8520 270 21 0 15741 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 76416

[startup+6.30033 s]
/proc/loadavg: 4.02 4.02 3.75 5/190 24104
/proc/meminfo: memFree=31358064/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=88256 CPUtime=6.29 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 57875 0 0 0 622 7 0 0 25 0 1 0 892256681 90374144 18682 33554432000 4194304 4280283 140735539898528 18446744073709551615 4243147 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 22064 18682 271 21 0 18701 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 88256

[startup+12.7002 s]
/proc/loadavg: 4.02 4.02 3.75 5/190 24105
/proc/meminfo: memFree=31255020/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=187072 CPUtime=12.69 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 108988 0 0 0 1255 14 0 0 25 0 1 0 892256681 191561728 37771 33554432000 4194304 4280283 140735539898528 18446744073709551615 4243157 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 46768 37771 270 21 0 43405 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 187072

[startup+25.501 s]
/proc/loadavg: 3.93 4.00 3.75 5/190 24295
/proc/meminfo: memFree=31148920/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=187072 CPUtime=25.49 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 233045 0 0 0 2517 32 0 0 25 0 1 0 892256681 191561728 38536 33554432000 4194304 4280283 140735539898528 18446744073709551615 4257677 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 46768 38536 270 21 0 43405 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 187072

[startup+51.1004 s]
/proc/loadavg: 3.95 4.00 3.76 5/190 24296
/proc/meminfo: memFree=30880416/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=187072 CPUtime=51.09 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 470475 0 0 0 5043 66 0 0 25 0 1 0 892256681 191561728 36762 33554432000 4194304 4280283 140735539898528 18446744073709551615 4238866 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 46768 36762 270 21 0 43405 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 187072

[startup+102.306 s]
/proc/loadavg: 3.98 4.00 3.77 5/190 24297
/proc/meminfo: memFree=30860344/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=106932 CPUtime=102.3 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 939582 0 0 0 10097 133 0 0 25 0 1 0 892256681 109498368 23355 33554432000 4194304 4280283 140735539898528 18446744073709551615 4243147 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 26733 23355 270 21 0 23370 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 106932

[startup+162.301 s]
/proc/loadavg: 4.05 4.01 3.78 5/190 24299
/proc/meminfo: memFree=30775240/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=106932 CPUtime=162.3 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 1460498 0 0 0 16029 201 0 0 25 0 1 0 892256681 109498368 23355 33554432000 4194304 4280283 140735539898528 18446744073709551615 4243139 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 26733 23355 270 21 0 23370 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 106932

[startup+222.3 s]
/proc/loadavg: 4.02 4.01 3.79 5/190 24300
/proc/meminfo: memFree=30969492/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=156252 CPUtime=222.3 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 1964948 0 0 0 21958 272 0 0 25 0 1 0 892256681 160002048 33190 33554432000 4194304 4280283 140735539898528 18446744073709551615 4243157 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 39063 33190 270 21 0 35700 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 156252

[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.81 5/190 24302
/proc/meminfo: memFree=30614820/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=106932 CPUtime=282.29 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 2455556 0 0 0 27890 339 0 0 25 0 1 0 892256681 109498368 23355 33554432000 4194304 4280283 140735539898528 18446744073709551615 4242930 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 26733 23355 270 21 0 23370 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 106932

[startup+342.3 s]
/proc/loadavg: 4.00 4.00 3.82 5/190 24303
/proc/meminfo: memFree=30822972/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=156252 CPUtime=342.3 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 2960260 0 0 0 33820 410 0 0 25 0 1 0 892256681 160002048 34251 33554432000 4194304 4280283 140735539898528 18446744073709551615 4256999 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 39063 34253 270 21 0 35700 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 156252

[startup+402.301 s]
/proc/loadavg: 4.00 4.00 3.82 5/190 24305
/proc/meminfo: memFree=30732788/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=156252 CPUtime=402.3 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 3453918 0 0 0 39749 481 0 0 25 0 1 0 892256681 160002048 32924 33554432000 4194304 4280283 140735539898528 18446744073709551615 4199120 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 39063 32924 270 21 0 35700 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 156252

[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.83 5/190 24307
/proc/meminfo: memFree=30605392/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=187072 CPUtime=462.3 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 3921190 0 0 0 45684 546 0 0 25 0 1 0 892256681 191561728 37856 33554432000 4194304 4280283 140735539898528 18446744073709551615 4243157 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 46768 37856 270 21 0 43405 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 187072

[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.84 5/190 24346
/proc/meminfo: memFree=30824904/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=156252 CPUtime=522.31 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 4402090 0 0 0 51621 610 0 0 25 0 1 0 892256681 160002048 31997 33554432000 4194304 4280283 140735539898528 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 39063 31997 270 21 0 35700 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 156252

[startup+582.301 s]
/proc/loadavg: 4.12 4.03 3.85 5/190 24348
/proc/meminfo: memFree=30488932/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=156252 CPUtime=582.31 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 4935065 0 0 0 57550 681 0 0 25 0 1 0 892256681 160002048 32306 33554432000 4194304 4280283 140735539898528 18446744073709551615 4256725 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 39063 32306 270 21 0 35700 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 156252

[startup+642.3 s]

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

[startup+822.301 s]
/proc/loadavg: 4.01 4.02 3.88 5/190 24354
/proc/meminfo: memFree=30235648/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=187072 CPUtime=822.31 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 6982681 0 0 0 81267 964 0 0 25 0 1 0 892256681 191561728 36750 33554432000 4194304 4280283 140735539898528 18446744073709551615 4243157 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 46768 36750 270 21 0 43405 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 187072

[startup+882.301 s]
/proc/loadavg: 4.00 4.01 3.89 5/190 24356
/proc/meminfo: memFree=29802728/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=156252 CPUtime=882.31 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 7472127 0 0 0 87195 1036 0 0 25 0 1 0 892256681 160002048 33634 33554432000 4194304 4280283 140735539898528 18446744073709551615 4242930 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 39063 33634 270 21 0 35700 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 156252

[startup+942.301 s]
/proc/loadavg: 4.00 4.01 3.89 5/190 24357
/proc/meminfo: memFree=29176976/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=106932 CPUtime=942.32 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 7983226 0 0 0 93125 1107 0 0 25 0 1 0 892256681 109498368 23355 33554432000 4194304 4280283 140735539898528 18446744073709551615 4256628 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 26733 23355 270 21 0 23370 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 106932

[startup+1002.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/190 24359
/proc/meminfo: memFree=28709692/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=156252 CPUtime=1002.32 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 8490109 0 0 0 99054 1178 0 0 25 0 1 0 892256681 160002048 34649 33554432000 4194304 4280283 140735539898528 18446744073709551615 4256632 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 39063 34649 270 21 0 35700 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 156252

[startup+1062.3 s]
/proc/loadavg: 4.00 4.00 3.90 5/190 24361
/proc/meminfo: memFree=28350172/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=106932 CPUtime=1062.32 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 8992366 0 0 0 104980 1252 0 0 25 0 1 0 892256681 109498368 23355 33554432000 4194304 4280283 140735539898528 18446744073709551615 4243354 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 26733 23355 270 21 0 23370 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 106932

[startup+1122.3 s]
/proc/loadavg: 4.07 4.02 3.91 5/190 24362
/proc/meminfo: memFree=27876564/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=187072 CPUtime=1122.32 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 9444363 0 0 0 110916 1316 0 0 25 0 1 0 892256681 191561728 35960 33554432000 4194304 4280283 140735539898528 18446744073709551615 4243136 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 46768 35960 270 21 0 43405 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 187072

[startup+1182.3 s]
/proc/loadavg: 4.06 4.03 3.92 5/190 24364
/proc/meminfo: memFree=27496088/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=187072 CPUtime=1182.32 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 9903174 0 0 0 116853 1379 0 0 25 0 1 0 892256681 191561728 38965 33554432000 4194304 4280283 140735539898528 18446744073709551615 4242930 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 46768 38965 270 21 0 43405 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 187072

[startup+1242.3 s]
/proc/loadavg: 4.02 4.02 3.92 5/190 24365
/proc/meminfo: memFree=27330760/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=156252 CPUtime=1242.32 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 10349479 0 0 0 122791 1441 0 0 25 0 1 0 892256681 160002048 33227 33554432000 4194304 4280283 140735539898528 18446744073709551615 4243136 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 39063 33227 270 21 0 35700 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 156252

[startup+1302.3 s]
/proc/loadavg: 4.00 4.01 3.92 5/190 24367
/proc/meminfo: memFree=26928072/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=187072 CPUtime=1302.32 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 10792495 0 0 0 128731 1501 0 0 25 0 1 0 892256681 191561728 38628 33554432000 4194304 4280283 140735539898528 18446744073709551615 4243418 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 46768 38628 270 21 0 43405 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 187072

[startup+1362.3 s]
/proc/loadavg: 4.00 4.01 3.92 5/190 24369
/proc/meminfo: memFree=26631808/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=156252 CPUtime=1362.33 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 11235586 0 0 0 134668 1565 0 0 25 0 1 0 892256681 160002048 34000 33554432000 4194304 4280283 140735539898528 18446744073709551615 4242888 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 39063 34000 270 21 0 35700 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 156252

[startup+1422.31 s]
/proc/loadavg: 3.40 3.84 3.86 4/184 24394
/proc/meminfo: memFree=30726560/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=187072 CPUtime=1422.33 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 11647874 0 0 0 140608 1625 0 0 25 0 1 0 892256681 191561728 36380 33554432000 4194304 4280283 140735539898528 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 46768 36380 270 21 0 43405 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 187072

[startup+1482.3 s]
/proc/loadavg: 3.20 3.71 3.82 4/184 24396
/proc/meminfo: memFree=30529128/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=156252 CPUtime=1482.33 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 12048627 0 0 0 146548 1685 0 0 25 0 1 0 892256681 160002048 33702 33554432000 4194304 4280283 140735539898528 18446744073709551615 4242930 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 39063 33702 270 21 0 35700 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 156252

[startup+1542.3 s]
/proc/loadavg: 3.07 3.57 3.76 4/184 24406
/proc/meminfo: memFree=30680996/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=106932 CPUtime=1542.33 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 12509902 0 0 0 152481 1752 0 0 25 0 1 0 892256681 109498368 23355 33554432000 4194304 4280283 140735539898528 18446744073709551615 4261669 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 26733 23355 270 21 0 23370 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 106932

[startup+1602.3 s]
/proc/loadavg: 3.02 3.47 3.71 4/184 24408
/proc/meminfo: memFree=30834100/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=156252 CPUtime=1602.33 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 13014983 0 0 0 158407 1826 0 0 25 0 1 0 892256681 160002048 31652 33554432000 4194304 4280283 140735539898528 18446744073709551615 4243136 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 39063 31652 270 21 0 35700 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 156252

[startup+1662.3 s]
/proc/loadavg: 3.01 3.37 3.66 4/184 24410
/proc/meminfo: memFree=30898040/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=156252 CPUtime=1662.33 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 13466616 0 0 0 164349 1884 0 0 25 0 1 0 892256681 160002048 32974 33554432000 4194304 4280283 140735539898528 18446744073709551615 4243167 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 39063 32974 270 21 0 35700 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 156252

[startup+1722.3 s]
/proc/loadavg: 3.04 3.32 3.63 4/184 24414
/proc/meminfo: memFree=30510116/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=156252 CPUtime=1722.33 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 13903820 0 0 0 170287 1946 0 0 25 0 1 0 892256681 160002048 33067 33554432000 4194304 4280283 140735539898528 18446744073709551615 4243147 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 39063 33067 270 21 0 35700 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 156252

[startup+1782.3 s]
/proc/loadavg: 3.01 3.26 3.58 4/184 24416
/proc/meminfo: memFree=30782156/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=187072 CPUtime=1782.34 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 14340923 0 0 0 176224 2010 0 0 25 0 1 0 892256681 191561728 36119 33554432000 4194304 4280283 140735539898528 18446744073709551615 4256606 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 46768 36119 270 21 0 43405 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 187072



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 3.01 3.24 3.57 4/184 24416
/proc/meminfo: memFree=30466556/32950928 swapFree=67079488/67111528
[pid=24075] ppid=24073 vsize=187072 CPUtime=1800.04 cores=0,2
/proc/24075/stat : 24075 (OptimuS_release) R 24073 24075 23145 0 -1 4202496 14474351 0 0 0 177974 2030 0 0 25 0 1 0 892256681 191561728 36574 33554432000 4194304 4280283 140735539898528 18446744073709551615 4260059 0 0 4096 8388610 0 0 0 17 0 0 0 0
/proc/24075/statm: 46768 36574 270 21 0 43405 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 187072

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.06
CPU user time (s): 1779.74
CPU system time (s): 20.3129
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 286480

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1779.74
system time used= 20.3129
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14474351
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= 6
involuntary context switches= 3804

runsolver used 3.04454 second user time and 6.74997 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-11 17:36:10
IDJOB=3495453
IDBENCH=83448
IDSOLVER=1988
FILE ID=node125/3495453-1307806570
RUNJOBID= node125-1307806570-24045
PBS_JOBID= 13551054
Free space on /tmp= 74028 MiB

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

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

MD5SUM BENCH= 118efc8c27ac8b98e0191aab5293839d
RANDOM SEED=677446635

node125.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.828
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.828
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	: 5266.55
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.828
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.84
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.828
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.74
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.828
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.82
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.828
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	: 5332.74
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.828
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.828
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      31613588 kB
Buffers:        301364 kB
Cached:         799372 kB
SwapCached:       3400 kB
Active:         509884 kB
Inactive:       628360 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31613588 kB
SwapTotal:    67111528 kB
SwapFree:     67079488 kB
Dirty:            1220 kB
Writeback:           0 kB
AnonPages:       35680 kB
Mapped:          14116 kB
Slab:           132880 kB
PageTables:       5132 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   206592 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= 74024 MiB
End job on node125 at 2011-06-11 18:06:12