Trace number 1875422

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.23 1800.9

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_2.opb
MD5SUM2468d4642d986af58e932976ec0c4f0e
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-14
Best CPU time to get the best result obtained on this benchmark1716.62
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
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 50
Number of bits of the sum of numbers in the objective function 6
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)1232
Sum of products size (including duplicates)2464
Number of different products616
Sum of products size1232

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-1875422-1245209971.opb.
0.00/0.00	c Instance file HOME/instance-1875422-1245209971.opb
0.00/0.00	c File size is 50402 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c ============================[ Problem Statistics ]=============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |  Parsing time:          0.01         s                                      |
0.00/0.00	c |  Number Variables:      716                                                 |
0.00/0.00	c |  Number Clauses:        716                                                 |
0.00/0.00	c |  Number Cardinality:    102                                                 |
0.00/0.00	c |  Number PB Constraints: 616                                                 |
0.00/0.00	c core #1
0.00/0.00	c Core size: 101	Core Weight: 1	Total Weight: -49
0.00/0.00	c Elapsed CPU time: 0.006998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     766     1435     5378 |     5000        0    nan |  0.000 % |
0.00/0.01	c ===============================================================================
0.00/0.01	c core #2
0.00/0.01	c Core size: 102	Core Weight: 1	Total Weight: -48
0.00/0.01	c Elapsed CPU time: 0.011998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c ============================[ Search Statistics ]==============================
0.00/0.01	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.01	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.01	c ===============================================================================
0.00/0.01	c |         0 |     816     1436     5478 |     5000        0    nan |  0.000 % |
0.00/0.02	c |       100 |     816     1436     5478 |     5500      100     31 |  0.138 % |
0.03/0.03	c |       251 |     788     1436     5478 |     6050      193     34 |  3.439 % |
0.03/0.05	c |       476 |     761     1436     5478 |     6655      355     34 |  8.473 % |
0.03/0.09	c |       815 |     635     1436     5478 |     7320      489     39 | 27.593 % |
0.09/0.11	c ===============================================================================
0.09/0.11	c core #3
0.09/0.11	c Core size: 177	Core Weight: 1	Total Weight: -47
0.09/0.11	c Elapsed CPU time: 0.113982 s	Remaining CPU time: 1799.89 s
0.09/0.12	c Learning 13 hard constraints
0.09/0.12	c ============================[ Search Statistics ]==============================
0.09/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.12	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.12	c ===============================================================================
0.09/0.12	c |         0 |     866     1450     5936 |     5000        0    nan |  0.000 % |
0.09/0.13	c |       100 |     866     1450     5936 |     5500      100     45 |  0.002 % |
0.09/0.14	c |       252 |     866     1450     5936 |     6050      252     36 |  0.003 % |
0.09/0.16	c |       479 |     866     1450     5936 |     6655      479     31 |  0.003 % |
0.09/0.20	c |       816 |     866     1450     5936 |     7320      816     31 |  0.000 % |
0.19/0.25	c |      1322 |     866     1450     5936 |     8052     1322     30 |  0.007 % |
0.29/0.33	c |      2081 |     866     1450     5936 |     8857     2081     29 |  0.014 % |
0.39/0.47	c |      3220 |     853     1450     5936 |     9743     1966     31 |  1.503 % |
0.59/0.66	c |      4928 |     853     1450     5936 |    10717     3674     31 |  1.505 % |
0.99/1.02	c |      7490 |     820     1450     5936 |    11789     4583     35 | 16.638 % |
1.09/1.14	c ===============================================================================
1.18/1.20	c core #4
1.18/1.20	c Core size: 490	Core Weight: 1	Total Weight: -46
1.18/1.20	c Elapsed CPU time: 1.18782 s	Remaining CPU time: 1798.81 s
1.18/1.21	c Learning 723 hard constraints
1.18/1.21	c ============================[ Search Statistics ]==============================
1.18/1.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.18/1.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.18/1.21	c ===============================================================================
1.18/1.21	c |         0 |     916     2174    30512 |     5000        0    nan |  0.000 % |
1.18/1.23	c |       102 |     916     2174    30512 |     5500      102     67 |  0.002 % |
1.18/1.25	c |       253 |     916     2174    30512 |     6050      253     38 |  0.001 % |
1.18/1.27	c |       478 |     916     2174    30512 |     6655      478     38 |  0.002 % |
1.29/1.31	c |       816 |     916     2174    30512 |     7320      816     38 |  0.001 % |
1.29/1.38	c |      1322 |     916     2174    30512 |     8052     1322     39 |  0.002 % |
1.39/1.49	c |      2082 |     916     2174    30512 |     8857     2082     38 |  0.001 % |
1.59/1.64	c |      3222 |     916     2174    30512 |     9743     3222     39 |  0.001 % |
1.79/1.89	c |      4931 |     916     2174    30512 |    10717     4931     39 |  0.000 % |
2.19/2.28	c |      7494 |     916     2174    30512 |    11789     7494     41 |  0.002 % |
2.99/3.07	c |     11338 |     916     2174    30512 |    12968    11338     42 |  0.002 % |
4.19/4.20	c |     17105 |     916     2174    30512 |    14265    10542     41 |  0.001 % |
5.99/6.05	c |     25755 |     916     2174    30512 |    15692    11976     41 |  0.003 % |
9.18/9.26	c |     38730 |     916     2174    30512 |    17261     8725     44 |  0.002 % |
14.08/14.17	c |     58194 |     916     2174    30512 |    18987    10434     42 |  0.010 % |
22.18/22.25	c |     87391 |     916     2174    30512 |    20886    10411     44 |  0.010 % |
35.98/36.08	c |    131181 |     903     2174    30512 |    22974    11584     44 |  1.422 % |
58.36/58.41	c |    196865 |     903     2174    30512 |    25272    18731     46 |  1.421 % |
85.76/85.88	c ===============================================================================
89.46/89.55	c core #5
89.46/89.55	c Core size: 1023	Core Weight: 1	Total Weight: -45
89.46/89.55	c Elapsed CPU time: 88.8095 s	Remaining CPU time: 1711.19 s
89.76/89.85	c Learning 3253 hard constraints
89.76/89.85	c ============================[ Search Statistics ]==============================
89.76/89.85	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
89.76/89.85	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
89.76/89.85	c ===============================================================================
89.76/89.85	c |         0 |     965     5428   177057 |     5000        0    nan |  0.000 % |
89.86/89.91	c |       102 |     965     5428   177057 |     5500      102     85 |  0.002 % |
89.86/89.93	c |       254 |     965     5428   177057 |     6050      254     66 |  0.001 % |
89.86/89.94	c |       480 |     965     5428   177057 |     6655      480     42 |  0.001 % |
89.86/89.99	c |       817 |     965     5428   177057 |     7320      817     47 |  0.000 % |
89.96/90.06	c |      1323 |     965     5428   177057 |     8052     1323     40 |  0.001 % |
90.06/90.17	c |      2083 |     965     5428   177057 |     8857     2083     44 |  0.001 % |
90.25/90.33	c |      3224 |     965     5428   177057 |     9743     3224     43 |  0.000 % |
90.56/90.60	c |      4933 |     965     5428   177057 |    10717     4933     46 |  0.001 % |
91.05/91.11	c |      7495 |     965     5428   177057 |    11789     7495     43 |  0.000 % |
91.86/91.96	c |     11339 |     965     5428   177057 |    12968    11339     44 |  0.000 % |
93.45/93.53	c |     17105 |     965     5428   177057 |    14265    10451     45 |  0.000 % |
96.05/96.13	c |     25755 |     965     5428   177057 |    15692    11778     42 |  0.000 % |
100.15/100.30	c |     38731 |     965     5428   177057 |    17261     8700     51 |  0.001 % |
106.54/106.69	c |     58193 |     965     5428   177057 |    18987    10478     49 |  0.000 % |
118.25/118.34	c |     87386 |     965     5428   177057 |    20886    10518     53 |  0.001 % |
135.84/135.97	c |    131179 |     965     5428   177057 |    22974    11625     45 |  0.001 % |
162.93/163.09	c |    196865 |     965     5428   177057 |    25272    18855     53 |  0.002 % |
203.01/203.15	c |    295395 |     965     5428   177057 |    27799    14094     56 |  0.002 % |
269.39/269.54	c |    443184 |     965     5428   177057 |    30579    25175     56 |  0.002 % |
370.85/371.09	c |    664867 |     965     5428   177057 |    33637    13613     47 |  0.000 % |
541.89/542.13	c |    997393 |     965     5428   177057 |    37001    33547     50 |  0.008 % |
833.48/833.80	c |   1496181 |     965     5428   177057 |    40701    37200     61 |  0.017 % |
1242.54/1243.00	c |   2244363 |     965     5428   177057 |    44771    28488     62 |  0.002 % |

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-1875422-1245209971/watcher-1875422-1245209971 -o /tmp/evaluation-result-1875422-1245209971/solver-1875422-1245209971 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875422-1245209971.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 5146
/proc/meminfo: memFree=1853424/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=2576 CPUtime=0
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 218 0 0 0 0 0 0 0 20 0 1 0 188595430 2637824 202 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 644 202 129 292 0 336 0

[startup+0.037924 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5146
/proc/meminfo: memFree=1853424/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=3056 CPUtime=0.03
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 353 0 0 0 3 0 0 0 20 0 1 0 188595430 3129344 324 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 764 324 136 292 0 469 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 3056

[startup+0.102915 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5146
/proc/meminfo: memFree=1853424/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=3184 CPUtime=0.09
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 406 0 0 0 9 0 0 0 20 0 1 0 188595430 3260416 377 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 796 377 136 292 0 501 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3184

[startup+0.301951 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5146
/proc/meminfo: memFree=1853424/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=3840 CPUtime=0.29
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 558 0 0 0 29 0 0 0 22 0 1 0 188595430 3932160 529 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 960 529 136 292 0 665 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3840

[startup+0.702025 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 5146
/proc/meminfo: memFree=1853424/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=5140 CPUtime=0.69
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 876 0 0 0 68 1 0 0 25 0 1 0 188595430 5263360 847 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 1285 847 136 292 0 990 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5140

[startup+1.50117 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5147
/proc/meminfo: memFree=1849840/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=6732 CPUtime=1.49
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 1278 0 0 0 147 2 0 0 25 0 1 0 188595430 6893568 1249 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 1683 1249 136 292 0 1388 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6732

[startup+3.10147 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5147
/proc/meminfo: memFree=1848816/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=8296 CPUtime=3.09
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 1668 0 0 0 305 4 0 0 25 0 1 0 188595430 8495104 1639 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 2074 1639 136 292 0 1779 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8296

[startup+6.30106 s]
/proc/loadavg: 1.16 1.03 1.01 2/66 5147
/proc/meminfo: memFree=1841840/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=14068 CPUtime=6.29
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 3111 0 0 0 622 7 0 0 25 0 1 0 188595430 14405632 3082 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 3517 3082 136 292 0 3222 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14068

[startup+12.7052 s]
/proc/loadavg: 1.15 1.03 1.01 2/66 5147
/proc/meminfo: memFree=1831408/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=24032 CPUtime=12.69
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 5602 0 0 0 1255 14 0 0 25 0 1 0 188595430 24608768 5573 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 6008 5573 136 292 0 5713 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24032

[startup+25.5016 s]
/proc/loadavg: 1.12 1.03 1.01 2/66 5147
/proc/meminfo: memFree=1815536/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=40756 CPUtime=25.48
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 9761 0 0 0 2524 24 0 0 25 0 1 0 188595430 41734144 9732 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 10189 9732 136 292 0 9894 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40756

[startup+51.1023 s]
/proc/loadavg: 1.07 1.03 1.01 2/66 5147
/proc/meminfo: memFree=1788208/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=67140 CPUtime=51.07
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 16364 0 0 0 5064 43 0 0 25 0 1 0 188595430 68751360 16335 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 16785 16335 136 292 0 16490 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 67140

[startup+102.302 s]
/proc/loadavg: 1.03 1.02 1.00 2/66 5147
/proc/meminfo: memFree=1746096/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=109172 CPUtime=102.25
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 26852 0 0 0 10144 81 0 0 25 0 1 0 188595430 111792128 26823 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 27293 26823 136 292 0 26998 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 109172

[startup+162.306 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 5147
/proc/meminfo: memFree=1713008/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=142204 CPUtime=162.24
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 35129 0 0 0 16105 119 0 0 25 0 1 0 188595430 145616896 35100 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 35551 35100 136 292 0 35256 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 142204

[startup+222.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 5147
/proc/meminfo: memFree=1651760/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=204032 CPUtime=222.2
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 50573 0 0 0 22058 162 0 0 25 0 1 0 188595430 208928768 50544 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 51008 50544 136 292 0 50713 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 204032

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5147
/proc/meminfo: memFree=1598320/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=256744 CPUtime=282.19
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 63756 0 0 0 28019 200 0 0 25 0 1 0 188595430 262905856 63727 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 64186 63727 136 292 0 63891 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 256744

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5147
/proc/meminfo: memFree=1548976/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=306408 CPUtime=342.16
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 76129 0 0 0 33977 239 0 0 25 0 1 0 188595430 313761792 76100 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 76602 76100 136 292 0 76307 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 306408

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5147
/proc/meminfo: memFree=1497008/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=357920 CPUtime=402.14
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 89017 0 0 0 39935 279 0 0 25 0 1 0 188595430 366510080 88988 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 89480 88988 136 292 0 89185 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 357920

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5147
/proc/meminfo: memFree=1452720/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=402588 CPUtime=462.12
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 100163 0 0 0 45898 314 0 0 25 0 1 0 188595430 412250112 100134 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 100647 100134 136 292 0 100352 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 402588

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5147
/proc/meminfo: memFree=1407664/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=447224 CPUtime=522.1
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 111324 0 0 0 51863 347 0 0 25 0 1 0 188595430 457957376 111295 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 111806 111295 136 292 0 111511 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 447224

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5147
/proc/meminfo: memFree=1366064/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=488980 CPUtime=582.08
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 121738 0 0 0 57827 381 0 0 25 0 1 0 188595430 500715520 121709 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 122245 121709 136 292 0 121950 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 488980

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5147
/proc/meminfo: memFree=1322672/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=532112 CPUtime=642.06
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 132524 0 0 0 63794 412 0 0 25 0 1 0 188595430 544882688 132495 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 133028 132495 136 292 0 132733 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 532112

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5149
/proc/meminfo: memFree=1159152/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=695476 CPUtime=881.97
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 173299 0 0 0 87661 536 0 0 25 0 1 0 188595430 712167424 173270 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 173869 173270 136 292 0 173574 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 695476

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5149
/proc/meminfo: memFree=1113328/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=740852 CPUtime=941.95
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 184650 0 0 0 93624 571 0 0 25 0 1 0 188595430 758632448 184621 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 185213 184621 136 292 0 184918 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 740852

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5149
/proc/meminfo: memFree=1069040/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=785264 CPUtime=1001.93
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 195750 0 0 0 99591 602 0 0 25 0 1 0 188595430 804110336 195721 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 196316 195721 136 292 0 196021 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 785264

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5149
/proc/meminfo: memFree=1023088/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=830976 CPUtime=1061.9
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 207170 0 0 0 105558 632 0 0 25 0 1 0 188595430 850919424 207141 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 207744 207141 136 292 0 207449 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 830976

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5149
/proc/meminfo: memFree=973552/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=880732 CPUtime=1121.88
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 219609 0 0 0 111523 665 0 0 25 0 1 0 188595430 901869568 219580 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 220183 219580 136 292 0 219888 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 880732

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5149
/proc/meminfo: memFree=929008/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=924916 CPUtime=1181.86
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 230631 0 0 0 117488 698 0 0 25 0 1 0 188595430 947113984 230602 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 231229 230602 136 292 0 230934 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 924916

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5149
/proc/meminfo: memFree=889072/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=965520 CPUtime=1241.84
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 240780 0 0 0 123456 728 0 0 25 0 1 0 188595430 988692480 240751 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 241380 240751 136 292 0 241085 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 965520

[startup+1302.3 s]
/proc/loadavg: 1.07 1.02 1.00 2/66 5155
/proc/meminfo: memFree=845104/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=1008504 CPUtime=1301.8
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 251531 0 0 0 129422 758 0 0 25 0 1 0 188595430 1032708096 251502 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 252126 251502 136 292 0 251831 0
Current children cumulated CPU time (s) 1301.8
Current children cumulated vsize (KiB) 1008504

[startup+1362.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 5155
/proc/meminfo: memFree=803056/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=1050204 CPUtime=1361.79
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 261953 0 0 0 135389 790 0 0 25 0 1 0 188595430 1075408896 261924 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 262551 261924 136 292 0 262256 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1050204

[startup+1422.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 5155
/proc/meminfo: memFree=766192/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=1087664 CPUtime=1421.76
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 271284 0 0 0 141360 816 0 0 25 0 1 0 188595430 1113767936 271255 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 271916 271255 136 292 0 271621 0
Current children cumulated CPU time (s) 1421.76
Current children cumulated vsize (KiB) 1087664

[startup+1482.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5155
/proc/meminfo: memFree=732848/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=1120452 CPUtime=1481.75
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 279473 0 0 0 147331 844 0 0 25 0 1 0 188595430 1147342848 279444 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 280113 279444 136 292 0 279818 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1120452

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5155
/proc/meminfo: memFree=696112/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=1157324 CPUtime=1541.72
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 288697 0 0 0 153299 873 0 0 25 0 1 0 188595430 1185099776 288668 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 289331 288669 136 292 0 289036 0
Current children cumulated CPU time (s) 1541.72
Current children cumulated vsize (KiB) 1157324

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5155
/proc/meminfo: memFree=656048/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=1197252 CPUtime=1601.7
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 298678 0 0 0 159266 904 0 0 25 0 1 0 188595430 1225986048 298649 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 299313 298649 136 292 0 299018 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 1197252

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5155
/proc/meminfo: memFree=620272/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=1232988 CPUtime=1661.68
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 307610 0 0 0 165237 931 0 0 25 0 1 0 188595430 1262579712 307581 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 308247 307581 136 292 0 307952 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1232988

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5155
/proc/meminfo: memFree=581168/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=1272004 CPUtime=1721.66
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 317323 0 0 0 171207 959 0 0 25 0 1 0 188595430 1302532096 317294 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 318001 317294 136 292 0 317706 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 1272004

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5155
/proc/meminfo: memFree=543984/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=1309204 CPUtime=1781.63
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 326644 0 0 0 177181 982 0 0 25 0 1 0 188595430 1340624896 326615 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 327301 326615 136 292 0 327006 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 1309204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 5155
/proc/meminfo: memFree=530032/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=1322696 CPUtime=1800.03
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4194304 330032 0 0 0 179010 993 0 0 25 0 1 0 188595430 1354440704 330003 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 330674 330003 136 292 0 330379 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 1322696

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: 1.00 1.00 1.00 2/66 5155
/proc/meminfo: memFree=530032/2055924 swapFree=4179348/4192956
[pid=5146] ppid=5144 vsize=0 CPUtime=1800.13
/proc/5146/stat : 5146 (wbo) R 5144 5146 5020 0 -1 4195332 330032 0 0 0 179010 1003 0 0 25 0 1 0 188595430 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/5146/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.9
CPU time (s): 1800.23
CPU user time (s): 1790.11
CPU system time (s): 10.1225
CPU usage (%): 99.9631
Max. virtual memory (cumulated for all children) (KiB): 1322696

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

runsolver used 1.9837 second user time and 4.55531 second system time

The end

Launcher Data 

Begin job on node83 at 2009-06-17 05:39:31
IDJOB=1875422
IDBENCH=48262
IDSOLVER=698
FILE ID=node83/1875422-1245209971
PBS_JOBID= 9368396
Free space on /tmp= 66508 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_2.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875422-1245209971/watcher-1875422-1245209971 -o /tmp/evaluation-result-1875422-1245209971/solver-1875422-1245209971 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875422-1245209971.opb

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

MD5SUM BENCH= 2468d4642d986af58e932976ec0c4f0e
RANDOM SEED=424297212

node83.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.265
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.265
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:      2055924 kB
MemFree:       1853904 kB
Buffers:         13572 kB
Cached:         116416 kB
SwapCached:       7440 kB
Active:          60792 kB
Inactive:        78068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1853904 kB
SwapTotal:     4192956 kB
SwapFree:      4179348 kB
Dirty:            2420 kB
Writeback:           0 kB
Mapped:          14576 kB
Slab:            49140 kB
Committed_AS:    84680 kB
PageTables:       1392 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-1875422-1245209971.opb

Free space on /tmp at the end= 66504 MiB
End job on node83 at 2009-06-17 06:09:33