Trace number 1875312

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.29 1800.71

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_1.opb
MD5SUM55d0299800773493d27ef2c1b95d10c5
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark271.097
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11
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 constraint19
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)1248
Sum of products size (including duplicates)2496
Number of different products1248
Sum of products size2496

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-1875312-1245196970.opb.
0.00/0.00	c Instance file HOME/instance-1875312-1245196970.opb
0.00/0.00	c File size is 88968 bytes.
0.00/0.01	c Highest Coefficient sum: 20
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:      1348                                                |
0.00/0.01	c |  Number Clauses:        1448                                                |
0.00/0.01	c |  Number Cardinality:    0                                                   |
0.00/0.01	c |  Number PB Constraints: 1248                                                |
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.011998 s	Remaining CPU time: 1799.99 s
0.00/0.01	c core #2
0.00/0.01	c Core size: 22	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.02	c core #3
0.00/0.02	c Core size: 22	Core Weight: 1	Total Weight: 3
0.00/0.02	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: 50	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 |     813     2700     7364 |     5000        0    nan |  0.000 % |
0.02/0.03	c ===============================================================================
0.02/0.03	c core #5
0.02/0.03	c Core size: 128	Core Weight: 1	Total Weight: 5
0.02/0.03	c Elapsed CPU time: 0.027995 s	Remaining CPU time: 1799.97 s
0.02/0.03	c ============================[ Search Statistics ]==============================
0.02/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.03	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.03	c ===============================================================================
0.02/0.03	c |         0 |    1311     2701     8737 |     5000        0    nan |  0.000 % |
0.02/0.05	c |       100 |    1311     2701     8737 |     5500      100     60 | 10.206 % |
0.02/0.08	c |       251 |    1282     2701     8737 |     6050      130     29 | 12.192 % |
0.02/0.08	c ===============================================================================
0.02/0.08	c core #6
0.02/0.08	c Core size: 494	Core Weight: 1	Total Weight: 6
0.02/0.08	c Elapsed CPU time: 0.084987 s	Remaining CPU time: 1799.92 s
0.02/0.09	c ============================[ Search Statistics ]==============================
0.02/0.09	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.02/0.09	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.02/0.09	c ===============================================================================
0.02/0.09	c |         0 |    1532     2702     9284 |     5000        0    nan |  0.000 % |
0.09/0.11	c |       101 |    1532     2702     9284 |     5500      101     83 |  1.543 % |
0.09/0.13	c |       253 |    1532     2702     9284 |     6050      253     67 |  1.542 % |
0.09/0.18	c |       479 |    1532     2702     9284 |     6655      479     83 |  1.542 % |
0.19/0.25	c |       817 |    1532     2702     9284 |     7320      817     85 |  1.542 % |
0.29/0.37	c |      1324 |    1532     2702     9284 |     8052     1324     89 |  1.542 % |
0.49/0.55	c |      2085 |    1532     2702     9284 |     8857     2085     90 |  1.543 % |
0.79/0.83	c |      3230 |    1532     2702     9284 |     9743     3230     88 |  1.542 % |
1.29/1.31	c |      4942 |    1532     2702     9284 |    10717     4942     86 |  1.543 % |
2.10/2.20	c |      7504 |    1532     2702     9284 |    11789     7504     84 |  1.542 % |
3.69/3.77	c |     11349 |    1532     2702     9284 |    12968    11349     83 |  1.542 % |
6.59/6.68	c |     17121 |    1532     2702     9284 |    14265    10575     83 |  1.542 % |
7.60/7.65	c ===============================================================================
7.89/7.91	c core #7
7.89/7.91	c Core size: 1595	Core Weight: 1	Total Weight: 7
7.89/7.91	c Elapsed CPU time: 7.85281 s	Remaining CPU time: 1792.15 s
7.89/7.94	c ============================[ Search Statistics ]==============================
7.89/7.94	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
7.89/7.94	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
7.89/7.94	c ===============================================================================
7.89/7.94	c |         0 |    1656     2703     9552 |     5000        0    nan |  0.000 % |
7.89/7.96	c |       100 |    1656     2703     9552 |     5500      100    106 |  0.001 % |
7.89/7.99	c |       250 |    1656     2703     9552 |     6050      250     86 |  0.000 % |
7.99/8.02	c |       476 |    1656     2703     9552 |     6655      476     75 |  0.000 % |
7.99/8.09	c |       821 |    1656     2703     9552 |     7320      821     72 |  0.000 % |
8.09/8.20	c |      1331 |    1656     2703     9552 |     8052     1331     81 |  0.000 % |
8.29/8.36	c |      2092 |    1656     2703     9552 |     8857     2092     88 |  0.000 % |
8.58/8.62	c |      3231 |    1656     2703     9552 |     9743     3231     99 |  0.000 % |
8.99/9.05	c |      4943 |    1656     2703     9552 |    10717     4943    106 |  0.000 % |
9.99/10.02	c |      7505 |    1656     2703     9552 |    11789     7505    123 |  0.000 % |
11.88/11.99	c |     11350 |    1656     2703     9552 |    12968    11350    141 |  0.000 % |
15.58/15.63	c |     17121 |    1656     2703     9552 |    14265    10376    160 |  0.000 % |
22.28/22.39	c |     25776 |    1656     2703     9552 |    15692    11742    168 |  0.000 % |
34.09/34.16	c |     38750 |    1656     2703     9552 |    17261     8534    204 |  0.000 % |
50.18/50.23	c |     58214 |    1656     2703     9552 |    18987    10355    176 |  0.000 % |
85.27/85.39	c |     87412 |    1656     2703     9552 |    20886    10617    170 |  0.000 % |
128.56/128.63	c |    131206 |    1656     2703     9552 |    22974    11873    163 |  0.000 % |
197.54/197.65	c |    196891 |    1656     2703     9552 |    25272    19421    157 |  0.000 % |
340.01/340.14	c |    295426 |    1656     2703     9552 |    27799    14041    189 |  0.000 % |
514.17/514.36	c |    443216 |    1656     2703     9552 |    30579    15863    160 |  0.000 % |
855.39/855.67	c ===============================================================================
876.29/876.58	c core #8
876.29/876.58	c Core size: 2449	Core Weight: 1	Total Weight: 8
876.29/876.58	c Elapsed CPU time: 873.187 s	Remaining CPU time: 926.813 s
877.09/877.33	c Learning 2 hard constraints
877.09/877.33	c ============================[ Search Statistics ]==============================
877.09/877.33	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
877.09/877.33	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
877.09/877.33	c ===============================================================================
877.09/877.33	c |         0 |    1756     2706     9774 |     5000        0    nan |  0.000 % |
877.29/877.50	c |       103 |    1756     2706     9774 |     5500      103    170 |  0.001 % |
877.29/877.53	c |       253 |    1756     2706     9774 |     6050      253    124 |  0.000 % |
877.29/877.57	c |       482 |    1756     2706     9774 |     6655      482    134 |  0.000 % |
877.38/877.66	c |       821 |    1756     2706     9774 |     7320      821    139 |  0.000 % |
877.49/877.77	c |      1328 |    1756     2706     9774 |     8052     1328    132 |  0.000 % |
877.79/878.02	c |      2091 |    1756     2706     9774 |     8857     2091    147 |  0.000 % |
878.19/878.47	c |      3230 |    1756     2706     9774 |     9743     3230    167 |  0.000 % |
878.88/879.18	c |      4940 |    1756     2706     9774 |    10717     4940    171 |  0.000 % |
880.69/880.94	c |      7506 |    1756     2706     9774 |    11789     7506    191 |  0.000 % |
883.29/883.55	c |     11354 |    1756     2706     9774 |    12968    11354    194 |  0.000 % |
887.59/887.88	c |     17120 |    1756     2706     9774 |    14265    10325    183 |  0.000 % |
894.38/894.62	c |     25771 |    1756     2706     9774 |    15692    11683    209 |  0.000 % |
911.37/911.61	c |     38750 |    1756     2706     9774 |    17261     8576    252 |  0.000 % |
938.37/938.62	c |     58212 |    1756     2706     9774 |    18987    10468    234 |  0.000 % |
977.47/977.76	c |     87405 |    1756     2706     9774 |    20886    10419    265 |  0.000 % |
1028.75/1029.06	c |    131199 |    1756     2706     9774 |    22974    11287    170 |  0.000 % |
1118.03/1118.34	c |    196884 |    1756     2706     9774 |    25272    18185    239 |  0.000 % |
1264.90/1265.23	c |    295411 |    1756     2706     9774 |    27799    13633    190 |  0.000 % |
1495.54/1495.94	c |    443200 |    1756     2706     9774 |    30579    28096    216 |  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-1875312-1245196970/watcher-1875312-1245196970 -o /tmp/evaluation-result-1875312-1245196970/solver-1875312-1245196970 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875312-1245196970.opb 

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


[startup+0 s]
/proc/loadavg: 0.92 1.00 0.99 3/64 2593
/proc/meminfo: memFree=1835056/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=2776 CPUtime=0
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 239 0 0 0 0 0 0 0 18 0 1 0 187298042 2842624 223 1992294400 134512640 135709839 4294956240 18446744073709551615 134540018 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 694 223 129 292 0 377 0

[startup+0.0286239 s]
/proc/loadavg: 0.92 1.00 0.99 3/64 2593
/proc/meminfo: memFree=1835056/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=3416 CPUtime=0.02
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 443 0 0 0 2 0 0 0 18 0 1 0 187298042 3497984 405 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 854 406 134 292 0 559 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 3416

[startup+0.10163 s]
/proc/loadavg: 0.92 1.00 0.99 3/64 2593
/proc/meminfo: memFree=1835056/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=3840 CPUtime=0.09
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 547 0 0 0 9 0 0 0 18 0 1 0 187298042 3932160 509 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 960 509 136 292 0 665 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3840

[startup+0.301645 s]
/proc/loadavg: 0.92 1.00 0.99 3/64 2593
/proc/meminfo: memFree=1835056/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=4104 CPUtime=0.29
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 636 0 0 0 29 0 0 0 19 0 1 0 187298042 4202496 598 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 1026 598 136 292 0 731 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4104

[startup+0.701677 s]
/proc/loadavg: 0.92 1.00 0.99 3/64 2593
/proc/meminfo: memFree=1835056/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=5160 CPUtime=0.69
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 902 0 0 0 69 0 0 0 22 0 1 0 187298042 5283840 864 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 1290 864 136 292 0 995 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5160

[startup+1.50174 s]
/proc/loadavg: 0.92 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1831272/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=7140 CPUtime=1.49
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 1384 0 0 0 148 1 0 0 25 0 1 0 187298042 7311360 1346 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 1785 1346 136 292 0 1490 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7140

[startup+3.10187 s]
/proc/loadavg: 0.92 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1828776/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=10308 CPUtime=3.09
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 2183 0 0 0 306 3 0 0 25 0 1 0 187298042 10555392 2145 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 2577 2145 136 292 0 2282 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10308

[startup+6.30113 s]
/proc/loadavg: 0.93 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1823080/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=15136 CPUtime=6.29
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 3379 0 0 0 624 5 0 0 25 0 1 0 187298042 15499264 3341 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 3784 3342 136 292 0 3489 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15136

[startup+12.7017 s]
/proc/loadavg: 0.93 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1817512/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=20736 CPUtime=12.69
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 4774 0 0 0 1260 9 0 0 25 0 1 0 187298042 21233664 4736 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 5184 4736 136 292 0 4889 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20736

[startup+25.5027 s]
/proc/loadavg: 0.95 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1798248/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=39016 CPUtime=25.49
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 9365 0 0 0 2532 17 0 0 25 0 1 0 187298042 39952384 9327 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 9754 9327 136 292 0 9459 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 39016

[startup+51.1028 s]
/proc/loadavg: 0.96 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1762920/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=74672 CPUtime=51.08
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 18259 0 0 0 5076 32 0 0 25 0 1 0 187298042 76464128 18221 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 18668 18221 136 292 0 18373 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 74672

[startup+102.306 s]
/proc/loadavg: 0.98 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1711784/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=125188 CPUtime=102.27
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 30880 0 0 0 10174 53 0 0 25 0 1 0 187298042 128192512 30842 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 31297 30842 136 292 0 31002 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 125188

[startup+162.303 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1654376/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=183388 CPUtime=162.25
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 45393 0 0 0 16147 78 0 0 25 0 1 0 187298042 187789312 45355 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 45847 45355 136 292 0 45552 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 183388

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1598184/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=238740 CPUtime=222.24
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 59217 0 0 0 22124 100 0 0 25 0 1 0 187298042 244469760 59179 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 59685 59179 136 292 0 59390 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 238740

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1552296/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=285624 CPUtime=282.22
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 70918 0 0 0 28102 120 0 0 25 0 1 0 187298042 292478976 70880 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 71406 70880 136 292 0 71111 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 285624

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1501864/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=335124 CPUtime=342.21
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 83290 0 0 0 34081 140 0 0 25 0 1 0 187298042 343166976 83252 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 83781 83252 136 292 0 83486 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 335124

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1442600/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=394988 CPUtime=402.2
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 98210 0 0 0 40054 166 0 0 25 0 1 0 187298042 404467712 98172 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 98747 98172 136 292 0 98452 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 394988

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1385512/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=451596 CPUtime=462.18
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 112363 0 0 0 46027 191 0 0 25 0 1 0 187298042 462434304 112325 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 112899 112325 136 292 0 112604 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 451596

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1335080/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=502328 CPUtime=522.17
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 125001 0 0 0 52006 211 0 0 25 0 1 0 187298042 514383872 124963 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 125582 124963 136 292 0 125287 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 502328

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1287720/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=549576 CPUtime=582.15
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 136811 0 0 0 57982 233 0 0 25 0 1 0 187298042 562765824 136773 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 137394 136773 136 292 0 137099 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 549576

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1236776/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=599836 CPUtime=642.15
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 149356 0 0 0 63961 254 0 0 25 0 1 0 187298042 614232064 149318 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 149959 149318 136 292 0 149664 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 599836

[startup+702.302 s]

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

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1065256/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=771000 CPUtime=942.07
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 192167 0 0 0 93870 337 0 0 25 0 1 0 187298042 789504000 192098 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 192750 192098 136 292 0 192455 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 771000

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1064360/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=771000 CPUtime=1002.06
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 192384 0 0 0 99857 349 0 0 25 0 1 0 187298042 789504000 192315 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 192750 192315 136 292 0 192455 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 771000

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1050280/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=785448 CPUtime=1062.05
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 195986 0 0 0 105840 365 0 0 25 0 1 0 187298042 804298752 195917 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 196362 195917 136 292 0 196067 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 785448

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=1009768/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=825668 CPUtime=1122.03
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 206037 0 0 0 111818 385 0 0 25 0 1 0 187298042 845484032 205968 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 206417 205968 136 292 0 206122 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 825668

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=973608/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=862104 CPUtime=1182.01
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 215126 0 0 0 117795 406 0 0 25 0 1 0 187298042 882794496 215057 1992294400 134512640 135709839 4294956240 18446744073709551615 134574234 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 215526 215057 136 292 0 215231 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 862104

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=938792/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=896652 CPUtime=1242.01
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 223757 0 0 0 123774 427 0 0 25 0 1 0 187298042 918171648 223688 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 224163 223688 136 292 0 223868 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 896652

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=909672/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=925604 CPUtime=1301.99
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 230957 0 0 0 129756 443 0 0 25 0 1 0 187298042 947818496 230888 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 231401 230888 136 292 0 231106 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 925604

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=873256/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=962332 CPUtime=1361.97
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 240116 0 0 0 135740 457 0 0 25 0 1 0 187298042 985427968 240047 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 240583 240047 136 292 0 240288 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 962332

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=825000/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=1010236 CPUtime=1421.97
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 252099 0 0 0 141718 479 0 0 25 0 1 0 187298042 1034481664 252030 1992294400 134512640 135709839 4294956240 18446744073709551615 134574300 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 252559 252030 136 292 0 252264 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 1010236

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=775016/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=1060656 CPUtime=1481.94
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 264693 0 0 0 147694 500 0 0 25 0 1 0 187298042 1086111744 264624 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 265164 264624 136 292 0 264869 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 1060656

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=716008/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=1119096 CPUtime=1541.93
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 279303 0 0 0 153672 521 0 0 25 0 1 0 187298042 1145954304 279234 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 279774 279234 136 292 0 279479 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 1119096

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=662888/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=1172464 CPUtime=1601.91
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 292621 0 0 0 159650 541 0 0 25 0 1 0 187298042 1200603136 292552 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 293116 292552 136 292 0 292821 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 1172464

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=607592/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=1227424 CPUtime=1661.9
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 306370 0 0 0 165626 564 0 0 25 0 1 0 187298042 1256882176 306301 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 306856 306301 136 292 0 306561 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 1227424

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=563432/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=1271908 CPUtime=1721.89
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 317443 0 0 0 171604 585 0 0 25 0 1 0 187298042 1302433792 317374 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 317977 317374 136 292 0 317682 0
Current children cumulated CPU time (s) 1721.89
Current children cumulated vsize (KiB) 1271908

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=524328/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=1310632 CPUtime=1781.88
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 327116 0 0 0 177587 601 0 0 25 0 1 0 187298042 1342087168 327047 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 327658 327047 136 292 0 327363 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1310632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 2594
/proc/meminfo: memFree=513768/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=1320988 CPUtime=1800.07
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4194304 329705 0 0 0 179402 605 0 0 25 0 1 0 187298042 1352691712 329636 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 330247 329636 136 292 0 329952 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 1320988

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

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

[startup+1800.61 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 2595
/proc/meminfo: memFree=1149216/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=0 CPUtime=1800.18
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4195332 329705 0 0 0 179402 616 0 0 25 0 1 0 187298042 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

[startup+1800.71 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 2595
/proc/meminfo: memFree=1149216/2055920 swapFree=4191900/4192956
[pid=2593] ppid=2591 vsize=0 CPUtime=1800.27
/proc/2593/stat : 2593 (wbo) R 2591 2593 2491 0 -1 4195332 329705 0 0 0 179402 625 0 0 25 0 1 0 187298042 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/2593/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.27
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.71
CPU time (s): 1800.29
CPU user time (s): 1794.03
CPU system time (s): 6.26205
CPU usage (%): 99.9766
Max. virtual memory (cumulated for all children) (KiB): 1320988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.03
system time used= 6.26205
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 329705
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= 3
involuntary context switches= 1388

runsolver used 1.49377 second user time and 3.55846 second system time

The end

Launcher Data 

Begin job on node3 at 2009-06-17 02:02:50
IDJOB=1875312
IDBENCH=48152
IDSOLVER=698
FILE ID=node3/1875312-1245196970
PBS_JOBID= 9368339
Free space on /tmp= 66320 MiB

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

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

MD5SUM BENCH= 55d0299800773493d27ef2c1b95d10c5
RANDOM SEED=1095698467

node3.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.236
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.236
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:       1835536 kB
Buffers:         44964 kB
Cached:         105396 kB
SwapCached:        260 kB
Active:          50020 kB
Inactive:       113596 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1835536 kB
SwapTotal:     4192956 kB
SwapFree:      4191900 kB
Dirty:            2432 kB
Writeback:           0 kB
Mapped:          21804 kB
Slab:            42800 kB
Committed_AS:   162376 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875312-1245196970.opb

Free space on /tmp at the end= 66316 MiB
End job on node3 at 2009-06-17 02:32:53