Trace number 3291062

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
SApperloT 2011-03-23? (TO) 1300.05 1300.02

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E00N23.cnf
MD5SUM1a1f0dddf727883e0973677dd00e9269
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables15364
Number of clauses2210893
Sum of the clauses size20370578
Maximum clause length105
Minimum clause length1
Number of clauses of size 128
Number of clauses of size 241189
Number of clauses of size 336730
Number of clauses of size 432798
Number of clauses of size 5188784
Number of clauses of size over 51911364

Solver Data


Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3291062-1303787738/watcher-3291062-1303787738 -o /tmp/evaluation-result-3291062-1303787738/solver-3291062-1303787738 -C 2400 -W 1300 -M 7680 SApperloT HOME/instance-3291062-1303787738.cnf 

running on 2 cores: 0,2

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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.00 3.96 3.71 5/189 4365
/proc/meminfo: memFree=18528792/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=46888 CPUtime=0 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 572 0 0 0 0 0 0 0 23 0 1 0 569004881 48013312 494 33554432000 4194304 4465733 140735898181168 18446744073709551615 4295790 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 11722 494 250 67 0 8845 0

[startup+0.106047 s]
/proc/loadavg: 4.00 3.96 3.71 5/189 4365
/proc/meminfo: memFree=18528792/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=46888 CPUtime=0.09 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 3643 0 0 0 9 0 0 0 23 0 1 0 569004881 48013312 2135 33554432000 4194304 4465733 140735898181168 18446744073709551615 215988592384 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 11722 2136 250 67 0 8845 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46888

[startup+0.201028 s]
/proc/loadavg: 4.00 3.96 3.71 5/189 4365
/proc/meminfo: memFree=18528792/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=46888 CPUtime=0.19 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 6530 0 0 0 18 1 0 0 24 0 1 0 569004881 48013312 3674 33554432000 4194304 4465733 140735898181168 18446744073709551615 4273163 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 11722 3675 250 67 0 8845 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 46888

[startup+0.30101 s]
/proc/loadavg: 4.00 3.96 3.71 5/189 4365
/proc/meminfo: memFree=18528792/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=46888 CPUtime=0.29 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 9894 0 0 0 28 1 0 0 25 0 1 0 569004881 48013312 5912 33554432000 4194304 4465733 140735898181168 18446744073709551615 215988211299 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 11722 5913 250 67 0 8845 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 46888

[startup+0.700941 s]
/proc/loadavg: 4.00 3.96 3.71 5/189 4365
/proc/meminfo: memFree=18528792/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=77132 CPUtime=0.69 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 36956 0 0 0 64 5 0 0 25 0 1 0 569004881 78983168 13494 33554432000 4194304 4465733 140735898181168 18446744073709551615 215988592384 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 19283 13494 250 67 0 16406 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77132

[startup+1.5008 s]
/proc/loadavg: 4.00 3.96 3.71 5/190 4366
/proc/meminfo: memFree=18449184/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=158532 CPUtime=1.49 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 99350 0 0 0 134 15 0 0 25 0 1 0 569004881 162336768 27084 33554432000 4194304 4465733 140735898181168 18446744073709551615 4296137 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 39633 27084 250 67 0 36756 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 158532

[startup+3.10052 s]
/proc/loadavg: 4.00 3.96 3.71 5/190 4366
/proc/meminfo: memFree=18378876/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=232560 CPUtime=3.09 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 156966 0 0 0 286 23 0 0 25 0 1 0 569004881 238141440 43596 33554432000 4194304 4465733 140735898181168 18446744073709551615 4270655 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 58140 43596 255 67 0 55263 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 232560

[startup+6.30096 s]
/proc/loadavg: 4.00 3.96 3.71 5/190 4366
/proc/meminfo: memFree=18329288/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=232560 CPUtime=6.29 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 160185 0 0 0 606 23 0 0 25 0 1 0 569004881 238141440 46164 33554432000 4194304 4465733 140735898181168 18446744073709551615 4270161 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 58140 46164 255 67 0 55263 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 232560

[startup+12.7008 s]
/proc/loadavg: 4.00 3.96 3.71 5/190 4367
/proc/meminfo: memFree=18330396/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=279176 CPUtime=12.69 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 185718 0 0 0 1242 27 0 0 25 0 1 0 569004881 285876224 49139 33554432000 4194304 4465733 140735898181168 18446744073709551615 4270655 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 69794 49139 255 67 0 66917 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 279176

[startup+25.5007 s]
/proc/loadavg: 3.93 3.95 3.71 4/184 4384
/proc/meminfo: memFree=18447156/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=279344 CPUtime=25.5 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 188466 0 0 0 2522 28 0 0 25 0 1 0 569004881 286048256 51046 33554432000 4194304 4465733 140735898181168 18446744073709551615 4270655 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 69836 51046 255 67 0 66959 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 279344

[startup+51.1012 s]
/proc/loadavg: 3.61 3.87 3.69 4/184 4385
/proc/meminfo: memFree=18438116/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=279480 CPUtime=51.09 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 191186 0 0 0 5081 28 0 0 25 0 1 0 569004881 286187520 52681 33554432000 4194304 4465733 140735898181168 18446744073709551615 4270655 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 69870 52681 255 67 0 66993 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 279480

[startup+102.301 s]
/proc/loadavg: 3.34 3.75 3.66 4/184 4386
/proc/meminfo: memFree=18418324/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=279480 CPUtime=102.3 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 191972 0 0 0 10201 29 0 0 25 0 1 0 569004881 286187520 53368 33554432000 4194304 4465733 140735898181168 18446744073709551615 4270655 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 69870 53368 255 67 0 66993 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 279480

[startup+162.301 s]
/proc/loadavg: 3.12 3.61 3.61 4/184 4388
/proc/meminfo: memFree=18411344/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=279480 CPUtime=162.3 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 193921 0 0 0 16201 29 0 0 25 0 1 0 569004881 286187520 54516 33554432000 4194304 4465733 140735898181168 18446744073709551615 4270655 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 69870 54516 255 67 0 66993 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 279480

[startup+222.307 s]
/proc/loadavg: 3.04 3.50 3.57 4/184 4389
/proc/meminfo: memFree=18403348/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=280008 CPUtime=222.31 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 194625 0 0 0 22201 30 0 0 25 0 1 0 569004881 286728192 54975 33554432000 4194304 4465733 140735898181168 18446744073709551615 4270178 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 70002 54975 255 67 0 67125 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 280008

[startup+282.301 s]
/proc/loadavg: 3.01 3.40 3.53 4/184 4391
/proc/meminfo: memFree=18374528/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=280164 CPUtime=282.29 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 197376 0 0 0 28199 30 0 0 25 0 1 0 569004881 286887936 56477 33554432000 4194304 4465733 140735898181168 18446744073709551615 4276836 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 70041 56477 255 67 0 67164 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 280164

[startup+342.301 s]
/proc/loadavg: 3.00 3.33 3.50 4/184 4392
/proc/meminfo: memFree=18228024/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=280164 CPUtime=342.3 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 197581 0 0 0 34200 30 0 0 25 0 1 0 569004881 286887936 56682 33554432000 4194304 4465733 140735898181168 18446744073709551615 4270128 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 70041 56682 255 67 0 67164 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 280164

[startup+402.301 s]
/proc/loadavg: 3.00 3.27 3.46 4/184 4394
/proc/meminfo: memFree=18226980/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=280164 CPUtime=402.29 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 197928 0 0 0 40199 30 0 0 25 0 1 0 569004881 286887936 56890 33554432000 4194304 4465733 140735898181168 18446744073709551615 4271224 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 70041 56890 255 67 0 67164 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 280164

[startup+462.3 s]
/proc/loadavg: 2.85 3.18 3.42 3/178 4413
/proc/meminfo: memFree=18306848/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=280164 CPUtime=462.3 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 198116 0 0 0 46199 31 0 0 25 0 1 0 569004881 286887936 57078 33554432000 4194304 4465733 140735898181168 18446744073709551615 4270655 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 70041 57078 255 67 0 67164 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 280164

[startup+522.301 s]
/proc/loadavg: 2.31 2.96 3.33 3/178 4414
/proc/meminfo: memFree=18305096/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=280164 CPUtime=522.3 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 199109 0 0 0 52199 31 0 0 25 0 1 0 569004881 286887936 57591 33554432000 4194304 4465733 140735898181168 18446744073709551615 4270655 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 70041 57591 255 67 0 67164 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 280164

[startup+582.301 s]
/proc/loadavg: 2.11 2.79 3.24 3/178 4416
/proc/meminfo: memFree=18300112/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=280372 CPUtime=582.3 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 201367 0 0 0 58199 31 0 0 25 0 1 0 569004881 287100928 58801 33554432000 4194304 4465733 140735898181168 18446744073709551615 4270161 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 70093 58801 255 67 0 67216 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 280372

[startup+642.301 s]
/proc/loadavg: 2.07 2.65 3.17 3/178 4417
/proc/meminfo: memFree=18299076/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=280372 CPUtime=642.3 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 201851 0 0 0 64199 31 0 0 25 0 1 0 569004881 287100928 59089 33554432000 4194304 4465733 140735898181168 18446744073709551615 4260149 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 70093 59089 255 67 0 67216 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 280372

[startup+702.301 s]
/proc/loadavg: 2.07 2.55 3.10 3/178 4419
/proc/meminfo: memFree=18298764/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=280372 CPUtime=702.3 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 201941 0 0 0 70199 31 0 0 25 0 1 0 569004881 287100928 59153 33554432000 4194304 4465733 140735898181168 18446744073709551615 4270202 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 70093 59153 255 67 0 67216 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 280372

[startup+762.301 s]
/proc/loadavg: 2.02 2.44 3.03 3/178 4421
/proc/meminfo: memFree=18185020/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=831316 CPUtime=762.31 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 303663 0 0 0 76187 44 0 0 25 0 1 0 569004881 851267584 87395 33554432000 4194304 4465733 140735898181168 18446744073709551615 4358620 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 207829 87395 272 67 0 204952 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 831316

[startup+822.301 s]
/proc/loadavg: 2.01 2.36 2.96 3/178 4422
/proc/meminfo: memFree=18185232/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=831316 CPUtime=822.31 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 303773 0 0 0 82186 45 0 0 25 0 1 0 569004881 851267584 87505 33554432000 4194304 4465733 140735898181168 18446744073709551615 4369585 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 207829 87505 273 67 0 204952 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 831316

[startup+882.307 s]
/proc/loadavg: 2.00 2.29 2.89 3/178 4424
/proc/meminfo: memFree=18185320/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=831316 CPUtime=882.32 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 303775 0 0 0 88187 45 0 0 25 0 1 0 569004881 851267584 87507 33554432000 4194304 4465733 140735898181168 18446744073709551615 4369545 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 207829 87507 273 67 0 204952 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 831316

[startup+942.301 s]
/proc/loadavg: 2.00 2.24 2.84 3/178 4425
/proc/meminfo: memFree=18164452/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=831316 CPUtime=942.32 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 303778 0 0 0 94187 45 0 0 25 0 1 0 569004881 851267584 87510 33554432000 4194304 4465733 140735898181168 18446744073709551615 4343203 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 207829 87510 273 67 0 204952 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 831316

[startup+1002.3 s]
/proc/loadavg: 2.00 2.19 2.78 3/178 4427
/proc/meminfo: memFree=18367384/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=831316 CPUtime=1002.32 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 303780 0 0 0 100187 45 0 0 25 0 1 0 569004881 851267584 87512 33554432000 4194304 4465733 140735898181168 18446744073709551615 4343184 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 207829 87512 273 67 0 204952 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 831316

[startup+1062.3 s]
/proc/loadavg: 2.00 2.15 2.73 3/178 4429
/proc/meminfo: memFree=18365124/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=831316 CPUtime=1062.32 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 303780 0 0 0 106187 45 0 0 25 0 1 0 569004881 851267584 87512 33554432000 4194304 4465733 140735898181168 18446744073709551615 4369569 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 207829 87512 273 67 0 204952 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 831316

[startup+1122.3 s]
/proc/loadavg: 1.61 2.03 2.65 2/172 4448
/proc/meminfo: memFree=18673772/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=831316 CPUtime=1122.32 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 303781 0 0 0 112187 45 0 0 25 0 1 0 569004881 851267584 87513 33554432000 4194304 4465733 140735898181168 18446744073709551615 4369614 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 207829 87513 273 67 0 204952 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 831316

[startup+1182.3 s]
/proc/loadavg: 1.22 1.84 2.54 2/172 4450
/proc/meminfo: memFree=18631940/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=867000 CPUtime=1182.32 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 332021 0 0 0 118184 48 0 0 25 0 1 0 569004881 887808000 97999 33554432000 4194304 4465733 140735898181168 18446744073709551615 4353472 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 216750 97999 281 67 0 213873 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 867000

[startup+1242.3 s]
/proc/loadavg: 1.08 1.68 2.44 2/172 4451
/proc/meminfo: memFree=18771640/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=298928 CPUtime=1242.32 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 397259 0 0 0 124174 58 0 0 25 0 1 0 569004881 306102272 63430 33554432000 4194304 4465733 140735898181168 18446744073709551615 4270213 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 74732 63430 556 67 0 71855 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 298928



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 1.03 1.56 2.35 2/172 4453
/proc/meminfo: memFree=18770352/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=298928 CPUtime=1300.03 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 397585 0 0 0 129945 58 0 0 25 0 1 0 569004881 306102272 63756 33554432000 4194304 4465733 140735898181168 18446744073709551615 4270219 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 74732 63756 556 67 0 71855 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 298928

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

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

[startup+1300 s]
/proc/loadavg: 1.03 1.56 2.35 2/172 4453
/proc/meminfo: memFree=18770352/32950940 swapFree=67111528/67111528
[pid=4365] ppid=4363 vsize=298928 CPUtime=1300.03 cores=0,2
/proc/4365/stat : 4365 (SApperloT) R 4363 4365 2669 0 -1 4202496 397585 0 0 0 129945 58 0 0 25 0 1 0 569004881 306102272 63756 33554432000 4194304 4465733 140735898181168 18446744073709551615 4270219 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/4365/statm: 74732 63756 556 67 0 71855 0
Current children cumulated CPU time (s) 1300.03
Current children cumulated vsize (KiB) 298928

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1300.02
CPU time (s): 1300.05
CPU user time (s): 1299.45
CPU system time (s): 0.595909
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 963956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1299.45
system time used= 0.595909
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 397585
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= 9
involuntary context switches= 3588

runsolver used 2.08368 second user time and 4.36933 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-26 05:15:41
IDJOB=3291062
IDBENCH=83466
IDSOLVER=1657
FILE ID=node117/3291062-1303787738
RUNJOBID= node117-1303787519-4236
PBS_JOBID= 13157218
Free space on /tmp= 71720 MiB

SOLVER NAME= SApperloT 2011-03-23
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E00N23.cnf
COMMAND LINE= SApperloT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291062-1303787738/watcher-3291062-1303787738 -o /tmp/evaluation-result-3291062-1303787738/solver-3291062-1303787738 -C 2400 -W 1300 -M 7680  SApperloT HOME/instance-3291062-1303787738.cnf

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

MD5SUM BENCH= 1a1f0dddf727883e0973677dd00e9269
RANDOM SEED=91369961

node117.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.849
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.69
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.849
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.849
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.74
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.849
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.75
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.849
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.75
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.849
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.849
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      18528824 kB
Buffers:       2333752 kB
Cached:       11091420 kB
SwapCached:          0 kB
Active:        6865476 kB
Inactive:      6990028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      18528824 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:          114940 kB
Writeback:           0 kB
AnonPages:      429804 kB
Mapped:          15688 kB
Slab:           500776 kB
PageTables:       6008 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   693684 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= 71840 MiB
End job on node117 at 2011-04-26 05:37:23