Trace number 1875746

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.21 1800.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_4_30_1.opb
MD5SUMfb11ff2665aef67f0842a460a5ea3114
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark26.176
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 2
Optimality of the best value was proved YES
Number of variables94
Total number of constraints8
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 constraints8
Minimum length of a constraint45
Maximum length of a constraint46
Number of terms in the objective function 64
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 2040
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 851
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 3063
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c This is wbo 1.0 alpha (based on Minisat 2.0 beta)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Parsing opb file format. File HOME/instance-1875746-1245177868.opb.
0.00/0.00	c Instance file HOME/instance-1875746-1245177868.opb
0.00/0.00	c File size is 3580 bytes.
0.00/0.00	c Highest Coefficient sum: 3063
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.00         s                                      |
0.00/0.00	c |  Number Variables:      94                                                  |
0.00/0.00	c |  Number Clauses:        64                                                  |
0.00/0.00	c |  Number Cardinality:    0                                                   |
0.00/0.00	c |  Number PB Constraints: 8                                                   |
0.00/0.00	c ============================[ Search Statistics ]==============================
0.00/0.00	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.00	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.00	c ===============================================================================
0.00/0.00	c |         0 |      30       72      364 |     5000        0    nan |  0.000 % |
0.00/0.00	c |       101 |      30       72      364 |     5500      101     54 | 68.097 % |
0.00/0.01	c |       251 |      30       72      364 |     6050      251     53 | 68.097 % |
0.00/0.02	c |       476 |      30       72      364 |     6655      476     53 | 68.097 % |
0.00/0.04	c |       813 |      30       72      364 |     7320      813     52 | 68.097 % |
0.00/0.07	c |      1319 |      30       72      364 |     8052     1319     52 | 68.097 % |
0.09/0.11	c |      2079 |      30       72      364 |     8857     2079     52 | 68.097 % |
0.09/0.20	c |      3219 |      30       72      364 |     9743     3219     52 | 68.097 % |
0.29/0.35	c |      4927 |      30       72      364 |    10717     4927     53 | 68.097 % |
0.59/0.63	c |      7489 |      30       72      364 |    11789     7489     54 | 68.097 % |
1.10/1.17	c |     11333 |      30       72      364 |    12968    11333     54 | 68.097 % |
1.99/2.03	c |     17099 |      30       72      364 |    14265    10573     55 | 68.097 % |
3.39/3.42	c |     25748 |      30       72      364 |    15692    12047     57 | 68.097 % |
6.19/6.20	c |     38722 |      30       72      364 |    17261     9246     57 | 68.097 % |
10.28/10.34	c |     58183 |      30       72      364 |    18987    11365     56 | 68.097 % |
17.09/17.11	c |     87375 |      30       72      364 |    20886    11955     56 | 68.097 % |
29.98/30.07	c |    131164 |      30       72      364 |    22974    13809     56 | 68.097 % |
49.87/49.94	c |    196848 |      30       72      364 |    25272    17924     56 | 68.097 % |
84.57/84.68	c |    295374 |      30       72      364 |    27799    14857     57 | 68.097 % |
144.84/144.92	c |    443163 |      30       72      364 |    30579    27042     55 | 68.097 % |
246.51/246.69	c |    664846 |      30       72      364 |    33637    13101     57 | 68.097 % |
406.16/406.39	c |    997372 |      30       72      364 |    37001    29239     54 | 68.108 % |
664.78/665.06	c |   1496161 |      29       72      364 |    40701    28161     58 | 69.172 % |
862.32/862.68	c ===============================================================================
877.21/877.50	c core #1
877.21/877.50	c Core size: 72	Core Weight: 1	Total Weight: 1
877.21/877.50	c Elapsed CPU time: 872.402 s	Remaining CPU time: 927.598 s
879.11/879.45	c Learning 33 hard constraints
879.11/879.45	c ============================[ Search Statistics ]==============================
879.11/879.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
879.11/879.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
879.11/879.45	c ===============================================================================
879.11/879.45	c |         0 |     102      162     2596 |     5000        0    nan |  0.000 % |
879.41/879.79	c |       100 |     102      162     2596 |     5500      100     52 | 35.447 % |
879.51/879.80	c |       250 |     102      162     2596 |     6050      250     51 | 35.447 % |
879.51/879.81	c |       475 |     102      162     2596 |     6655      475     48 | 35.447 % |
879.51/879.83	c |       812 |     102      162     2596 |     7320      812     49 | 35.447 % |
879.51/879.87	c |      1320 |     102      162     2596 |     8052     1320     49 | 35.447 % |
879.62/879.93	c |      2079 |     102      162     2596 |     8857     2079     49 | 35.447 % |
879.72/880.03	c |      3219 |     102      162     2596 |     9743     3219     50 | 35.447 % |
879.92/880.23	c |      4927 |     102      162     2596 |    10717     4927     51 | 35.447 % |
880.31/880.61	c |      7490 |     102      162     2596 |    11789     7490     51 | 35.447 % |
880.91/881.25	c |     11335 |     102      162     2596 |    12968    11335     51 | 35.447 % |
882.02/882.34	c |     17102 |     102      162     2596 |    14265    10579     49 | 35.447 % |
884.12/884.47	c |     25751 |     102      162     2596 |    15692    12059     49 | 35.447 % |
888.22/888.55	c |     38726 |     102      162     2596 |    17261     9266     52 | 35.447 % |
893.91/894.26	c |     58189 |     102      162     2596 |    18987    11396     50 | 35.447 % |
903.31/903.64	c |     87381 |     102      162     2596 |    20886    11994     52 | 35.447 % |
917.01/917.35	c |    131170 |     102      162     2596 |    22974    13864     52 | 35.447 % |
940.89/941.22	c |    196855 |     102      162     2596 |    25272    17999     52 | 35.447 % |
982.39/982.73	c |    295382 |     102      162     2596 |    27799    14948     52 | 35.447 % |
1044.76/1045.10	c |    443171 |     102      162     2596 |    30579    27228     53 | 35.447 % |
1140.03/1140.48	c |    664854 |     102      162     2596 |    33637    13414     50 | 35.447 % |
1287.69/1288.11	c |    997379 |     102      162     2596 |    37001    29656     52 | 35.451 % |
1535.61/1536.10	c |   1496167 |     101      162     2596 |    40701    31510     52 | 36.080 % |

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-1875746-1245177868/watcher-1875746-1245177868 -o /tmp/evaluation-result-1875746-1245177868/solver-1875746-1245177868 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875746-1245177868.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.91 3/66 14122
/proc/meminfo: memFree=1855424/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=2392 CPUtime=0
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 70510243 2449408 176 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 598 177 134 292 0 303 0

[startup+0.088729 s]
/proc/loadavg: 0.99 0.97 0.91 3/66 14122
/proc/meminfo: memFree=1855424/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=3048 CPUtime=0.08
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 334 0 0 0 8 0 0 0 18 0 1 0 70510243 3121152 317 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 762 317 135 292 0 467 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3048

[startup+0.10173 s]
/proc/loadavg: 0.99 0.97 0.91 3/66 14122
/proc/meminfo: memFree=1855424/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=3048 CPUtime=0.09
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 353 0 0 0 9 0 0 0 18 0 1 0 70510243 3121152 336 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 762 336 135 292 0 467 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3048

[startup+0.301756 s]
/proc/loadavg: 0.99 0.97 0.91 3/66 14122
/proc/meminfo: memFree=1855424/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=3968 CPUtime=0.29
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 588 0 0 0 29 0 0 0 19 0 1 0 70510243 4063232 571 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 992 571 135 292 0 697 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3968

[startup+0.701807 s]
/proc/loadavg: 0.99 0.97 0.91 3/66 14122
/proc/meminfo: memFree=1855424/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=5420 CPUtime=0.69
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 931 0 0 0 68 1 0 0 23 0 1 0 70510243 5550080 914 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 1355 914 135 292 0 1060 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5420

[startup+1.50191 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14123
/proc/meminfo: memFree=1851384/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=7308 CPUtime=1.49
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 1393 0 0 0 147 2 0 0 25 0 1 0 70510243 7483392 1376 1992294400 134512640 135709839 4294956240 18446744073709551615 134568594 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 1827 1376 135 292 0 1532 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7308

[startup+3.10112 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14123
/proc/meminfo: memFree=1848632/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=11108 CPUtime=3.09
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 2360 0 0 0 305 4 0 0 25 0 1 0 70510243 11374592 2343 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 2777 2343 135 292 0 2482 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11108

[startup+6.30153 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14123
/proc/meminfo: memFree=1841976/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=16864 CPUtime=6.28
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 3798 0 0 0 622 6 0 0 25 0 1 0 70510243 17268736 3781 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 4216 3781 135 292 0 3921 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 16864

[startup+12.7014 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14123
/proc/meminfo: memFree=1831032/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=27488 CPUtime=12.69
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 6431 0 0 0 1256 13 0 0 25 0 1 0 70510243 28147712 6414 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 6872 6414 135 292 0 6577 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 27488

[startup+25.502 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14123
/proc/meminfo: memFree=1813496/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=44092 CPUtime=25.48
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 10577 0 0 0 2522 26 0 0 25 0 1 0 70510243 45150208 10560 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 11023 10560 135 292 0 10728 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44092

[startup+51.1013 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14123
/proc/meminfo: memFree=1783608/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=74344 CPUtime=51.07
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 18140 0 0 0 5062 45 0 0 25 0 1 0 70510243 76128256 18123 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 18586 18123 135 292 0 18291 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 74344

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14123
/proc/meminfo: memFree=1732728/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=124548 CPUtime=102.26
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 30667 0 0 0 10143 83 0 0 25 0 1 0 70510243 127537152 30650 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 31137 30650 135 292 0 30842 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 124548

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14123
/proc/meminfo: memFree=1683128/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=174372 CPUtime=162.24
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 43111 0 0 0 16106 118 0 0 25 0 1 0 70510243 178556928 43094 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 43593 43094 135 292 0 43298 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 174372

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14123
/proc/meminfo: memFree=1636728/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=220628 CPUtime=222.22
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 54661 0 0 0 22071 151 0 0 25 0 1 0 70510243 225923072 54644 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 55157 54644 135 292 0 54862 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 220628

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14123
/proc/meminfo: memFree=1591160/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=266536 CPUtime=282.2
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 66166 0 0 0 28035 185 0 0 25 0 1 0 70510243 272932864 66149 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 66634 66149 135 292 0 66339 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 266536

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14123
/proc/meminfo: memFree=1546616/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=310284 CPUtime=342.18
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 77090 0 0 0 34001 217 0 0 25 0 1 0 70510243 317730816 77073 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 77571 77073 135 292 0 77276 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 310284

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14123
/proc/meminfo: memFree=1503928/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=353852 CPUtime=402.16
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 87994 0 0 0 39967 249 0 0 25 0 1 0 70510243 362344448 87977 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 88463 87977 135 292 0 88168 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 353852

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14123
/proc/meminfo: memFree=1460984/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=395700 CPUtime=462.15
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 98467 0 0 0 45931 284 0 0 25 0 1 0 70510243 405196800 98450 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 98925 98450 135 292 0 98630 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 395700

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14123
/proc/meminfo: memFree=1420856/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=436992 CPUtime=522.13
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 108760 0 0 0 51902 311 0 0 25 0 1 0 70510243 447479808 108743 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 109248 108743 135 292 0 108953 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 436992

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14123
/proc/meminfo: memFree=1378040/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=478580 CPUtime=582.11
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 119158 0 0 0 57869 342 0 0 25 0 1 0 70510243 490065920 119141 1992294400 134512640 135709839 4294956240 18446744073709551615 134573807 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 119645 119141 135 292 0 119350 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 478580

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14123
/proc/meminfo: memFree=1336120/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=520204 CPUtime=642.1
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 129564 0 0 0 63839 371 0 0 25 0 1 0 70510243 532688896 129547 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 130051 129547 135 292 0 129756 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 520204

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14125
/proc/meminfo: memFree=1125304/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=730212 CPUtime=882.02
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 183839 0 0 0 87717 485 0 0 25 0 1 0 70510243 747737088 182055 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 182553 182055 136 292 0 182258 0
Current children cumulated CPU time (s) 882.02
Current children cumulated vsize (KiB) 730212

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14125
/proc/meminfo: memFree=1125112/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=730212 CPUtime=942
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 183918 0 0 0 93679 521 0 0 25 0 1 0 70510243 747737088 182134 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 182553 182134 136 292 0 182258 0
Current children cumulated CPU time (s) 942
Current children cumulated vsize (KiB) 730212

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14131
/proc/meminfo: memFree=1116728/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=739000 CPUtime=1001.97
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 186066 0 0 0 99648 549 0 0 25 0 1 0 70510243 756736000 184282 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 184750 184282 136 292 0 184455 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 739000

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14131
/proc/meminfo: memFree=1088056/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=767632 CPUtime=1061.95
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 193207 0 0 0 105613 582 0 0 25 0 1 0 70510243 786055168 191423 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 191908 191423 136 292 0 191613 0
Current children cumulated CPU time (s) 1061.95
Current children cumulated vsize (KiB) 767632

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14131
/proc/meminfo: memFree=1058808/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=796584 CPUtime=1121.93
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 200457 0 0 0 111577 616 0 0 25 0 1 0 70510243 815702016 198673 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 199146 198674 136 292 0 198851 0
Current children cumulated CPU time (s) 1121.93
Current children cumulated vsize (KiB) 796584

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14131
/proc/meminfo: memFree=1027384/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=828220 CPUtime=1181.92
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 208370 0 0 0 117542 650 0 0 25 0 1 0 70510243 848097280 206586 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 207055 206586 136 292 0 206760 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 828220

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14131
/proc/meminfo: memFree=997368/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=858096 CPUtime=1241.9
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 215804 0 0 0 123509 681 0 0 25 0 1 0 70510243 878690304 214020 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 214524 214020 136 292 0 214229 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 858096

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14131
/proc/meminfo: memFree=970936/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=884100 CPUtime=1301.88
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 222319 0 0 0 129476 712 0 0 25 0 1 0 70510243 905318400 220535 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 221025 220535 136 292 0 220730 0
Current children cumulated CPU time (s) 1301.88
Current children cumulated vsize (KiB) 884100

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14131
/proc/meminfo: memFree=945400/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=909784 CPUtime=1361.86
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 228737 0 0 0 135445 741 0 0 25 0 1 0 70510243 931618816 226953 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 227446 226953 136 292 0 227151 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 909784

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14131
/proc/meminfo: memFree=918264/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=936828 CPUtime=1421.84
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 235490 0 0 0 141416 768 0 0 25 0 1 0 70510243 959311872 233706 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 234207 233706 136 292 0 233912 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 936828

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14131
/proc/meminfo: memFree=890552/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=964852 CPUtime=1481.82
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 242525 0 0 0 147383 799 0 0 25 0 1 0 70510243 988008448 240741 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 241213 240741 136 292 0 240918 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 964852

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14131
/proc/meminfo: memFree=858424/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=996488 CPUtime=1541.8
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 250409 0 0 0 153353 827 0 0 25 0 1 0 70510243 1020403712 248625 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 249122 248625 136 292 0 248827 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 996488

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14131
/proc/meminfo: memFree=829112/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=1026076 CPUtime=1601.79
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 257807 0 0 0 159325 854 0 0 25 0 1 0 70510243 1050701824 256023 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 256519 256023 136 292 0 256224 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 1026076

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14131
/proc/meminfo: memFree=795064/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=1059716 CPUtime=1661.76
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 266203 0 0 0 165293 883 0 0 25 0 1 0 70510243 1085149184 264419 1992294400 134512640 135709839 4294956240 18446744073709551615 134568563 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 264929 264419 136 292 0 264634 0
Current children cumulated CPU time (s) 1661.76
Current children cumulated vsize (KiB) 1059716

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 14131
/proc/meminfo: memFree=757112/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=1098536 CPUtime=1721.75
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 275899 0 0 0 171260 915 0 0 25 0 1 0 70510243 1124900864 274115 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 274634 274115 136 292 0 274339 0
Current children cumulated CPU time (s) 1721.75
Current children cumulated vsize (KiB) 1098536

[startup+1782.3 s]
/proc/loadavg: 1.10 1.00 0.92 2/67 14131
/proc/meminfo: memFree=721144/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=1133516 CPUtime=1781.73
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 284655 0 0 0 177228 945 0 0 25 0 1 0 70510243 1160720384 282871 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 283379 282871 136 292 0 283084 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 1133516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.08 1.00 0.92 2/67 14131
/proc/meminfo: memFree=711544/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=1142940 CPUtime=1800.04
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4194304 287006 0 0 0 179052 952 0 0 25 0 1 0 70510243 1170370560 285222 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 285735 285222 136 292 0 285440 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1142940

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

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

[startup+1800.71 s]
/proc/loadavg: 1.08 1.00 0.92 2/67 14131
/proc/meminfo: memFree=711544/2055920 swapFree=4191988/4192956
[pid=14122] ppid=14120 vsize=0 CPUtime=1800.14
/proc/14122/stat : 14122 (wbo) R 14120 14122 14042 0 -1 4195332 287006 0 0 0 179052 962 0 0 25 0 1 0 70510243 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/14122/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.78
CPU time (s): 1800.21
CPU user time (s): 1790.52
CPU system time (s): 9.69253
CPU usage (%): 99.9686
Max. virtual memory (cumulated for all children) (KiB): 1142940

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

runsolver used 2.45363 second user time and 4.10938 second system time

The end

Launcher Data 

Begin job on node40 at 2009-06-16 20:44:28
IDJOB=1875746
IDBENCH=2927
IDSOLVER=698
FILE ID=node40/1875746-1245177868
PBS_JOBID= 9363948
Free space on /tmp= 66564 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_4_30_1.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-1875746-1245177868/watcher-1875746-1245177868 -o /tmp/evaluation-result-1875746-1245177868/solver-1875746-1245177868 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875746-1245177868.opb

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

MD5SUM BENCH= fb11ff2665aef67f0842a460a5ea3114
RANDOM SEED=950078392

node40.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.216
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.216
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:       1855840 kB
Buffers:         20696 kB
Cached:          99144 kB
SwapCached:        384 kB
Active:          15552 kB
Inactive:       118240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1855840 kB
SwapTotal:     4192956 kB
SwapFree:      4191988 kB
Dirty:            2376 kB
Writeback:           0 kB
Mapped:          23408 kB
Slab:            52160 kB
Committed_AS:    58152 kB
PageTables:       1472 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-1875746-1245177868.opb

Free space on /tmp at the end= 66560 MiB
End job on node40 at 2009-06-16 21:14:31