Trace number 1875625

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 NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.26 1800.85

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos19.opb
MD5SUM1ef5c8e94b66b7ed63dffc6923ecd901
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-3
Best CPU time to get the best result obtained on this benchmark1798.33
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -3
Optimality of the best value was proved NO
Number of variables1041679
Total number of constraints127860
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints127780
Minimum length of a constraint2
Maximum length of a constraint275
Number of terms in the objective function 1611
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1611
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24576
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 98256
Number of bits of the biggest sum of numbers17
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 This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875625-1245132283.opb.
0.00/0.00	c Instance file HOME/instance-1875625-1245132283.opb
0.00/0.00	c File size is 36556625 bytes.
8.79/8.82	c Highest Coefficient sum: 98256
8.79/8.83	c ============================[ Problem Statistics ]=============================
8.79/8.83	c |                                                                             |
8.79/8.83	c |  Parsing time:          8.48         s                                      |
8.79/8.83	c |  Number Variables:      1041679                                             |
8.79/8.83	c |  Number Clauses:        4552                                                |
8.79/8.83	c |  Number Cardinality:    1643                                                |
8.79/8.83	c |  Number PB Constraints: 155612                                              |
8.79/8.88	c ============================[ Search Statistics ]==============================
8.79/8.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
8.79/8.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
8.79/8.88	c ===============================================================================
8.79/8.88	c |         0 | 1021287   161807  4813016 |    53935        0    nan |  0.000 % |
8.89/8.92	c |       100 | 1021287   161807  4813016 |    59329      100    111 |  1.958 % |
8.89/8.98	c |       250 | 1021287   161807  4813016 |    65262      250    108 |  1.958 % |
8.98/9.05	c |       475 | 1021287   161807  4813016 |    71788      475    108 |  1.958 % |
13.19/13.29	c |       812 | 1021287   161807  4813016 |    78967      812     82 |  1.958 % |
13.39/13.46	c |      1318 | 1021287   161807  4813016 |    86863     1318     83 |  1.958 % |
13.58/13.61	c |      2077 | 1021287   161807  4813016 |    95550     2077     85 |  1.958 % |
17.99/18.08	c |      3217 | 1021287   161807  4813016 |   105105     3217     88 |  1.958 % |
18.28/18.38	c |      4925 | 1021287   161807  4813016 |   115615     4925     97 |  1.958 % |
18.88/18.96	c |      7488 | 1021287   161807  4813016 |   127177     7488    103 |  1.958 % |
19.79/19.89	c |     11333 | 1021287   161807  4813016 |   139895    11333    106 |  1.958 % |
21.28/21.34	c |     17099 | 1021287   161807  4813016 |   153884    17099    108 |  1.958 % |
24.29/24.35	c |     25749 | 1021287   161807  4813016 |   169273    25749    109 |  1.958 % |
29.77/29.85	c |     38724 | 1021287   161807  4813016 |   186200    38724    110 |  1.958 % |
38.87/38.90	c |     58185 | 1021287   161807  4813016 |   204820    58185    109 |  1.958 % |
57.06/57.12	c |     87377 | 1021287   161807  4813016 |   225302    87377    107 |  1.958 % |
76.76/76.89	c |    131167 | 1021287   161807  4813016 |   247832   131167    106 |  1.958 % |
128.04/128.15	c |    196851 | 1021287   161807  4813016 |   272616   196851    104 |  1.958 % |
239.20/239.33	c |    295377 | 1021287   161807  4813016 |   299877    15533    101 |  1.958 % |
404.15/404.39	c |    443166 | 1021287   161807  4813016 |   329865   163322    104 |  1.958 % |
594.99/595.21	c |    664849 | 1021287   161807  4813016 |   362852    48101     98 |  1.958 % |
941.67/942.06	c |    997374 | 1021287   161807  4813016 |   399137   380626    108 |  1.958 % |
1705.92/1706.50	c |   1496162 | 1021287   161807  4813016 |   439051    67271    122 |  1.958 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875625-1245132283/watcher-1875625-1245132283 -o /tmp/evaluation-result-1875625-1245132283/solver-1875625-1245132283 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875625-1245132283.opb 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31940
/proc/meminfo: memFree=1306972/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=38508 CPUtime=0
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 180825762 39432192 243 1992294400 134512640 135709839 4294956240 18446744073709551615 135165876 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 9627 243 125 292 0 407 0

[startup+0.0235641 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31940
/proc/meminfo: memFree=1306972/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=40192 CPUtime=0.02
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 656 0 0 0 2 0 0 0 18 0 1 0 180825762 41156608 640 1992294400 134512640 135709839 4294956240 18446744073709551615 134571093 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 10048 640 150 292 0 828 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 40192

[startup+0.101576 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31940
/proc/meminfo: memFree=1306972/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=46524 CPUtime=0.09
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 2230 0 0 0 9 0 0 0 18 0 1 0 180825762 47640576 2141 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 11631 2141 245 292 0 2411 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 46524

[startup+0.301609 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31940
/proc/meminfo: memFree=1306972/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=61504 CPUtime=0.29
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 6222 0 0 0 27 2 0 0 19 0 1 0 180825762 62980096 5843 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 15376 5845 494 292 0 6156 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 61504

[startup+0.701676 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 31940
/proc/meminfo: memFree=1306972/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=90896 CPUtime=0.69
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 13855 0 0 0 64 5 0 0 22 0 1 0 180825762 93077504 12740 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 22724 12740 977 292 0 13504 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90896

[startup+1.50282 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=1240724/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=151452 CPUtime=1.49
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 28214 0 0 0 137 12 0 0 25 0 1 0 180825762 155086848 25888 1992294400 134512640 135709839 4294956240 18446744073709551615 134548118 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 37863 25888 1896 292 0 28643 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 151452

[startup+3.10109 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=1166164/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=232208 CPUtime=3.09
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 54083 0 0 0 286 23 0 0 25 0 1 0 180825762 237780992 50362 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 58052 50362 3778 292 0 48832 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 232208

[startup+6.30263 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=1070740/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=294656 CPUtime=6.29
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 72844 0 0 0 599 30 0 0 25 0 1 0 180825762 301727744 69123 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 73664 69123 6893 292 0 64444 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 294656

[startup+12.7017 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=1000084/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=318156 CPUtime=12.69
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 89545 0 0 0 1231 38 0 0 25 0 1 0 180825762 325791744 76770 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 79539 76770 135 292 0 79244 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 318156

[startup+25.5019 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=976852/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=342320 CPUtime=25.49
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 95563 0 0 0 2502 47 0 0 25 0 1 0 180825762 350535680 82788 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 85580 82788 135 292 0 85285 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 342320

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=934036/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=385336 CPUtime=51.06
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 106275 0 0 0 5045 61 0 0 25 0 1 0 180825762 394584064 93500 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 96334 93500 135 292 0 96039 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 385336

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=857556/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=461340 CPUtime=102.25
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 125202 0 0 0 10133 92 0 0 25 0 1 0 180825762 472412160 112427 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 115335 112427 135 292 0 115040 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 461340

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=820372/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=499068 CPUtime=162.22
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 134505 0 0 0 16117 105 0 0 25 0 1 0 180825762 511045632 121730 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 124767 121730 135 292 0 124472 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 499068

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=757012/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=561732 CPUtime=222.2
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 150247 0 0 0 22089 131 0 0 25 0 1 0 180825762 575213568 137472 1992294400 134512640 135709839 4294956240 18446744073709551615 134568263 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 140433 137472 135 292 0 140138 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 561732

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=702740/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=616424 CPUtime=282.19
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 163879 0 0 0 28066 153 0 0 25 0 1 0 180825762 631218176 151104 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 154106 151104 135 292 0 153811 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 616424

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=667412/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=651440 CPUtime=342.17
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 172631 0 0 0 34046 171 0 0 25 0 1 0 180825762 667074560 159856 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 162860 159856 135 292 0 162565 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 651440

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=639892/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=679160 CPUtime=402.15
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 179538 0 0 0 40029 186 0 0 25 0 1 0 180825762 695459840 166763 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 169790 166763 135 292 0 169495 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 679160

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=571604/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=747236 CPUtime=462.13
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 196529 0 0 0 45997 216 0 0 25 0 1 0 180825762 765169664 183754 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 186809 183754 135 292 0 186514 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 747236

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=525076/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=794524 CPUtime=522.11
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 208197 0 0 0 51973 238 0 0 25 0 1 0 180825762 813592576 195422 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 198631 195422 135 292 0 198336 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 794524

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=503444/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=815704 CPUtime=582.09
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 213461 0 0 0 57961 248 0 0 25 0 1 0 180825762 835280896 200686 1992294400 134512640 135709839 4294956240 18446744073709551615 134568566 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 203926 200686 135 292 0 203631 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 815704

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=414676/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=904484 CPUtime=642.08
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 235593 0 0 0 63929 279 0 0 25 0 1 0 180825762 926191616 222818 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 226121 222818 135 292 0 225826 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 904484

[startup+702.303 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=249492/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1070236 CPUtime=882
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 276842 0 0 0 87850 350 0 0 25 0 1 0 180825762 1095921664 264067 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 267559 264067 135 292 0 267264 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 1070236

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=226260/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1093796 CPUtime=941.97
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 282755 0 0 0 93834 363 0 0 25 0 1 0 180825762 1120047104 269980 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 273449 269980 135 292 0 273154 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 1093796

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=193620/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1125444 CPUtime=1001.95
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 290755 0 0 0 99818 377 0 0 25 0 1 0 180825762 1152454656 277980 1992294400 134512640 135709839 4294956240 18446744073709551615 134568679 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 281361 277980 135 292 0 281066 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 1125444

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=193556/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1125444 CPUtime=1061.93
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 290755 0 0 0 105816 377 0 0 25 0 1 0 180825762 1152454656 277980 1992294400 134512640 135709839 4294956240 18446744073709551615 134568583 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 281361 277980 135 292 0 281066 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 1125444

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=180756/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1138776 CPUtime=1121.92
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 294092 0 0 0 111811 381 0 0 25 0 1 0 180825762 1166106624 281317 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 284694 281317 135 292 0 284399 0
Current children cumulated CPU time (s) 1121.92
Current children cumulated vsize (KiB) 1138776

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=65172/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1255180 CPUtime=1181.9
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 323171 0 0 0 117766 424 0 0 25 0 1 0 180825762 1285304320 310396 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 313795 310396 135 292 0 313500 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 1255180

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=16148/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1313744 CPUtime=1241.88
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 337778 0 0 0 123739 449 0 0 25 0 1 0 180825762 1345273856 325003 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 328436 325003 135 292 0 328141 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 1313744

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=15956/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1349076 CPUtime=1301.86
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 346553 0 0 0 129720 466 0 0 25 0 1 0 180825762 1381453824 333778 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 337269 333778 135 292 0 336974 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 1349076

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=16020/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1366228 CPUtime=1361.83
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 350805 0 0 0 135708 475 0 0 25 0 1 0 180825762 1399017472 338030 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 341557 338030 135 292 0 341262 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 1366228

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=15700/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1383396 CPUtime=1421.82
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 355075 0 0 0 141698 484 0 0 25 0 1 0 180825762 1416597504 342300 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 345849 342300 135 292 0 345554 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 1383396

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=15316/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1402360 CPUtime=1481.8
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 359800 0 0 0 147683 497 0 0 25 0 1 0 180825762 1436016640 347025 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 350590 347025 135 292 0 350295 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 1402360

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=14996/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1421124 CPUtime=1541.78
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 364485 0 0 0 153668 510 0 0 25 0 1 0 180825762 1455230976 351710 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 355281 351710 135 292 0 354986 0
Current children cumulated CPU time (s) 1541.78
Current children cumulated vsize (KiB) 1421124

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31941
/proc/meminfo: memFree=14804/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1438604 CPUtime=1601.76
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 368854 0 0 0 159653 523 0 0 25 0 1 0 180825762 1473130496 356079 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 359651 356079 135 292 0 359356 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 1438604

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=14868/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1444716 CPUtime=1661.74
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 370324 0 0 0 165647 527 0 0 25 0 1 0 180825762 1479389184 357549 1992294400 134512640 135709839 4294956240 18446744073709551615 134568690 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 361179 357549 135 292 0 360884 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 1444716

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=15188/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1510116 CPUtime=1721.72
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 386675 0 0 0 171619 553 0 0 25 0 1 0 180825762 1546358784 373900 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 377529 373900 135 292 0 377234 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 1510116

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=15444/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1563128 CPUtime=1781.7
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 399918 0 0 0 177593 577 0 0 25 0 1 0 180825762 1600643072 387143 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 390782 387143 135 292 0 390487 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 1563128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=16340/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=1583744 CPUtime=1800.01
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4194304 405075 0 0 0 179414 587 0 0 25 0 1 0 180825762 1621753856 392300 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 395936 392300 135 292 0 395641 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 1583744

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 31941
/proc/meminfo: memFree=16340/2055920 swapFree=4181368/4192956
[pid=31940] ppid=31938 vsize=0 CPUtime=1800.2
/proc/31940/stat : 31940 (wbo) R 31938 31940 31664 0 -1 4195332 405075 0 0 0 179414 606 0 0 25 0 1 0 180825762 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/31940/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.85
CPU time (s): 1800.26
CPU user time (s): 1794.14
CPU system time (s): 6.11307
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 1583744

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

runsolver used 1.20782 second user time and 3.85641 second system time

The end

Launcher Data 

Begin job on node43 at 2009-06-16 08:04:45
IDJOB=1875625
IDBENCH=1845
IDSOLVER=698
FILE ID=node43/1875625-1245132283
PBS_JOBID= 9363711
Free space on /tmp= 66156 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875625-1245132283/watcher-1875625-1245132283 -o /tmp/evaluation-result-1875625-1245132283/solver-1875625-1245132283 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875625-1245132283.opb

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 1ef5c8e94b66b7ed63dffc6923ecd901
RANDOM SEED=2057035505

node43.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.281
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1307388 kB
Buffers:         47460 kB
Cached:         628616 kB
SwapCached:       5352 kB
Active:         108228 kB
Inactive:       575676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1307388 kB
SwapTotal:     4192956 kB
SwapFree:      4181368 kB
Dirty:           38080 kB
Writeback:           0 kB
Mapped:          13528 kB
Slab:            50580 kB
Committed_AS:   166668 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875625-1245132283.opb

Free space on /tmp at the end= 66156 MiB
End job on node43 at 2009-06-16 08:34:48