Trace number 3478806

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.13 1800.14

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-130.opb
MD5SUM1e275a6bfffefd782bc57067ec81c100
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 variables41972
Total number of constraints972388
Number of constraints which are clauses873653
Number of constraints which are cardinality constraints (but not clauses)3080
Number of constraints which are nor clauses,nor cardinality constraints95655
Minimum length of a constraint1
Maximum length of a constraint627
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 628
Number of bits of the biggest sum of numbers10
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-3478806-1307438601.opb.
0.00/0.00	c Instance file HOME/instance-3478806-1307438601.opb
0.00/0.00	c File size is 43874277 bytes.
2.59/2.68	c Highest Coefficient sum: 628
2.59/2.68	c ============================[ Problem Statistics ]=============================
2.59/2.68	c |                                                                             |
2.59/2.68	c |  Parsing time:          2.63         s                                      |
2.59/2.68	c |  Number Variables:      41972                                               |
2.59/2.68	c |  Number Clauses:        875214                                              |
2.59/2.68	c |  Number Cardinality:    3057                                                |
2.59/2.68	c |  Number PB Constraints: 95655                                               |
2.69/2.79	c ============================[ Search Statistics ]==============================
2.69/2.79	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.69/2.79	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.69/2.79	c ===============================================================================
2.69/2.79	c |         0 |   41336   973926  3729875 |   324642        0   -nan |  0.000 % |
3.20/3.29	c ============================[ Search Statistics ]==============================
3.20/3.29	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.20/3.29	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.20/3.29	c ===============================================================================
3.20/3.29	c |         0 |   41336   954234  3706943 |   318078        0   -nan |  0.000 % |
3.31/3.37	c |       101 |   41336   954234  3706943 |   349885      101     61 |  1.515 % |
3.39/3.45	c |       251 |   41336   954234  3706943 |   384874      251     79 |  1.515 % |
3.49/3.58	c |       476 |   41336   954234  3706943 |   423361      476     66 |  1.515 % |
3.79/3.82	c |       813 |   41336   954234  3706943 |   465697      813     64 |  1.515 % |
3.89/3.94	c |      1319 |   41336   954234  3706943 |   512267     1319     68 |  1.515 % |
4.99/5.01	c |      2078 |   41336   954234  3706943 |   563494     2078     69 |  1.515 % |
6.61/6.65	c |      3217 |   41336   954234  3706943 |   619844     3217     72 |  1.515 % |
7.29/7.36	c |      4926 |   41336   954234  3706943 |   681828     4926     88 |  1.515 % |
9.29/9.30	c |      7488 |   41336   954234  3706943 |   750011     7488     98 |  1.515 % |
11.29/11.30	c |     11334 |   41336   954234  3706943 |   825012    11334    113 |  1.515 % |
18.09/18.13	c |     17100 |   41336   954234  3706943 |   907513    17100    102 |  1.515 % |
23.21/23.35	c |     25751 |   41336   954234  3706943 |   998265    25751    110 |  1.515 % |
37.33/37.43	c |     38725 |   41335   954234  3706943 |  1098091    38725    108 |  1.518 % |
54.61/54.79	c |     58187 |   41335   954234  3706943 |  1207900    58187    108 |  1.518 % |
87.01/87.10	c |     87379 |   41335   954234  3706943 |  1328690    87379    115 |  1.518 % |
154.81/154.98	c |    131169 |   41330   954234  3706943 |  1461559   131169    119 |  1.530 % |
229.61/229.73	c |    196854 |   41329   954234  3706943 |  1607715   196854    116 |  1.532 % |
493.31/493.46	c |    295384 |   41328   954234  3706943 |  1768487   295384    123 |  1.534 % |
859.83/859.94	c |    443175 |   41327   954234  3706943 |  1945336   443175    117 |  1.537 % |

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-3478806-1307438601/watcher-3478806-1307438601 -o /tmp/evaluation-result-3478806-1307438601/solver-3478806-1307438601 -C 1800 -W 1900 -M 15500 wbo1.6 -file-format=opb -time-limit=1800 HOME/instance-3478806-1307438601.opb 

running on 4 cores: 1,3,5,7

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: 1.94 1.99 1.71 2/437 814
/proc/meminfo: memFree=24346300/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=44820 CPUtime=0 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 297 0 0 0 0 0 0 0 23 0 1 0 836275799 45895680 251 33554432000 4194304 5714214 140734223299664 18446744073709551615 4228051 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/814/statm: 11205 252 174 372 0 118 0

[startup+0.075546 s]
/proc/loadavg: 1.94 1.99 1.71 2/437 814
/proc/meminfo: memFree=24346300/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=48472 CPUtime=0.07 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 1463 0 0 0 7 0 0 0 23 0 1 0 836275799 49635328 1417 33554432000 4194304 5714214 140734223299664 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/814/statm: 12118 1417 455 372 0 1031 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 48472

[startup+0.100539 s]
/proc/loadavg: 1.94 1.99 1.71 2/437 814
/proc/meminfo: memFree=24346300/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=49724 CPUtime=0.09 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 1905 0 0 0 9 0 0 0 23 0 1 0 836275799 50917376 1826 33554432000 4194304 5714214 140734223299664 18446744073709551615 4228544 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/814/statm: 12431 1826 558 372 0 1344 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 49724

[startup+0.300502 s]
/proc/loadavg: 1.94 1.99 1.71 2/437 814
/proc/meminfo: memFree=24346300/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=59068 CPUtime=0.29 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 5052 0 0 0 29 0 0 0 25 0 1 0 836275799 60485632 4908 33554432000 4194304 5714214 140734223299664 18446744073709551615 4990142 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/814/statm: 14767 4909 1347 372 0 3680 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 59068

[startup+0.700425 s]
/proc/loadavg: 1.94 1.99 1.71 2/437 814
/proc/meminfo: memFree=24346300/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=78468 CPUtime=0.69 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 11576 0 0 0 68 1 0 0 25 0 1 0 836275799 80351232 11046 33554432000 4194304 5714214 140734223299664 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/814/statm: 19617 11046 2935 372 0 8530 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78468

[startup+1.50026 s]
/proc/loadavg: 1.94 1.99 1.71 3/438 815
/proc/meminfo: memFree=24298460/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=115880 CPUtime=1.49 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 24186 0 0 0 147 2 0 0 25 0 1 0 836275799 118661120 23143 33554432000 4194304 5714214 140734223299664 18446744073709551615 4227941 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/814/statm: 28970 23144 6214 372 0 17883 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 115880

[startup+3.10096 s]
/proc/loadavg: 2.02 2.01 1.72 3/438 815
/proc/meminfo: memFree=24247420/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=243824 CPUtime=3.09 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 71243 0 0 0 301 8 0 0 25 0 1 0 836275799 249675776 59488 33554432000 4194304 5714214 140734223299664 18446744073709551615 4970426 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/814/statm: 60956 59490 173 372 0 60581 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 243824

[startup+6.30032 s]
/proc/loadavg: 2.02 2.01 1.72 3/438 816
/proc/meminfo: memFree=24079772/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=257716 CPUtime=6.29 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 77173 0 0 0 605 24 0 0 19 0 1 0 836275799 263901184 63515 33554432000 4194304 5714214 140734223299664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/814/statm: 64429 63515 180 372 0 64054 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 257716

[startup+12.701 s]
/proc/loadavg: 2.02 2.01 1.72 3/438 816
/proc/meminfo: memFree=24074464/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=257716 CPUtime=12.69 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 77173 0 0 0 1224 45 0 0 19 0 1 0 836275799 263901184 63515 33554432000 4194304 5714214 140734223299664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/814/statm: 64429 63515 180 372 0 64054 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 257716

[startup+25.5005 s]
/proc/loadavg: 2.02 2.01 1.72 3/438 816
/proc/meminfo: memFree=24067652/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=257716 CPUtime=25.42 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 77180 0 0 0 2456 86 0 0 21 0 1 0 836275799 263901184 63522 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319964 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 64429 63522 180 372 0 64054 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 257716

[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 1.73 3/438 817
/proc/meminfo: memFree=24054036/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=257716 CPUtime=51.01 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 77185 0 0 0 4925 176 0 0 25 0 1 0 836275799 263901184 63527 33554432000 4194304 5714214 140734223299664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 64429 63527 180 372 0 64054 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 257716

[startup+102.316 s]
/proc/loadavg: 2.00 2.00 1.74 3/438 820
/proc/meminfo: memFree=24027136/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=257716 CPUtime=102.22 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 77252 0 0 0 9991 231 0 0 25 0 1 0 836275799 263901184 63594 33554432000 4194304 5714214 140734223299664 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 64429 63594 180 372 0 64054 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 257716

[startup+162.3 s]
/proc/loadavg: 2.05 2.01 1.76 3/438 823
/proc/meminfo: memFree=24001512/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=273876 CPUtime=162.2 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 81186 0 0 0 15940 280 0 0 25 0 1 0 836275799 280449024 67528 33554432000 4194304 5714214 140734223299664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 68469 67528 180 372 0 68094 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 273876

[startup+222.3 s]
/proc/loadavg: 2.02 2.01 1.77 3/438 824
/proc/meminfo: memFree=23962308/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=306628 CPUtime=222.21 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 89135 0 0 0 21911 310 0 0 25 0 1 0 836275799 313987072 75477 33554432000 4194304 5714214 140734223299664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 76657 75477 180 372 0 76282 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 306628

[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.78 3/438 826
/proc/meminfo: memFree=23928184/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=326820 CPUtime=282.21 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 93840 0 0 0 27900 321 0 0 25 0 1 0 836275799 334663680 80182 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 81705 80182 180 372 0 81330 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 326820

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.79 3/438 827
/proc/meminfo: memFree=23897900/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=342944 CPUtime=342.21 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 97777 0 0 0 33893 328 0 0 25 0 1 0 836275799 351174656 84119 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 85736 84119 180 372 0 85361 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 342944

[startup+402.301 s]
/proc/loadavg: 2.07 2.03 1.81 3/438 829
/proc/meminfo: memFree=23870232/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=359484 CPUtime=402.22 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 101843 0 0 0 39886 336 0 0 25 0 1 0 836275799 368111616 88185 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319855 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 89871 88185 180 372 0 89496 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 359484

[startup+462.301 s]
/proc/loadavg: 2.02 2.02 1.82 3/438 873
/proc/meminfo: memFree=23954508/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=374980 CPUtime=462.22 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 105665 0 0 0 45879 343 0 0 25 0 1 0 836275799 383979520 92007 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 93745 92007 180 372 0 93370 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 374980

[startup+522.301 s]
/proc/loadavg: 2.01 2.02 1.83 3/438 874
/proc/meminfo: memFree=23899528/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=393184 CPUtime=522.22 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 110074 0 0 0 51833 389 0 0 25 0 1 0 836275799 402620416 96416 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 98296 96416 180 372 0 97921 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 393184

[startup+582.301 s]
/proc/loadavg: 2.00 2.01 1.83 3/438 877
/proc/meminfo: memFree=23859692/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=414236 CPUtime=582.22 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 115027 0 0 0 57824 398 0 0 25 0 1 0 836275799 424177664 101369 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 103559 101369 180 372 0 103184 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 414236

[startup+642.301 s]

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

[startup+882.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/438 885
/proc/meminfo: memFree=23708500/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=485280 CPUtime=882.23 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 132505 0 0 0 87741 482 0 0 25 0 1 0 836275799 496926720 118847 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319418 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 121320 118847 180 372 0 120945 0
Current children cumulated CPU time (s) 882.23
Current children cumulated vsize (KiB) 485280

[startup+942.3 s]
/proc/loadavg: 2.07 2.02 1.88 3/438 886
/proc/meminfo: memFree=23687764/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=500616 CPUtime=942.24 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 135907 0 0 0 93731 493 0 0 25 0 1 0 836275799 512630784 122249 33554432000 4194304 5714214 140734223299664 18446744073709551615 4199408 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 125154 122249 180 372 0 124779 0
Current children cumulated CPU time (s) 942.24
Current children cumulated vsize (KiB) 500616

[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 1.89 3/438 888
/proc/meminfo: memFree=23660320/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=513972 CPUtime=1002.23 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 139115 0 0 0 99704 519 0 0 25 0 1 0 836275799 526307328 125457 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319384 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 128493 125457 180 372 0 128118 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 513972

[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 1.89 3/438 890
/proc/meminfo: memFree=23625460/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=524300 CPUtime=1062.24 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 141696 0 0 0 105699 525 0 0 25 0 1 0 836275799 536883200 128038 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319878 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 131075 128038 180 372 0 130700 0
Current children cumulated CPU time (s) 1062.24
Current children cumulated vsize (KiB) 524300

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/438 891
/proc/meminfo: memFree=23578432/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=535164 CPUtime=1122.25 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 144346 0 0 0 111695 530 0 0 25 0 1 0 836275799 548007936 130688 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319796 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 133791 130688 180 372 0 133416 0
Current children cumulated CPU time (s) 1122.25
Current children cumulated vsize (KiB) 535164

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/438 893
/proc/meminfo: memFree=23556212/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=543088 CPUtime=1182.25 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 146382 0 0 0 117690 535 0 0 25 0 1 0 836275799 556122112 132724 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319332 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 135772 132724 180 372 0 135397 0
Current children cumulated CPU time (s) 1182.25
Current children cumulated vsize (KiB) 543088

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/438 894
/proc/meminfo: memFree=23546388/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=551968 CPUtime=1242.25 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 148605 0 0 0 123686 539 0 0 25 0 1 0 836275799 565215232 134947 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 137992 134947 180 372 0 137617 0
Current children cumulated CPU time (s) 1242.25
Current children cumulated vsize (KiB) 551968

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/438 896
/proc/meminfo: memFree=23537072/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=559580 CPUtime=1302.26 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 150461 0 0 0 129683 543 0 0 25 0 1 0 836275799 573009920 136803 33554432000 4194304 5714214 140734223299664 18446744073709551615 4322634 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 139895 136803 180 372 0 139520 0
Current children cumulated CPU time (s) 1302.26
Current children cumulated vsize (KiB) 559580

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/438 898
/proc/meminfo: memFree=23483212/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=566648 CPUtime=1362.26 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 152240 0 0 0 135678 548 0 0 25 0 1 0 836275799 580247552 138582 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 141662 138582 180 372 0 141287 0
Current children cumulated CPU time (s) 1362.26
Current children cumulated vsize (KiB) 566648

[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.91 3/438 899
/proc/meminfo: memFree=23446848/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=572936 CPUtime=1422.27 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 153836 0 0 0 141675 552 0 0 25 0 1 0 836275799 586686464 140178 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 143234 140178 180 372 0 142859 0
Current children cumulated CPU time (s) 1422.27
Current children cumulated vsize (KiB) 572936

[startup+1482.3 s]
/proc/loadavg: 2.07 2.03 1.92 3/438 901
/proc/meminfo: memFree=23439024/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=580436 CPUtime=1482.26 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 155647 0 0 0 147668 558 0 0 25 0 1 0 836275799 594366464 141989 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 145109 141989 180 372 0 144734 0
Current children cumulated CPU time (s) 1482.26
Current children cumulated vsize (KiB) 580436

[startup+1542.3 s]
/proc/loadavg: 2.02 2.02 1.92 3/438 902
/proc/meminfo: memFree=23431816/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=588212 CPUtime=1542.27 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 157510 0 0 0 153664 563 0 0 25 0 1 0 836275799 602329088 143852 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 147053 143852 180 372 0 146678 0
Current children cumulated CPU time (s) 1542.27
Current children cumulated vsize (KiB) 588212

[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 1.92 3/438 904
/proc/meminfo: memFree=23424108/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=594820 CPUtime=1602.26 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 159187 0 0 0 159659 567 0 0 25 0 1 0 836275799 609095680 145529 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 148705 145529 180 372 0 148330 0
Current children cumulated CPU time (s) 1602.26
Current children cumulated vsize (KiB) 594820

[startup+1662.3 s]
/proc/loadavg: 2.07 2.03 1.93 3/438 906
/proc/meminfo: memFree=23410300/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=601624 CPUtime=1662.27 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 160858 0 0 0 165655 572 0 0 25 0 1 0 836275799 616062976 147200 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 150406 147200 180 372 0 150031 0
Current children cumulated CPU time (s) 1662.27
Current children cumulated vsize (KiB) 601624

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 1.93 3/438 907
/proc/meminfo: memFree=23376164/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=609556 CPUtime=1722.27 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 162760 0 0 0 171651 576 0 0 25 0 1 0 836275799 624185344 149102 33554432000 4194304 5714214 140734223299664 18446744073709551615 4319248 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 152389 149102 180 372 0 152014 0
Current children cumulated CPU time (s) 1722.27
Current children cumulated vsize (KiB) 609556

[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/438 909
/proc/meminfo: memFree=23333476/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=618484 CPUtime=1782.28 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 164890 0 0 0 177647 581 0 0 25 0 1 0 836275799 633327616 151232 33554432000 4194304 5714214 140734223299664 18446744073709551615 4198960 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 154621 151232 180 372 0 154246 0
Current children cumulated CPU time (s) 1782.28
Current children cumulated vsize (KiB) 618484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.00 2.01 1.93 3/438 909
/proc/meminfo: memFree=23322308/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=620460 CPUtime=1800.07 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 165394 0 0 0 179425 582 0 0 25 0 1 0 836275799 635351040 151736 33554432000 4194304 5714214 140734223299664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 155115 151736 180 372 0 154740 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 620460

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

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

[startup+1800.1 s]
/proc/loadavg: 2.00 2.01 1.93 3/438 909
/proc/meminfo: memFree=23322308/32951124 swapFree=50923800/67111528
[pid=814] ppid=812 vsize=620460 CPUtime=1800.07 cores=1,3,5,7
/proc/814/stat : 814 (wbo1.6) R 812 814 656 0 -1 4202496 165394 0 0 0 179425 582 0 0 25 0 1 0 836275799 635351040 151736 33554432000 4194304 5714214 140734223299664 18446744073709551615 5070807 0 0 4096 3 0 0 0 17 3 0 0 0
/proc/814/statm: 155115 151736 180 372 0 154740 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 620460

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.14
CPU time (s): 1800.13
CPU user time (s): 1794.27
CPU system time (s): 5.85411
CPU usage (%): 99.999
Max. virtual memory (cumulated for all children) (KiB): 620460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.27
system time used= 5.85411
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165395
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= 1852

runsolver used 7.9168 second user time and 17.6243 second system time

The end

Launcher Data 

Begin job on node143 at 2011-06-07 11:23:22
IDJOB=3478806
IDBENCH=89692
IDSOLVER=1953
FILE ID=node143/3478806-1307438601
RUNJOBID= node143-1307436782-675
PBS_JOBID= 13519945
Free space on /tmp= 73964 MiB

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

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

MD5SUM BENCH= 1e275a6bfffefd782bc57067ec81c100
RANDOM SEED=2132808804

node143.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.846
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.846
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.846
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.846
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.846
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.846
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.846
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.846
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:      24346580 kB
Buffers:        350092 kB
Cached:         702072 kB
SwapCached:       9164 kB
Active:        7733808 kB
Inactive:       578664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24346580 kB
SwapTotal:    67111528 kB
SwapFree:     50923800 kB
Dirty:           57916 kB
Writeback:          20 kB
AnonPages:     7257744 kB
Mapped:          22476 kB
Slab:           143664 kB
PageTables:      79824 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 115729060 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= 73956 MiB
End job on node143 at 2011-06-07 11:53:24