Trace number 1875266

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.28 1801.02

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_2.opb
MD5SUMf4b87658792e85afbf63fc13ada788f7
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark10
Best CPU time to get the best result obtained on this benchmark145.975
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 10
Optimality of the best value was proved NO
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint11
Maximum length of a constraint21
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)1260
Sum of products size (including duplicates)2520
Number of different products1260
Sum of products size2520

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-1875266-1245189751.opb.
0.00/0.00	c Instance file HOME/instance-1875266-1245189751.opb
0.00/0.00	c File size is 89792 bytes.
0.00/0.01	c Highest Coefficient sum: 22
0.00/0.01	c ============================[ Problem Statistics ]=============================
0.00/0.01	c |                                                                             |
0.00/0.01	c |  Parsing time:          0.01         s                                      |
0.00/0.01	c |  Number Variables:      1360                                                |
0.00/0.01	c |  Number Clauses:        1460                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 1260                                                |
0.00/0.01	c core #1
0.00/0.01	c Core size: 22	Core Weight: 1	Total Weight: 1
0.00/0.01	c Elapsed CPU time: 0.012998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #2
0.00/0.01	c Core size: 26	Core Weight: 1	Total Weight: 2
0.00/0.01	c Elapsed CPU time: 0.014997 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #3
0.00/0.01	c Core size: 24	Core Weight: 1	Total Weight: 3
0.00/0.01	c Elapsed CPU time: 0.017997 s	Remaining CPU time: 1799.98 s
0.00/0.02	c core #4
0.00/0.02	c Core size: 155	Core Weight: 1	Total Weight: 4
0.00/0.02	c Elapsed CPU time: 0.021996 s	Remaining CPU time: 1799.98 s
0.02/0.02	c ============================[ Search Statistics ]==============================
0.02/0.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.02	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.02	c ===============================================================================
0.02/0.02	c |         0 |    1258     2724     8648 |     5000        0    nan |  0.000 % |
0.02/0.04	c |       100 |    1238     2724     8648 |     5500       82     28 | 15.639 % |
0.02/0.04	c ===============================================================================
0.02/0.04	c core #5
0.02/0.04	c Core size: 302	Core Weight: 1	Total Weight: 5
0.02/0.04	c Elapsed CPU time: 0.042993 s	Remaining CPU time: 1799.96 s
0.02/0.05	c ============================[ Search Statistics ]==============================
0.02/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.05	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.05	c ===============================================================================
0.02/0.05	c |         0 |    1494     2725     9247 |     5000        0    nan |  0.000 % |
0.02/0.07	c |       101 |    1494     2725     9247 |     5500      101     46 |  3.176 % |
0.02/0.09	c |       254 |    1494     2725     9247 |     6050      254     61 |  3.176 % |
0.09/0.13	c |       481 |    1494     2725     9247 |     6655      481     58 |  3.176 % |
0.09/0.19	c |       818 |    1494     2725     9247 |     7320      818     60 |  3.176 % |
0.29/0.31	c |      1327 |    1494     2725     9247 |     8052     1327     60 |  3.176 % |
0.39/0.46	c |      2087 |    1494     2725     9247 |     8857     2087     56 |  3.177 % |
0.49/0.59	c ===============================================================================
0.59/0.61	c core #6
0.59/0.61	c Core size: 740	Core Weight: 1	Total Weight: 6
0.59/0.61	c Elapsed CPU time: 0.602908 s	Remaining CPU time: 1799.4 s
0.59/0.61	c ============================[ Search Statistics ]==============================
0.59/0.61	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.61	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.61	c ===============================================================================
0.59/0.61	c |         0 |    1641     2726     9582 |     5000        0    nan |  0.000 % |
0.59/0.63	c |       105 |    1641     2726     9582 |     5500      105     70 |  0.001 % |
0.59/0.66	c |       259 |    1641     2726     9582 |     6050      259     63 |  0.000 % |
0.59/0.69	c |       484 |    1641     2726     9582 |     6655      484     62 |  0.000 % |
0.69/0.75	c |       821 |    1641     2726     9582 |     7320      821     61 |  0.000 % |
0.79/0.83	c |      1329 |    1641     2726     9582 |     8052     1329     59 |  0.000 % |
0.89/0.99	c |      2090 |    1641     2726     9582 |     8857     2090     63 |  0.000 % |
1.19/1.28	c |      3231 |    1641     2726     9582 |     9743     3231     84 |  0.000 % |
1.79/1.83	c |      4941 |    1641     2726     9582 |    10717     4941     99 |  0.000 % |
2.49/2.56	c |      7503 |    1641     2726     9582 |    11789     7503     98 |  0.000 % |
4.30/4.36	c |     11349 |    1641     2726     9582 |    12968    11349    109 |  0.000 % |
6.78/6.88	c |     17115 |    1641     2726     9582 |    14265    10459    112 |  0.000 % |
11.89/11.97	c |     25764 |    1641     2726     9582 |    15692    11819    132 |  0.000 % |
20.48/20.59	c |     38739 |    1641     2726     9582 |    17261     8915    124 |  0.000 % |
31.97/32.03	c |     58202 |    1641     2726     9582 |    18987    10965    129 |  0.000 % |
54.15/54.21	c |     87394 |    1641     2726     9582 |    20886    11373    119 |  0.000 % |
80.45/80.52	c ===============================================================================
83.05/83.16	c core #7
83.05/83.16	c Core size: 1785	Core Weight: 1	Total Weight: 7
83.05/83.16	c Elapsed CPU time: 82.6694 s	Remaining CPU time: 1717.33 s
83.25/83.30	c Learning 1 hard constraints
83.25/83.30	c ============================[ Search Statistics ]==============================
83.25/83.30	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
83.25/83.30	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
83.25/83.30	c ===============================================================================
83.25/83.30	c |         0 |    1741     2728     9793 |     5000        0    nan |  0.000 % |
83.25/83.35	c |       102 |    1741     2728     9793 |     5500      102     93 |  0.001 % |
83.25/83.37	c |       252 |    1741     2728     9793 |     6050      252     82 |  0.000 % |
83.35/83.41	c |       479 |    1741     2728     9793 |     6655      479     97 |  0.000 % |
83.35/83.47	c |       816 |    1741     2728     9793 |     7320      816     99 |  0.000 % |
83.45/83.57	c |      1328 |    1741     2728     9793 |     8052     1328    102 |  0.000 % |
83.65/83.74	c |      2088 |    1741     2728     9793 |     8857     2088    106 |  0.000 % |
83.95/84.02	c |      3227 |    1741     2728     9793 |     9743     3227    107 |  0.000 % |
84.45/84.60	c |      4938 |    1741     2728     9793 |    10717     4938    115 |  0.000 % |
85.66/85.77	c |      7502 |    1741     2728     9793 |    11789     7502    127 |  0.000 % |
87.55/87.70	c |     11347 |    1741     2728     9793 |    12968    11347    134 |  0.000 % |
91.25/91.36	c |     17113 |    1741     2728     9793 |    14265    10421    155 |  0.000 % |
99.54/99.60	c |     25763 |    1741     2728     9793 |    15692    11753    202 |  0.000 % |
112.83/112.98	c |     38737 |    1741     2728     9793 |    17261     8690    189 |  0.000 % |
128.83/129.00	c |     58209 |    1741     2728     9793 |    18987    10624    166 |  0.000 % |
153.92/154.01	c |     87401 |    1741     2728     9793 |    20886    10653    172 |  0.000 % |
201.60/201.79	c |    131191 |    1741     2728     9793 |    22974    11603    190 |  0.000 % |
265.18/265.38	c |    196877 |    1741     2728     9793 |    25272    18638    195 |  0.000 % |
357.44/357.62	c |    295405 |    1741     2728     9793 |    27799    13792    172 |  0.000 % |
524.67/524.99	c |    443197 |    1741     2728     9793 |    30579    26530    167 |  0.000 % |
795.15/795.51	c |    664894 |    1741     2728     9793 |    33637    24754    187 |  0.000 % |
1322.83/1323.49	c |    997420 |    1741     2728     9793 |    37001    23038    156 |  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-1875266-1245189751/watcher-1875266-1245189751 -o /tmp/evaluation-result-1875266-1245189751/solver-1875266-1245189751 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875266-1245189751.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 7014
/proc/meminfo: memFree=1888096/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=2776 CPUtime=0
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 240 0 0 0 0 0 0 0 18 0 1 0 186576082 2842624 224 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 694 224 130 292 0 377 0

[startup+0.024451 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7014
/proc/meminfo: memFree=1888096/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=3348 CPUtime=0.02
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 439 0 0 0 2 0 0 0 18 0 1 0 186576082 3428352 401 1992294400 134512640 135709839 4294956240 18446744073709551615 134529939 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 837 401 134 292 0 542 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3348

[startup+0.101458 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7014
/proc/meminfo: memFree=1888096/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=3612 CPUtime=0.09
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 497 0 0 0 9 0 0 0 18 0 1 0 186576082 3698688 459 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 903 459 136 292 0 608 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3612

[startup+0.301476 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7014
/proc/meminfo: memFree=1888096/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=4008 CPUtime=0.29
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 612 0 0 0 29 0 0 0 19 0 1 0 186576082 4104192 574 1992294400 134512640 135709839 4294956240 18446744073709551615 134572417 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 1002 574 136 292 0 707 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4008

[startup+0.701512 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 7014
/proc/meminfo: memFree=1888096/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=5196 CPUtime=0.69
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 901 0 0 0 69 0 0 0 23 0 1 0 186576082 5320704 863 1992294400 134512640 135709839 4294956240 18446744073709551615 134573892 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 1299 863 136 292 0 1004 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5196

[startup+1.50159 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1885208/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=5996 CPUtime=1.49
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 1109 0 0 0 148 1 0 0 25 0 1 0 186576082 6139904 1071 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 1499 1071 136 292 0 1204 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5996

[startup+3.10173 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1882712/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=9692 CPUtime=3.09
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 2014 0 0 0 306 3 0 0 25 0 1 0 186576082 9924608 1976 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 2423 1976 136 292 0 2128 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9692

[startup+6.30103 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1876504/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=15380 CPUtime=6.28
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 3438 0 0 0 624 4 0 0 25 0 1 0 186576082 15749120 3400 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 3845 3400 136 292 0 3550 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15380

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1865704/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=25028 CPUtime=12.68
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 5861 0 0 0 1260 8 0 0 25 0 1 0 186576082 25628672 5823 1992294400 134512640 135709839 4294956240 18446744073709551615 134517178 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 6257 5823 136 292 0 5962 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25028

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1846888/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=43640 CPUtime=25.48
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 10509 0 0 0 2532 16 0 0 25 0 1 0 186576082 44687360 10471 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 10910 10471 136 292 0 10615 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 43640

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1815912/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=75124 CPUtime=51.06
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 18353 0 0 0 5077 29 0 0 25 0 1 0 186576082 76926976 18315 1992294400 134512640 135709839 4294956240 18446744073709551615 134573913 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 18781 18315 136 292 0 18486 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 75124

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1775464/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=114728 CPUtime=102.24
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 28230 0 0 0 10174 50 0 0 25 0 1 0 186576082 117481472 28192 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 28682 28192 136 292 0 28387 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 114728

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1721576/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=168728 CPUtime=162.22
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 41767 0 0 0 16147 75 0 0 25 0 1 0 186576082 172777472 41729 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 42182 41729 136 292 0 41887 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 168728

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1655080/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=234928 CPUtime=222.19
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 58310 0 0 0 22120 99 0 0 25 0 1 0 186576082 240566272 58272 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 58732 58272 136 292 0 58437 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 234928

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1584808/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=305740 CPUtime=282.17
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 75975 0 0 0 28089 128 0 0 25 0 1 0 186576082 313077760 75937 1992294400 134512640 135709839 4294956240 18446744073709551615 134573780 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 76435 75937 136 292 0 76140 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 305740

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1516264/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=373808 CPUtime=342.14
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 92945 0 0 0 34058 156 0 0 25 0 1 0 186576082 382779392 92907 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 93452 92907 136 292 0 93157 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 373808

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1453480/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=436824 CPUtime=402.13
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 108660 0 0 0 40034 179 0 0 25 0 1 0 186576082 447307776 108622 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 109206 108622 136 292 0 108911 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 436824

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1399144/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=490928 CPUtime=462.09
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 122171 0 0 0 46012 197 0 0 25 0 1 0 186576082 502710272 122133 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 122732 122133 136 292 0 122437 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 490928

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1338472/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=552696 CPUtime=522.07
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 137589 0 0 0 51986 221 0 0 25 0 1 0 186576082 565960704 137551 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 138174 137551 136 292 0 137879 0
Current children cumulated CPU time (s) 522.07
Current children cumulated vsize (KiB) 552696

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1273896/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=616284 CPUtime=582.04
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 153462 0 0 0 57957 247 0 0 25 0 1 0 186576082 631074816 153424 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 154071 153424 136 292 0 153776 0
Current children cumulated CPU time (s) 582.04
Current children cumulated vsize (KiB) 616284

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1217320/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=672384 CPUtime=642.02
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 167479 0 0 0 63929 273 0 0 25 0 1 0 186576082 688521216 167441 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 168096 167441 136 292 0 167801 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 672384

[startup+702.301 s]

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

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=1027560/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=862212 CPUtime=881.92
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 214846 0 0 0 87844 348 0 0 25 0 1 0 186576082 882905088 214808 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 215553 214808 136 292 0 215258 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 862212

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=982824/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=907368 CPUtime=941.9
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 226113 0 0 0 93821 369 0 0 25 0 1 0 186576082 929144832 226075 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 226842 226075 136 292 0 226547 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 907368

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=937832/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=951992 CPUtime=1001.88
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 237256 0 0 0 99802 386 0 0 25 0 1 0 186576082 974839808 237218 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 237998 237218 136 292 0 237703 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 951992

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=891176/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=998812 CPUtime=1061.85
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 248956 0 0 0 105779 406 0 0 25 0 1 0 186576082 1022783488 248918 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 249703 248918 136 292 0 249408 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 998812

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=848040/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=1041628 CPUtime=1121.82
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 259635 0 0 0 111757 425 0 0 25 0 1 0 186576082 1066627072 259597 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 260407 259597 136 292 0 260112 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 1041628

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=809192/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=1080840 CPUtime=1181.8
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 269413 0 0 0 117736 444 0 0 25 0 1 0 186576082 1106780160 269375 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 270210 269375 136 292 0 269915 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 1080840

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=760104/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=1129552 CPUtime=1241.77
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 281548 0 0 0 123713 464 0 0 25 0 1 0 186576082 1156661248 281510 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 282388 281510 136 292 0 282093 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 1129552

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=717416/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=1171980 CPUtime=1301.76
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 292135 0 0 0 129695 481 0 0 25 0 1 0 186576082 1200107520 292097 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 292995 292097 136 292 0 292700 0
Current children cumulated CPU time (s) 1301.76
Current children cumulated vsize (KiB) 1171980

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=676712/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=1213120 CPUtime=1361.72
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 302413 0 0 0 135669 503 0 0 25 0 1 0 186576082 1242234880 302375 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 303280 302375 136 292 0 302985 0
Current children cumulated CPU time (s) 1361.72
Current children cumulated vsize (KiB) 1213120

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=637352/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=1252064 CPUtime=1421.7
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 312161 0 0 0 141645 525 0 0 25 0 1 0 186576082 1282113536 312123 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 313016 312123 136 292 0 312721 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 1252064

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=597800/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=1291968 CPUtime=1481.68
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 322095 0 0 0 147624 544 0 0 25 0 1 0 186576082 1322975232 322057 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 322992 322057 136 292 0 322697 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 1291968

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=557608/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=1331960 CPUtime=1541.65
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 332089 0 0 0 153603 562 0 0 25 0 1 0 186576082 1363927040 332051 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 332990 332051 136 292 0 332695 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 1331960

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=525864/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=1363716 CPUtime=1601.63
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 340004 0 0 0 159587 576 0 0 25 0 1 0 186576082 1396445184 339966 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 340929 339966 136 292 0 340634 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 1363716

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=489320/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=1400188 CPUtime=1661.61
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 349111 0 0 0 165569 592 0 0 25 0 1 0 186576082 1433792512 349073 1992294400 134512640 135709839 4294956240 18446744073709551615 134573815 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 350047 349073 136 292 0 349752 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 1400188

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=442088/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=1448248 CPUtime=1721.59
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 361140 0 0 0 171544 615 0 0 25 0 1 0 186576082 1483005952 361102 1992294400 134512640 135709839 4294956240 18446744073709551615 134574154 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 362062 361102 136 292 0 361767 0
Current children cumulated CPU time (s) 1721.59
Current children cumulated vsize (KiB) 1448248

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=385512/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=1503812 CPUtime=1781.55
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 375030 0 0 0 177517 638 0 0 25 0 1 0 186576082 1539903488 374992 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 375953 374992 136 292 0 375658 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (KiB) 1503812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=368360/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=1520708 CPUtime=1800.05
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4194304 379233 0 0 0 179359 646 0 0 25 0 1 0 186576082 1557204992 379195 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 380177 379195 136 292 0 379882 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1520708

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 7015
/proc/meminfo: memFree=368360/2055920 swapFree=4191900/4192956
[pid=7014] ppid=7012 vsize=0 CPUtime=1800.25
/proc/7014/stat : 7014 (wbo) R 7012 7014 6591 0 -1 4195332 379233 0 0 0 179359 666 0 0 25 0 1 0 186576082 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/7014/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.25
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.02
CPU time (s): 1800.28
CPU user time (s): 1793.59
CPU system time (s): 6.68298
CPU usage (%): 99.9586
Max. virtual memory (cumulated for all children) (KiB): 1520708

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

runsolver used 1.2998 second user time and 5.2662 second system time

The end

Launcher Data 

Begin job on node14 at 2009-06-17 00:02:31
IDJOB=1875266
IDBENCH=48106
IDSOLVER=698
FILE ID=node14/1875266-1245189751
PBS_JOBID= 9368307
Free space on /tmp= 66376 MiB

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

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

MD5SUM BENCH= f4b87658792e85afbf63fc13ada788f7
RANDOM SEED=1492634111

node14.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.234
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.234
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:       1888656 kB
Buffers:         46616 kB
Cached:          65808 kB
SwapCached:        388 kB
Active:          58272 kB
Inactive:        67484 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1888656 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2400 kB
Writeback:           0 kB
Mapped:          21736 kB
Slab:            27460 kB
Committed_AS:   189892 kB
PageTables:       1452 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-1875266-1245189751.opb

Free space on /tmp at the end= 66372 MiB
End job on node14 at 2009-06-17 00:32:34