Trace number 3479015

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
wbo 1.6? (TO) 1800.08 1800.05

General information on the benchmark

Name/DEC-SMALLINT-LIN/heinz/
normalized-neos-820157.opb
MD5SUMda32b1e615c8e1bae2ecd5f742c16c96
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables1200
Total number of constraints1015
Number of constraints which are clauses835
Number of constraints which are cardinality constraints (but not clauses)180
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint20
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 21
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c wbo 1.6 beta - 20110321
0.00/0.00	c Parsing opb file format. File HOME/instance-3479015-1307444786.opb.
0.00/0.00	c Instance file HOME/instance-3479015-1307444786.opb
0.00/0.00	c File size is 46027 bytes.
0.00/0.00	c Highest Coefficient sum: 21
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      1200                                                |
0.00/0.00	c |  Number Clauses:        940                                                 |
0.00/0.00	c |  Number Cardinality:    195                                                 |
0.00/0.00	c |  Number PB Constraints: 0                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |    1200     1135     6975 |     5000        0   -nan |  0.000 % |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |    1200     1135     6975 |     5000        0   -nan |  0.000 % |
0.00/0.00	c |       100 |    1200     1135     6975 |     5500      100     35 |  0.000 % |
0.00/0.01	c |       250 |    1200     1135     6975 |     6050      250     26 |  0.000 % |
0.00/0.01	c |       475 |    1200     1135     6975 |     6655      475     22 |  0.000 % |
0.00/0.02	c |       814 |    1200     1135     6975 |     7320      814     24 |  0.000 % |
0.00/0.03	c |      1320 |    1200     1135     6975 |     8052     1320     28 |  0.000 % |
0.04/0.05	c |      2079 |    1200     1135     6975 |     8857     2079     29 |  0.000 % |
0.04/0.08	c |      3221 |    1200     1135     6975 |     9743     3221     29 |  0.000 % |
0.09/0.14	c |      4930 |    1200     1135     6975 |    10717     4930     31 |  0.000 % |
0.19/0.26	c |      7493 |    1200     1135     6975 |    11789     7493     32 |  0.000 % |
0.49/0.55	c |     11337 |    1200     1135     6975 |    12968    11337     35 |  0.000 % |
0.89/0.98	c |     17104 |    1200     1135     6975 |    14265    10454     40 |  0.000 % |
1.89/1.94	c |     25755 |    1200     1135     6975 |    15692    11851     42 |  0.000 % |
3.79/3.86	c |     38729 |    1200     1135     6975 |    17261     8910     43 |  0.000 % |
6.61/6.66	c |     58192 |    1200     1135     6975 |    18987    10928     41 |  0.000 % |
11.49/11.52	c |     87384 |    1200     1135     6975 |    20886    11192     44 |  0.000 % |
20.29/20.36	c |    131174 |    1200     1135     6975 |    22974    12738     46 |  0.000 % |
33.88/33.97	c |    196863 |    1200     1135     6975 |    25272    20387     50 |  0.000 % |
56.37/56.41	c |    295392 |    1200     1135     6975 |    27799    16989     47 |  0.000 % |
94.08/94.17	c |    443182 |    1200     1135     6975 |    30579    24439     51 |  0.000 % |
153.99/154.03	c |    664865 |    1200     1135     6975 |    33637    26218     52 |  0.000 % |
251.48/251.58	c |    997390 |    1200     1135     6975 |    37001    20321     55 |  0.000 % |
392.70/392.72	c |   1496181 |    1200     1135     6975 |    40701    19661     53 |  0.000 % |
611.69/611.77	c |   2244364 |    1200     1135     6975 |    44771    31579     54 |  0.000 % |
958.39/958.42	c |   3366638 |    1200     1135     6975 |    49248    19936     47 |  0.000 % |
1452.51/1452.59	c |   5050050 |    1200     1135     6975 |    54173    49301     52 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3479015-1307444786/watcher-3479015-1307444786 -o /tmp/evaluation-result-3479015-1307444786/solver-3479015-1307444786 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479015-1307444786.opb 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.16 0.03 0.01 1/522 11329
/proc/meminfo: memFree=24740900/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=3088 CPUtime=0 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 582 0 0 0 0 0 0 0 18 0 1 0 934709298 3162112 523 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 772 523 180 372 0 397 0

[startup+0.047828 s]
/proc/loadavg: 0.16 0.03 0.01 1/522 11329
/proc/meminfo: memFree=24740900/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=3352 CPUtime=0.04 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 645 0 0 0 4 0 0 0 18 0 1 0 934709298 3432448 586 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 838 586 180 372 0 463 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 3352

[startup+0.100808 s]
/proc/loadavg: 0.16 0.03 0.01 1/522 11329
/proc/meminfo: memFree=24740900/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=4012 CPUtime=0.09 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 794 0 0 0 9 0 0 0 18 0 1 0 934709298 4108288 735 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 1003 735 180 372 0 628 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4012

[startup+0.300812 s]
/proc/loadavg: 0.16 0.03 0.01 1/522 11329
/proc/meminfo: memFree=24740900/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=5464 CPUtime=0.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 1174 0 0 0 28 1 0 0 18 0 1 0 934709298 5595136 1115 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 1366 1115 180 372 0 991 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5464

[startup+0.70071 s]
/proc/loadavg: 0.16 0.03 0.01 1/522 11329
/proc/meminfo: memFree=24740900/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=7456 CPUtime=0.69 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 1643 0 0 0 68 1 0 0 18 0 1 0 934709298 7634944 1584 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 1864 1584 180 372 0 1489 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7456

[startup+1.50055 s]
/proc/loadavg: 0.16 0.03 0.01 3/528 11340
/proc/meminfo: memFree=24721012/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=9044 CPUtime=1.49 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 2043 0 0 0 147 2 0 0 20 0 1 0 934709298 9261056 1984 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 2261 1984 180 372 0 1886 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9044

[startup+3.10026 s]
/proc/loadavg: 0.16 0.03 0.01 2/523 11357
/proc/meminfo: memFree=24730328/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=10644 CPUtime=3.09 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 2473 0 0 0 306 3 0 0 25 0 1 0 934709298 10899456 2414 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 2661 2414 180 372 0 2286 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10644

[startup+6.30074 s]
/proc/loadavg: 0.31 0.07 0.02 2/523 11388
/proc/meminfo: memFree=24726116/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=14432 CPUtime=6.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 3399 0 0 0 625 4 0 0 25 0 1 0 934709298 14778368 3340 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319280 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 3608 3340 180 372 0 3233 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14432

[startup+12.7006 s]
/proc/loadavg: 0.44 0.10 0.03 3/528 11398
/proc/meminfo: memFree=24524640/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=19612 CPUtime=12.69 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 4670 0 0 0 1263 6 0 0 25 0 1 0 934709298 20082688 4611 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 4903 4611 180 372 0 4528 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19612

[startup+25.5004 s]
/proc/loadavg: 0.79 0.19 0.06 3/528 11398
/proc/meminfo: memFree=24507676/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=27752 CPUtime=25.48 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 6670 0 0 0 2536 12 0 0 25 0 1 0 934709298 28418048 6611 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 6938 6611 180 372 0 6563 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27752

[startup+51.1009 s]
/proc/loadavg: 1.20 0.33 0.11 3/528 11399
/proc/meminfo: memFree=24431252/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=41088 CPUtime=51.08 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 9942 0 0 0 5086 22 0 0 25 0 1 0 934709298 42074112 9883 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 10272 9883 180 372 0 9897 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 41088

[startup+102.32 s]
/proc/loadavg: 1.65 0.59 0.21 3/528 11400
/proc/meminfo: memFree=24176716/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=64588 CPUtime=102.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 15730 0 0 0 10190 39 0 0 25 0 1 0 934709298 66138112 15671 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 16147 15671 180 372 0 15772 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 64588

[startup+162.3 s]
/proc/loadavg: 1.87 0.84 0.32 3/528 11402
/proc/meminfo: memFree=23842428/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=88964 CPUtime=162.27 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 21781 0 0 0 16170 57 0 0 25 0 1 0 934709298 91099136 21722 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 22241 21722 180 372 0 21866 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 88964

[startup+222.301 s]
/proc/loadavg: 1.95 1.05 0.42 3/528 11404
/proc/meminfo: memFree=23479196/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=111680 CPUtime=222.28 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 27378 0 0 0 22151 77 0 0 25 0 1 0 934709298 114360320 27319 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319422 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 27920 27319 180 372 0 27545 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 111680

[startup+282.3 s]
/proc/loadavg: 1.98 1.22 0.52 3/528 11405
/proc/meminfo: memFree=23455096/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=135868 CPUtime=282.28 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 33357 0 0 0 28133 95 0 0 25 0 1 0 934709298 139128832 33298 33554432000 4194304 5714214 140735099080960 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 33967 33298 180 372 0 33592 0
Current children cumulated CPU time (s) 282.28
Current children cumulated vsize (KiB) 135868

[startup+342.301 s]
/proc/loadavg: 1.99 1.36 0.61 3/528 11408
/proc/meminfo: memFree=23433824/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=156096 CPUtime=342.28 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 38364 0 0 0 34112 116 0 0 25 0 1 0 934709298 159842304 38305 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 39024 38305 180 372 0 38649 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 156096

[startup+402.3 s]
/proc/loadavg: 1.99 1.47 0.69 3/528 11409
/proc/meminfo: memFree=23407120/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=181136 CPUtime=402.28 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 44580 0 0 0 40093 135 0 0 25 0 1 0 934709298 185483264 44521 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 45284 44521 180 372 0 44909 0
Current children cumulated CPU time (s) 402.28
Current children cumulated vsize (KiB) 181136

[startup+462.301 s]
/proc/loadavg: 1.99 1.57 0.77 3/528 11412
/proc/meminfo: memFree=23385004/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=204044 CPUtime=462.28 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 50086 0 0 0 46074 154 0 0 25 0 1 0 934709298 208941056 50027 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319269 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 51011 50027 180 372 0 50636 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 204044

[startup+522.3 s]
/proc/loadavg: 2.23 1.71 0.87 3/528 11414
/proc/meminfo: memFree=23364376/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=225204 CPUtime=522.28 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 55286 0 0 0 52057 171 0 0 25 0 1 0 934709298 230608896 55227 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 56301 55227 180 372 0 55926 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 225204

[startup+582.301 s]
/proc/loadavg: 2.19 1.79 0.94 3/528 11415
/proc/meminfo: memFree=23344244/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=245692 CPUtime=582.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 60375 0 0 0 58039 190 0 0 25 0 1 0 934709298 251588608 60316 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 61423 60316 180 372 0 61048 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 245692

[startup+642.301 s]

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

[startup+822.301 s]
/proc/loadavg: 2.00 1.90 1.17 3/528 11422
/proc/meminfo: memFree=22543660/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=326536 CPUtime=822.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 80339 0 0 0 81967 262 0 0 25 0 1 0 934709298 334372864 80280 33554432000 4194304 5714214 140735099080960 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 81634 80280 180 372 0 81259 0
Current children cumulated CPU time (s) 822.29
Current children cumulated vsize (KiB) 326536

[startup+882.301 s]
/proc/loadavg: 2.00 1.91 1.22 3/528 11423
/proc/meminfo: memFree=22369760/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=347576 CPUtime=882.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 85566 0 0 0 87949 280 0 0 25 0 1 0 934709298 355917824 85507 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319136 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 86894 85507 180 372 0 86519 0
Current children cumulated CPU time (s) 882.29
Current children cumulated vsize (KiB) 347576

[startup+942.301 s]
/proc/loadavg: 2.00 1.92 1.27 3/528 11425
/proc/meminfo: memFree=22196972/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=370184 CPUtime=942.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 91176 0 0 0 93928 301 0 0 25 0 1 0 934709298 379068416 91117 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 92546 91117 180 372 0 92171 0
Current children cumulated CPU time (s) 942.29
Current children cumulated vsize (KiB) 370184

[startup+1002.3 s]
/proc/loadavg: 2.00 1.94 1.31 3/528 11426
/proc/meminfo: memFree=21992224/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=392144 CPUtime=1002.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 96648 0 0 0 99906 323 0 0 25 0 1 0 934709298 401555456 96589 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 98036 96589 180 372 0 97661 0
Current children cumulated CPU time (s) 1002.29
Current children cumulated vsize (KiB) 392144

[startup+1062.3 s]
/proc/loadavg: 2.16 1.98 1.36 3/528 11428
/proc/meminfo: memFree=21843516/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=410656 CPUtime=1062.3 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 101244 0 0 0 105886 344 0 0 25 0 1 0 934709298 420511744 101185 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 102664 101185 180 372 0 102289 0
Current children cumulated CPU time (s) 1062.3
Current children cumulated vsize (KiB) 410656

[startup+1122.3 s]
/proc/loadavg: 2.29 2.03 1.41 3/528 11430
/proc/meminfo: memFree=21665776/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=430960 CPUtime=1122.29 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 106257 0 0 0 111866 363 0 0 25 0 1 0 934709298 441303040 106194 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 107740 106194 180 372 0 107365 0
Current children cumulated CPU time (s) 1122.29
Current children cumulated vsize (KiB) 430960

[startup+1182.3 s]
/proc/loadavg: 2.18 2.04 1.45 3/528 11431
/proc/meminfo: memFree=21483708/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=455648 CPUtime=1182.3 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 112355 0 0 0 117848 382 0 0 25 0 1 0 934709298 466583552 112292 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 113912 112292 180 372 0 113537 0
Current children cumulated CPU time (s) 1182.3
Current children cumulated vsize (KiB) 455648

[startup+1242.3 s]
/proc/loadavg: 2.06 2.03 1.48 3/528 11433
/proc/meminfo: memFree=21292452/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=476192 CPUtime=1242.3 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 117468 0 0 0 123828 402 0 0 25 0 1 0 934709298 487620608 117405 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 119048 117405 180 372 0 118673 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 476192

[startup+1302.3 s]
/proc/loadavg: 2.02 2.02 1.51 3/528 11434
/proc/meminfo: memFree=21043660/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=499476 CPUtime=1302.31 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 123251 0 0 0 129812 419 0 0 25 0 1 0 934709298 511463424 123188 33554432000 4194304 5714214 140735099080960 18446744073709551615 4299968 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 124869 123188 180 372 0 124494 0
Current children cumulated CPU time (s) 1302.31
Current children cumulated vsize (KiB) 499476

[startup+1362.3 s]
/proc/loadavg: 2.01 2.02 1.54 3/528 11436
/proc/meminfo: memFree=20811736/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=520036 CPUtime=1362.31 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 128391 0 0 0 135793 438 0 0 25 0 1 0 934709298 532516864 128328 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 130009 128328 180 372 0 129634 0
Current children cumulated CPU time (s) 1362.31
Current children cumulated vsize (KiB) 520036

[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 1.57 3/528 11438
/proc/meminfo: memFree=20568896/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=539344 CPUtime=1422.32 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 133202 0 0 0 141776 456 0 0 25 0 1 0 934709298 552288256 133139 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 134836 133139 180 372 0 134461 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 539344

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.59 3/528 11439
/proc/meminfo: memFree=20343944/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=559312 CPUtime=1482.31 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 138186 0 0 0 147754 477 0 0 25 0 1 0 934709298 572735488 138123 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 139828 138123 180 372 0 139453 0
Current children cumulated CPU time (s) 1482.31
Current children cumulated vsize (KiB) 559312

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.61 3/528 11441
/proc/meminfo: memFree=20156660/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=581792 CPUtime=1542.3 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 143755 0 0 0 153734 496 0 0 25 0 1 0 934709298 595755008 143692 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319395 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 145448 143692 180 372 0 145073 0
Current children cumulated CPU time (s) 1542.3
Current children cumulated vsize (KiB) 581792

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.64 3/528 11442
/proc/meminfo: memFree=19939500/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=600852 CPUtime=1602.31 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 148495 0 0 0 159716 515 0 0 25 0 1 0 934709298 615272448 148432 33554432000 4194304 5714214 140735099080960 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 150213 148432 180 372 0 149838 0
Current children cumulated CPU time (s) 1602.31
Current children cumulated vsize (KiB) 600852

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.66 3/528 11444
/proc/meminfo: memFree=19757676/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=620316 CPUtime=1662.31 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 153326 0 0 0 165697 534 0 0 25 0 1 0 934709298 635203584 153263 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 155079 153263 180 372 0 154704 0
Current children cumulated CPU time (s) 1662.31
Current children cumulated vsize (KiB) 620316

[startup+1722.3 s]
/proc/loadavg: 2.11 2.04 1.69 3/528 11446
/proc/meminfo: memFree=19562336/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=640348 CPUtime=1722.31 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 158332 0 0 0 171677 554 0 0 25 0 1 0 934709298 655716352 158269 33554432000 4194304 5714214 140735099080960 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 160087 158269 180 372 0 159712 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 640348

[startup+1782.3 s]
/proc/loadavg: 2.11 2.06 1.72 3/528 11447
/proc/meminfo: memFree=19337120/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=663560 CPUtime=1782.31 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 164100 0 0 0 177659 572 0 0 25 0 1 0 934709298 679485440 164037 33554432000 4194304 5714214 140735099080960 18446744073709551615 4300272 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 165890 164037 180 372 0 165515 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 663560



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.08 2.05 1.72 3/528 11448
/proc/meminfo: memFree=19283296/32951124 swapFree=56241860/67111528
[pid=11329] ppid=11327 vsize=667984 CPUtime=1800.02 cores=0,2,4,6
/proc/11329/stat : 11329 (wbo1.6) R 11327 11329 11298 0 -1 4202496 165203 0 0 0 179424 578 0 0 25 0 1 0 934709298 684015616 165140 33554432000 4194304 5714214 140735099080960 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 2 0 0 0
/proc/11329/statm: 166996 165140 180 372 0 166621 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 667984

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.05
CPU time (s): 1800.08
CPU user time (s): 1794.26
CPU system time (s): 5.81812
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 667984

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

runsolver used 10.1545 second user time and 20.9678 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-07 13:06:26
IDJOB=3479015
IDBENCH=89819
IDSOLVER=1953
FILE ID=node119/3479015-1307444786
RUNJOBID= node119-1307444786-11319
PBS_JOBID= 13520312
Free space on /tmp= 73792 MiB

SOLVER NAME= wbo 1.6
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/heinz/normalized-neos-820157.opb
COMMAND LINE= wbo1.6 -file-format=opb -time-limit=TIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3479015-1307444786/watcher-3479015-1307444786 -o /tmp/evaluation-result-3479015-1307444786/solver-3479015-1307444786 -C 1800 -W 1900 -M 15500  wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3479015-1307444786.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= da32b1e615c8e1bae2ecd5f742c16c96
RANDOM SEED=572144329

node119.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.815
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.63
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.815
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.83
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.815
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.815
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.83
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.815
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.67
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.815
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.83
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.815
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.74
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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24741304 kB
Buffers:        283096 kB
Cached:         730632 kB
SwapCached:      59108 kB
Active:         844968 kB
Inactive:      7061056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24741304 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:            4504 kB
Writeback:           0 kB
AnonPages:     6836200 kB
Mapped:          32364 kB
Slab:           152196 kB
PageTables:      79676 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 163855792 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= 73768 MiB
End job on node119 at 2011-06-07 13:36:28