Trace number 1875306

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 1800.94

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_200_10_4.opb
MD5SUMb738c7950af6b3d63e331a14bc641dc9
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1798.2
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 25
Optimality of the best value was proved NO
Number of variables200
Total number of constraints200
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 constraints200
Minimum length of a constraint11
Maximum length of a constraint22
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)2524
Sum of products size (including duplicates)5048
Number of different products2524
Sum of products size5048

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-1875306-1245195733.opb.
0.00/0.00	c Instance file HOME/instance-1875306-1245195733.opb
0.00/0.00	c File size is 187908 bytes.
0.00/0.02	c Highest Coefficient sum: 23
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Parsing time:          0.03         s                                      |
0.00/0.02	c |  Number Variables:      2724                                                |
0.00/0.02	c |  Number Clauses:        2924                                                |
0.00/0.02	c |  Number Cardinality:    0                                                   |
0.00/0.02	c |  Number PB Constraints: 2524                                                |
0.00/0.02	c core #1
0.00/0.02	c Core size: 28	Core Weight: 1	Total Weight: 1
0.00/0.02	c Elapsed CPU time: 0.026995 s	Remaining CPU time: 1799.97 s
0.00/0.03	c core #2
0.00/0.03	c Core size: 22	Core Weight: 1	Total Weight: 2
0.00/0.03	c Elapsed CPU time: 0.032994 s	Remaining CPU time: 1799.97 s
0.00/0.04	c core #3
0.00/0.04	c Core size: 22	Core Weight: 1	Total Weight: 3
0.00/0.04	c Elapsed CPU time: 0.037994 s	Remaining CPU time: 1799.96 s
0.00/0.04	c core #4
0.00/0.04	c Core size: 22	Core Weight: 1	Total Weight: 4
0.00/0.04	c Elapsed CPU time: 0.044993 s	Remaining CPU time: 1799.96 s
0.00/0.05	c core #5
0.00/0.05	c Core size: 24	Core Weight: 1	Total Weight: 5
0.00/0.05	c Elapsed CPU time: 0.051992 s	Remaining CPU time: 1799.95 s
0.00/0.06	c core #6
0.00/0.06	c Core size: 22	Core Weight: 1	Total Weight: 6
0.00/0.06	c Elapsed CPU time: 0.058991 s	Remaining CPU time: 1799.94 s
0.00/0.06	c core #7
0.00/0.06	c Core size: 22	Core Weight: 1	Total Weight: 7
0.00/0.06	c Elapsed CPU time: 0.065989 s	Remaining CPU time: 1799.93 s
0.00/0.07	c core #8
0.00/0.07	c Core size: 77	Core Weight: 1	Total Weight: 8
0.00/0.07	c Elapsed CPU time: 0.075988 s	Remaining CPU time: 1799.92 s
0.08/0.08	c ============================[ Search Statistics ]==============================
0.08/0.08	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.08/0.08	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.08/0.08	c ===============================================================================
0.08/0.08	c |         0 |    1653     5456    14913 |     5000        0    nan |  0.000 % |
0.08/0.09	c ===============================================================================
0.08/0.09	c core #9
0.08/0.09	c Core size: 310	Core Weight: 1	Total Weight: 9
0.08/0.09	c Elapsed CPU time: 0.090986 s	Remaining CPU time: 1799.91 s
0.09/0.10	c ============================[ Search Statistics ]==============================
0.09/0.10	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.09/0.10	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.09/0.10	c ===============================================================================
0.09/0.10	c |         0 |    2543     5457    17356 |     5000        0    nan |  0.000 % |
0.09/0.13	c |       104 |    2543     5457    17356 |     5500      104    118 | 13.943 % |
0.09/0.18	c |       254 |    2543     5457    17356 |     6050      254    128 | 13.942 % |
0.19/0.26	c |       479 |    2543     5457    17356 |     6655      479    126 | 13.942 % |
0.29/0.32	c ===============================================================================
0.29/0.32	c core #10
0.29/0.32	c Core size: 979	Core Weight: 1	Total Weight: 10
0.29/0.32	c Elapsed CPU time: 0.32395 s	Remaining CPU time: 1799.68 s
0.29/0.34	c ============================[ Search Statistics ]==============================
0.29/0.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.29/0.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.29/0.34	c ===============================================================================
0.29/0.34	c |         0 |    3121     5458    18843 |     5000        0    nan |  0.000 % |
0.29/0.36	c |       100 |    3121     5458    18843 |     5500      100    141 |  0.732 % |
0.39/0.42	c |       251 |    3121     5458    18843 |     6050      251    132 |  0.732 % |
0.49/0.50	c |       477 |    3121     5458    18843 |     6655      477    126 |  0.732 % |
0.59/0.62	c |       816 |    3121     5458    18843 |     7320      816    126 |  0.732 % |
0.69/0.79	c |      1322 |    3121     5458    18843 |     8052     1322    125 |  0.732 % |
0.99/1.08	c |      2081 |    3121     5458    18843 |     8857     2081    125 |  0.732 % |
1.49/1.58	c |      3220 |    3121     5458    18843 |     9743     3220    143 |  0.732 % |
2.48/2.57	c |      4928 |    3121     5458    18843 |    10717     4928    153 |  0.732 % |
4.19/4.24	c |      7491 |    3121     5458    18843 |    11789     7491    149 |  0.732 % |
7.08/7.15	c |     11336 |    3121     5458    18843 |    12968    11336    145 |  0.732 % |
12.09/12.17	c |     17115 |    3121     5458    18843 |    14265    10353    147 |  0.732 % |
20.59/20.68	c |     25766 |    3121     5458    18843 |    15692    11684    149 |  0.732 % |
33.88/33.96	c |     38743 |    3121     5458    18843 |    17261     8615    187 |  0.732 % |
57.07/57.11	c |     58206 |    3121     5458    18843 |    18987    10122    171 |  0.732 % |
68.86/68.99	c ===============================================================================
70.37/70.44	c core #11
70.37/70.44	c Core size: 2222	Core Weight: 1	Total Weight: 11
70.37/70.44	c Elapsed CPU time: 70.0583 s	Remaining CPU time: 1729.94 s
70.46/70.53	c Learning 1 hard constraints
70.46/70.53	c ============================[ Search Statistics ]==============================
70.46/70.53	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
70.46/70.53	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
70.46/70.53	c ===============================================================================
70.46/70.53	c |         0 |    3344     5460    19320 |     5000        0    nan |  0.000 % |
70.46/70.57	c |       102 |    3344     5460    19320 |     5500      102    152 |  0.000 % |
70.56/70.62	c |       254 |    3344     5460    19320 |     6050      254    133 |  0.000 % |
70.67/70.70	c |       479 |    3344     5460    19320 |     6655      479    118 |  0.000 % |
70.77/70.82	c |       816 |    3344     5460    19320 |     7320      816    129 |  0.000 % |
70.96/71.01	c |      1323 |    3344     5460    19320 |     8052     1323    133 |  0.000 % |
71.26/71.36	c |      2085 |    3344     5460    19320 |     8857     2085    144 |  0.000 % |
71.76/71.82	c |      3225 |    3344     5460    19320 |     9743     3225    160 |  0.000 % |
72.47/72.55	c |      4934 |    3344     5460    19320 |    10717     4934    151 |  0.000 % |
74.06/74.15	c |      7500 |    3344     5460    19320 |    11789     7500    173 |  0.000 % |
76.66/76.72	c |     11346 |    3344     5460    19320 |    12968    11346    179 |  0.000 % |
80.75/80.83	c |     17115 |    3344     5460    19320 |    14265    10180    173 |  0.000 % |
88.05/88.19	c |     25765 |    3344     5460    19320 |    15692    11299    191 |  0.000 % |
99.75/99.80	c |     38739 |    3344     5460    19320 |    17261    16087    171 |  0.000 % |
115.65/115.79	c |     58201 |    3344     5460    19320 |    18987    17788    178 |  0.000 % |
147.73/147.80	c |     87393 |    3344     5460    19320 |    20886    17546    200 |  0.000 % |
200.31/200.43	c |    131183 |    3344     5460    19320 |    22974    18610    203 |  0.000 % |
294.88/295.00	c |    196873 |    3344     5460    19320 |    25272    13502    215 |  0.000 % |
445.83/446.06	c |    295402 |    3344     5460    19320 |    27799    20692    237 |  0.000 % |
675.64/675.95	c |    443193 |    3344     5460    19320 |    30579    17136    270 |  0.000 % |
1048.71/1049.15	c |    664876 |    3344     5460    19320 |    33637    25736    225 |  0.000 % |
1687.57/1688.28	c |    997402 |    3344     5460    19320 |    37001    32226    259 |  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-1875306-1245195733/watcher-1875306-1245195733 -o /tmp/evaluation-result-1875306-1245195733/solver-1875306-1245195733 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875306-1245195733.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.99 0.97 0.99 3/64 11713
/proc/meminfo: memFree=1845056/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=3060 CPUtime=0
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 267 0 0 0 0 0 0 0 18 0 1 0 187174165 3133440 251 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 765 251 125 292 0 424 0

[startup+0.0867311 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11713
/proc/meminfo: memFree=1845056/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=4764 CPUtime=0.08
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 805 0 0 0 8 0 0 0 18 0 1 0 187174165 4878336 734 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 1191 734 134 292 0 896 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4764

[startup+0.101734 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11713
/proc/meminfo: memFree=1845056/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=4904 CPUtime=0.09
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 841 0 0 0 9 0 0 0 18 0 1 0 187174165 5021696 770 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 1226 771 135 292 0 931 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4904

[startup+0.30177 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11713
/proc/meminfo: memFree=1845056/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=5168 CPUtime=0.29
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 909 0 0 0 29 0 0 0 18 0 1 0 187174165 5292032 838 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 1292 838 136 292 0 997 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5168

[startup+0.701844 s]
/proc/loadavg: 0.99 0.97 0.99 3/64 11713
/proc/meminfo: memFree=1845056/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=5828 CPUtime=0.69
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 1078 0 0 0 69 0 0 0 21 0 1 0 187174165 5967872 1007 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 1457 1007 136 292 0 1162 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5828

[startup+1.50199 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11714
/proc/meminfo: memFree=1841016/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=7424 CPUtime=1.49
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 1501 0 0 0 148 1 0 0 25 0 1 0 187174165 7602176 1430 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 1856 1430 136 292 0 1561 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7424

[startup+3.10129 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11714
/proc/meminfo: memFree=1838456/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=10336 CPUtime=3.09
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 2226 0 0 0 307 2 0 0 25 0 1 0 187174165 10584064 2155 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 2584 2155 136 292 0 2289 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10336

[startup+6.30188 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11714
/proc/meminfo: memFree=1833592/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=14696 CPUtime=6.28
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 3292 0 0 0 623 5 0 0 25 0 1 0 187174165 15048704 3221 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 3674 3221 136 292 0 3379 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 14696

[startup+12.7011 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11714
/proc/meminfo: memFree=1825080/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=22648 CPUtime=12.68
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 5293 0 0 0 1258 10 0 0 25 0 1 0 187174165 23191552 5222 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 5662 5222 136 292 0 5367 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22648

[startup+25.5014 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11714
/proc/meminfo: memFree=1808376/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=38908 CPUtime=25.48
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 9372 0 0 0 2530 18 0 0 25 0 1 0 187174165 39841792 9301 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 9727 9301 136 292 0 9432 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 38908

[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11714
/proc/meminfo: memFree=1780408/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=67376 CPUtime=51.07
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 16449 0 0 0 5077 30 0 0 25 0 1 0 187174165 68993024 16378 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 16844 16378 136 292 0 16549 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 67376

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11714
/proc/meminfo: memFree=1751608/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=95556 CPUtime=102.26
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 23516 0 0 0 10176 50 0 0 25 0 1 0 187174165 97849344 23445 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 23889 23445 136 292 0 23594 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 95556

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11714
/proc/meminfo: memFree=1682360/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=165064 CPUtime=162.23
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 40890 0 0 0 16142 81 0 0 25 0 1 0 187174165 169025536 40819 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 41266 40819 136 292 0 40971 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 165064

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11714
/proc/meminfo: memFree=1615544/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=231440 CPUtime=222.21
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 57441 0 0 0 22114 107 0 0 25 0 1 0 187174165 236994560 57370 1992294400 134512640 135709839 4294956240 18446744073709551615 134573940 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 57860 57370 136 292 0 57565 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 231440

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11714
/proc/meminfo: memFree=1558520/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=289256 CPUtime=282.18
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 71875 0 0 0 28086 132 0 0 25 0 1 0 187174165 296198144 71804 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 72314 71804 136 292 0 72019 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 289256

[startup+342.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11714
/proc/meminfo: memFree=1506808/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=340408 CPUtime=342.17
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 84644 0 0 0 34063 154 0 0 25 0 1 0 187174165 348577792 84573 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 85102 84573 136 292 0 84807 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 340408

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11714
/proc/meminfo: memFree=1451064/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=396516 CPUtime=402.14
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 98648 0 0 0 40037 177 0 0 25 0 1 0 187174165 406032384 98577 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 99129 98577 136 292 0 98834 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 396516

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11714
/proc/meminfo: memFree=1389816/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=457072 CPUtime=462.12
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 113778 0 0 0 46009 203 0 0 25 0 1 0 187174165 468041728 113707 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 114268 113707 136 292 0 113973 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 457072

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11714
/proc/meminfo: memFree=1329848/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=518000 CPUtime=522.1
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 129009 0 0 0 51982 228 0 0 25 0 1 0 187174165 530432000 128938 1992294400 134512640 135709839 4294956240 18446744073709551615 134517168 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 129500 128938 136 292 0 129205 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 518000

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11716
/proc/meminfo: memFree=1274360/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=572664 CPUtime=582.08
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 142650 0 0 0 57955 253 0 0 25 0 1 0 187174165 586407936 142579 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 143166 142579 136 292 0 142871 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 572664

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11716
/proc/meminfo: memFree=1224824/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=621812 CPUtime=642.06
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 154895 0 0 0 63934 272 0 0 25 0 1 0 187174165 636735488 154824 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 155453 154824 136 292 0 155158 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 621812

[startup+702.302 s]

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

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11716
/proc/meminfo: memFree=976184/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=870732 CPUtime=941.95
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 217044 0 0 0 93816 379 0 0 25 0 1 0 187174165 891629568 216973 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 217683 216973 136 292 0 217388 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 870732

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11716
/proc/meminfo: memFree=932664/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=914136 CPUtime=1001.93
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 227859 0 0 0 99793 400 0 0 25 0 1 0 187174165 936075264 227788 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 228534 227788 136 292 0 228239 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 914136

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11716
/proc/meminfo: memFree=885624/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=961520 CPUtime=1061.91
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 239686 0 0 0 105771 420 0 0 25 0 1 0 187174165 984596480 239615 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 240380 239615 136 292 0 240085 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 961520

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11716
/proc/meminfo: memFree=836792/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=1009792 CPUtime=1121.88
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 251734 0 0 0 111746 442 0 0 25 0 1 0 187174165 1034027008 251663 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 252448 251663 136 292 0 252153 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 1009792

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11722
/proc/meminfo: memFree=791992/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=1055396 CPUtime=1181.86
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 263107 0 0 0 117724 462 0 0 25 0 1 0 187174165 1080725504 263036 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 263849 263036 136 292 0 263554 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 1055396

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11722
/proc/meminfo: memFree=735928/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=1110916 CPUtime=1241.84
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 276952 0 0 0 123700 484 0 0 25 0 1 0 187174165 1137577984 276881 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 277729 276881 136 292 0 277434 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 1110916

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11722
/proc/meminfo: memFree=688376/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=1157728 CPUtime=1301.82
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 288659 0 0 0 129683 499 0 0 25 0 1 0 187174165 1185513472 288588 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 289432 288588 136 292 0 289137 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1157728

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11722
/proc/meminfo: memFree=649400/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=1197064 CPUtime=1361.79
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 298493 0 0 0 135665 514 0 0 25 0 1 0 187174165 1225793536 298422 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 299266 298422 136 292 0 298971 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 1197064

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11722
/proc/meminfo: memFree=610104/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=1235888 CPUtime=1421.77
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 308202 0 0 0 141648 529 0 0 25 0 1 0 187174165 1265549312 308131 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 308972 308131 136 292 0 308677 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1235888

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11722
/proc/meminfo: memFree=562488/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=1283756 CPUtime=1481.75
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 320142 0 0 0 147626 549 0 0 25 0 1 0 187174165 1314566144 320071 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 320939 320071 136 292 0 320644 0
Current children cumulated CPU time (s) 1481.75
Current children cumulated vsize (KiB) 1283756

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11722
/proc/meminfo: memFree=524216/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=1321824 CPUtime=1541.73
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 329666 0 0 0 153608 565 0 0 25 0 1 0 187174165 1353547776 329595 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 330456 329595 136 292 0 330161 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 1321824

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11722
/proc/meminfo: memFree=483256/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=1363172 CPUtime=1601.7
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 339996 0 0 0 159588 582 0 0 25 0 1 0 187174165 1395888128 339925 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 340793 339925 136 292 0 340498 0
Current children cumulated CPU time (s) 1601.7
Current children cumulated vsize (KiB) 1363172

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11722
/proc/meminfo: memFree=433336/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=1412676 CPUtime=1661.69
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 352316 0 0 0 165568 601 0 0 25 0 1 0 187174165 1446580224 352245 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 353169 352245 136 292 0 352874 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 1412676

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11722
/proc/meminfo: memFree=394424/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=1451824 CPUtime=1721.66
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 362113 0 0 0 171547 619 0 0 25 0 1 0 187174165 1486667776 362042 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 362956 362042 136 292 0 362661 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 1451824

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11722
/proc/meminfo: memFree=373240/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=1472728 CPUtime=1781.64
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 367348 0 0 0 177535 629 0 0 25 0 1 0 187174165 1508073472 367277 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 368182 367277 136 292 0 367887 0
Current children cumulated CPU time (s) 1781.64
Current children cumulated vsize (KiB) 1472728



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11722
/proc/meminfo: memFree=355192/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=1490416 CPUtime=1800.04
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4194304 371767 0 0 0 179365 639 0 0 25 0 1 0 187174165 1526185984 371696 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 372604 371696 136 292 0 372309 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 1490416

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11722
/proc/meminfo: memFree=355192/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=0 CPUtime=1800.14
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4195332 371767 0 0 0 179365 649 0 0 25 0 1 0 187174165 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

[startup+1800.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 11722
/proc/meminfo: memFree=355192/2055920 swapFree=4191904/4192956
[pid=11713] ppid=11711 vsize=0 CPUtime=1800.23
/proc/11713/stat : 11713 (wbo) R 11711 11713 11557 0 -1 4195332 371767 0 0 0 179365 658 0 0 25 0 1 0 187174165 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/11713/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.94
CPU time (s): 1800.28
CPU user time (s): 1793.66
CPU system time (s): 6.62299
CPU usage (%): 99.9635
Max. virtual memory (cumulated for all children) (KiB): 1490416

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

runsolver used 1.76873 second user time and 3.19951 second system time

The end

Launcher Data 

Begin job on node7 at 2009-06-17 01:42:13
IDJOB=1875306
IDBENCH=48146
IDSOLVER=698
FILE ID=node7/1875306-1245195733
PBS_JOBID= 9368318
Free space on /tmp= 66272 MiB

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

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

MD5SUM BENCH= b738c7950af6b3d63e331a14bc641dc9
RANDOM SEED=933913601

node7.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.274
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.274
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:       1845728 kB
Buffers:         51304 kB
Cached:          89992 kB
SwapCached:        416 kB
Active:          57656 kB
Inactive:        97128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1845728 kB
SwapTotal:     4192956 kB
SwapFree:      4191904 kB
Dirty:            2440 kB
Writeback:           0 kB
Mapped:          21828 kB
Slab:            41356 kB
Committed_AS:   173280 kB
PageTables:       1444 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-1875306-1245195733.opb

Free space on /tmp at the end= 66268 MiB
End job on node7 at 2009-06-17 02:12:16