Trace number 1875293

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.08 1800.56

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_1000_25_5.opb
MD5SUMd79bd0f7d6fceec4ec599aa8716e2601
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 benchmark1798.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 74
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)31590
Sum of products size (including duplicates)63180
Number of different products31590
Sum of products size63180

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-1875293-1245193524.opb.
0.00/0.00	c Instance file HOME/instance-1875293-1245193524.opb
0.00/0.00	c File size is 2475714 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.34         s                                      |
0.29/0.34	c |  Number Variables:      32590                                               |
0.29/0.34	c |  Number Clauses:        33590                                               |
0.29/0.34	c |  Number Cardinality:    0                                                   |
0.29/0.34	c |  Number PB Constraints: 31590                                               |
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.341948 s	Remaining CPU time: 1799.66 s
0.39/0.42	c core #2
0.39/0.42	c Core size: 52	Core Weight: 1	Total Weight: 2
0.39/0.42	c Elapsed CPU time: 0.413937 s	Remaining CPU time: 1799.59 s
0.49/0.50	c core #3
0.49/0.50	c Core size: 52	Core Weight: 1	Total Weight: 3
0.49/0.50	c Elapsed CPU time: 0.489925 s	Remaining CPU time: 1799.51 s
0.49/0.58	c core #4
0.49/0.58	c Core size: 52	Core Weight: 1	Total Weight: 4
0.49/0.58	c Elapsed CPU time: 0.570913 s	Remaining CPU time: 1799.43 s
0.59/0.67	c core #5
0.59/0.67	c Core size: 52	Core Weight: 1	Total Weight: 5
0.59/0.67	c Elapsed CPU time: 0.6529 s	Remaining CPU time: 1799.35 s
0.69/0.76	c core #6
0.69/0.76	c Core size: 52	Core Weight: 1	Total Weight: 6
0.69/0.76	c Elapsed CPU time: 0.741887 s	Remaining CPU time: 1799.26 s
0.79/0.86	c core #7
0.79/0.86	c Core size: 52	Core Weight: 1	Total Weight: 7
0.79/0.86	c Elapsed CPU time: 0.840872 s	Remaining CPU time: 1799.16 s
0.89/0.97	c core #8
0.89/0.97	c Core size: 52	Core Weight: 1	Total Weight: 8
0.89/0.97	c Elapsed CPU time: 0.942856 s	Remaining CPU time: 1799.06 s
1.10/1.11	c core #9
1.10/1.11	c Core size: 78	Core Weight: 1	Total Weight: 9
1.10/1.11	c Elapsed CPU time: 1.07784 s	Remaining CPU time: 1798.92 s
1.19/1.25	c ============================[ Search Statistics ]==============================
1.19/1.25	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.19/1.25	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.19/1.25	c ===============================================================================
1.19/1.25	c |         0 |    8409    65189   151846 |    21729        0    nan |  0.000 % |
1.19/1.27	c ===============================================================================
1.19/1.27	c core #10
1.19/1.27	c Core size: 332	Core Weight: 1	Total Weight: 10
1.19/1.27	c Elapsed CPU time: 1.23181 s	Remaining CPU time: 1798.77 s
1.39/1.42	c ============================[ Search Statistics ]==============================
1.39/1.42	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.39/1.42	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.39/1.42	c ===============================================================================
1.39/1.42	c |         0 |   13067    65190   165397 |    21730        0    nan |  0.000 % |
1.49/1.55	c ===============================================================================
1.49/1.55	c core #11
1.49/1.55	c Core size: 586	Core Weight: 1	Total Weight: 11
1.49/1.55	c Elapsed CPU time: 1.50477 s	Remaining CPU time: 1798.5 s
1.69/1.70	c ============================[ Search Statistics ]==============================
1.69/1.70	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.69/1.70	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.69/1.70	c ===============================================================================
1.69/1.70	c |         0 |   19934    65191   185333 |    21730        0    nan |  0.000 % |
1.79/1.90	c |       101 |   19934    65191   185333 |    23903      101    340 | 40.064 % |
2.39/2.44	c |       252 |   19934    65191   185333 |    26293      252    342 | 40.064 % |
3.59/3.63	c |       477 |   19934    65191   185333 |    28923      477    348 | 40.064 % |
5.29/5.40	c |       814 |   19934    65191   185333 |    31815      814    311 | 40.064 % |
7.89/7.94	c |      1321 |   19934    65191   185333 |    34996     1321    281 | 40.064 % |
11.49/11.56	c |      2080 |   19934    65191   185333 |    38496     2080    347 | 40.064 % |
16.79/16.87	c |      3219 |   19934    65191   185333 |    42346     3219    405 | 40.064 % |
27.78/27.88	c |      4929 |   19907    65191   185333 |    46580     4926    431 | 40.146 % |
28.18/28.26	c ===============================================================================
28.28/28.34	c core #12
28.28/28.34	c Core size: 3196	Core Weight: 1	Total Weight: 12
28.28/28.34	c Elapsed CPU time: 28.2487 s	Remaining CPU time: 1771.75 s
28.49/28.50	c ============================[ Search Statistics ]==============================
28.49/28.50	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
28.49/28.50	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
28.49/28.50	c ===============================================================================
28.49/28.50	c |         0 |   32664    65192   221918 |    21730        0    nan |  0.000 % |
28.88/28.99	c |       104 |   32664    65192   221918 |    23903      104    393 |  4.273 % |
30.58/30.70	c |       255 |   32664    65192   221918 |    26294      255    260 |  4.273 % |
34.28/34.34	c |       481 |   32664    65192   221918 |    28923      481    191 |  4.273 % |
37.68/37.72	c |       818 |   32664    65192   221918 |    31815      818    190 |  4.273 % |
40.08/40.13	c |      1325 |   32664    65192   221918 |    34997     1325    182 |  4.273 % |
43.48/43.59	c |      2084 |   32664    65192   221918 |    38497     2084    189 |  4.273 % |
51.58/51.67	c |      3223 |   32664    65192   221918 |    42346     3223    209 |  4.273 % |
68.97/69.00	c |      4931 |   32664    65192   221918 |    46581     4931    202 |  4.273 % |
96.26/96.37	c |      7493 |   32664    65192   221918 |    51239     7493    205 |  4.273 % |
122.26/122.38	c |     11338 |   32664    65192   221918 |    56363    11338    244 |  4.273 % |
174.94/175.05	c |     17106 |   32664    65192   221918 |    62000    17106    279 |  4.273 % |
272.12/272.20	c |     25755 |   32664    65192   221918 |    68200    25755    287 |  4.273 % |
424.38/424.59	c |     38729 |   32664    65192   221918 |    75020    38729    293 |  4.273 % |
640.71/640.91	c |     58190 |   32664    65192   221918 |    82522    58190    282 |  4.273 % |
976.53/976.89	c |     87382 |   32664    65192   221918 |    90774    16942    338 |  4.273 % |
1484.60/1485.02	c |    131177 |   32664    65192   221918 |    99851    60737    346 |  4.273 % |

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-1875293-1245193524/watcher-1875293-1245193524 -o /tmp/evaluation-result-1875293-1245193524/solver-1875293-1245193524 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875293-1245193524.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3052
/proc/meminfo: memFree=1918616/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=5260 CPUtime=0
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 279 0 0 0 0 0 0 0 20 0 1 0 186951286 5386240 263 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 1315 263 125 292 0 415 0

[startup+0.0986179 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3052
/proc/meminfo: memFree=1918616/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=10628 CPUtime=0.09
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 1570 0 0 0 9 0 0 0 20 0 1 0 186951286 10883072 1539 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 2657 1539 273 292 0 1757 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10628

[startup+0.101617 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3052
/proc/meminfo: memFree=1918616/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=10628 CPUtime=0.09
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 1585 0 0 0 9 0 0 0 20 0 1 0 186951286 10883072 1554 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 2657 1554 279 292 0 1757 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10628

[startup+0.30164 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3052
/proc/meminfo: memFree=1918616/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=13248 CPUtime=0.29
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 2594 0 0 0 29 0 0 0 22 0 1 0 186951286 13565952 2563 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 3312 2563 645 292 0 2412 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13248

[startup+0.701685 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 3052
/proc/meminfo: memFree=1918616/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=22264 CPUtime=0.69
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 7457 0 0 0 67 2 0 0 25 0 1 0 186951286 22798336 4743 1992294400 134512640 135709839 4294956240 18446744073709551615 134530621 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 5566 4743 134 292 0 5271 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 22264

[startup+1.50177 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1897360/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=30220 CPUtime=1.49
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 11943 0 0 0 145 4 0 0 25 0 1 0 186951286 30945280 6919 1992294400 134512640 135709839 4294956240 18446744073709551615 134573700 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 7555 6919 135 292 0 7260 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30220

[startup+3.10196 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1888656/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=32588 CPUtime=3.09
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 12895 0 0 0 305 4 0 0 25 0 1 0 186951286 33370112 7483 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 8147 7483 136 292 0 7852 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 32588

[startup+6.30132 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1888664/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=32588 CPUtime=6.29
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 12909 0 0 0 625 4 0 0 25 0 1 0 186951286 33370112 7497 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 8147 7497 136 292 0 7852 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 32588

[startup+12.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1886872/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=34832 CPUtime=12.68
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 13495 0 0 0 1262 6 0 0 25 0 1 0 186951286 35667968 8083 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 8708 8083 136 292 0 8413 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34832

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1880856/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=40512 CPUtime=25.48
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 14938 0 0 0 2540 8 0 0 25 0 1 0 186951286 41484288 9526 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 10128 9526 136 292 0 9833 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40512

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1874656/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=46536 CPUtime=51.08
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 16933 0 0 0 5096 12 0 0 25 0 1 0 186951286 47652864 10985 1992294400 134512640 135709839 4294956240 18446744073709551615 134573653 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 11634 10985 136 292 0 11339 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46536

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1874656/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=46536 CPUtime=102.26
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 16933 0 0 0 10211 15 0 0 25 0 1 0 186951286 47652864 10985 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 11634 10985 136 292 0 11339 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 46536

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1863776/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=57500 CPUtime=162.24
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 19710 0 0 0 16201 23 0 0 25 0 1 0 186951286 58880000 13762 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 14375 13762 136 292 0 14080 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 57500

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1852448/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=68796 CPUtime=222.23
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 22502 0 0 0 22193 30 0 0 25 0 1 0 186951286 70447104 16554 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 17199 16554 136 292 0 16904 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 68796

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1843040/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=78224 CPUtime=282.21
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 24872 0 0 0 28185 36 0 0 25 0 1 0 186951286 80101376 18924 1992294400 134512640 135709839 4294956240 18446744073709551615 134518145 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 19556 18924 136 292 0 19261 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 78224

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1832096/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=89068 CPUtime=342.19
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 27560 0 0 0 34179 40 0 0 25 0 1 0 186951286 91205632 21612 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 22267 21612 136 292 0 21972 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 89068

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1823776/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=97536 CPUtime=402.18
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 29678 0 0 0 40172 46 0 0 25 0 1 0 186951286 99876864 23730 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 24384 23730 136 292 0 24089 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 97536

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1813216/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=107884 CPUtime=462.16
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 32257 0 0 0 46164 52 0 0 25 0 1 0 186951286 110473216 26309 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 26971 26309 136 292 0 26676 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 107884

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1805664/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=115476 CPUtime=522.15
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 34157 0 0 0 52157 58 0 0 25 0 1 0 186951286 118247424 28209 1992294400 134512640 135709839 4294956240 18446744073709551615 134518304 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 28869 28209 136 292 0 28574 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 115476

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1797088/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=123968 CPUtime=582.13
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 36273 0 0 0 58151 62 0 0 25 0 1 0 186951286 126943232 30325 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 30992 30325 136 292 0 30697 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 123968

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1788256/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=132720 CPUtime=642.13
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 38449 0 0 0 64146 67 0 0 25 0 1 0 186951286 135905280 32501 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 33180 32501 136 292 0 32885 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 132720

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1748256/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=172844 CPUtime=882.05
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 48416 0 0 0 88115 90 0 0 25 0 1 0 186951286 176992256 42468 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 43211 42468 136 292 0 42916 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 172844

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1739232/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=181776 CPUtime=942.03
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 50674 0 0 0 94108 95 0 0 25 0 1 0 186951286 186138624 44726 1992294400 134512640 135709839 4294956240 18446744073709551615 134518415 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 45444 44726 136 292 0 45149 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 181776

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1727008/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=194092 CPUtime=1002.02
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 53728 0 0 0 100100 102 0 0 25 0 1 0 186951286 198750208 47780 1992294400 134512640 135709839 4294956240 18446744073709551615 134580332 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 48523 47780 136 292 0 48228 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 194092

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1714912/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=206136 CPUtime=1062.01
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 56747 0 0 0 106092 109 0 0 25 0 1 0 186951286 211083264 50799 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 51534 50799 136 292 0 51239 0
Current children cumulated CPU time (s) 1062.01
Current children cumulated vsize (KiB) 206136

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1701472/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=219424 CPUtime=1121.99
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 60075 0 0 0 112082 117 0 0 25 0 1 0 186951286 224690176 54127 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 54856 54127 136 292 0 54561 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 219424

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1690464/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=230736 CPUtime=1181.97
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 62838 0 0 0 118075 122 0 0 25 0 1 0 186951286 236273664 56890 1992294400 134512640 135709839 4294956240 18446744073709551615 134572756 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 57684 56890 136 292 0 57389 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 230736

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1681376/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=239648 CPUtime=1241.96
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 65072 0 0 0 124068 128 0 0 25 0 1 0 186951286 245399552 59124 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 59912 59124 136 292 0 59617 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 239648

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1673056/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=247872 CPUtime=1301.95
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 67114 0 0 0 130062 133 0 0 25 0 1 0 186951286 253820928 61166 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 61968 61166 136 292 0 61673 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 247872

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1664416/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=256636 CPUtime=1361.92
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 69324 0 0 0 136055 137 0 0 25 0 1 0 186951286 262795264 63376 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 64159 63376 136 292 0 63864 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 256636

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1652384/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=268520 CPUtime=1421.92
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 72264 0 0 0 142049 143 0 0 25 0 1 0 186951286 274964480 66316 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 67130 66316 136 292 0 66835 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 268520

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1641952/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=278920 CPUtime=1481.89
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 74882 0 0 0 148040 149 0 0 25 0 1 0 186951286 285614080 68934 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 69730 68934 136 292 0 69435 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 278920

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1630560/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=290204 CPUtime=1541.88
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 77699 0 0 0 154033 155 0 0 25 0 1 0 186951286 297168896 71751 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 72551 71751 136 292 0 72256 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 290204

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1616416/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=304472 CPUtime=1601.86
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 81255 0 0 0 160025 161 0 0 25 0 1 0 186951286 311779328 75307 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 76118 75307 136 292 0 75823 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 304472

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1603168/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=317580 CPUtime=1661.85
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 84523 0 0 0 166018 167 0 0 25 0 1 0 186951286 325201920 78575 1992294400 134512640 135709839 4294956240 18446744073709551615 134587923 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 79395 78575 136 292 0 79100 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 317580

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1592032/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=328816 CPUtime=1721.83
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 87319 0 0 0 172011 172 0 0 25 0 1 0 186951286 336707584 81371 1992294400 134512640 135709839 4294956240 18446744073709551615 134573823 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 82204 81371 136 292 0 81909 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 328816

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1580192/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=340596 CPUtime=1781.81
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 90246 0 0 0 178004 177 0 0 25 0 1 0 186951286 348770304 84298 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 85149 84298 136 292 0 84854 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 340596



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1576672/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=343940 CPUtime=1800.01
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 91104 0 0 0 179823 178 0 0 25 0 1 0 186951286 352194560 85156 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 85985 85156 136 292 0 85690 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 343940

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 3053
/proc/meminfo: memFree=1576672/2055920 swapFree=4182240/4192956
[pid=3052] ppid=3050 vsize=343940 CPUtime=1800.01
/proc/3052/stat : 3052 (wbo) R 3050 3052 2934 0 -1 4194304 91104 0 0 0 179823 178 0 0 25 0 1 0 186951286 352194560 85156 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0
/proc/3052/statm: 85985 85156 136 292 0 85690 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 343940

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.56
CPU time (s): 1800.08
CPU user time (s): 1798.24
CPU system time (s): 1.83872
CPU usage (%): 99.9733
Max. virtual memory (cumulated for all children) (KiB): 343940

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

runsolver used 2.04269 second user time and 4.41733 second system time

The end

Launcher Data 

Begin job on node85 at 2009-06-17 01:05:26
IDJOB=1875293
IDBENCH=48133
IDSOLVER=698
FILE ID=node85/1875293-1245193524
PBS_JOBID= 9368314
Free space on /tmp= 126844 MiB

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

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

MD5SUM BENCH= d79bd0f7d6fceec4ec599aa8716e2601
RANDOM SEED=535780763

node85.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.213
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	: 5931.00
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.213
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:       1921088 kB
Buffers:         11152 kB
Cached:          51508 kB
SwapCached:       6224 kB
Active:          51060 kB
Inactive:        20780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1921088 kB
SwapTotal:     4192956 kB
SwapFree:      4182240 kB
Dirty:            2820 kB
Writeback:           0 kB
Mapped:          13668 kB
Slab:            48900 kB
Committed_AS:    73792 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875293-1245193524.opb

Free space on /tmp at the end= 126840 MiB
End job on node85 at 2009-06-17 01:35:30