Trace number 1875321

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.31 1800.82

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_5.opb
MD5SUM2dd6cc5a7b1f8311eff7b566cf3505ea
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark77
Best CPU time to get the best result obtained on this benchmark1798.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 74
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
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 constraints500
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 500
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 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6270
Sum of products size (including duplicates)12540
Number of different products6270
Sum of products size12540

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-1875321-1245197926.opb.
0.00/0.00	c Instance file HOME/instance-1875321-1245197926.opb
0.00/0.00	c File size is 480385 bytes.
0.00/0.06	c Highest Coefficient sum: 23
0.00/0.06	c ============================[ Problem Statistics ]=============================
0.00/0.06	c |                                                                             |
0.00/0.06	c |  Parsing time:          0.06         s                                      |
0.00/0.06	c |  Number Variables:      6770                                                |
0.00/0.06	c |  Number Clauses:        7270                                                |
0.00/0.06	c |  Number Cardinality:    0                                                   |
0.00/0.06	c |  Number PB Constraints: 6270                                                |
0.00/0.06	c core #1
0.00/0.06	c Core size: 22	Core Weight: 1	Total Weight: 1
0.00/0.06	c Elapsed CPU time: 0.06399 s	Remaining CPU time: 1799.94 s
0.00/0.08	c core #2
0.00/0.08	c Core size: 22	Core Weight: 1	Total Weight: 2
0.00/0.08	c Elapsed CPU time: 0.077988 s	Remaining CPU time: 1799.92 s
0.08/0.09	c core #3
0.08/0.09	c Core size: 22	Core Weight: 1	Total Weight: 3
0.08/0.09	c Elapsed CPU time: 0.092985 s	Remaining CPU time: 1799.91 s
0.09/0.11	c core #4
0.09/0.11	c Core size: 22	Core Weight: 1	Total Weight: 4
0.09/0.11	c Elapsed CPU time: 0.107983 s	Remaining CPU time: 1799.89 s
0.09/0.12	c core #5
0.09/0.12	c Core size: 22	Core Weight: 1	Total Weight: 5
0.09/0.12	c Elapsed CPU time: 0.122981 s	Remaining CPU time: 1799.88 s
0.09/0.14	c core #6
0.09/0.14	c Core size: 22	Core Weight: 1	Total Weight: 6
0.09/0.14	c Elapsed CPU time: 0.136979 s	Remaining CPU time: 1799.86 s
0.09/0.15	c core #7
0.09/0.15	c Core size: 26	Core Weight: 1	Total Weight: 7
0.09/0.15	c Elapsed CPU time: 0.152976 s	Remaining CPU time: 1799.85 s
0.09/0.17	c core #8
0.09/0.17	c Core size: 22	Core Weight: 1	Total Weight: 8
0.09/0.17	c Elapsed CPU time: 0.168974 s	Remaining CPU time: 1799.83 s
0.09/0.19	c core #9
0.09/0.19	c Core size: 24	Core Weight: 1	Total Weight: 9
0.09/0.19	c Elapsed CPU time: 0.185971 s	Remaining CPU time: 1799.81 s
0.19/0.20	c core #10
0.19/0.20	c Core size: 22	Core Weight: 1	Total Weight: 10
0.19/0.20	c Elapsed CPU time: 0.203968 s	Remaining CPU time: 1799.8 s
0.19/0.22	c core #11
0.19/0.22	c Core size: 22	Core Weight: 1	Total Weight: 11
0.19/0.22	c Elapsed CPU time: 0.221966 s	Remaining CPU time: 1799.78 s
0.19/0.24	c core #12
0.19/0.24	c Core size: 26	Core Weight: 1	Total Weight: 12
0.19/0.24	c Elapsed CPU time: 0.240963 s	Remaining CPU time: 1799.76 s
0.19/0.26	c core #13
0.19/0.26	c Core size: 22	Core Weight: 1	Total Weight: 13
0.19/0.26	c Elapsed CPU time: 0.25996 s	Remaining CPU time: 1799.74 s
0.19/0.28	c core #14
0.19/0.28	c Core size: 24	Core Weight: 1	Total Weight: 14
0.19/0.28	c Elapsed CPU time: 0.278957 s	Remaining CPU time: 1799.72 s
0.29/0.30	c core #15
0.29/0.30	c Core size: 34	Core Weight: 1	Total Weight: 15
0.29/0.30	c Elapsed CPU time: 0.302953 s	Remaining CPU time: 1799.7 s
0.29/0.33	c core #16
0.29/0.33	c Core size: 68	Core Weight: 1	Total Weight: 16
0.29/0.33	c Elapsed CPU time: 0.328949 s	Remaining CPU time: 1799.67 s
0.29/0.36	c core #17
0.29/0.36	c Core size: 72	Core Weight: 1	Total Weight: 17
0.29/0.36	c Elapsed CPU time: 0.355945 s	Remaining CPU time: 1799.64 s
0.29/0.39	c core #18
0.29/0.39	c Core size: 97	Core Weight: 1	Total Weight: 18
0.29/0.39	c Elapsed CPU time: 0.383941 s	Remaining CPU time: 1799.62 s
0.39/0.41	c ============================[ Search Statistics ]==============================
0.39/0.41	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.41	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.41	c ===============================================================================
0.39/0.41	c |         0 |    4024    13558    36819 |     5000        0    nan |  0.000 % |
0.39/0.44	c ===============================================================================
0.39/0.44	c core #19
0.39/0.44	c Core size: 633	Core Weight: 1	Total Weight: 19
0.39/0.44	c Elapsed CPU time: 0.433934 s	Remaining CPU time: 1799.57 s
0.39/0.47	c ============================[ Search Statistics ]==============================
0.39/0.47	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.47	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.47	c ===============================================================================
0.39/0.47	c |         0 |    6166    13559    42703 |     5000        0    nan |  0.000 % |
0.49/0.50	c |       102 |    6166    13559    42703 |     5500      102     69 | 15.777 % |
0.59/0.61	c |       252 |    6166    13559    42703 |     6050      252     55 | 15.777 % |
0.69/0.73	c |       478 |    6166    13559    42703 |     6655      478     56 | 15.777 % |
0.89/0.96	c |       821 |    6166    13559    42703 |     7320      821     64 | 15.777 % |
1.29/1.30	c |      1333 |    6166    13559    42703 |     8052     1333     69 | 15.777 % |
1.79/1.88	c |      2095 |    6166    13559    42703 |     8857     2095     71 | 15.777 % |
2.19/2.29	c ===============================================================================
2.29/2.32	c core #20
2.29/2.32	c Core size: 1205	Core Weight: 1	Total Weight: 20
2.29/2.32	c Elapsed CPU time: 2.30765 s	Remaining CPU time: 1797.69 s
2.29/2.35	c ============================[ Search Statistics ]==============================
2.29/2.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
2.29/2.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
2.29/2.35	c ===============================================================================
2.29/2.35	c |         0 |    7437    13560    45991 |     5000        0    nan |  0.000 % |
2.29/2.39	c |       102 |    7437    13560    45991 |     5500      102    113 |  3.566 % |
2.49/2.51	c |       254 |    7437    13560    45991 |     6050      254     92 |  3.566 % |
2.69/2.72	c |       480 |    7437    13560    45991 |     6655      480     84 |  3.566 % |
2.89/2.92	c |       821 |    7437    13560    45991 |     7320      821    100 |  3.566 % |
3.19/3.24	c |      1334 |    7437    13560    45991 |     8052     1334    111 |  3.566 % |
3.89/3.95	c |      2093 |    7437    13560    45991 |     8857     2093    109 |  3.566 % |
5.19/5.20	c |      3235 |    7437    13560    45991 |     9743     3235    104 |  3.566 % |
6.69/6.73	c |      4943 |    7437    13560    45991 |    10717     4943    125 |  3.566 % |
9.18/9.21	c |      7507 |    7437    13560    45991 |    11789     7507    153 |  3.566 % |
13.69/13.71	c |     11355 |    7437    13560    45991 |    12968    11355    159 |  3.566 % |
19.38/19.43	c |     17121 |    7437    13560    45991 |    14265    10196    156 |  3.566 % |
31.58/31.65	c |     25772 |    7437    13560    45991 |    15692    11231    157 |  3.566 % |
52.27/52.37	c |     38748 |    7437    13560    45991 |    17261    15956    155 |  3.566 % |
81.17/81.20	c |     58210 |    7407    13560    45991 |    18987    14925    185 |  3.955 % |
96.06/96.10	c ===============================================================================
97.06/97.12	c core #21
97.06/97.12	c Core size: 2091	Core Weight: 1	Total Weight: 21
97.06/97.12	c Elapsed CPU time: 96.6563 s	Remaining CPU time: 1703.34 s
97.16/97.23	c ============================[ Search Statistics ]==============================
97.16/97.23	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
97.16/97.23	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
97.16/97.23	c ===============================================================================
97.16/97.23	c |         0 |    8147    13561    47622 |     5000        0    nan |  0.000 % |
97.16/97.28	c |       104 |    8147    13561    47622 |     5500      104    177 |  0.318 % |
97.26/97.37	c |       257 |    8147    13561    47622 |     6050      257    106 |  0.318 % |
97.46/97.52	c |       483 |    8147    13561    47622 |     6655      483     90 |  0.318 % |
97.66/97.75	c |       820 |    8147    13561    47622 |     7320      820     99 |  0.318 % |
98.06/98.10	c |      1331 |    8147    13561    47622 |     8052     1331    112 |  0.318 % |
98.46/98.56	c |      2090 |    8147    13561    47622 |     8857     2090    105 |  0.318 % |
99.16/99.23	c |      3229 |    8147    13561    47622 |     9743     3229    115 |  0.318 % |
100.56/100.61	c |      4938 |    8147    13561    47622 |    10717     4938    142 |  0.318 % |
102.76/102.87	c |      7515 |    8147    13561    47622 |    11789     7515    155 |  0.318 % |
106.45/106.55	c |     11361 |    8147    13561    47622 |    12968    11361    174 |  0.318 % |
112.06/112.16	c |     17127 |    8147    13561    47622 |    14265     9805    211 |  0.318 % |
120.55/120.63	c |     25778 |    8147    13561    47622 |    15692    10981    206 |  0.318 % |
137.05/137.14	c |     38755 |    8147    13561    47622 |    17261    15612    214 |  0.318 % |
161.75/161.86	c |     58223 |    8147    13561    47622 |    18987    17096    228 |  0.318 % |
203.23/203.33	c |     87418 |    8147    13561    47622 |    20886    16437    242 |  0.318 % |
273.21/273.40	c |    131207 |    8147    13561    47622 |    22974    16906    202 |  0.318 % |
375.89/376.03	c |    196891 |    8147    13561    47622 |    25272    11894    230 |  0.318 % |
511.24/511.44	c |    295422 |    8147    13561    47622 |    27799    16560    230 |  0.318 % |
760.27/760.57	c |    443211 |    8147    13561    47622 |    30579    26283    260 |  0.318 % |
1233.14/1233.57	c |    664894 |    8147    13561    47622 |    33637    27235    286 |  0.318 % |

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-1875321-1245197926/watcher-1875321-1245197926 -o /tmp/evaluation-result-1875321-1245197926/solver-1875321-1245197926 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875321-1245197926.opb 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31499
/proc/meminfo: memFree=1836640/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=3300 CPUtime=0
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 187390682 3379200 257 1992294400 134512640 135709839 4294956240 18446744073709551615 134547913 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 825 258 125 292 0 412 0

[startup+0.0917649 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31499
/proc/meminfo: memFree=1836640/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=6280 CPUtime=0.08
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 1304 0 0 0 8 0 0 0 20 0 1 0 187390682 6430720 1075 1992294400 134512640 135709839 4294956240 18446744073709551615 134530593 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 1570 1075 134 292 0 1275 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 6280

[startup+0.101765 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31499
/proc/meminfo: memFree=1836640/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=6636 CPUtime=0.09
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 1436 0 0 0 9 0 0 0 20 0 1 0 187390682 6795264 1167 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 1659 1167 134 292 0 1364 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6636

[startup+0.301786 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31499
/proc/meminfo: memFree=1836640/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=8008 CPUtime=0.29
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 1859 0 0 0 29 0 0 0 22 0 1 0 187390682 8200192 1540 1992294400 134512640 135709839 4294956240 18446744073709551615 135163574 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 2002 1540 134 292 0 1707 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8008

[startup+0.701829 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 31499
/proc/meminfo: memFree=1836640/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=10660 CPUtime=0.69
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 2523 0 0 0 69 0 0 0 25 0 1 0 187390682 10915840 2204 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 2665 2204 136 292 0 2370 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10660

[startup+1.50191 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=1828312/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=10924 CPUtime=1.49
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 2582 0 0 0 148 1 0 0 25 0 1 0 187390682 11186176 2263 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 2731 2263 136 292 0 2436 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10924

[startup+3.10108 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=1827480/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=13036 CPUtime=3.09
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 3120 0 0 0 307 2 0 0 25 0 1 0 187390682 13348864 2801 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 3259 2801 136 292 0 2964 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13036

[startup+6.30142 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=1824856/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=14892 CPUtime=6.28
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 3576 0 0 0 623 5 0 0 25 0 1 0 187390682 15249408 3257 1992294400 134512640 135709839 4294956240 18446744073709551615 134577700 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 3723 3257 136 292 0 3428 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14892

[startup+12.7011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=1817632/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=21624 CPUtime=12.69
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 5279 0 0 0 1260 9 0 0 25 0 1 0 187390682 22142976 4960 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 5406 4960 136 292 0 5111 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21624

[startup+25.5015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=1806112/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=32716 CPUtime=25.48
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 8050 0 0 0 2533 15 0 0 25 0 1 0 187390682 33501184 7731 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 8179 7731 136 292 0 7884 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 32716

[startup+51.1022 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=1787040/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=52068 CPUtime=51.08
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 12882 0 0 0 5083 25 0 0 25 0 1 0 187390682 53317632 12563 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 13017 12563 136 292 0 12722 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 52068

[startup+102.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=1747616/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=91088 CPUtime=102.26
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 22587 0 0 0 10179 47 0 0 25 0 1 0 187390682 93274112 22268 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 22772 22268 136 292 0 22477 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 91088

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=1720544/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=118444 CPUtime=162.24
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 29472 0 0 0 16153 71 0 0 25 0 1 0 187390682 121286656 29153 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 29611 29153 136 292 0 29316 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 118444

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=1666208/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=172392 CPUtime=222.23
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 42929 0 0 0 22130 93 0 0 25 0 1 0 187390682 176529408 42610 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 43098 42610 136 292 0 42803 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 172392

[startup+282.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/66 31500
/proc/meminfo: memFree=1612640/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=226244 CPUtime=282.21
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 56382 0 0 0 28100 121 0 0 25 0 1 0 187390682 231673856 56063 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 56561 56063 136 292 0 56266 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 226244

[startup+342.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 31500
/proc/meminfo: memFree=1562272/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=276160 CPUtime=342.19
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 68870 0 0 0 34073 146 0 0 25 0 1 0 187390682 282787840 68551 1992294400 134512640 135709839 4294956240 18446744073709551615 134572704 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 69040 68551 136 292 0 68745 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 276160

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=1505376/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=333700 CPUtime=402.17
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 83249 0 0 0 40043 174 0 0 25 0 1 0 187390682 341708800 82930 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 83425 82930 136 292 0 83130 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 333700

[startup+462.302 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 31500
/proc/meminfo: memFree=1450080/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=388340 CPUtime=462.16
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 96892 0 0 0 46010 206 0 0 25 0 1 0 187390682 397660160 96573 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 97085 96573 136 292 0 96790 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 388340

[startup+522.301 s]
/proc/loadavg: 1.05 1.02 1.00 2/66 31500
/proc/meminfo: memFree=1396576/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=442236 CPUtime=522.14
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 110348 0 0 0 51983 231 0 0 25 0 1 0 187390682 452849664 110029 1992294400 134512640 135709839 4294956240 18446744073709551615 134573958 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 110559 110029 136 292 0 110264 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 442236

[startup+582.301 s]
/proc/loadavg: 1.05 1.03 1.00 2/66 31500
/proc/meminfo: memFree=1346272/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=492144 CPUtime=582.13
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 122796 0 0 0 57956 257 0 0 25 0 1 0 187390682 503955456 122477 1992294400 134512640 135709839 4294956240 18446744073709551615 134577698 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 123036 122477 136 292 0 122741 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 492144

[startup+642.302 s]
/proc/loadavg: 1.13 1.05 1.01 2/66 31500
/proc/meminfo: memFree=1298720/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=539144 CPUtime=642.1
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 134536 0 0 0 63931 279 0 0 25 0 1 0 187390682 552083456 134217 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 134786 134217 136 292 0 134491 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 539144

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.01 1.04 1.00 2/66 31500
/proc/meminfo: memFree=1105888/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=732036 CPUtime=882.04
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 182708 0 0 0 87843 361 0 0 25 0 1 0 187390682 749604864 182389 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 183009 182389 136 292 0 182714 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 732036

[startup+942.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 31500
/proc/meminfo: memFree=1052000/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=786484 CPUtime=942.02
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 196309 0 0 0 93818 384 0 0 25 0 1 0 187390682 805359616 195990 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 196621 195990 136 292 0 196326 0
Current children cumulated CPU time (s) 942.02
Current children cumulated vsize (KiB) 786484

[startup+1002.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 31500
/proc/meminfo: memFree=999008/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=838684 CPUtime=1002
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 209361 0 0 0 99795 405 0 0 25 0 1 0 187390682 858812416 209042 1992294400 134512640 135709839 4294956240 18446744073709551615 134572733 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 209671 209042 136 292 0 209376 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 838684

[startup+1062.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 31500
/proc/meminfo: memFree=954848/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=883864 CPUtime=1061.99
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 220623 0 0 0 105774 425 0 0 25 0 1 0 187390682 905076736 220304 1992294400 134512640 135709839 4294956240 18446744073709551615 134574134 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 220966 220304 136 292 0 220671 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 883864

[startup+1122.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 31500
/proc/meminfo: memFree=898976/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=938608 CPUtime=1121.96
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 234291 0 0 0 111749 447 0 0 25 0 1 0 187390682 961134592 233972 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 234652 233972 136 292 0 234357 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 938608

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=851808/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=986600 CPUtime=1181.95
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 246298 0 0 0 117731 464 0 0 25 0 1 0 187390682 1010278400 245979 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 246650 245979 136 292 0 246355 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 986600

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=809376/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=1028096 CPUtime=1241.93
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 256634 0 0 0 123709 484 0 0 25 0 1 0 187390682 1052770304 256315 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 257024 256315 136 292 0 256729 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 1028096

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=766496/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=1070544 CPUtime=1301.92
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 267265 0 0 0 129687 505 0 0 25 0 1 0 187390682 1096237056 266946 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 267636 266946 136 292 0 267341 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 1070544

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=722528/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=1115112 CPUtime=1361.9
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 278365 0 0 0 135667 523 0 0 25 0 1 0 187390682 1141874688 278046 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 278778 278046 136 292 0 278483 0
Current children cumulated CPU time (s) 1361.9
Current children cumulated vsize (KiB) 1115112

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=674592/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=1162604 CPUtime=1421.88
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 290184 0 0 0 141642 546 0 0 25 0 1 0 187390682 1190506496 289865 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 290651 289865 136 292 0 290356 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 1162604

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=621792/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=1216044 CPUtime=1481.86
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 303526 0 0 0 147617 569 0 0 25 0 1 0 187390682 1245229056 303207 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 304011 303207 136 292 0 303716 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 1216044

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=575904/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=1261188 CPUtime=1541.84
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 314825 0 0 0 153595 589 0 0 25 0 1 0 187390682 1291456512 314506 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 315297 314506 136 292 0 315002 0
Current children cumulated CPU time (s) 1541.84
Current children cumulated vsize (KiB) 1261188

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=525920/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=1311636 CPUtime=1601.83
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 327412 0 0 0 159571 612 0 0 25 0 1 0 187390682 1343115264 327093 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 327909 327093 136 292 0 327614 0
Current children cumulated CPU time (s) 1601.83
Current children cumulated vsize (KiB) 1311636

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=474784/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=1362340 CPUtime=1661.81
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 340075 0 0 0 165547 634 0 0 25 0 1 0 187390682 1395036160 339756 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 340585 339756 136 292 0 340290 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 1362340

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=426784/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=1410596 CPUtime=1721.8
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 352124 0 0 0 171523 657 0 0 25 0 1 0 187390682 1444450304 351805 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 352649 351805 136 292 0 352354 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 1410596

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=376416/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=1461076 CPUtime=1781.78
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 364739 0 0 0 177501 677 0 0 25 0 1 0 187390682 1496141824 364420 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 365269 364420 136 292 0 364974 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 1461076



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=360224/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=1476412 CPUtime=1800.08
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4194304 368584 0 0 0 179324 684 0 0 25 0 1 0 187390682 1511845888 368265 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/statm: 369103 368265 136 292 0 368808 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 1476412

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 31500
/proc/meminfo: memFree=360224/2055920 swapFree=4179968/4192956
[pid=31499] ppid=31497 vsize=0 CPUtime=1800.27
/proc/31499/stat : 31499 (wbo) R 31497 31499 31205 0 -1 4195332 368584 0 0 0 179324 703 0 0 25 0 1 0 187390682 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/31499/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.82
CPU time (s): 1800.31
CPU user time (s): 1793.24
CPU system time (s): 7.06293
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (KiB): 1476412

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

runsolver used 1.9517 second user time and 4.6133 second system time

The end

Launcher Data 

Begin job on node82 at 2009-06-17 02:18:46
IDJOB=1875321
IDBENCH=48161
IDSOLVER=698
FILE ID=node82/1875321-1245197926
PBS_JOBID= 9368301
Free space on /tmp= 66404 MiB

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

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

MD5SUM BENCH= 2dd6cc5a7b1f8311eff7b566cf3505ea
RANDOM SEED=874731052

node82.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.232
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.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1837504 kB
Buffers:         40032 kB
Cached:         110384 kB
SwapCached:       6596 kB
Active:          70636 kB
Inactive:        93268 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1837504 kB
SwapTotal:     4192956 kB
SwapFree:      4179968 kB
Dirty:            2468 kB
Writeback:           0 kB
Mapped:          19132 kB
Slab:            40436 kB
Committed_AS:    92980 kB
PageTables:       1400 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-1875321-1245197926.opb

Free space on /tmp at the end= 66400 MiB
End job on node82 at 2009-06-17 02:48:49