Trace number 1875275

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.11 1800.87

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_2.opb
MD5SUM4286ef8a2349cd557f37fdb755cd5234
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark85
Best CPU time to get the best result obtained on this benchmark1800.47
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 75
Optimality of the best value was proved NO
Number of variables1000
Total number of constraints1000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1000
Minimum length of a constraint26
Maximum length of a constraint51
Number of terms in the objective function 1000
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 1000
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1000
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)31544
Sum of products size (including duplicates)63088
Number of different products31544
Sum of products size63088

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-1875275-1245191307.opb.
0.00/0.00	c Instance file HOME/instance-1875275-1245191307.opb
0.00/0.00	c File size is 2471912 bytes.
0.29/0.34	c Highest Coefficient sum: 52
0.29/0.34	c ============================[ Problem Statistics ]=============================
0.29/0.34	c |                                                                             |
0.29/0.34	c |  Parsing time:          0.33         s                                      |
0.29/0.34	c |  Number Variables:      32544                                               |
0.29/0.34	c |  Number Clauses:        33544                                               |
0.29/0.34	c |  Number Cardinality:    0                                                   |
0.29/0.34	c |  Number PB Constraints: 31544                                               |
0.29/0.34	c core #1
0.29/0.34	c Core size: 52	Core Weight: 1	Total Weight: 1
0.29/0.34	c Elapsed CPU time: 0.32795 s	Remaining CPU time: 1799.67 s
0.39/0.41	c core #2
0.39/0.41	c Core size: 52	Core Weight: 1	Total Weight: 2
0.39/0.41	c Elapsed CPU time: 0.396939 s	Remaining CPU time: 1799.6 s
0.39/0.49	c core #3
0.39/0.49	c Core size: 52	Core Weight: 1	Total Weight: 3
0.39/0.49	c Elapsed CPU time: 0.466929 s	Remaining CPU time: 1799.53 s
0.49/0.57	c core #4
0.49/0.57	c Core size: 52	Core Weight: 1	Total Weight: 4
0.49/0.57	c Elapsed CPU time: 0.543917 s	Remaining CPU time: 1799.46 s
0.59/0.65	c core #5
0.59/0.65	c Core size: 52	Core Weight: 1	Total Weight: 5
0.59/0.65	c Elapsed CPU time: 0.622905 s	Remaining CPU time: 1799.38 s
0.69/0.75	c core #6
0.69/0.75	c Core size: 54	Core Weight: 1	Total Weight: 6
0.69/0.75	c Elapsed CPU time: 0.713891 s	Remaining CPU time: 1799.29 s
0.79/0.84	c core #7
0.79/0.84	c Core size: 52	Core Weight: 1	Total Weight: 7
0.79/0.84	c Elapsed CPU time: 0.805877 s	Remaining CPU time: 1799.19 s
0.89/0.96	c core #8
0.89/0.96	c Core size: 58	Core Weight: 1	Total Weight: 8
0.89/0.96	c Elapsed CPU time: 0.91986 s	Remaining CPU time: 1799.08 s
0.99/1.10	c core #9
0.99/1.10	c Core size: 169	Core Weight: 1	Total Weight: 9
0.99/1.10	c Elapsed CPU time: 1.05384 s	Remaining CPU time: 1798.95 s
1.19/1.24	c ============================[ Search Statistics ]==============================
1.19/1.24	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.24	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.24	c ===============================================================================
1.19/1.24	c |         0 |   10069    65097   156509 |    21699        0    nan |  0.000 % |
1.29/1.34	c ===============================================================================
1.29/1.34	c core #10
1.29/1.34	c Core size: 828	Core Weight: 1	Total Weight: 10
1.29/1.34	c Elapsed CPU time: 1.2848 s	Remaining CPU time: 1798.72 s
1.39/1.49	c ============================[ Search Statistics ]==============================
1.39/1.49	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.49	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.39/1.49	c ===============================================================================
1.39/1.49	c |         0 |   19085    65098   182655 |    21699        0    nan |  0.000 % |
1.69/1.71	c |       101 |   19085    65098   182655 |    23869      101    237 | 42.532 % |
1.99/2.08	c |       251 |   19085    65098   182655 |    26256      251    345 | 42.532 % |
2.99/3.09	c |       480 |   19085    65098   182655 |    28881      480    332 | 42.532 % |
4.09/4.14	c |       817 |   19085    65098   182655 |    31769      817    401 | 42.532 % |
6.59/6.61	c |      1323 |   19085    65098   182655 |    34946     1323    442 | 42.532 % |
10.79/10.86	c |      2083 |   19085    65098   182655 |    38441     2083    494 | 42.532 % |
11.39/11.43	c ===============================================================================
11.39/11.47	c core #11
11.39/11.47	c Core size: 3565	Core Weight: 1	Total Weight: 11
11.39/11.47	c Elapsed CPU time: 11.3683 s	Remaining CPU time: 1788.63 s
11.59/11.63	c ============================[ Search Statistics ]==============================
11.59/11.63	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
11.59/11.63	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
11.59/11.63	c ===============================================================================
11.59/11.63	c |         0 |   32529    65099   221309 |    21699        0    nan |  0.000 % |
11.79/11.89	c |       100 |   32529    65099   221309 |    23869      100    211 |  4.613 % |
13.78/13.89	c |       250 |   32529    65099   221309 |    26256      250    108 |  4.613 % |
16.69/16.73	c |       478 |   32529    65099   221309 |    28882      478     97 |  4.613 % |
18.89/18.98	c |       821 |   32529    65099   221309 |    31770      821     98 |  4.613 % |
24.18/24.26	c |      1328 |   32529    65099   221309 |    34947     1328    100 |  4.613 % |
32.27/32.35	c |      2087 |   32529    65099   221309 |    38442     2087    129 |  4.613 % |
40.47/40.52	c |      3226 |   32529    65099   221309 |    42286     3226    216 |  4.613 % |
47.77/47.80	c |      4934 |   32529    65099   221309 |    46515     4934    297 |  4.613 % |
63.37/63.46	c |      7506 |   32529    65099   221309 |    51166     7506    315 |  4.613 % |
94.65/94.78	c |     11351 |   32529    65099   221309 |    56283    11351    325 |  4.613 % |
151.03/151.15	c |     17118 |   32529    65099   221309 |    61911    17118    329 |  4.613 % |
251.28/251.41	c |     25773 |   32529    65099   221309 |    68102    25773    302 |  4.613 % |
417.31/417.51	c |     38747 |   32529    65099   221309 |    74913    38747    329 |  4.613 % |
644.51/644.87	c |     58209 |   32529    65099   221309 |    82404    58209    366 |  4.613 % |
1014.16/1014.64	c |     87401 |   32529    65099   221309 |    90644    15725    401 |  4.613 % |
1572.01/1572.72	c |    131191 |   32529    65099   221309 |    99709    59515    492 |  4.613 % |

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-1875275-1245191307/watcher-1875275-1245191307 -o /tmp/evaluation-result-1875275-1245191307/solver-1875275-1245191307 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875275-1245191307.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: 0.93 0.98 0.99 3/67 11087
/proc/meminfo: memFree=1288288/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=5256 CPUtime=0
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 281 0 0 0 0 0 0 0 18 0 1 0 175620137 5382144 265 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 1314 265 125 292 0 415 0

[startup+0.0853549 s]
/proc/loadavg: 0.93 0.98 0.99 3/67 11087
/proc/meminfo: memFree=1288288/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=10492 CPUtime=0.07
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 1508 0 0 0 7 0 0 0 18 0 1 0 175620137 10743808 1476 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 2623 1477 248 292 0 1724 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 10492

[startup+0.101357 s]
/proc/loadavg: 0.93 0.98 0.99 3/67 11087
/proc/meminfo: memFree=1288288/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=10624 CPUtime=0.09
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 1596 0 0 0 9 0 0 0 18 0 1 0 175620137 10878976 1564 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 2656 1565 280 292 0 1757 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10624

[startup+0.301374 s]
/proc/loadavg: 0.93 0.98 0.99 3/67 11087
/proc/meminfo: memFree=1288288/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=13244 CPUtime=0.29
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 2610 0 0 0 28 1 0 0 19 0 1 0 175620137 13561856 2578 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 3311 2579 648 292 0 2412 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13244

[startup+0.70141 s]
/proc/loadavg: 0.93 0.98 0.99 3/67 11087
/proc/meminfo: memFree=1288288/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=22312 CPUtime=0.69
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 7435 0 0 0 66 3 0 0 23 0 1 0 175620137 22847488 4756 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 5578 4756 134 292 0 5283 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22312

[startup+1.50148 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1267032/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=30760 CPUtime=1.49
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 12013 0 0 0 143 6 0 0 25 0 1 0 175620137 31498240 7028 1992294400 134512640 135709839 4294956240 18446744073709551615 135166305 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 7690 7028 135 292 0 7395 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30760

[startup+3.10162 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1260312/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=30760 CPUtime=3.1
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 12017 0 0 0 303 7 0 0 25 0 1 0 175620137 31498240 7032 1992294400 134512640 135709839 4294956240 18446744073709551615 134517174 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 7690 7032 136 292 0 7395 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 30760

[startup+6.30191 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1260000/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=31684 CPUtime=6.29
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 12283 0 0 0 621 8 0 0 25 0 1 0 175620137 32444416 7298 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 7921 7298 136 292 0 7626 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31684

[startup+12.7015 s]
/proc/loadavg: 0.94 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1251496/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=39424 CPUtime=12.69
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 14588 0 0 0 1258 11 0 0 25 0 1 0 175620137 40370176 9213 1992294400 134512640 135709839 4294956240 18446744073709551615 134572513 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 9856 9213 136 292 0 9561 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 39424

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1251560/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=39424 CPUtime=25.48
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 14588 0 0 0 2535 13 0 0 25 0 1 0 175620137 40370176 9213 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 9856 9213 136 292 0 9561 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 39424

[startup+51.1019 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1250344/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=41008 CPUtime=51.07
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 15017 0 0 0 5090 17 0 0 25 0 1 0 175620137 41992192 9642 1992294400 134512640 135709839 4294956240 18446744073709551615 134572725 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 10252 9642 136 292 0 9957 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 41008

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1238952/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=52100 CPUtime=102.25
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 17787 0 0 0 10200 25 0 0 25 0 1 0 175620137 53350400 12412 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 13025 12412 136 292 0 12730 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 52100

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1228456/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=62728 CPUtime=162.23
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 20421 0 0 0 16191 32 0 0 25 0 1 0 175620137 64233472 15046 1992294400 134512640 135709839 4294956240 18446744073709551615 134518154 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 15682 15046 136 292 0 15387 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 62728

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1221608/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=69328 CPUtime=222.21
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 22091 0 0 0 22185 36 0 0 25 0 1 0 175620137 70991872 16716 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 17332 16716 136 292 0 17037 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 69328

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1213544/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=77552 CPUtime=282.17
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 24131 0 0 0 28177 40 0 0 25 0 1 0 175620137 79413248 18756 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 19388 18756 136 292 0 19093 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 77552

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1203816/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=87188 CPUtime=342.14
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 26542 0 0 0 34170 44 0 0 25 0 1 0 175620137 89280512 21167 1992294400 134512640 135709839 4294956240 18446744073709551615 134518145 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 21797 21167 136 292 0 21502 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 87188

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1191336/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=99752 CPUtime=402.12
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 29694 0 0 0 40162 50 0 0 25 0 1 0 175620137 102146048 24319 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 24938 24319 136 292 0 24643 0
Current children cumulated CPU time (s) 402.12
Current children cumulated vsize (KiB) 99752

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1178984/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=112060 CPUtime=462.07
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 32747 0 0 0 46150 57 0 0 25 0 1 0 175620137 114749440 27372 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 28015 27372 136 292 0 27720 0
Current children cumulated CPU time (s) 462.07
Current children cumulated vsize (KiB) 112060

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1166376/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=124792 CPUtime=522.06
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 35928 0 0 0 52142 64 0 0 25 0 1 0 175620137 127787008 30553 1992294400 134512640 135709839 4294956240 18446744073709551615 134518418 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 31198 30553 136 292 0 30903 0
Current children cumulated CPU time (s) 522.06
Current children cumulated vsize (KiB) 124792

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1153704/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=137300 CPUtime=582.03
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 39062 0 0 0 58133 70 0 0 25 0 1 0 175620137 140595200 33687 1992294400 134512640 135709839 4294956240 18446744073709551615 134572756 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 34325 33687 136 292 0 34030 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 137300

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1137896/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=153192 CPUtime=642.01
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 42975 0 0 0 64123 78 0 0 25 0 1 0 175620137 156868608 37600 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 38298 37600 136 292 0 38003 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 153192

[startup+702.301 s]

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

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11088
/proc/meminfo: memFree=1098984/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=192264 CPUtime=821.93
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 52698 0 0 0 82098 95 0 0 25 0 1 0 175620137 196878336 47323 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 48066 47323 136 292 0 47771 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 192264

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11090
/proc/meminfo: memFree=1087912/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=203452 CPUtime=881.9
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 55453 0 0 0 88089 101 0 0 25 0 1 0 175620137 208334848 50078 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 50863 50078 136 292 0 50568 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 203452

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11090
/proc/meminfo: memFree=1075944/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=215684 CPUtime=941.88
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 58501 0 0 0 94080 108 0 0 25 0 1 0 175620137 220860416 53126 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 53921 53126 136 292 0 53626 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 215684

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11090
/proc/meminfo: memFree=1062312/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=229120 CPUtime=1001.86
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 61858 0 0 0 100072 114 0 0 25 0 1 0 175620137 234618880 56483 1992294400 134512640 135709839 4294956240 18446744073709551615 134572704 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 57280 56483 136 292 0 56985 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 229120

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11090
/proc/meminfo: memFree=1047784/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=243656 CPUtime=1061.83
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 65517 0 0 0 106063 120 0 0 25 0 1 0 175620137 249503744 60142 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 60914 60142 136 292 0 60619 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 243656

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11090
/proc/meminfo: memFree=1033192/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=258204 CPUtime=1121.81
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 69127 0 0 0 112055 126 0 0 25 0 1 0 175620137 264400896 63752 1992294400 134512640 135709839 4294956240 18446744073709551615 134572636 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 64551 63752 136 292 0 64256 0
Current children cumulated CPU time (s) 1121.81
Current children cumulated vsize (KiB) 258204

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11090
/proc/meminfo: memFree=1017768/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=274012 CPUtime=1181.79
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 73100 0 0 0 118046 133 0 0 25 0 1 0 175620137 280588288 67725 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 68503 67725 136 292 0 68208 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 274012

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11090
/proc/meminfo: memFree=1002728/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=288428 CPUtime=1241.77
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 76691 0 0 0 124037 140 0 0 25 0 1 0 175620137 295350272 71316 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 72107 71316 136 292 0 71812 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 288428

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 11090
/proc/meminfo: memFree=984296/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=306696 CPUtime=1301.73
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 81245 0 0 0 130027 146 0 0 25 0 1 0 175620137 314056704 75870 1992294400 134512640 135709839 4294956240 18446744073709551615 134518412 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 76674 75870 136 292 0 76379 0
Current children cumulated CPU time (s) 1301.73
Current children cumulated vsize (KiB) 306696

[startup+1362.3 s]
/proc/loadavg: 1.04 1.00 1.00 2/68 11090
/proc/meminfo: memFree=970088/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=320980 CPUtime=1361.7
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 84810 0 0 0 136018 152 0 0 25 0 1 0 175620137 328683520 79435 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 80245 79435 136 292 0 79950 0
Current children cumulated CPU time (s) 1361.7
Current children cumulated vsize (KiB) 320980

[startup+1422.31 s]
/proc/loadavg: 1.06 1.01 1.00 2/68 11090
/proc/meminfo: memFree=955624/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=335488 CPUtime=1421.68
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 88429 0 0 0 142011 157 0 0 25 0 1 0 175620137 343539712 83054 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 83872 83054 136 292 0 83577 0
Current children cumulated CPU time (s) 1421.68
Current children cumulated vsize (KiB) 335488

[startup+1482.3 s]
/proc/loadavg: 1.10 1.04 1.01 2/68 11090
/proc/meminfo: memFree=937640/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=353640 CPUtime=1481.65
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 92952 0 0 0 148001 164 0 0 25 0 1 0 175620137 362127360 87577 1992294400 134512640 135709839 4294956240 18446744073709551615 134577307 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 88410 87577 136 292 0 88115 0
Current children cumulated CPU time (s) 1481.65
Current children cumulated vsize (KiB) 353640

[startup+1542.3 s]
/proc/loadavg: 1.03 1.03 1.00 2/68 11090
/proc/meminfo: memFree=918952/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=372048 CPUtime=1541.63
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 97550 0 0 0 153992 171 0 0 25 0 1 0 175620137 380977152 92175 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 93012 92175 136 292 0 92717 0
Current children cumulated CPU time (s) 1541.63
Current children cumulated vsize (KiB) 372048

[startup+1602.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/68 11090
/proc/meminfo: memFree=907240/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=384052 CPUtime=1601.6
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 100506 0 0 0 159984 176 0 0 25 0 1 0 175620137 393269248 95131 1992294400 134512640 135709839 4294956240 18446744073709551615 134573649 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 96013 95131 136 292 0 95718 0
Current children cumulated CPU time (s) 1601.6
Current children cumulated vsize (KiB) 384052

[startup+1662.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/68 11090
/proc/meminfo: memFree=892840/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=398464 CPUtime=1661.58
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 104091 0 0 0 165975 183 0 0 25 0 1 0 175620137 408027136 98716 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 99616 98716 136 292 0 99321 0
Current children cumulated CPU time (s) 1661.58
Current children cumulated vsize (KiB) 398464

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/68 11090
/proc/meminfo: memFree=877800/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=413548 CPUtime=1721.57
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 107844 0 0 0 171966 191 0 0 25 0 1 0 175620137 423473152 102469 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 103387 102469 136 292 0 103092 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 413548

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11090
/proc/meminfo: memFree=864040/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=427276 CPUtime=1781.53
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 111269 0 0 0 177957 196 0 0 25 0 1 0 175620137 437530624 105894 1992294400 134512640 135709839 4294956240 18446744073709551615 134572756 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 106819 105894 136 292 0 106524 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (KiB) 427276



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/68 11090
/proc/meminfo: memFree=860008/2055920 swapFree=4192956/4192956
[pid=11087] ppid=11085 vsize=431176 CPUtime=1800.04
/proc/11087/stat : 11087 (wbo) R 11085 11087 11042 0 -1 4194304 112237 0 0 0 179806 198 0 0 25 0 1 0 175620137 441524224 106862 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0
/proc/11087/statm: 107794 106862 136 292 0 107499 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 431176

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.87
CPU time (s): 1800.11
CPU user time (s): 1798.06
CPU system time (s): 2.04569
CPU usage (%): 99.9578
Max. virtual memory (cumulated for all children) (KiB): 431176

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

runsolver used 1.63775 second user time and 4.92425 second system time

The end

Launcher Data 

Begin job on node68 at 2009-06-17 00:28:27
IDJOB=1875275
IDBENCH=48115
IDSOLVER=698
FILE ID=node68/1875275-1245191307
PBS_JOBID= 9368326
Free space on /tmp= 66472 MiB

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

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

MD5SUM BENCH= 4286ef8a2349cd557f37fdb755cd5234
RANDOM SEED=1210581193

node68.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.238
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.238
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:       1290816 kB
Buffers:         73992 kB
Cached:         594040 kB
SwapCached:          0 kB
Active:         345476 kB
Inactive:       338888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1290816 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:            3004 kB
Writeback:           0 kB
Mapped:          26352 kB
Slab:            66348 kB
Committed_AS:    89892 kB
PageTables:       1564 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-1875275-1245191307.opb

Free space on /tmp at the end= 66468 MiB
End job on node68 at 2009-06-17 00:58:31