Trace number 3291041

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
riss Exp? (TO) 1300.04 1300.01

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 

0.00/0.01	c *****************************************************
0.00/0.01	c *        riss, Copyright 2009 Norbert Manthey       *
0.00/0.01	c *   This program may be redistributed or modified   *
0.00/0.01	c * under the terms of the GNU General Public License *
0.00/0.01	c *****************************************************
0.00/0.01	c process id: 25256
1.39/1.44	c parsetime: 1429520us
1.39/1.44	c parsed 2210893 clauses with 15364 variables
297.60/297.62	c start find xor
298.10/298.11	c relevant clauses: 2085213
299.41/299.47	c found 0 non-binary xors encoded with 0 clauses
299.50/299.58	c init all components done
299.50/299.59	c ====================
299.50/299.59	c trail size: 950

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-3291041-1304141662/watcher-3291041-1304141662 -o /tmp/evaluation-result-3291041-1304141662/solver-3291041-1304141662 -C 2400 -W 1300 -M 7680 HOME/rissExp.sh HOME HOME/instance-3291041-1304141662.cnf 329397460 2400 7680 2 

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.97 3.71 5/192 25255
/proc/meminfo: memFree=29741028/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0

[startup+0.083409 s]
/proc/loadavg: 4.00 3.97 3.71 5/192 25255
/proc/meminfo: memFree=29741028/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.100416 s]
/proc/loadavg: 4.00 3.97 3.71 5/192 25255
/proc/meminfo: memFree=29741028/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.300367 s]
/proc/loadavg: 4.00 3.97 3.71 5/192 25255
/proc/meminfo: memFree=29741028/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+0.700294 s]
/proc/loadavg: 4.00 3.97 3.71 5/192 25255
/proc/meminfo: memFree=29741028/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8700

[startup+1.50114 s]
/proc/loadavg: 4.00 3.97 3.71 5/194 25257
/proc/meminfo: memFree=29629988/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=211480 CPUtime=1.49 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 50755 0 0 0 140 9 0 0 18 0 1 0 525768898 216555520 46749 33554432000 4194304 5525396 140736538698080 18446744073709551615 4315651 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 52870 46749 324 325 0 48684 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 220180

[startup+3.10083 s]
/proc/loadavg: 4.00 3.97 3.71 5/194 25257
/proc/meminfo: memFree=29629988/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=324068 CPUtime=3.09 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 73695 0 0 0 298 11 0 0 20 0 1 0 525768898 331845632 69689 33554432000 4194304 5525396 140736538698080 18446744073709551615 4325170 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 81017 69689 328 325 0 76831 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 332768

[startup+6.30023 s]
/proc/loadavg: 4.16 4.00 3.72 5/194 25257
/proc/meminfo: memFree=29462220/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=324068 CPUtime=6.29 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 73697 0 0 0 618 11 0 0 25 0 1 0 525768898 331845632 69691 33554432000 4194304 5525396 140736538698080 18446744073709551615 4345711 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 81017 69691 330 325 0 76831 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 332768

[startup+12.701 s]
/proc/loadavg: 4.15 4.00 3.72 5/194 25257
/proc/meminfo: memFree=29440524/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=352880 CPUtime=12.69 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 79211 0 0 0 1257 12 0 0 25 0 1 0 525768898 361349120 75205 33554432000 4194304 5525396 140736538698080 18446744073709551615 4342324 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 88220 75205 331 325 0 84034 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 361580

[startup+25.5066 s]
/proc/loadavg: 4.12 4.00 3.73 5/194 25258
/proc/meminfo: memFree=29439492/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=352880 CPUtime=25.49 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 79211 0 0 0 2537 12 0 0 25 0 1 0 525768898 361349120 75205 33554432000 4194304 5525396 140736538698080 18446744073709551615 4342332 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 88220 75205 331 325 0 84034 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 361580

[startup+51.1007 s]
/proc/loadavg: 4.02 3.99 3.73 5/194 25287
/proc/meminfo: memFree=29538108/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=352884 CPUtime=51.09 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 79220 0 0 0 5097 12 0 0 25 0 1 0 525768898 361353216 75214 33554432000 4194304 5525396 140736538698080 18446744073709551615 4314832 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 88221 75214 335 325 0 84035 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 361584

[startup+102.301 s]
/proc/loadavg: 4.01 3.99 3.74 5/194 25289
/proc/meminfo: memFree=29519800/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=352884 CPUtime=102.29 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 79220 0 0 0 10216 13 0 0 25 0 1 0 525768898 361353216 75214 33554432000 4194304 5525396 140736538698080 18446744073709551615 4314847 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 88221 75214 335 325 0 84035 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 361584

[startup+162.301 s]
/proc/loadavg: 4.00 3.99 3.75 5/194 25290
/proc/meminfo: memFree=29396540/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=352884 CPUtime=162.29 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 79220 0 0 0 16216 13 0 0 25 0 1 0 525768898 361353216 75214 33554432000 4194304 5525396 140736538698080 18446744073709551615 4314847 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 88221 75214 335 325 0 84035 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 361584

[startup+222.3 s]
/proc/loadavg: 4.00 3.99 3.76 5/194 25292
/proc/meminfo: memFree=29367384/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=352884 CPUtime=222.3 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 79220 0 0 0 22217 13 0 0 25 0 1 0 525768898 361353216 75214 33554432000 4194304 5525396 140736538698080 18446744073709551615 4314847 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 88221 75214 335 325 0 84035 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 361584

[startup+282.301 s]
/proc/loadavg: 4.00 3.99 3.77 5/194 25293
/proc/meminfo: memFree=29335224/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=352884 CPUtime=282.3 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 79220 0 0 0 28217 13 0 0 25 0 1 0 525768898 361353216 75214 33554432000 4194304 5525396 140736538698080 18446744073709551615 4314832 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 88221 75214 335 325 0 84035 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 361584

[startup+342.307 s]
/proc/loadavg: 4.00 3.99 3.79 5/194 25295
/proc/meminfo: memFree=29193636/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=487536 CPUtime=342.31 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 110099 0 0 0 34213 18 0 0 25 0 1 0 525768898 499236864 103943 33554432000 4194304 5525396 140736538698080 18446744073709551615 4219449 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 121884 103943 371 325 0 117698 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 496236

[startup+402.301 s]
/proc/loadavg: 3.95 3.97 3.79 5/194 25326
/proc/meminfo: memFree=29248596/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2

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

/proc/25256/statm: 137776 119123 371 325 0 133590 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 559804

[startup+702.301 s]
/proc/loadavg: 4.02 4.00 3.85 5/194 25334
/proc/meminfo: memFree=29012080/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=588896 CPUtime=702.32 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 134423 0 0 0 70204 28 0 0 25 0 1 0 525768898 603029504 128267 33554432000 4194304 5525396 140736538698080 18446744073709551615 5308748 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 147224 128267 371 325 0 143038 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 597596

[startup+762.301 s]
/proc/loadavg: 4.00 4.00 3.85 5/194 25335
/proc/meminfo: memFree=28996980/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=595788 CPUtime=762.32 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 136036 0 0 0 76203 29 0 0 25 0 1 0 525768898 610086912 129880 33554432000 4194304 5525396 140736538698080 18446744073709551615 5308666 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 148947 129880 371 325 0 144761 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 604488

[startup+822.3 s]
/proc/loadavg: 4.07 4.02 3.86 5/194 25337
/proc/meminfo: memFree=28994960/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=596332 CPUtime=822.33 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 136155 0 0 0 82204 29 0 0 25 0 1 0 525768898 610643968 129999 33554432000 4194304 5525396 140736538698080 18446744073709551615 5308568 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 149083 129999 371 325 0 144897 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 605032

[startup+882.301 s]
/proc/loadavg: 4.08 4.03 3.87 5/194 25338
/proc/meminfo: memFree=28981152/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=604288 CPUtime=882.33 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 138109 0 0 0 88203 30 0 0 25 0 1 0 525768898 618790912 131953 33554432000 4194304 5525396 140736538698080 18446744073709551615 5309140 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 151072 131953 371 325 0 146886 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 612988

[startup+942.301 s]
/proc/loadavg: 4.03 4.02 3.88 5/194 25340
/proc/meminfo: memFree=28917128/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=627532 CPUtime=942.33 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 143769 0 0 0 94200 33 0 0 25 0 1 0 525768898 642592768 137613 33554432000 4194304 5525396 140736538698080 18446744073709551615 5309140 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 156883 137613 371 325 0 152697 0
Current children cumulated CPU time (s) 942.33
Current children cumulated vsize (KiB) 636232

[startup+1002.31 s]
/proc/loadavg: 4.01 4.02 3.89 5/194 25342
/proc/meminfo: memFree=28866500/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=634716 CPUtime=1002.34 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 145522 0 0 0 100200 34 0 0 25 0 1 0 525768898 649949184 139366 33554432000 4194304 5525396 140736538698080 18446744073709551615 5308706 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 158679 139366 371 325 0 154493 0
Current children cumulated CPU time (s) 1002.34
Current children cumulated vsize (KiB) 643416

[startup+1062.3 s]
/proc/loadavg: 4.07 4.03 3.90 5/194 25343
/proc/meminfo: memFree=28851220/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=634716 CPUtime=1062.33 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 145546 0 0 0 106199 34 0 0 25 0 1 0 525768898 649949184 139390 33554432000 4194304 5525396 140736538698080 18446744073709551615 5308936 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 158679 139390 371 325 0 154493 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 643416

[startup+1122.3 s]
/proc/loadavg: 4.09 4.04 3.91 5/194 25345
/proc/meminfo: memFree=28843752/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=634876 CPUtime=1122.34 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 145640 0 0 0 112200 34 0 0 25 0 1 0 525768898 650113024 139484 33554432000 4194304 5525396 140736538698080 18446744073709551615 4252758 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 158719 139484 371 325 0 154533 0
Current children cumulated CPU time (s) 1122.34
Current children cumulated vsize (KiB) 643576

[startup+1182.3 s]
/proc/loadavg: 4.03 4.03 3.91 5/194 25346
/proc/meminfo: memFree=28842356/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=635324 CPUtime=1182.34 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 145787 0 0 0 118200 34 0 0 25 0 1 0 525768898 650571776 139631 33554432000 4194304 5525396 140736538698080 18446744073709551615 5308648 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 158831 139631 371 325 0 154645 0
Current children cumulated CPU time (s) 1182.34
Current children cumulated vsize (KiB) 644024

[startup+1242.3 s]
/proc/loadavg: 4.01 4.02 3.91 5/194 25348
/proc/meminfo: memFree=28823596/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=650812 CPUtime=1242.33 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 149593 0 0 0 124198 35 0 0 25 0 1 0 525768898 666431488 143437 33554432000 4194304 5525396 140736538698080 18446744073709551615 5308661 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 162703 143437 371 325 0 158517 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 659512



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+1300 s]
/proc/loadavg: 3.94 4.00 3.91 5/194 25379
/proc/meminfo: memFree=29443036/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=671004 CPUtime=1300.04 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 154662 0 0 0 129965 39 0 0 25 0 1 0 525768898 687108096 148506 33554432000 4194304 5525396 140736538698080 18446744073709551615 4219732 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 167751 148506 371 325 0 163565 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 679704

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: 3.94 4.00 3.91 5/194 25379
/proc/meminfo: memFree=29443036/32951124 swapFree=67111416/67111528
[pid=25255] ppid=25253 vsize=8700 CPUtime=0 cores=0,2
/proc/25255/stat : 25255 (rissExp.sh) S 25253 25255 24369 0 -1 4202496 331 0 0 0 0 0 0 0 23 0 1 0 525768898 8908800 252 33554432000 4194304 4922060 140737065050320 18446744073709551615 212435836037 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0
/proc/25255/statm: 2175 252 211 178 0 68 0
[pid=25256] ppid=25255 vsize=671004 CPUtime=1300.04 cores=0,2
/proc/25256/stat : 25256 (rissExp) R 25255 25255 24369 0 -1 4202496 154662 0 0 0 129965 39 0 0 25 0 1 0 525768898 687108096 148506 33554432000 4194304 5525396 140736538698080 18446744073709551615 4219732 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/25256/statm: 167751 148506 371 325 0 163565 0
Current children cumulated CPU time (s) 1300.04
Current children cumulated vsize (KiB) 679704

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25255 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1300.04
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1300.01
CPU time (s): 1300.04
CPU user time (s): 1299.65
CPU system time (s): 0.39
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 679704

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

runsolver used 2.29365 second user time and 4.79827 second system time

The end

Launcher Data 

Begin job on node102 at 2011-04-30 07:34:25
IDJOB=3291041
IDBENCH=83466
IDSOLVER=1599
FILE ID=node102/3291041-1304141662
RUNJOBID= node102-1304140328-24976
PBS_JOBID= 13170820
Free space on /tmp= 72256 MiB

SOLVER NAME= riss Exp
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E00N23.cnf
COMMAND LINE= DIR/rissExp.sh DIR BENCHNAME RANDOMSEED TIMELIMIT MEMLIMIT NBCORE
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291041-1304141662/watcher-3291041-1304141662 -o /tmp/evaluation-result-3291041-1304141662/solver-3291041-1304141662 -C 2400 -W 1300 -M 7680  HOME/rissExp.sh HOME HOME/instance-3291041-1304141662.cnf 329397460 2400 7680 2

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

MD5SUM BENCH= 1a1f0dddf727883e0973677dd00e9269
RANDOM SEED=329397460

node102.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	: 5226.15
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.82
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.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.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.75
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.82
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:     32951124 kB
MemFree:      29741184 kB
Buffers:        620104 kB
Cached:        1548808 kB
SwapCached:          0 kB
Active:         943380 kB
Inactive:      1845504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      29741184 kB
SwapTotal:    67111528 kB
SwapFree:     67111416 kB
Dirty:          217636 kB
Writeback:           0 kB
AnonPages:      619756 kB
Mapped:          16200 kB
Slab:           355144 kB
PageTables:       6688 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   852440 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= 72352 MiB
End job on node102 at 2011-04-30 07:56:07