Trace number 1875271

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.24 1800.73

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_1.opb
MD5SUMaa10899bd7f711370f6ef9f1251ce7f2
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark85.603
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint44
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3038
Sum of products size (including duplicates)6076
Number of different products3038
Sum of products size6076

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-1875271-1245190624.opb.
0.00/0.00	c Instance file HOME/instance-1875271-1245190624.opb
0.00/0.00	c File size is 217164 bytes.
0.00/0.02	c Highest Coefficient sum: 45
0.00/0.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Parsing time:          0.03         s                                      |
0.00/0.03	c |  Number Variables:      3138                                                |
0.00/0.03	c |  Number Clauses:        3238                                                |
0.00/0.03	c |  Number Cardinality:    0                                                   |
0.00/0.03	c |  Number PB Constraints: 3038                                                |
0.00/0.03	c core #1
0.00/0.03	c Core size: 52	Core Weight: 1	Total Weight: 1
0.00/0.03	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |     873     6277    14793 |     5000        0    nan |  0.000 % |
0.00/0.04	c ===============================================================================
0.00/0.04	c core #2
0.00/0.04	c Core size: 138	Core Weight: 1	Total Weight: 2
0.00/0.04	c Elapsed CPU time: 0.038994 s	Remaining CPU time: 1799.96 s
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |    2350     6278    19076 |     5000        0    nan |  0.000 % |
0.06/0.08	c ===============================================================================
0.06/0.08	c core #3
0.06/0.08	c Core size: 825	Core Weight: 1	Total Weight: 3
0.06/0.08	c Elapsed CPU time: 0.086986 s	Remaining CPU time: 1799.91 s
0.06/0.10	c ============================[ Search Statistics ]==============================
0.06/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.06/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.06/0.10	c ===============================================================================
0.06/0.10	c |         0 |    3322     6279    21834 |     5000        0    nan |  0.000 % |
0.09/0.13	c |       100 |    3322     6279    21834 |     5500      100    172 |  0.000 % |
0.09/0.18	c |       251 |    3322     6279    21834 |     6050      251    163 |  0.000 % |
0.19/0.27	c |       480 |    3322     6279    21834 |     6655      480    180 |  0.000 % |
0.39/0.42	c |       818 |    3322     6279    21834 |     7320      818    175 |  0.000 % |
0.59/0.64	c |      1325 |    3322     6279    21834 |     8052     1325    194 |  0.000 % |
1.00/1.02	c |      2085 |    3322     6279    21834 |     8857     2085    210 |  0.000 % |
1.59/1.70	c |      3226 |    3322     6279    21834 |     9743     3226    240 |  0.000 % |
3.09/3.12	c |      4942 |    3322     6279    21834 |    10717     4942    286 |  0.000 % |
5.19/5.26	c |      7507 |    3322     6279    21834 |    11789     7507    342 |  0.000 % |
9.49/9.54	c |     11351 |    3322     6279    21834 |    12968    11351    380 |  0.000 % |
16.19/16.24	c |     17120 |    3322     6279    21834 |    14265    10370    369 |  0.000 % |
22.98/23.02	c ===============================================================================
23.38/23.48	c core #4
23.38/23.48	c Core size: 4113	Core Weight: 1	Total Weight: 4
23.38/23.48	c Elapsed CPU time: 23.3504 s	Remaining CPU time: 1776.65 s
23.48/23.52	c Learning 1 hard constraints
23.48/23.52	c ============================[ Search Statistics ]==============================
23.48/23.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
23.48/23.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
23.48/23.52	c ===============================================================================
23.48/23.52	c |         0 |    3422     6281    22062 |     5000        0    nan |  0.000 % |
23.48/23.57	c |       105 |    3422     6281    22062 |     5500      105    220 |  0.000 % |
23.58/23.60	c |       255 |    3422     6281    22062 |     6050      255    162 |  0.000 % |
23.58/23.66	c |       483 |    3422     6281    22062 |     6655      483    142 |  0.000 % |
23.68/23.75	c |       820 |    3422     6281    22062 |     7320      820    158 |  0.000 % |
23.88/23.95	c |      1326 |    3422     6281    22062 |     8052     1326    186 |  0.000 % |
24.18/24.26	c |      2089 |    3422     6281    22062 |     8857     2089    210 |  0.000 % |
24.79/24.81	c |      3229 |    3422     6281    22062 |     9743     3229    226 |  0.000 % |
25.98/26.00	c |      4938 |    3422     6281    22062 |    10717     4938    283 |  0.000 % |
28.58/28.63	c |      7502 |    3422     6281    22062 |    11789     7502    326 |  0.000 % |
32.58/32.63	c |     11346 |    3422     6281    22062 |    12968    11346    330 |  0.000 % |
38.27/38.32	c |     17116 |    3422     6281    22062 |    14265    10063    339 |  0.000 % |
49.07/49.17	c |     25768 |    3422     6281    22062 |    15692    11009    440 |  0.000 % |
66.37/66.43	c |     38742 |    3422     6281    22062 |    17261    15437    408 |  0.000 % |
116.55/116.62	c |     58204 |    3422     6281    22062 |    18987    16064    693 |  0.000 % |
173.74/173.89	c |     87396 |    3422     6281    22062 |    20886    15252    454 |  0.000 % |
291.30/291.42	c |    131189 |    3422     6281    22062 |    22974    14890    592 |  0.000 % |
423.67/423.85	c |    196877 |    3422     6281    22062 |    25272    20916    231 |  0.000 % |
603.42/603.61	c |    295404 |    3422     6281    22062 |    27799    15527    279 |  0.000 % |
898.94/899.22	c |    443198 |    3422     6281    22062 |    30579    18513    221 |  0.000 % |
1380.52/1380.91	c |    664881 |    3422     6281    22062 |    33637    30878    214 |  0.000 % |
1401.81/1402.26	c ===============================================================================
1435.60/1436.05	c core #5
1435.60/1436.05	c Core size: 5988	Core Weight: 1	Total Weight: 5
1435.60/1436.05	c Elapsed CPU time: 1430.99 s	Remaining CPU time: 369.01 s
1436.40/1436.83	c Learning 4 hard constraints
1436.40/1436.83	c ============================[ Search Statistics ]==============================
1436.40/1436.83	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1436.40/1436.83	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1436.40/1436.83	c ===============================================================================
1436.40/1436.83	c |         0 |    3522     6286    22350 |     5000        0    nan |  0.000 % |
1436.60/1437.04	c |       100 |    3522     6286    22350 |     5500      100    245 |  0.000 % |
1436.60/1437.09	c |       250 |    3522     6286    22350 |     6050      250    173 |  0.000 % |
1436.70/1437.15	c |       476 |    3522     6286    22350 |     6655      476    149 |  0.000 % |
1436.80/1437.23	c |       818 |    3522     6286    22350 |     7320      818    147 |  0.000 % |
1437.00/1437.41	c |      1324 |    3522     6286    22350 |     8052     1324    172 |  0.000 % |
1437.30/1437.75	c |      2087 |    3522     6286    22350 |     8857     2087    243 |  0.000 % |
1437.90/1438.36	c |      3228 |    3522     6286    22350 |     9743     3228    278 |  0.000 % |
1439.20/1439.66	c |      4944 |    3522     6286    22350 |    10717     4944    360 |  0.000 % |
1442.11/1442.52	c |      7506 |    3522     6286    22350 |    11789     7506    362 |  0.000 % |
1447.09/1447.57	c |     11352 |    3522     6286    22350 |    12968    11352    436 |  0.000 % |
1454.09/1454.56	c |     17119 |    3522     6286    22350 |    14265     9736    537 |  0.000 % |
1469.49/1469.94	c |     25769 |    3522     6286    22350 |    15692    10472    723 |  0.000 % |
1486.99/1487.43	c |     38744 |    3522     6286    22350 |    17261    14625    447 |  0.000 % |
1513.78/1514.28	c |     58207 |    3522     6286    22350 |    18987    15180    280 |  0.000 % |
1577.26/1577.74	c |     87403 |    3522     6286    22350 |    20886    13556    705 |  0.000 % |
1673.83/1674.38	c |    131192 |    3522     6286    22350 |    22974    12626    425 |  0.000 % |
1792.91/1793.50	c |    196877 |    3522     6286    22350 |    25272    17424    321 |  0.000 % |

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875271-1245190624/watcher-1875271-1245190624 -o /tmp/evaluation-result-1875271-1245190624/solver-1875271-1245190624 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875271-1245190624.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/64 7107
/proc/meminfo: memFree=1859544/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=3080 CPUtime=0
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 271 0 0 0 0 0 0 0 18 0 1 0 186662457 3153920 255 1992294400 134512640 135709839 4294956240 18446744073709551615 134544051 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 770 255 126 292 0 421 0

[startup+0.0665669 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7107
/proc/meminfo: memFree=1859544/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=4560 CPUtime=0.06
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 772 0 0 0 6 0 0 0 18 0 1 0 186662457 4669440 702 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 1140 702 135 292 0 845 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4560

[startup+0.101569 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7107
/proc/meminfo: memFree=1859544/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=4992 CPUtime=0.09
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 871 0 0 0 9 0 0 0 18 0 1 0 186662457 5111808 801 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 1248 801 135 292 0 953 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4992

[startup+0.301593 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7107
/proc/meminfo: memFree=1859544/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=5124 CPUtime=0.29
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 903 0 0 0 29 0 0 0 19 0 1 0 186662457 5246976 833 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 1281 833 136 292 0 986 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5124

[startup+0.70164 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7107
/proc/meminfo: memFree=1859544/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=6180 CPUtime=0.69
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 1162 0 0 0 69 0 0 0 23 0 1 0 186662457 6328320 1092 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 1545 1092 136 292 0 1250 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6180

[startup+1.50273 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=1854928/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=8292 CPUtime=1.49
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 1694 0 0 0 148 1 0 0 25 0 1 0 186662457 8491008 1624 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 2073 1624 136 292 0 1778 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8292

[startup+3.10191 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=1850640/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=12120 CPUtime=3.09
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 2646 0 0 0 307 2 0 0 25 0 1 0 186662457 12410880 2576 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 3030 2576 136 292 0 2735 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12120

[startup+6.30128 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=1841936/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=20440 CPUtime=6.29
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 4742 0 0 0 625 4 0 0 25 0 1 0 186662457 20930560 4672 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 5110 4672 136 292 0 4815 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20440

[startup+12.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=1829200/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=32612 CPUtime=12.69
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 7780 0 0 0 1262 7 0 0 25 0 1 0 186662457 33394688 7710 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 8153 7710 136 292 0 7858 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 32612

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=1811408/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=50188 CPUtime=25.48
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 12166 0 0 0 2535 13 0 0 25 0 1 0 186662457 51392512 12096 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 12547 12096 136 292 0 12252 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 50188

[startup+51.1064 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=1772176/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=89556 CPUtime=51.07
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 22007 0 0 0 5083 24 0 0 25 0 1 0 186662457 91705344 21937 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 22389 21937 136 292 0 22094 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 89556

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=1695056/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=167124 CPUtime=102.25
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 41410 0 0 0 10179 46 0 0 25 0 1 0 186662457 171134976 41340 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 41781 41340 136 292 0 41486 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 167124

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=1617936/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=243700 CPUtime=162.24
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 60507 0 0 0 16159 65 0 0 25 0 1 0 186662457 249548800 60437 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 60925 60437 136 292 0 60630 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 243700

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=1550032/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=311844 CPUtime=222.22
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 77553 0 0 0 22137 85 0 0 25 0 1 0 186662457 319328256 77483 1992294400 134512640 135709839 4294956240 18446744073709551615 134573910 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 77961 77483 136 292 0 77666 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 311844

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=1474000/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=387676 CPUtime=282.21
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 96501 0 0 0 28120 101 0 0 25 0 1 0 186662457 396980224 96431 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 96919 96431 136 292 0 96624 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 387676

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=1408336/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=453948 CPUtime=342.2
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 113060 0 0 0 34102 118 0 0 25 0 1 0 186662457 464842752 112990 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 113487 112990 136 292 0 113192 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 453948

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=1336400/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=524648 CPUtime=402.18
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 130746 0 0 0 40074 144 0 0 25 0 1 0 186662457 537239552 130676 1992294400 134512640 135709839 4294956240 18446744073709551615 134573873 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 131162 130676 136 292 0 130867 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 524648

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=1278224/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=584020 CPUtime=462.16
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 145533 0 0 0 46055 161 0 0 25 0 1 0 186662457 598036480 145463 1992294400 134512640 135709839 4294956240 18446744073709551615 135165952 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 146005 145463 136 292 0 145710 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 584020

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=1204176/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=657016 CPUtime=522.15
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 163778 0 0 0 52030 185 0 0 25 0 1 0 186662457 672784384 163708 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 164254 163708 136 292 0 163959 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 657016

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=1141264/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=719348 CPUtime=582.13
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 179361 0 0 0 58007 206 0 0 25 0 1 0 186662457 736612352 179291 1992294400 134512640 135709839 4294956240 18446744073709551615 134574297 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 179837 179291 136 292 0 179542 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 719348

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=1094352/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=766740 CPUtime=642.11
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 191196 0 0 0 63987 224 0 0 25 0 1 0 186662457 785141760 191126 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 191685 191126 136 292 0 191390 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 766740

[startup+702.306 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=868752/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=992788 CPUtime=882.05
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 247643 0 0 0 87896 309 0 0 25 0 1 0 186662457 1016614912 247573 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 248197 247573 136 292 0 247902 0
Current children cumulated CPU time (s) 882.05
Current children cumulated vsize (KiB) 992788

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=822096/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=1038440 CPUtime=942.04
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 259033 0 0 0 93876 328 0 0 25 0 1 0 186662457 1063362560 258963 1992294400 134512640 135709839 4294956240 18446744073709551615 134572760 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 259610 258963 136 292 0 259315 0
Current children cumulated CPU time (s) 942.04
Current children cumulated vsize (KiB) 1038440

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=778640/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=1082468 CPUtime=1002.02
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 270012 0 0 0 99856 346 0 0 25 0 1 0 186662457 1108447232 269942 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 270617 269942 136 292 0 270322 0
Current children cumulated CPU time (s) 1002.02
Current children cumulated vsize (KiB) 1082468

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=739216/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=1121320 CPUtime=1062
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 279717 0 0 0 105838 362 0 0 25 0 1 0 186662457 1148231680 279647 1992294400 134512640 135709839 4294956240 18446744073709551615 134579591 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 280330 279647 136 292 0 280035 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 1121320

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=693968/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=1167068 CPUtime=1121.99
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 291120 0 0 0 111817 382 0 0 25 0 1 0 186662457 1195077632 291050 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 291767 291050 136 292 0 291472 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 1167068

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=658448/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=1202252 CPUtime=1181.96
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 299908 0 0 0 117798 398 0 0 25 0 1 0 186662457 1231106048 299838 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 300563 299838 136 292 0 300268 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 1202252

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=616592/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=1243616 CPUtime=1241.95
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 310229 0 0 0 123781 414 0 0 25 0 1 0 186662457 1273462784 310159 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 310904 310159 136 292 0 310609 0
Current children cumulated CPU time (s) 1241.95
Current children cumulated vsize (KiB) 1243616

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=570704/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=1289792 CPUtime=1301.94
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 321775 0 0 0 129758 436 0 0 25 0 1 0 186662457 1320747008 321705 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 322448 321705 136 292 0 322153 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 1289792

[startup+1362.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=526608/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=1333504 CPUtime=1361.93
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 332699 0 0 0 135740 453 0 0 25 0 1 0 186662457 1365508096 332629 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 333376 332629 136 292 0 333081 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 1333504

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=482448/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=1377576 CPUtime=1421.91
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 343702 0 0 0 141724 467 0 0 25 0 1 0 186662457 1410637824 343632 1992294400 134512640 135709839 4294956240 18446744073709551615 134583739 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 344394 343632 136 292 0 344099 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1377576

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=474576/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=1384396 CPUtime=1481.88
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 345764 0 0 0 147710 478 0 0 25 0 1 0 186662457 1417621504 345660 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 346099 345660 136 292 0 345804 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 1384396

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=443600/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=1414924 CPUtime=1541.87
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 353402 0 0 0 153695 492 0 0 25 0 1 0 186662457 1448882176 353298 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 353731 353298 136 292 0 353436 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 1414924

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=390224/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=1468492 CPUtime=1601.85
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 366783 0 0 0 159677 508 0 0 25 0 1 0 186662457 1503735808 366679 1992294400 134512640 135709839 4294956240 18446744073709551615 134517507 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 367123 366679 136 292 0 366828 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1468492

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=348112/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=1511224 CPUtime=1661.84
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 377451 0 0 0 165661 523 0 0 25 0 1 0 186662457 1547493376 377347 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 377806 377347 136 292 0 377511 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1511224

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=316304/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=1542192 CPUtime=1721.82
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 385165 0 0 0 171643 539 0 0 25 0 1 0 186662457 1579204608 385061 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 385548 385061 136 292 0 385253 0
Current children cumulated CPU time (s) 1721.82
Current children cumulated vsize (KiB) 1542192

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=314256/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=1544064 CPUtime=1781.81
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 385637 0 0 0 177633 548 0 0 25 0 1 0 186662457 1581121536 385533 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 386016 385533 136 292 0 385721 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1544064



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=306448/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=1551772 CPUtime=1800
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4194304 387581 0 0 0 179449 551 0 0 25 0 1 0 186662457 1589014528 387477 1992294400 134512640 135709839 4294956240 18446744073709551615 134574253 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 387943 387477 136 292 0 387648 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 1551772

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

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

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7108
/proc/meminfo: memFree=306448/2055920 swapFree=4191900/4192956
[pid=7107] ppid=7105 vsize=0 CPUtime=1800.2
/proc/7107/stat : 7107 (wbo) R 7105 7107 6874 0 -1 4195332 387581 0 0 0 179449 571 0 0 25 0 1 0 186662457 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/7107/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.73
CPU time (s): 1800.24
CPU user time (s): 1794.5
CPU system time (s): 5.74213
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (KiB): 1551772

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

runsolver used 1.44178 second user time and 5.21421 second system time

The end

Launcher Data 

Begin job on node28 at 2009-06-17 00:17:04
IDJOB=1875271
IDBENCH=48111
IDSOLVER=698
FILE ID=node28/1875271-1245190624
PBS_JOBID= 9368295
Free space on /tmp= 66176 MiB

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

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

MD5SUM BENCH= aa10899bd7f711370f6ef9f1251ce7f2
RANDOM SEED=1808527711

node28.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.231
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.231
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:       1860216 kB
Buffers:         46576 kB
Cached:          73456 kB
SwapCached:        260 kB
Active:          21428 kB
Inactive:       118024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1860216 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2408 kB
Writeback:           0 kB
Mapped:          22564 kB
Slab:            41956 kB
Committed_AS:   161728 kB
PageTables:       1424 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-1875271-1245190624.opb

Free space on /tmp at the end= 66176 MiB
End job on node28 at 2009-06-17 00:47:07