Trace number 1876122

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? (MO) 1546.25 1546.87

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos1.opb
MD5SUM374deb5d477559ba9c51d0ad1d758624
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark11.5532
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 19
Optimality of the best value was proved YES
Number of variables2112
Total number of constraints5020
Number of constraints which are clauses4128
Number of constraints which are cardinality constraints (but not clauses)216
Number of constraints which are nor clauses,nor cardinality constraints676
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 288
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 288
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 5
Number of bits of the biggest number in a constraint 3
Biggest sum of numbers in a constraint 288
Number of bits of the biggest sum of numbers9
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-1876122-1245132854.opb.
0.00/0.00	c Instance file HOME/instance-1876122-1245132854.opb
0.00/0.00	c File size is 214964 bytes.
0.00/0.03	c Highest Coefficient sum: 33
0.00/0.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Parsing time:          0.03         s                                      |
0.00/0.03	c |  Number Variables:      2112                                                |
0.00/0.03	c |  Number Clauses:        4416                                                |
0.00/0.03	c |  Number Cardinality:    416                                                 |
0.00/0.03	c |  Number PB Constraints: 576                                                 |
0.00/0.03	c core #1
0.00/0.03	c Core size: 33	Core Weight: 1	Total Weight: 1
0.00/0.03	c Elapsed CPU time: 0.030995 s	Remaining CPU time: 1799.97 s
0.00/0.04	c core #2
0.00/0.04	c Core size: 25	Core Weight: 1	Total Weight: 2
0.00/0.04	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #3
0.00/0.04	c Core size: 34	Core Weight: 1	Total Weight: 3
0.00/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.04/0.05	c core #4
0.04/0.05	c Core size: 25	Core Weight: 1	Total Weight: 4
0.04/0.05	c Elapsed CPU time: 0.050992 s	Remaining CPU time: 1799.95 s
0.04/0.06	c core #5
0.04/0.06	c Core size: 33	Core Weight: 1	Total Weight: 5
0.04/0.06	c Elapsed CPU time: 0.057991 s	Remaining CPU time: 1799.94 s
0.04/0.06	c core #6
0.04/0.06	c Core size: 33	Core Weight: 1	Total Weight: 6
0.04/0.06	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
0.04/0.07	c core #7
0.04/0.07	c Core size: 25	Core Weight: 1	Total Weight: 7
0.04/0.07	c Elapsed CPU time: 0.072988 s	Remaining CPU time: 1799.93 s
0.04/0.08	c core #8
0.04/0.08	c Core size: 34	Core Weight: 1	Total Weight: 8
0.04/0.08	c Elapsed CPU time: 0.080987 s	Remaining CPU time: 1799.92 s
0.04/0.09	c core #9
0.04/0.09	c Core size: 25	Core Weight: 1	Total Weight: 9
0.04/0.09	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.04/0.09	c core #10
0.04/0.09	c Core size: 33	Core Weight: 1	Total Weight: 10
0.04/0.09	c Elapsed CPU time: 0.094985 s	Remaining CPU time: 1799.91 s
0.09/0.10	c ============================[ Search Statistics ]==============================
0.09/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    1072     5418    15040 |     5000        0    nan |  0.000 % |
0.09/0.10	c ===============================================================================
0.09/0.10	c core #11
0.09/0.10	c Core size: 169	Core Weight: 1	Total Weight: 11
0.09/0.10	c Elapsed CPU time: 0.102984 s	Remaining CPU time: 1799.9 s
0.09/0.11	c Learning 5 hard constraints
0.09/0.11	c ============================[ Search Statistics ]==============================
0.09/0.11	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.11	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.11	c ===============================================================================
0.09/0.11	c |         0 |    1952     5424    21919 |     5000        0    nan |  0.000 % |
0.09/0.12	c ===============================================================================
0.09/0.12	c core #12
0.09/0.12	c Core size: 298	Core Weight: 1	Total Weight: 12
0.09/0.12	c Elapsed CPU time: 0.119981 s	Remaining CPU time: 1799.88 s
0.09/0.13	c Learning 5 hard constraints
0.09/0.13	c ============================[ Search Statistics ]==============================
0.09/0.13	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.13	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.13	c ===============================================================================
0.09/0.13	c |         0 |    2204     5430    22314 |     5000        0    nan |  0.000 % |
0.09/0.15	c |       100 |    2204     5430    22314 |     5500      100     59 | 10.697 % |
0.09/0.19	c |       253 |    2200     5430    22314 |     6050      250     72 | 10.859 % |
0.19/0.23	c |       478 |    2200     5430    22314 |     6655      475     75 | 10.859 % |
0.19/0.30	c |       815 |    2200     5430    22314 |     7320      805     79 | 10.859 % |
0.39/0.41	c |      1321 |    2198     5430    22314 |     8052     1310     75 | 10.940 % |
0.39/0.43	c ===============================================================================
0.39/0.44	c core #13
0.39/0.44	c Core size: 396	Core Weight: 1	Total Weight: 13
0.39/0.44	c Elapsed CPU time: 0.432934 s	Remaining CPU time: 1799.57 s
0.39/0.45	c Learning 98 hard constraints
0.39/0.45	c ============================[ Search Statistics ]==============================
0.39/0.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.45	c ===============================================================================
0.39/0.45	c |         0 |    2482     5529    25633 |     5000        0    nan |  0.000 % |
0.39/0.46	c |       101 |    2482     5529    25633 |     5500      101     72 |  5.556 % |
0.39/0.49	c |       252 |    2482     5529    25633 |     6050      252     92 |  5.556 % |
0.49/0.54	c |       479 |    2482     5529    25633 |     6655      479    108 |  5.556 % |
0.59/0.61	c |       817 |    2482     5529    25633 |     7320      817    108 |  5.556 % |
0.69/0.76	c |      1326 |    2482     5529    25633 |     8052     1326    116 |  5.556 % |
0.89/0.96	c |      2086 |    2482     5529    25633 |     8857     2086    115 |  5.556 % |
1.19/1.22	c |      3229 |    2482     5529    25633 |     9743     3229    106 |  5.556 % |
1.69/1.78	c |      4938 |    2481     5529    25633 |    10717     4937    105 |  5.594 % |
2.89/2.91	c |      7503 |    2480     5529    25633 |    11789     7501    116 |  5.632 % |
4.58/4.67	c |     11351 |    2480     5529    25633 |    12968    11349    111 |  5.632 % |
6.49/6.51	c |     17120 |    2480     5529    25633 |    14265    10445     92 |  5.632 % |
9.98/10.02	c |     25770 |    2480     5529    25633 |    15692    11815    109 |  5.632 % |
12.09/12.14	c ===============================================================================
12.38/12.42	c core #14
12.38/12.42	c Core size: 679	Core Weight: 1	Total Weight: 14
12.38/12.42	c Elapsed CPU time: 12.2951 s	Remaining CPU time: 1787.7 s
12.38/12.47	c Learning 286 hard constraints
12.38/12.47	c ============================[ Search Statistics ]==============================
12.38/12.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
12.38/12.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
12.38/12.47	c ===============================================================================
12.38/12.47	c |         0 |    2772     5816    32048 |     5000        0    nan |  0.000 % |
12.38/12.49	c |       100 |    2772     5816    32048 |     5500      100     58 |  1.702 % |
12.48/12.52	c |       251 |    2772     5816    32048 |     6050      251     71 |  1.702 % |
12.48/12.55	c |       477 |    2772     5816    32048 |     6655      477     56 |  1.702 % |
12.59/12.62	c |       814 |    2772     5816    32048 |     7320      814     62 |  1.702 % |
12.69/12.71	c |      1321 |    2772     5816    32048 |     8052     1321     72 |  1.702 % |
12.79/12.88	c |      2080 |    2772     5816    32048 |     8857     2080     79 |  1.702 % |
13.09/13.17	c |      3220 |    2771     5816    32048 |     9743     3218     87 |  1.738 % |
13.48/13.54	c |      4929 |    2771     5816    32048 |    10717     4927     83 |  1.738 % |
14.08/14.18	c |      7502 |    2770     5816    32048 |    11789     7483     84 |  1.773 % |
15.39/15.40	c |     11346 |    2770     5816    32048 |    12968    11327    104 |  1.773 % |
18.19/18.24	c |     17112 |    2770     5816    32048 |    14265    10477    139 |  1.773 % |
23.18/23.23	c |     25764 |    2770     5816    32048 |    15692    11750    161 |  1.773 % |
31.07/31.12	c |     38741 |    2770     5816    32048 |    17261     8741    110 |  1.773 % |
41.87/41.90	c |     58205 |    2770     5816    32048 |    18987    10679    100 |  1.773 % |
56.97/57.05	c |     87400 |    2768     5816    32048 |    20886    10786    157 |  1.844 % |
76.45/76.52	c ===============================================================================
77.75/77.85	c core #15
77.75/77.85	c Core size: 880	Core Weight: 1	Total Weight: 15
77.75/77.85	c Elapsed CPU time: 77.2603 s	Remaining CPU time: 1722.74 s
77.85/77.99	c Learning 270 hard constraints
77.85/77.99	c ============================[ Search Statistics ]==============================
77.85/77.99	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
77.85/77.99	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
77.85/77.99	c ===============================================================================
77.85/77.99	c |         0 |    3016     6087    39020 |     5000        0    nan |  0.000 % |
77.95/78.04	c |       101 |    3016     6087    39020 |     5500      101    140 |  0.790 % |
77.95/78.08	c |       256 |    3016     6087    39020 |     6050      256    115 |  0.789 % |
78.05/78.11	c |       481 |    3016     6087    39020 |     6655      481    100 |  0.789 % |
78.05/78.16	c |       818 |    3016     6087    39020 |     7320      818     99 |  0.789 % |
78.15/78.27	c |      1324 |    3016     6087    39020 |     8052     1324     97 |  0.789 % |
78.35/78.41	c |      2083 |    3013     6087    39020 |     8857     2081     82 |  0.888 % |
78.55/78.61	c |      3222 |    3013     6087    39020 |     9743     3220     85 |  0.888 % |
79.05/79.18	c |      4930 |    3013     6087    39020 |    10717     4926    137 |  0.888 % |
79.85/79.98	c |      7492 |    3013     6087    39020 |    11789     7488    153 |  0.888 % |
81.05/81.11	c |     11336 |    3013     6087    39020 |    12968    11332    160 |  0.888 % |
83.25/83.38	c |     17102 |    3013     6087    39020 |    14265    10467    192 |  0.888 % |
86.25/86.39	c |     25751 |    3013     6087    39020 |    15692    11780    172 |  0.888 % |
94.24/94.31	c |     38730 |    3013     6087    39020 |    17261     8652    248 |  0.888 % |
107.94/108.08	c |     58192 |    3013     6087    39020 |    18987    10386    235 |  0.888 % |
126.83/126.94	c |     87390 |    3013     6087    39020 |    20886    10349    244 |  0.888 % |
164.62/164.75	c |    131180 |    3013     6087    39020 |    22974    11702    263 |  0.888 % |
230.19/230.33	c |    196865 |    3013     6087    39020 |    25272    19423    205 |  0.888 % |
349.05/349.27	c |    295391 |    3013     6087    39020 |    27799    13482    232 |  0.888 % |
478.09/478.30	c |    443181 |    3013     6087    39020 |    30579    24121    251 |  0.888 % |
739.58/739.91	c |    664864 |    3013     6087    39020 |    33637    22873    281 |  0.888 % |
1206.00/1206.54	c |    997389 |    3013     6087    39020 |    37001    27660    277 |  0.888 % |

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-1876122-1245132854/watcher-1876122-1245132854 -o /tmp/evaluation-result-1876122-1245132854/solver-1876122-1245132854 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1876122-1245132854.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.04 1.01 1.00 3/64 544
/proc/meminfo: memFree=1861344/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=3036 CPUtime=0
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 180885634 3108864 244 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 759 244 126 292 0 411 0

[startup+0.052709 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 544
/proc/meminfo: memFree=1861344/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=4424 CPUtime=0.04
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 737 0 0 0 4 0 0 0 18 0 1 0 180885634 4530176 668 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 1106 669 134 292 0 811 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4424

[startup+0.101713 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 544
/proc/meminfo: memFree=1861344/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=5920 CPUtime=0.09
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 1104 0 0 0 9 0 0 0 18 0 1 0 180885634 6062080 1035 1992294400 134512640 135709839 4294956240 18446744073709551615 135166691 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 1480 1035 134 292 0 1185 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5920

[startup+0.301733 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 544
/proc/meminfo: memFree=1861344/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=6880 CPUtime=0.29
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 1341 0 0 0 29 0 0 0 18 0 1 0 180885634 7045120 1272 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 1720 1272 136 292 0 1425 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6880

[startup+0.701774 s]
/proc/loadavg: 1.04 1.01 1.00 3/64 544
/proc/meminfo: memFree=1861344/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=8092 CPUtime=0.69
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 1650 0 0 0 68 1 0 0 21 0 1 0 180885634 8286208 1581 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 2023 1581 136 292 0 1728 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8092

[startup+1.50186 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 545
/proc/meminfo: memFree=1855320/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=9412 CPUtime=1.49
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 1978 0 0 0 147 2 0 0 25 0 1 0 180885634 9637888 1909 1992294400 134512640 135709839 4294956240 18446744073709551615 134572630 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 2353 1909 136 292 0 2058 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9412

[startup+3.10202 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 545
/proc/meminfo: memFree=1852632/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=12984 CPUtime=3.09
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 2872 0 0 0 305 4 0 0 25 0 1 0 180885634 13295616 2803 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 3246 2803 136 292 0 2951 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12984

[startup+6.30234 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 545
/proc/meminfo: memFree=1846104/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=19312 CPUtime=6.29
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 4444 0 0 0 622 7 0 0 25 0 1 0 180885634 19775488 4375 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 4828 4375 136 292 0 4533 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19312

[startup+12.702 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 545
/proc/meminfo: memFree=1833496/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=31700 CPUtime=12.69
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 7530 0 0 0 1256 13 0 0 25 0 1 0 180885634 32460800 7461 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 7925 7461 136 292 0 7630 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 31700

[startup+25.5013 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 545
/proc/meminfo: memFree=1819160/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=44648 CPUtime=25.48
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 10764 0 0 0 2526 22 0 0 25 0 1 0 180885634 45719552 10695 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/544/statm: 11162 10695 136 292 0 10867 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44648

[startup+51.1019 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 545
/proc/meminfo: memFree=1778648/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=85908 CPUtime=51.06
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 21075 0 0 0 5063 43 0 0 25 0 1 0 180885634 87969792 21006 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 21477 21006 136 292 0 21182 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 85908

[startup+102.305 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 545
/proc/meminfo: memFree=1731288/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=131828 CPUtime=102.25
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 32591 0 0 0 10149 76 0 0 25 0 1 0 180885634 134991872 32522 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 32957 32522 136 292 0 32662 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 131828

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=1629912/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=233544 CPUtime=162.22
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 58005 0 0 0 16102 120 0 0 25 0 1 0 180885634 239149056 57936 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 58386 57936 136 292 0 58091 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 233544

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=1550744/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=312200 CPUtime=222.2
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 77667 0 0 0 22067 153 0 0 25 0 1 0 180885634 319692800 77598 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 78050 77598 136 292 0 77755 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 312200

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=1479896/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=383772 CPUtime=282.17
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 95536 0 0 0 28037 180 0 0 25 0 1 0 180885634 392982528 95467 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 95943 95467 136 292 0 95648 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 383772

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=1413400/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=450032 CPUtime=342.15
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 112091 0 0 0 34005 210 0 0 25 0 1 0 180885634 460832768 112022 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 112508 112022 136 292 0 112213 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 450032

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=1337752/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=525848 CPUtime=402.13
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 131015 0 0 0 39973 240 0 0 25 0 1 0 180885634 538468352 130946 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 131462 130946 136 292 0 131167 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 525848

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=1242200/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=620772 CPUtime=462.1
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 154716 0 0 0 45931 279 0 0 25 0 1 0 180885634 635670528 154647 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 155193 154647 136 292 0 154898 0
Current children cumulated CPU time (s) 462.1
Current children cumulated vsize (KiB) 620772

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=1172248/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=691496 CPUtime=522.07
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 172351 0 0 0 51896 311 0 0 25 0 1 0 180885634 708091904 172282 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 172874 172282 136 292 0 172579 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 691496

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=1107160/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=755888 CPUtime=582.04
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 188405 0 0 0 57864 340 0 0 25 0 1 0 180885634 774029312 188336 1992294400 134512640 135709839 4294956240 18446744073709551615 134573869 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 188972 188336 136 292 0 188677 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 755888

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=1035032/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=827348 CPUtime=642.03
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 206254 0 0 0 63829 374 0 0 25 0 1 0 180885634 847204352 206185 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 206837 206185 136 292 0 206542 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 827348

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=963352/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=899988 CPUtime=702
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 224413 0 0 0 69798 402 0 0 25 0 1 0 180885634 921587712 224344 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 224997 224344 136 292 0 224702 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 899988

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=872984/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=989148 CPUtime=761.97
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 246677 0 0 0 75761 436 0 0 25 0 1 0 180885634 1012887552 246608 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 247287 246608 136 292 0 246992 0
Current children cumulated CPU time (s) 761.97
Current children cumulated vsize (KiB) 989148

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=798040/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=1064332 CPUtime=821.95
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 265473 0 0 0 81728 467 0 0 25 0 1 0 180885634 1089875968 265404 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 266083 265404 136 292 0 265788 0
Current children cumulated CPU time (s) 821.95
Current children cumulated vsize (KiB) 1064332

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=744088/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=1117796 CPUtime=881.92
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 278829 0 0 0 87699 493 0 0 25 0 1 0 180885634 1144623104 278760 1992294400 134512640 135709839 4294956240 18446744073709551615 134573964 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 279449 278760 136 292 0 279154 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 1117796

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=689240/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=1173876 CPUtime=941.9
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 292837 0 0 0 93671 519 0 0 25 0 1 0 180885634 1202049024 292768 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 293469 292768 136 292 0 293174 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 1173876

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=633112/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=1228992 CPUtime=1001.88
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 306594 0 0 0 99649 539 0 0 25 0 1 0 180885634 1258487808 306525 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 307248 306525 136 292 0 306953 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 1228992

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=573080/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=1290184 CPUtime=1061.86
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 321882 0 0 0 105624 562 0 0 25 0 1 0 180885634 1321148416 321813 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 322546 321814 136 292 0 322251 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 1290184

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=511832/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=1349936 CPUtime=1121.84
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 336811 0 0 0 111599 585 0 0 25 0 1 0 180885634 1382334464 336742 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 337484 336742 136 292 0 337189 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 1349936

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=462360/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=1399848 CPUtime=1181.81
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 349280 0 0 0 117572 609 0 0 25 0 1 0 180885634 1433444352 349211 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 349962 349211 136 292 0 349667 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 1399848

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=395864/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=1465832 CPUtime=1241.79
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 365752 0 0 0 123542 637 0 0 25 0 1 0 180885634 1501011968 365683 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 366458 365683 136 292 0 366163 0
Current children cumulated CPU time (s) 1241.79
Current children cumulated vsize (KiB) 1465832

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=301848/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=1559048 CPUtime=1301.77
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 389055 0 0 0 129502 675 0 0 25 0 1 0 180885634 1596465152 388986 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 389762 388986 136 292 0 389467 0
Current children cumulated CPU time (s) 1301.77
Current children cumulated vsize (KiB) 1559048

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=229144/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=1631936 CPUtime=1361.74
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 407289 0 0 0 135474 700 0 0 25 0 1 0 180885634 1671102464 407220 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 407984 407220 136 292 0 407689 0
Current children cumulated CPU time (s) 1361.74
Current children cumulated vsize (KiB) 1631936

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=149464/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=1711280 CPUtime=1421.72
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 427106 0 0 0 141446 726 0 0 25 0 1 0 180885634 1752350720 427037 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 427820 427037 136 292 0 427525 0
Current children cumulated CPU time (s) 1421.72
Current children cumulated vsize (KiB) 1711280

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=85784/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=1776100 CPUtime=1481.7
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 443315 0 0 0 147424 746 0 0 25 0 1 0 180885634 1818726400 443246 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 444025 443246 136 292 0 443730 0
Current children cumulated CPU time (s) 1481.7
Current children cumulated vsize (KiB) 1776100

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=20376/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=1840176 CPUtime=1541.68
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 459321 0 0 0 153399 769 0 0 25 0 1 0 180885634 1884340224 459252 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 460044 459252 136 292 0 459749 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 1840176



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+1546.61 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=17240/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=1843212 CPUtime=1545.98
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4194304 460073 0 0 0 153828 770 0 0 25 0 1 0 180885634 1887449088 460004 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 460803 460004 136 292 0 460508 0
Current children cumulated CPU time (s) 1545.98
Current children cumulated vsize (KiB) 1843212

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

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

[startup+1546.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 545
/proc/meminfo: memFree=17240/2055920 swapFree=4182564/4192956
[pid=544] ppid=542 vsize=0 CPUtime=1546.17
/proc/544/stat : 544 (wbo) R 542 544 342 0 -1 4195332 460073 0 0 0 153828 789 0 0 25 0 1 0 180885634 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/544/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1546.17
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1546.87
CPU time (s): 1546.25
CPU user time (s): 1538.29
CPU system time (s): 7.96779
CPU usage (%): 99.9599
Max. virtual memory (cumulated for all children) (KiB): 1843212

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

runsolver used 1.73773 second user time and 3.90541 second system time

The end

Launcher Data 

Begin job on node17 at 2009-06-16 08:14:14
IDJOB=1876122
IDBENCH=1850
IDSOLVER=698
FILE ID=node17/1876122-1245132854
PBS_JOBID= 9363690
Free space on /tmp= 66356 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-neos1.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-1876122-1245132854/watcher-1876122-1245132854 -o /tmp/evaluation-result-1876122-1245132854/solver-1876122-1245132854 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1876122-1245132854.opb

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

MD5SUM BENCH= 374deb5d477559ba9c51d0ad1d758624
RANDOM SEED=482660830

node17.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.214
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.214
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:       1862016 kB
Buffers:         17224 kB
Cached:         107548 kB
SwapCached:       4224 kB
Active:          17596 kB
Inactive:       115168 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1862016 kB
SwapTotal:     4192956 kB
SwapFree:      4182564 kB
Dirty:            2608 kB
Writeback:           0 kB
Mapped:          13748 kB
Slab:            47148 kB
Committed_AS:   158208 kB
PageTables:       1456 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-1876122-1245132854.opb

Free space on /tmp at the end= 66356 MiB
End job on node17 at 2009-06-16 08:40:02