Trace number 1875442

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.29 1808.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_25_4.opb
MD5SUMf7dd1b6b0a4946caf4c26a82905ed8fe
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-26
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -34
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)12520
Sum of products size (including duplicates)25040
Number of different products6260
Sum of products size12520

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-1875442-1245212158.opb.
0.00/0.00	c Instance file HOME/instance-1875442-1245212158.opb
0.00/0.00	c File size is 535263 bytes.
0.00/0.08	c Highest Coefficient sum: 400
0.08/0.08	c ============================[ Problem Statistics ]=============================
0.08/0.08	c |                                                                             |
0.08/0.08	c |  Parsing time:          0.08         s                                      |
0.08/0.08	c |  Number Variables:      6660                                                |
0.08/0.08	c |  Number Clauses:        6660                                                |
0.08/0.08	c |  Number Cardinality:    402                                                 |
0.08/0.08	c |  Number PB Constraints: 6260                                                |
0.08/0.08	c core #1
0.08/0.08	c Core size: 401	Core Weight: 1	Total Weight: -199
0.08/0.08	c Elapsed CPU time: 0.082987 s	Remaining CPU time: 1799.92 s
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 |    6860    13323    51880 |     5000        0    nan |  0.000 % |
0.09/0.16	c |       102 |    6860    13323    51880 |     5500      102     98 |  1.168 % |
0.09/0.17	c ===============================================================================
0.09/0.17	c core #2
0.09/0.17	c Core size: 410	Core Weight: 1	Total Weight: -198
0.09/0.17	c Elapsed CPU time: 0.166974 s	Remaining CPU time: 1799.83 s
0.19/0.20	c Learning 2 hard constraints
0.19/0.20	c ============================[ Search Statistics ]==============================
0.19/0.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.19/0.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.19/0.20	c ===============================================================================
0.19/0.20	c |         0 |    7060    13326    52286 |     5000        0    nan |  0.000 % |
0.19/0.27	c |       100 |    7060    13326    52286 |     5500      100    158 |  0.000 % |
0.29/0.35	c |       250 |    7060    13326    52286 |     6050      250    148 |  0.000 % |
0.39/0.49	c |       475 |    7020    13326    52286 |     6655      431    154 |  0.567 % |
0.69/0.71	c |       812 |    6990    13326    52286 |     7320      732    149 |  0.992 % |
0.99/1.05	c |      1318 |    6958    13326    52286 |     8052     1168    151 |  1.898 % |
1.48/1.59	c |      2079 |    6894    13326    52286 |     8857     1791    153 |  2.748 % |
2.39/2.43	c |      3244 |    6833    13326    52286 |     9743     2934    152 |  4.504 % |
3.78/3.82	c |      4981 |    6700    13326    52286 |    10717     4521    152 |  7.635 % |
6.18/6.23	c |      7543 |    5652    13326    52286 |    11789     5892    167 | 22.408 % |
10.98/11.10	c |     11387 |    4962    13326    52286 |    12968     9028    166 | 35.241 % |
14.88/14.90	c ===============================================================================
15.08/15.15	c core #3
15.08/15.15	c Core size: 752	Core Weight: 1	Total Weight: -197
15.08/15.15	c Elapsed CPU time: 15.0467 s	Remaining CPU time: 1784.95 s
15.17/15.20	c Learning 56 hard constraints
15.17/15.20	c ============================[ Search Statistics ]==============================
15.17/15.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
15.17/15.20	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
15.17/15.20	c ===============================================================================
15.17/15.20	c |         0 |    7260    13383    56788 |     5000        0    nan |  0.000 % |
15.17/15.30	c |       100 |    7260    13383    56788 |     5500      100    245 |  0.000 % |
15.38/15.42	c |       250 |    7260    13383    56788 |     6050      250    191 |  0.000 % |
15.58/15.67	c |       475 |    7260    13383    56788 |     6655      475    167 |  0.000 % |
15.87/15.90	c |       812 |    7260    13383    56788 |     7320      812    163 |  0.000 % |
16.27/16.31	c |      1341 |    7260    13383    56788 |     8052     1341    164 |  0.000 % |
16.79/16.86	c |      2101 |    7260    13383    56788 |     8857     2101    160 |  0.000 % |
17.68/17.77	c |      3270 |    7260    13383    56788 |     9743     3270    174 |  0.000 % |
19.08/19.12	c |      4978 |    7260    13383    56788 |    10717     4978    180 |  0.000 % |
21.28/21.39	c |      7541 |    7260    13383    56788 |    11789     7541    183 |  0.000 % |
25.06/25.16	c |     11385 |    7260    13383    56788 |    12968    11385    183 |  0.000 % |
30.46/30.52	c |     17197 |    7260    13383    56788 |    14265    10426    180 |  0.000 % |
38.25/38.35	c |     25846 |    7260    13383    56788 |    15692    11649    178 |  0.000 % |
51.56/51.70	c |     38824 |    7260    13383    56788 |    17261    16583    183 |  0.002 % |
76.74/76.86	c |     58285 |    7230    13383    56788 |    18987     8201    182 |  0.413 % |
110.79/111.05	c |     87477 |    7143    13383    56788 |    20886    16880    174 |  1.614 % |
154.84/155.44	c |    131268 |    6497    13383    56788 |    22974    14158    119 | 12.054 % |
217.35/218.66	c |    196960 |    5347    13383    56788 |    25272    21427    148 | 27.837 % |
319.90/322.15	c |    295486 |    5041    13383    56788 |    27799    24272    183 | 31.391 % |
478.89/482.73	c |    443278 |    4980    13383    56788 |    30579    19035    178 | 31.419 % |
667.76/672.30	c ===============================================================================
679.66/684.18	c core #4
679.66/684.18	c Core size: 4147	Core Weight: 1	Total Weight: -196
679.66/684.18	c Elapsed CPU time: 676.073 s	Remaining CPU time: 1123.93 s
680.37/684.89	c Learning 985 hard constraints
680.37/684.89	c ============================[ Search Statistics ]==============================
680.37/684.89	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
680.37/684.89	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
680.37/684.89	c ===============================================================================
680.37/684.89	c |         0 |    7460    14369   112295 |     5000        0    nan |  0.000 % |
680.65/685.12	c |       100 |    7460    14369   112295 |     5500      100    335 |  0.000 % |
680.75/685.27	c |       250 |    7460    14369   112295 |     6050      250    221 |  0.000 % |
680.75/685.30	c |       475 |    7460    14369   112295 |     6655      475    121 |  0.000 % |
681.15/685.63	c |       812 |    7460    14369   112295 |     7320      812    157 |  0.000 % |
681.66/686.18	c |      1318 |    7460    14369   112295 |     8052     1318    155 |  0.000 % |
682.35/686.89	c |      2077 |    7460    14369   112295 |     8857     2077    158 |  0.000 % |
684.05/688.55	c |      3216 |    7460    14369   112295 |     9743     3216    144 |  0.000 % |
685.74/690.21	c |      4924 |    7460    14369   112295 |    10717     4924    136 |  0.000 % |
687.64/692.16	c |      7491 |    7460    14369   112295 |    11789     7491    150 |  0.000 % |
692.45/696.95	c |     11335 |    7460    14369   112295 |    12968    11335    159 |  0.000 % |
699.04/703.56	c |     17118 |    7460    14369   112295 |    14265    10279    158 |  0.000 % |
711.44/715.94	c |     25775 |    7460    14369   112295 |    15692    10937    163 |  0.000 % |
731.13/735.63	c |     38750 |    7460    14369   112295 |    17261    14635    214 |  0.000 % |
755.32/759.89	c |     58211 |    7460    14369   112295 |    18987    15405    134 |  0.000 % |
799.73/804.60	c |     87404 |    7460    14369   112295 |    20886    13510    149 |  0.000 % |
847.74/853.05	c |    131195 |    7460    14369   112295 |    22974    20630    199 |  0.000 % |
931.37/937.28	c |    196879 |    7460    14369   112295 |    25272    24806    149 |  0.000 % |
1086.16/1092.62	c |    295407 |    7460    14369   112295 |    27799    17203    197 |  0.000 % |
1261.58/1268.77	c |    443196 |    7460    14369   112295 |    30579    29328    200 |  0.000 % |
1565.43/1573.49	c |    664879 |    7460    14369   112295 |    33637    32940    201 |  0.001 % |

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-1875442-1245212158/watcher-1875442-1245212158 -o /tmp/evaluation-result-1875442-1245212158/solver-1875442-1245212158 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875442-1245212158.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.49 1.53 1.55 4/73 18797
/proc/meminfo: memFree=1393288/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=4000 CPUtime=0.01
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 424 0 0 0 1 0 0 0 18 0 1 0 188815142 4096000 408 1992294400 134512640 135709839 4294956240 18446744073709551615 134547984 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 1000 420 137 292 0 574 0

[startup+0.0885749 s]
/proc/loadavg: 1.49 1.53 1.55 4/73 18797
/proc/meminfo: memFree=1393288/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=4688 CPUtime=0.08
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 837 0 0 0 8 0 0 0 18 0 1 0 188815142 4800512 691 1992294400 134512640 135709839 4294956240 18446744073709551615 135189828 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 1172 700 128 292 0 877 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4688

[startup+0.101569 s]
/proc/loadavg: 1.49 1.53 1.55 4/73 18797
/proc/meminfo: memFree=1393288/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=6316 CPUtime=0.09
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 1242 0 0 0 9 0 0 0 18 0 1 0 188815142 6467584 1095 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 1579 1096 134 292 0 1284 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6316

[startup+0.308597 s]
/proc/loadavg: 1.49 1.53 1.55 4/73 18797
/proc/meminfo: memFree=1393288/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=7900 CPUtime=0.29
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 1827 0 0 0 29 0 0 0 19 0 1 0 188815142 8089600 1518 1992294400 134512640 135709839 4294956240 18446744073709551615 135166270 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 1975 1518 136 292 0 1680 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7900

[startup+0.701637 s]
/proc/loadavg: 1.49 1.53 1.55 4/73 18797
/proc/meminfo: memFree=1393288/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=8692 CPUtime=0.69
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 2027 0 0 0 68 1 0 0 22 0 1 0 188815142 8900608 1718 1992294400 134512640 135709839 4294956240 18446744073709551615 134579624 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 2173 1718 136 292 0 1878 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8692

[startup+1.50173 s]
/proc/loadavg: 1.45 1.52 1.54 2/74 18798
/proc/meminfo: memFree=1386240/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=10540 CPUtime=1.48
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 2497 0 0 0 147 1 0 0 25 0 1 0 188815142 10792960 2188 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 2635 2188 136 292 0 2340 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10540

[startup+3.10191 s]
/proc/loadavg: 1.45 1.52 1.54 4/74 18798
/proc/meminfo: memFree=1383680/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=13972 CPUtime=3.08
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 3346 0 0 0 305 3 0 0 25 0 1 0 188815142 14307328 3037 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 3493 3037 136 292 0 3198 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13972

[startup+6.30229 s]
/proc/loadavg: 1.41 1.51 1.54 3/74 18798
/proc/meminfo: memFree=1377408/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=19120 CPUtime=6.28
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 4642 0 0 0 623 5 0 0 25 0 1 0 188815142 19578880 4333 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 4780 4333 136 292 0 4485 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 19120

[startup+12.706 s]
/proc/loadavg: 1.38 1.50 1.54 2/74 18798
/proc/meminfo: memFree=1371016/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=24668 CPUtime=12.68
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 6006 0 0 0 1259 9 0 0 25 0 1 0 188815142 25260032 5697 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 6167 5697 136 292 0 5872 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 24668

[startup+25.5015 s]
/proc/loadavg: 1.37 1.49 1.53 2/74 18798
/proc/meminfo: memFree=1365576/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=30148 CPUtime=25.46
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 7399 0 0 0 2532 14 0 0 25 0 1 0 188815142 30871552 7090 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 7537 7090 136 292 0 7242 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 30148

[startup+51.1014 s]
/proc/loadavg: 1.31 1.47 1.52 2/74 18798
/proc/meminfo: memFree=1320776/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=75428 CPUtime=51.04
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 18707 0 0 0 5074 30 0 0 25 0 1 0 188815142 77238272 18398 1992294400 134512640 135709839 4294956240 18446744073709551615 134579749 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 18857 18398 136 292 0 18562 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 75428

[startup+102.307 s]
/proc/loadavg: 1.53 1.50 1.53 2/74 18798
/proc/meminfo: memFree=1250312/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=145148 CPUtime=102.14
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 36142 0 0 0 10154 60 0 0 25 0 1 0 188815142 148631552 35833 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/18797/statm: 36287 35833 136 292 0 35992 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 145148

[startup+162.301 s]
/proc/loadavg: 1.35 1.45 1.51 4/74 18798
/proc/meminfo: memFree=1176008/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=219628 CPUtime=161.69
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 54757 0 0 0 16070 99 0 0 25 0 1 0 188815142 224899072 54448 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 54907 54448 136 292 0 54612 0
Current children cumulated CPU time (s) 161.69
Current children cumulated vsize (KiB) 219628

[startup+222.301 s]
/proc/loadavg: 1.61 1.50 1.53 4/74 18798
/proc/meminfo: memFree=1120072/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=274984 CPUtime=221
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 68586 0 0 0 21961 139 0 0 25 0 1 0 188815142 281583616 68277 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 68746 68277 136 292 0 68451 0
Current children cumulated CPU time (s) 221
Current children cumulated vsize (KiB) 274984

[startup+282.301 s]
/proc/loadavg: 1.68 1.53 1.53 3/74 18798
/proc/meminfo: memFree=1074824/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=321236 CPUtime=280.4
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 80126 0 0 0 27870 170 0 0 25 0 1 0 188815142 328945664 79817 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 80309 79817 136 292 0 80014 0
Current children cumulated CPU time (s) 280.4
Current children cumulated vsize (KiB) 321236

[startup+342.301 s]
/proc/loadavg: 1.59 1.54 1.54 2/74 18798
/proc/meminfo: memFree=1012680/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=382284 CPUtime=339.83
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 95367 0 0 0 33777 206 0 0 25 0 1 0 188815142 391458816 95058 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 0 0 0
/proc/18797/statm: 95571 95058 136 292 0 95276 0
Current children cumulated CPU time (s) 339.83
Current children cumulated vsize (KiB) 382284

[startup+402.301 s]
/proc/loadavg: 1.66 1.56 1.54 3/74 18798
/proc/meminfo: memFree=949128/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=446428 CPUtime=399.2
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 111364 0 0 0 39677 243 0 0 25 0 1 0 188815142 457142272 111055 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 111607 111055 136 292 0 111312 0
Current children cumulated CPU time (s) 399.2
Current children cumulated vsize (KiB) 446428

[startup+462.301 s]
/proc/loadavg: 1.61 1.56 1.54 2/74 18798
/proc/meminfo: memFree=906504/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=488584 CPUtime=458.53
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 121889 0 0 0 45579 274 0 0 25 0 1 0 188815142 500310016 121580 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 122146 121580 136 292 0 121851 0
Current children cumulated CPU time (s) 458.53
Current children cumulated vsize (KiB) 488584

[startup+522.302 s]
/proc/loadavg: 1.36 1.50 1.52 2/74 18798
/proc/meminfo: memFree=857352/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=537724 CPUtime=518.46
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 134178 0 0 0 51548 298 0 0 25 0 1 0 188815142 550629376 133869 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 134431 133869 136 292 0 134136 0
Current children cumulated CPU time (s) 518.46
Current children cumulated vsize (KiB) 537724

[startup+582.301 s]
/proc/loadavg: 1.52 1.53 1.53 4/74 18798
/proc/meminfo: memFree=807496/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=587204 CPUtime=578.21
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 146543 0 0 0 57496 325 0 0 25 0 1 0 188815142 601296896 146234 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 146801 146234 136 292 0 146506 0
Current children cumulated CPU time (s) 578.21
Current children cumulated vsize (KiB) 587204

[startup+642.313 s]
/proc/loadavg: 1.38 1.48 1.51 4/74 18798
/proc/meminfo: memFree=758472/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=636008 CPUtime=637.88
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 158735 0 0 0 63434 354 0 0 25 0 1 0 188815142 651272192 158426 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 159002 158426 136 292 0 158707 0
Current children cumulated CPU time (s) 637.88
Current children cumulated vsize (KiB) 636008

[startup+702.302 s]

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

[startup+942.302 s]
/proc/loadavg: 1.45 1.50 1.52 2/74 18798
/proc/meminfo: memFree=646088/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=748372 CPUtime=936.42
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 186951 0 0 0 93159 483 0 0 25 0 1 0 188815142 766332928 186642 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 187093 186642 136 292 0 186798 0
Current children cumulated CPU time (s) 936.42
Current children cumulated vsize (KiB) 748372

[startup+1002.3 s]
/proc/loadavg: 1.42 1.48 1.51 3/74 18798
/proc/meminfo: memFree=587720/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=805924 CPUtime=996.14
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 201335 0 0 0 99100 514 0 0 25 0 1 0 188815142 825266176 201026 1992294400 134512640 135709839 4294956240 18446744073709551615 134517521 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 201481 201026 136 292 0 201186 0
Current children cumulated CPU time (s) 996.14
Current children cumulated vsize (KiB) 805924

[startup+1062.3 s]
/proc/loadavg: 1.26 1.42 1.49 3/74 18798
/proc/meminfo: memFree=546888/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=847036 CPUtime=1056.12
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 211583 0 0 0 105072 540 0 0 25 0 1 0 188815142 867364864 211274 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 211759 211274 136 292 0 211464 0
Current children cumulated CPU time (s) 1056.12
Current children cumulated vsize (KiB) 847036

[startup+1122.3 s]
/proc/loadavg: 1.63 1.51 1.51 2/74 18798
/proc/meminfo: memFree=506056/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=887456 CPUtime=1115.78
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 221690 0 0 0 111012 566 0 0 25 0 1 0 188815142 908754944 221381 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 221864 221381 136 292 0 221569 0
Current children cumulated CPU time (s) 1115.78
Current children cumulated vsize (KiB) 887456

[startup+1182.3 s]
/proc/loadavg: 1.54 1.50 1.51 2/74 18798
/proc/meminfo: memFree=462088/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=931836 CPUtime=1175.38
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 232782 0 0 0 116936 602 0 0 25 0 1 0 188815142 954200064 232473 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 232959 232473 136 292 0 232664 0
Current children cumulated CPU time (s) 1175.38
Current children cumulated vsize (KiB) 931836

[startup+1242.3 s]
/proc/loadavg: 1.91 1.61 1.54 4/74 18798
/proc/meminfo: memFree=417352/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=976220 CPUtime=1235.19
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 243863 0 0 0 122889 630 0 0 25 0 1 0 188815142 999649280 243554 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 244055 243554 136 292 0 243760 0
Current children cumulated CPU time (s) 1235.19
Current children cumulated vsize (KiB) 976220

[startup+1302.3 s]
/proc/loadavg: 1.49 1.54 1.52 3/74 18798
/proc/meminfo: memFree=366088/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=1026832 CPUtime=1295.17
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 256515 0 0 0 128858 659 0 0 25 0 1 0 188815142 1051475968 256206 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 256708 256206 136 292 0 256413 0
Current children cumulated CPU time (s) 1295.17
Current children cumulated vsize (KiB) 1026832

[startup+1362.3 s]
/proc/loadavg: 1.78 1.61 1.55 2/74 18798
/proc/meminfo: memFree=315144/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=1078060 CPUtime=1355.14
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 269325 0 0 0 134825 689 0 0 25 0 1 0 188815142 1103933440 269016 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 269515 269016 136 292 0 269220 0
Current children cumulated CPU time (s) 1355.14
Current children cumulated vsize (KiB) 1078060

[startup+1422.31 s]
/proc/loadavg: 2.00 1.69 1.58 4/74 18798
/proc/meminfo: memFree=266888/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=1125856 CPUtime=1415.13
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 281257 0 0 0 140799 714 0 0 25 0 1 0 188815142 1152876544 280948 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 281464 280948 136 292 0 281169 0
Current children cumulated CPU time (s) 1415.13
Current children cumulated vsize (KiB) 1125856

[startup+1482.3 s]
/proc/loadavg: 1.72 1.66 1.57 2/74 18798
/proc/meminfo: memFree=223752/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=1169416 CPUtime=1475.1
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 292140 0 0 0 146771 739 0 0 25 0 1 0 188815142 1197481984 291831 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 292354 291831 136 292 0 292059 0
Current children cumulated CPU time (s) 1475.1
Current children cumulated vsize (KiB) 1169416

[startup+1542.3 s]
/proc/loadavg: 1.53 1.62 1.56 3/74 18798
/proc/meminfo: memFree=177864/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=1214728 CPUtime=1534.6
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 303485 0 0 0 152689 771 0 0 25 0 1 0 188815142 1243881472 303176 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 303682 303176 136 292 0 303387 0
Current children cumulated CPU time (s) 1534.6
Current children cumulated vsize (KiB) 1214728

[startup+1602.3 s]
/proc/loadavg: 1.84 1.73 1.60 4/74 18798
/proc/meminfo: memFree=129928/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=1263344 CPUtime=1594.05
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 315624 0 0 0 158603 802 0 0 25 0 1 0 188815142 1293664256 315315 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 315836 315315 136 292 0 315541 0
Current children cumulated CPU time (s) 1594.05
Current children cumulated vsize (KiB) 1263344

[startup+1662.3 s]
/proc/loadavg: 1.61 1.69 1.59 2/74 18798
/proc/meminfo: memFree=66056/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=1326632 CPUtime=1653.98
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 331454 0 0 0 164566 832 0 0 25 0 1 0 188815142 1358471168 331145 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 331658 331145 136 292 0 331363 0
Current children cumulated CPU time (s) 1653.98
Current children cumulated vsize (KiB) 1326632

[startup+1722.3 s]
/proc/loadavg: 1.71 1.71 1.61 4/74 18798
/proc/meminfo: memFree=23624/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=1369232 CPUtime=1713.97
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 342093 0 0 0 170542 855 0 0 25 0 1 0 188815142 1402093568 341784 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 342308 341784 136 292 0 342013 0
Current children cumulated CPU time (s) 1713.97
Current children cumulated vsize (KiB) 1369232

[startup+1782.3 s]
/proc/loadavg: 1.81 1.73 1.62 3/74 18798
/proc/meminfo: memFree=15432/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=1416740 CPUtime=1773.88
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 353935 0 0 0 176506 882 0 0 25 0 1 0 188815142 1450741760 353626 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 354185 353626 136 292 0 353890 0
Current children cumulated CPU time (s) 1773.88
Current children cumulated vsize (KiB) 1416740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1808.5 s]
/proc/loadavg: 1.83 1.74 1.62 3/74 18798
/proc/meminfo: memFree=15048/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=1441456 CPUtime=1800.06
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4194304 360127 0 0 0 179113 893 0 0 25 0 1 0 188815142 1476050944 359818 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 360364 359818 136 292 0 360069 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1441456

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

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

[startup+1808.61 s]
/proc/loadavg: 1.83 1.74 1.62 3/74 18798
/proc/meminfo: memFree=15048/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=0 CPUtime=1800.16
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4195332 360127 0 0 0 179113 903 0 0 25 0 1 0 188815142 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

[startup+1808.71 s]
/proc/loadavg: 1.83 1.74 1.62 3/74 18798
/proc/meminfo: memFree=15048/2055920 swapFree=4176004/4192956
[pid=18797] ppid=18795 vsize=0 CPUtime=1800.26
/proc/18797/stat : 18797 (wbo) R 18795 18797 18567 0 -1 4195332 360127 0 0 0 179113 913 0 0 25 0 1 0 188815142 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/18797/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.26
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1808.73
CPU time (s): 1800.29
CPU user time (s): 1791.13
CPU system time (s): 9.15761
CPU usage (%): 99.5332
Max. virtual memory (cumulated for all children) (KiB): 1441456

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

runsolver used 2.24166 second user time and 5.82811 second system time

The end

Launcher Data 

Begin job on node74 at 2009-06-17 06:15:58
IDJOB=1875442
IDBENCH=48282
IDSOLVER=698
FILE ID=node74/1875442-1245212158
PBS_JOBID= 9368374
Free space on /tmp= 103024 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_25_4.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-1875442-1245212158/watcher-1875442-1245212158 -o /tmp/evaluation-result-1875442-1245212158/solver-1875442-1245212158 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875442-1245212158.opb

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

MD5SUM BENCH= f7dd1b6b0a4946caf4c26a82905ed8fe
RANDOM SEED=2113541117

node74.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.218
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.218
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:       1394280 kB
Buffers:         46528 kB
Cached:         513080 kB
SwapCached:      10368 kB
Active:          50560 kB
Inactive:       540336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1394280 kB
SwapTotal:     4192956 kB
SwapFree:      4176004 kB
Dirty:            2540 kB
Writeback:           0 kB
Mapped:          33320 kB
Slab:            55748 kB
Committed_AS:   605868 kB
PageTables:       2124 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875442-1245212158.opb

Free space on /tmp at the end= 103020 MiB
End job on node74 at 2009-06-17 06:46:09