Trace number 1875290

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 1800.95

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_5.opb
MD5SUMe6ef25c6f832d5fe55af9368c1298b73
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark230.997
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11
Optimality of the best value was proved NO
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint11
Maximum length of a constraint19
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1252
Sum of products size (including duplicates)2504
Number of different products1252
Sum of products size2504

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-1875290-1245193212.opb.
0.00/0.00	c Instance file HOME/instance-1875290-1245193212.opb
0.00/0.00	c File size is 89248 bytes.
0.00/0.01	c Highest Coefficient sum: 20
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1352                                                |
0.00/0.01	c |  Number Clauses:        1452                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 1252                                                |
0.00/0.01	c core #1
0.00/0.01	c Core size: 22	Core Weight: 1	Total Weight: 1
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #2
0.00/0.01	c Core size: 22	Core Weight: 1	Total Weight: 2
0.00/0.01	c Elapsed CPU time: 0.013997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #3
0.00/0.01	c Core size: 24	Core Weight: 1	Total Weight: 3
0.00/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #4
0.00/0.02	c Core size: 28	Core Weight: 1	Total Weight: 4
0.00/0.02	c Elapsed CPU time: 0.020996 s	Remaining CPU time: 1799.98 s
0.00/0.02	c ============================[ Search Statistics ]==============================
0.00/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.02	c ===============================================================================
0.00/0.02	c |         0 |     727     2708     7145 |     5000        0    nan |  0.000 % |
0.00/0.02	c ===============================================================================
0.00/0.02	c core #5
0.00/0.02	c Core size: 127	Core Weight: 1	Total Weight: 5
0.00/0.02	c Elapsed CPU time: 0.025996 s	Remaining CPU time: 1799.97 s
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |    1226     2709     8523 |     5000        0    nan |  0.000 % |
0.03/0.04	c |       100 |    1207     2709     8523 |     5500       46     52 | 16.817 % |
0.03/0.06	c ===============================================================================
0.03/0.06	c core #6
0.03/0.06	c Core size: 521	Core Weight: 1	Total Weight: 6
0.03/0.06	c Elapsed CPU time: 0.06099 s	Remaining CPU time: 1799.94 s
0.03/0.06	c ============================[ Search Statistics ]==============================
0.03/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.03/0.06	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.03/0.06	c ===============================================================================
0.03/0.06	c |         0 |    1550     2710     9360 |     5000        0    nan |  0.000 % |
0.03/0.08	c |       102 |    1550     2710     9360 |     5500      102    108 |  0.001 % |
0.09/0.11	c |       253 |    1550     2710     9360 |     6050      253    104 |  0.000 % |
0.09/0.16	c |       480 |    1550     2710     9360 |     6655      480    102 |  0.000 % |
0.19/0.27	c |       823 |    1550     2710     9360 |     7320      823    100 |  0.000 % |
0.29/0.38	c |      1332 |    1550     2710     9360 |     8052     1332     87 |  0.000 % |
0.59/0.60	c |      2091 |    1550     2710     9360 |     8857     2091     88 |  0.000 % |
0.99/1.02	c |      3233 |    1550     2710     9360 |     9743     3233     94 |  0.000 % |
1.69/1.74	c |      4942 |    1550     2710     9360 |    10717     4942     96 |  0.000 % |
2.79/2.88	c |      7506 |    1550     2710     9360 |    11789     7506     98 |  0.000 % |
4.79/4.88	c ===============================================================================
4.99/5.02	c core #7
4.99/5.02	c Core size: 1431	Core Weight: 1	Total Weight: 7
4.99/5.02	c Elapsed CPU time: 4.97624 s	Remaining CPU time: 1795.02 s
4.99/5.03	c Learning 1 hard constraints
4.99/5.03	c ============================[ Search Statistics ]==============================
4.99/5.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
4.99/5.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
4.99/5.03	c ===============================================================================
4.99/5.03	c |         0 |    1650     2712     9575 |     5000        0    nan |  0.000 % |
4.99/5.05	c |       101 |    1650     2712     9575 |     5500      101    152 |  0.001 % |
4.99/5.09	c |       253 |    1650     2712     9575 |     6050      253    149 |  0.000 % |
5.09/5.14	c |       478 |    1650     2712     9575 |     6655      478    163 |  0.000 % |
5.19/5.21	c |       816 |    1650     2712     9575 |     7320      816    134 |  0.000 % |
5.29/5.32	c |      1322 |    1650     2712     9575 |     8052     1322    135 |  0.000 % |
5.39/5.50	c |      2082 |    1650     2712     9575 |     8857     2082    134 |  0.000 % |
5.69/5.76	c |      3224 |    1650     2712     9575 |     9743     3224    133 |  0.000 % |
6.29/6.32	c |      4932 |    1650     2712     9575 |    10717     4932    126 |  0.000 % |
7.18/7.22	c |      7494 |    1650     2712     9575 |    11789     7494    126 |  0.000 % |
8.59/8.64	c |     11340 |    1650     2712     9575 |    12968    11340    116 |  0.000 % |
11.19/11.23	c |     17110 |    1650     2712     9575 |    14265    10427    112 |  0.000 % |
15.39/15.48	c |     25761 |    1650     2712     9575 |    15692    11762    124 |  0.000 % |
22.99/23.05	c |     38735 |    1650     2712     9575 |    17261     8718    120 |  0.000 % |
37.38/37.43	c |     58196 |    1650     2712     9575 |    18987    10541    152 |  0.000 % |
64.46/64.56	c |     87388 |    1650     2712     9575 |    20886    10815    161 |  0.000 % |
98.65/98.73	c |    131179 |    1650     2712     9575 |    22974    12179    175 |  0.000 % |
163.13/163.23	c |    196863 |    1650     2712     9575 |    25272    19785    163 |  0.000 % |
256.69/256.82	c |    295394 |    1650     2712     9575 |    27799    14801    145 |  0.000 % |
395.44/395.62	c ===============================================================================
407.24/407.41	c core #8
407.24/407.41	c Core size: 2356	Core Weight: 1	Total Weight: 8
407.24/407.41	c Elapsed CPU time: 405.345 s	Remaining CPU time: 1394.65 s
407.64/407.88	c Learning 2 hard constraints
407.64/407.88	c ============================[ Search Statistics ]==============================
407.64/407.88	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
407.64/407.88	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
407.64/407.88	c ===============================================================================
407.64/407.88	c |         0 |    1750     2715     9781 |     5000        0    nan |  0.000 % |
407.74/407.99	c |       100 |    1750     2715     9781 |     5500      100    185 |  0.001 % |
407.84/408.02	c |       250 |    1750     2715     9781 |     6050      250    125 |  0.000 % |
407.84/408.05	c |       475 |    1750     2715     9781 |     6655      475    103 |  0.000 % |
407.94/408.11	c |       814 |    1750     2715     9781 |     7320      814     93 |  0.000 % |
408.03/408.22	c |      1321 |    1750     2715     9781 |     8052     1321    108 |  0.000 % |
408.14/408.39	c |      2080 |    1750     2715     9781 |     8857     2080    118 |  0.000 % |
408.44/408.67	c |      3220 |    1750     2715     9781 |     9743     3220    117 |  0.000 % |
408.94/409.17	c |      4928 |    1750     2715     9781 |    10717     4928    130 |  0.000 % |
409.94/410.14	c |      7490 |    1750     2715     9781 |    11789     7490    137 |  0.000 % |
412.14/412.38	c |     11334 |    1750     2715     9781 |    12968    11334    149 |  0.000 % |
415.94/416.16	c |     17102 |    1750     2715     9781 |    14265    10347    158 |  0.000 % |
421.63/421.81	c |     25751 |    1750     2715     9781 |    15692    11580    188 |  0.000 % |
434.03/434.23	c |     38726 |    1750     2715     9781 |    17261     8390    174 |  0.000 % |
451.53/451.75	c |     58188 |    1750     2715     9781 |    18987    10132    221 |  0.000 % |
488.12/488.36	c |     87385 |    1750     2715     9781 |    20886    10018    245 |  0.000 % |
534.09/534.34	c |    131178 |    1750     2715     9781 |    22974    11014    154 |  0.000 % |
605.87/606.18	c |    196862 |    1750     2715     9781 |    25272    18130    191 |  0.000 % |
717.42/717.75	c |    295391 |    1750     2715     9781 |    27799    13735    204 |  0.000 % |
912.95/913.35	c |    443180 |    1750     2715     9781 |    30579    12960    274 |  0.000 % |
1197.46/1197.93	c |    664863 |    1750     2715     9781 |    33637    21161    205 |  0.000 % |
1661.68/1662.31	c |    997390 |    1750     2715     9781 |    37001    22304    198 |  0.000 % |

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-1875290-1245193212/watcher-1875290-1245193212 -o /tmp/evaluation-result-1875290-1245193212/solver-1875290-1245193212 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875290-1245193212.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.99 0.97 0.99 3/65 16958
/proc/meminfo: memFree=1852208/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=2776 CPUtime=0
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 239 0 0 0 0 0 0 0 20 0 1 0 186920134 2842624 223 1992294400 134512640 135709839 4294956240 18446744073709551615 134540467 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 694 224 130 292 0 377 0

[startup+0.0369371 s]
/proc/loadavg: 0.99 0.97 0.99 3/65 16958
/proc/meminfo: memFree=1852208/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=3508 CPUtime=0.03
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 463 0 0 0 3 0 0 0 20 0 1 0 186920134 3592192 425 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 877 425 135 292 0 582 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3508

[startup+0.101949 s]
/proc/loadavg: 0.99 0.97 0.99 3/65 16958
/proc/meminfo: memFree=1852208/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=3660 CPUtime=0.09
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 525 0 0 0 9 0 0 0 20 0 1 0 186920134 3747840 487 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 915 487 136 292 0 620 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3660

[startup+0.301986 s]
/proc/loadavg: 0.99 0.97 0.99 3/65 16958
/proc/meminfo: memFree=1852208/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=4188 CPUtime=0.29
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 636 0 0 0 29 0 0 0 22 0 1 0 186920134 4288512 598 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 1047 598 136 292 0 752 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4188

[startup+0.701061 s]
/proc/loadavg: 0.99 0.97 0.99 3/65 16958
/proc/meminfo: memFree=1852208/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=5112 CPUtime=0.69
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 882 0 0 0 68 1 0 0 25 0 1 0 186920134 5234688 844 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 1278 844 136 292 0 983 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5112

[startup+1.50121 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16959
/proc/meminfo: memFree=1848680/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=6828 CPUtime=1.48
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 1312 0 0 0 147 1 0 0 25 0 1 0 186920134 6991872 1274 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 1707 1274 136 292 0 1412 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 6828

[startup+3.10151 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16959
/proc/meminfo: memFree=1846376/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=9884 CPUtime=3.09
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 2060 0 0 0 306 3 0 0 25 0 1 0 186920134 10121216 2022 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 2471 2022 136 292 0 2176 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9884

[startup+6.30111 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16959
/proc/meminfo: memFree=1841384/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=12836 CPUtime=6.29
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 2821 0 0 0 624 5 0 0 25 0 1 0 186920134 13144064 2783 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 3209 2783 136 292 0 2914 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12836

[startup+12.7013 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16959
/proc/meminfo: memFree=1832432/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=22736 CPUtime=12.69
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 5294 0 0 0 1258 11 0 0 25 0 1 0 186920134 23281664 5256 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 5684 5256 136 292 0 5389 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 22736

[startup+25.5017 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16959
/proc/meminfo: memFree=1810928/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=43548 CPUtime=25.48
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 10495 0 0 0 2530 18 0 0 25 0 1 0 186920134 44593152 10457 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 10887 10458 136 292 0 10592 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43548

[startup+51.1015 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=1777064/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=77868 CPUtime=51.07
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 19040 0 0 0 5074 33 0 0 25 0 1 0 186920134 79736832 19002 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 19467 19002 136 292 0 19172 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 77868

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=1710512/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=143708 CPUtime=102.26
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 35468 0 0 0 10167 59 0 0 25 0 1 0 186920134 147156992 35430 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 35927 35430 136 292 0 35632 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 143708

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=1643568/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=211756 CPUtime=162.23
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 52437 0 0 0 16136 87 0 0 25 0 1 0 186920134 216838144 52399 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 52939 52399 136 292 0 52644 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 211756

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=1570672/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=283544 CPUtime=222.2
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 70374 0 0 0 22103 117 0 0 25 0 1 0 186920134 290349056 70336 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 70886 70336 136 292 0 70591 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 283544

[startup+282.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=1521008/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=333776 CPUtime=282.19
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 82883 0 0 0 28079 140 0 0 25 0 1 0 186920134 341786624 82845 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 83444 82845 136 292 0 83149 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 333776

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=1463472/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=390872 CPUtime=342.16
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 97146 0 0 0 34051 165 0 0 25 0 1 0 186920134 400252928 97108 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 97718 97108 136 292 0 97423 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 390872

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=1396656/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=457120 CPUtime=402.14
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 113708 0 0 0 40023 191 0 0 25 0 1 0 186920134 468090880 113670 1992294400 134512640 135709839 4294956240 18446744073709551615 134583532 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 114280 113670 136 292 0 113985 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 457120

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=1396144/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=457364 CPUtime=462.12
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 113855 0 0 0 46002 210 0 0 25 0 1 0 186920134 468340736 113789 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 114341 113789 136 292 0 114046 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 457364

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=1373360/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=480396 CPUtime=522.1
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 119700 0 0 0 51979 231 0 0 25 0 1 0 186920134 491925504 119634 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 120099 119634 136 292 0 119804 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 480396

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=1335344/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=518272 CPUtime=582.07
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 129156 0 0 0 57952 255 0 0 25 0 1 0 186920134 530710528 129090 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 129568 129090 136 292 0 129273 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 518272

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=1283696/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=569296 CPUtime=642.05
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 141904 0 0 0 63925 280 0 0 25 0 1 0 186920134 582959104 141838 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 142324 141838 136 292 0 142029 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 569296

[startup+702.302 s]

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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=1005104/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=848072 CPUtime=941.94
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 211451 0 0 0 93798 396 0 0 25 0 1 0 186920134 868425728 211385 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 212018 211385 136 292 0 211723 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 848072

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=943792/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=909148 CPUtime=1001.92
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 226724 0 0 0 99771 421 0 0 25 0 1 0 186920134 930967552 226658 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 227287 226658 136 292 0 226992 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 909148

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=883440/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=969772 CPUtime=1061.9
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 241860 0 0 0 105746 444 0 0 25 0 1 0 186920134 993046528 241794 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 242443 241794 136 292 0 242148 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 969772

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=824240/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=1028712 CPUtime=1121.88
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 256583 0 0 0 111717 471 0 0 25 0 1 0 186920134 1053401088 256517 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 257178 256517 136 292 0 256883 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1028712

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=768240/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=1084624 CPUtime=1181.86
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 270559 0 0 0 117689 497 0 0 25 0 1 0 186920134 1110654976 270493 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 271156 270493 136 292 0 270861 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 1084624

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=709168/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=1143716 CPUtime=1241.83
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 285312 0 0 0 123662 521 0 0 25 0 1 0 186920134 1171165184 285246 1992294400 134512640 135709839 4294956240 18446744073709551615 134574290 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 285929 285246 136 292 0 285634 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 1143716

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=644656/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=1207428 CPUtime=1301.82
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 301243 0 0 0 129633 549 0 0 25 0 1 0 186920134 1236406272 301177 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 301857 301177 136 292 0 301562 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1207428

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=587696/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=1264724 CPUtime=1361.79
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 315533 0 0 0 135609 570 0 0 25 0 1 0 186920134 1295077376 315467 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 316181 315467 136 292 0 315886 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1264724

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=531952/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=1320132 CPUtime=1421.78
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 329364 0 0 0 141587 591 0 0 25 0 1 0 186920134 1351815168 329298 1992294400 134512640 135709839 4294956240 18446744073709551615 134572772 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 330033 329298 136 292 0 329738 0
Current children cumulated CPU time (s) 1421.78
Current children cumulated vsize (KiB) 1320132

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=470192/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=1382304 CPUtime=1481.75
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 344876 0 0 0 147560 615 0 0 25 0 1 0 186920134 1415479296 344810 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 345576 344810 136 292 0 345281 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1382304

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=434160/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=1418060 CPUtime=1541.73
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 353795 0 0 0 153543 630 0 0 25 0 1 0 186920134 1452093440 353729 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 354515 353729 136 292 0 354220 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 1418060

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=387888/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=1464736 CPUtime=1601.71
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 365468 0 0 0 159521 650 0 0 25 0 1 0 186920134 1499889664 365402 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 366184 365402 136 292 0 365889 0
Current children cumulated CPU time (s) 1601.71
Current children cumulated vsize (KiB) 1464736

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=335856/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=1516476 CPUtime=1661.68
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 378383 0 0 0 165497 671 0 0 25 0 1 0 186920134 1552871424 378317 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 379119 378317 136 292 0 378824 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1516476

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=287856/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=1564604 CPUtime=1721.66
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 390387 0 0 0 171470 696 0 0 25 0 1 0 186920134 1602154496 390321 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 391151 390321 136 292 0 390856 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 1564604

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=238960/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=1613344 CPUtime=1781.64
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 402555 0 0 0 177446 718 0 0 25 0 1 0 186920134 1652064256 402489 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 403336 402489 136 292 0 403041 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 1613344



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=222000/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=1629744 CPUtime=1800.04
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4194304 406664 0 0 0 179278 726 0 0 25 0 1 0 186920134 1668857856 406598 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 407436 406598 136 292 0 407141 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1629744

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=222000/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=0 CPUtime=1800.14
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4195332 406664 0 0 0 179278 736 0 0 25 0 1 0 186920134 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 16965
/proc/meminfo: memFree=222000/2055920 swapFree=4192812/4192956
[pid=16958] ppid=16956 vsize=0 CPUtime=1800.23
/proc/16958/stat : 16958 (wbo) R 16956 16958 16865 0 -1 4195332 406664 0 0 0 179278 745 0 0 25 0 1 0 186920134 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/16958/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.95
CPU time (s): 1800.29
CPU user time (s): 1792.78
CPU system time (s): 7.50486
CPU usage (%): 99.9633
Max. virtual memory (cumulated for all children) (KiB): 1629744

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

runsolver used 2.02469 second user time and 4.54131 second system time

The end

Launcher Data 

Begin job on node81 at 2009-06-17 01:00:12
IDJOB=1875290
IDBENCH=48130
IDSOLVER=698
FILE ID=node81/1875290-1245193212
PBS_JOBID= 9368328
Free space on /tmp= 126776 MiB

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

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

MD5SUM BENCH= e6ef25c6f832d5fe55af9368c1298b73
RANDOM SEED=1488031222

node81.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.268
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.268
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1852752 kB
Buffers:         41260 kB
Cached:          87872 kB
SwapCached:          0 kB
Active:          69464 kB
Inactive:        74496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1852752 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            2492 kB
Writeback:           0 kB
Mapped:          24644 kB
Slab:            44872 kB
Committed_AS:   101592 kB
PageTables:       1460 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-1875290-1245193212.opb

Free space on /tmp at the end= 126772 MiB
End job on node81 at 2009-06-17 01:30:15