Trace number 1875291

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjCPU timeWall clock time
wbo 1.0? (TO) 1800.24 1800.9

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_2.opb
MD5SUMf7e9965e006e5669c3252afd9a68998d
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark76
Best CPU time to get the best result obtained on this benchmark1798.05
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 67
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)6328
Sum of products size (including duplicates)12656
Number of different products6328
Sum of products size12656

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-1875291-1245193291.opb.
0.00/0.00	c Instance file HOME/instance-1875291-1245193291.opb
0.00/0.00	c File size is 484589 bytes.
0.05/0.06	c Highest Coefficient sum: 23
0.05/0.06	c ============================[ Problem Statistics ]=============================
0.05/0.06	c |                                                                             |
0.05/0.06	c |  Parsing time:          0.06         s                                      |
0.05/0.06	c |  Number Variables:      6828                                                |
0.05/0.06	c |  Number Clauses:        7328                                                |
0.05/0.06	c |  Number Cardinality:    0                                                   |
0.05/0.06	c |  Number PB Constraints: 6328                                                |
0.05/0.06	c core #1
0.05/0.06	c Core size: 30	Core Weight: 1	Total Weight: 1
0.05/0.06	c Elapsed CPU time: 0.06499 s	Remaining CPU time: 1799.94 s
0.05/0.08	c core #2
0.05/0.08	c Core size: 22	Core Weight: 1	Total Weight: 2
0.05/0.08	c Elapsed CPU time: 0.076988 s	Remaining CPU time: 1799.92 s
0.05/0.09	c core #3
0.05/0.09	c Core size: 22	Core Weight: 1	Total Weight: 3
0.05/0.09	c Elapsed CPU time: 0.090986 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.104984 s	Remaining CPU time: 1799.9 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.119981 s	Remaining CPU time: 1799.88 s
0.09/0.14	c core #6
0.09/0.14	c Core size: 26	Core Weight: 1	Total Weight: 6
0.09/0.14	c Elapsed CPU time: 0.135979 s	Remaining CPU time: 1799.86 s
0.09/0.16	c core #7
0.09/0.16	c Core size: 22	Core Weight: 1	Total Weight: 7
0.09/0.16	c Elapsed CPU time: 0.151976 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.184971 s	Remaining CPU time: 1799.82 s
0.19/0.21	c core #10
0.19/0.21	c Core size: 22	Core Weight: 1	Total Weight: 10
0.19/0.21	c Elapsed CPU time: 0.202969 s	Remaining CPU time: 1799.8 s
0.19/0.23	c core #11
0.19/0.23	c Core size: 24	Core Weight: 1	Total Weight: 11
0.19/0.23	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: 22	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: 22	Core Weight: 1	Total Weight: 14
0.19/0.28	c Elapsed CPU time: 0.279957 s	Remaining CPU time: 1799.72 s
0.29/0.31	c core #15
0.29/0.31	c Core size: 22	Core Weight: 1	Total Weight: 15
0.29/0.31	c Elapsed CPU time: 0.300954 s	Remaining CPU time: 1799.7 s
0.29/0.33	c core #16
0.29/0.33	c Core size: 22	Core Weight: 1	Total Weight: 16
0.29/0.33	c Elapsed CPU time: 0.319951 s	Remaining CPU time: 1799.68 s
0.29/0.35	c core #17
0.29/0.35	c Core size: 28	Core Weight: 1	Total Weight: 17
0.29/0.35	c Elapsed CPU time: 0.343947 s	Remaining CPU time: 1799.66 s
0.29/0.38	c core #18
0.29/0.38	c Core size: 83	Core Weight: 1	Total Weight: 18
0.29/0.38	c Elapsed CPU time: 0.369943 s	Remaining CPU time: 1799.63 s
0.39/0.40	c ============================[ Search Statistics ]==============================
0.39/0.40	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.40	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.40	c ===============================================================================
0.39/0.40	c |         0 |    3492    13674    35586 |     5000        0    nan |  0.000 % |
0.39/0.41	c ===============================================================================
0.39/0.41	c core #19
0.39/0.41	c Core size: 356	Core Weight: 1	Total Weight: 19
0.39/0.41	c Elapsed CPU time: 0.401938 s	Remaining CPU time: 1799.6 s
0.39/0.44	c ============================[ Search Statistics ]==============================
0.39/0.44	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.44	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.44	c ===============================================================================
0.39/0.44	c |         0 |    5055    13675    39915 |     5000        0    nan |  0.000 % |
0.39/0.48	c |       101 |    5055    13675    39915 |     5500      101    178 | 30.006 % |
0.49/0.55	c |       253 |    5055    13675    39915 |     6050      253    189 | 30.006 % |
0.69/0.73	c |       479 |    5055    13675    39915 |     6655      479    176 | 30.006 % |
0.89/0.94	c ===============================================================================
0.89/0.95	c core #20
0.89/0.95	c Core size: 1333	Core Weight: 1	Total Weight: 20
0.89/0.95	c Elapsed CPU time: 0.940856 s	Remaining CPU time: 1799.06 s
0.89/0.98	c ============================[ Search Statistics ]==============================
0.89/0.98	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.89/0.98	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.89/0.98	c ===============================================================================
0.89/0.98	c |         0 |    7153    13676    45555 |     5000        0    nan |  0.000 % |
1.00/1.03	c |       101 |    7153    13676    45555 |     5500      101    292 |  6.129 % |
1.09/1.12	c |       254 |    7153    13676    45555 |     6050      254    264 |  6.129 % |
1.19/1.28	c |       479 |    7153    13676    45555 |     6655      479    250 |  6.129 % |
1.59/1.60	c |       816 |    7153    13676    45555 |     7320      816    213 |  6.129 % |
1.99/2.04	c |      1324 |    7153    13676    45555 |     8052     1324    181 |  6.129 % |
2.69/2.72	c |      2083 |    7153    13676    45555 |     8857     2083    143 |  6.129 % |
3.68/3.70	c |      3224 |    7153    13676    45555 |     9743     3224    136 |  6.129 % |
5.19/5.20	c |      4932 |    7153    13676    45555 |    10717     4932    130 |  6.129 % |
6.29/10.30	c |      7494 |    7153    13676    45555 |    11789     7494    160 |  6.129 % |
13.08/13.11	c |     11340 |    7153    13676    45555 |    12968    11340    158 |  6.129 % |
20.58/20.68	c |     17113 |    7153    13676    45555 |    14265    10064    176 |  6.129 % |
32.98/33.09	c |     25766 |    7153    13676    45555 |    15692    11018    191 |  6.129 % |
54.77/54.81	c |     38740 |    7153    13676    45555 |    17261    15554    249 |  6.129 % |
89.46/89.52	c |     58201 |    7090    13676    45555 |    18987     6936    191 |  6.955 % |
89.85/89.98	c ===============================================================================
91.06/91.11	c core #21
91.06/91.11	c Core size: 3187	Core Weight: 1	Total Weight: 21
91.06/91.11	c Elapsed CPU time: 90.7182 s	Remaining CPU time: 1709.28 s
91.16/91.21	c ============================[ Search Statistics ]==============================
91.16/91.21	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
91.16/91.21	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
91.16/91.21	c ===============================================================================
91.16/91.21	c |         0 |    8116    13677    47872 |     5000        0    nan |  0.000 % |
91.16/91.28	c |       101 |    8116    13677    47872 |     5500      101    150 |  0.000 % |
91.36/91.47	c |       251 |    8116    13677    47872 |     6050      251    168 |  0.000 % |
91.56/91.68	c |       483 |    8116    13677    47872 |     6655      483    165 |  0.000 % |
91.86/91.98	c |       820 |    8116    13677    47872 |     7320      820    164 |  0.000 % |
92.45/92.55	c |      1326 |    8116    13677    47872 |     8052     1326    145 |  0.000 % |
93.55/93.65	c |      2085 |    8116    13677    47872 |     8857     2085    136 |  0.000 % |
94.65/94.76	c |      3225 |    8116    13677    47872 |     9743     3225    148 |  0.000 % |
96.56/96.69	c |      4933 |    8116    13677    47872 |    10717     4933    174 |  0.000 % |
99.45/99.50	c |      7495 |    8116    13677    47872 |    11789     7495    180 |  0.000 % |
104.55/104.60	c |     11341 |    8116    13677    47872 |    12968    11341    183 |  0.000 % |
111.55/111.69	c |     17107 |    8116    13677    47872 |    14265    10172    203 |  0.000 % |
123.04/123.15	c |     25756 |    8116    13677    47872 |    15692    11610    222 |  0.000 % |
144.53/144.63	c |     38732 |    8116    13677    47872 |    17261     8390    279 |  0.000 % |
176.13/176.27	c |     58193 |    8116    13677    47872 |    18987     9761    228 |  0.000 % |
228.70/228.86	c |     87386 |    8116    13677    47872 |    20886    18797    276 |  0.000 % |
305.88/306.00	c |    131175 |    8116    13677    47872 |    22974    19828    262 |  0.000 % |
432.43/432.62	c |    196859 |    8116    13677    47872 |    25272    13953    256 |  0.000 % |
626.76/627.03	c |    295386 |    8116    13677    47872 |    27799    18768    286 |  0.000 % |
951.44/951.86	c |    443180 |    8116    13677    47872 |    30579    28313    302 |  0.000 % |
1456.87/1457.43	c |    664864 |    8116    13677    47872 |    33637    21056    312 |  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-1875291-1245193291/watcher-1875291-1245193291 -o /tmp/evaluation-result-1875291-1245193291/solver-1875291-1245193291 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875291-1245193291.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.98 0.99 3/65 2520
/proc/meminfo: memFree=1836704/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=3304 CPUtime=0
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 273 0 0 0 0 0 0 0 20 0 1 0 186927492 3383296 257 1992294400 134512640 135709839 4294956240 18446744073709551615 135187171 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 826 258 125 292 0 412 0

[startup+0.0578461 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 2520
/proc/meminfo: memFree=1836704/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=4640 CPUtime=0.05
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 685 0 0 0 5 0 0 0 20 0 1 0 186927492 4751360 654 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 1160 655 225 292 0 746 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4640

[startup+0.101853 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 2520
/proc/meminfo: memFree=1836704/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=6512 CPUtime=0.09
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 1411 0 0 0 9 0 0 0 18 0 1 0 186927492 6668288 1138 1992294400 134512640 135709839 4294956240 18446744073709551615 135163538 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 1628 1138 134 292 0 1333 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 6512

[startup+0.30189 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 2520
/proc/meminfo: memFree=1836704/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=8360 CPUtime=0.29
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 1874 0 0 0 29 0 0 0 18 0 1 0 186927492 8560640 1601 1992294400 134512640 135709839 4294956240 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 2090 1601 134 292 0 1795 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 8360

[startup+0.701964 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 2520
/proc/meminfo: memFree=1836704/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=10148 CPUtime=0.69
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 2347 0 0 0 68 1 0 0 23 0 1 0 186927492 10391552 2074 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 2537 2074 136 292 0 2242 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10148

[startup+1.50111 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 2521
/proc/meminfo: memFree=1827416/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=11720 CPUtime=1.49
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 2742 0 0 0 148 1 0 0 25 0 1 0 186927492 12001280 2469 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 2930 2469 136 292 0 2635 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11720

[startup+3.10241 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 2521
/proc/meminfo: memFree=1827288/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=12116 CPUtime=3.09
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 2850 0 0 0 308 1 0 0 25 0 1 0 186927492 12406784 2577 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 3029 2577 136 292 0 2734 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12116

[startup+6.30199 s]
/proc/loadavg: 1.07 1.00 1.00 2/66 2521
/proc/meminfo: memFree=1824344/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=15812 CPUtime=6.29
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 3783 0 0 0 626 3 0 0 25 0 1 0 186927492 16191488 3510 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 3953 3510 136 292 0 3658 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 15812

[startup+12.7012 s]
/proc/loadavg: 1.31 1.05 1.02 2/66 2521
/proc/meminfo: memFree=1817568/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=21240 CPUtime=12.69
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 5135 0 0 0 1263 6 0 0 25 0 1 0 186927492 21749760 4862 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 5310 4862 136 292 0 5015 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21240

[startup+25.5015 s]
/proc/loadavg: 1.26 1.05 1.02 2/66 2521
/proc/meminfo: memFree=1805864/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=33532 CPUtime=25.48
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 8183 0 0 0 2538 10 0 0 25 0 1 0 186927492 34336768 7910 1992294400 134512640 135709839 4294956240 18446744073709551615 134518157 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 8383 7910 136 292 0 8088 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 33532

[startup+51.1012 s]
/proc/loadavg: 1.17 1.04 1.01 2/66 2521
/proc/meminfo: memFree=1781288/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=58224 CPUtime=51.07
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 14362 0 0 0 5086 21 0 0 25 0 1 0 186927492 59621376 14089 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 14556 14089 136 292 0 14261 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 58224

[startup+102.302 s]
/proc/loadavg: 1.07 1.03 1.01 2/66 2521
/proc/meminfo: memFree=1739688/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=99052 CPUtime=102.25
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 24548 0 0 0 10184 41 0 0 25 0 1 0 186927492 101429248 24275 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 24763 24275 136 292 0 24468 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 99052

[startup+162.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/66 2521
/proc/meminfo: memFree=1709288/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=129220 CPUtime=162.23
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 32127 0 0 0 16161 62 0 0 25 0 1 0 186927492 132321280 31854 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 32305 31854 136 292 0 32010 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 129220

[startup+222.302 s]
/proc/loadavg: 1.01 1.02 1.00 2/66 2521
/proc/meminfo: memFree=1655528/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=183536 CPUtime=222.2
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 45669 0 0 0 22137 83 0 0 25 0 1 0 186927492 187940864 45396 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 45884 45396 136 292 0 45589 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 183536

[startup+282.306 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2521
/proc/meminfo: memFree=1601000/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=237492 CPUtime=282.19
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 59146 0 0 0 28111 108 0 0 25 0 1 0 186927492 243191808 58873 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 59373 58873 136 292 0 59078 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 237492

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 2521
/proc/meminfo: memFree=1549928/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=289012 CPUtime=342.16
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 72012 0 0 0 34084 132 0 0 25 0 1 0 186927492 295948288 71739 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 72253 71739 136 292 0 71958 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 289012

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=1500648/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=337712 CPUtime=402.15
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 84177 0 0 0 40062 153 0 0 25 0 1 0 186927492 345817088 83904 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 84428 83904 136 292 0 84133 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 337712

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=1453352/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=385464 CPUtime=462.12
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 96122 0 0 0 46037 175 0 0 25 0 1 0 186927492 394715136 95849 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 96366 95849 136 292 0 96071 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 385464

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=1401704/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=436728 CPUtime=522.1
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 108920 0 0 0 52016 194 0 0 25 0 1 0 186927492 447209472 108647 1992294400 134512640 135709839 4294956240 18446744073709551615 134577298 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 109182 108647 136 292 0 108887 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 436728

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=1347624/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=490984 CPUtime=582.08
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 122463 0 0 0 57992 216 0 0 25 0 1 0 186927492 502767616 122190 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 122746 122190 136 292 0 122451 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 490984

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=1297640/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=540404 CPUtime=642.06
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 134834 0 0 0 63966 240 0 0 25 0 1 0 186927492 553373696 134561 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 135101 134561 136 292 0 134806 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 540404

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=1115944/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=722156 CPUtime=881.97
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 180197 0 0 0 87874 323 0 0 25 0 1 0 186927492 739487744 179924 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 180539 179924 136 292 0 180244 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 722156

[startup+942.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=1075944/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=761824 CPUtime=941.95
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 190087 0 0 0 93856 339 0 0 25 0 1 0 186927492 780107776 189814 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 190456 189814 136 292 0 190161 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 761824

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=1032040/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=806260 CPUtime=1001.93
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 201169 0 0 0 99835 358 0 0 25 0 1 0 186927492 825610240 200896 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 201565 200896 136 292 0 201270 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 806260

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=985896/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=851960 CPUtime=1061.91
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 212575 0 0 0 105813 378 0 0 25 0 1 0 186927492 872407040 212302 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 212990 212302 136 292 0 212695 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 851960

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=940648/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=897676 CPUtime=1121.89
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 223988 0 0 0 111791 398 0 0 25 0 1 0 186927492 919220224 223715 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 224419 223715 136 292 0 224124 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 897676

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=902248/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=935576 CPUtime=1181.86
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 233472 0 0 0 117769 417 0 0 25 0 1 0 186927492 958029824 233199 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 233894 233199 136 292 0 233599 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 935576

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=854504/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=983556 CPUtime=1241.84
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 245440 0 0 0 123744 440 0 0 25 0 1 0 186927492 1007161344 245167 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 245889 245167 136 292 0 245594 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 983556

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=809128/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=1028640 CPUtime=1301.82
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 256692 0 0 0 129723 459 0 0 25 0 1 0 186927492 1053327360 256419 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 257160 256419 136 292 0 256865 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 1028640

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=767528/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=1070452 CPUtime=1361.8
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 267129 0 0 0 135700 480 0 0 25 0 1 0 186927492 1096142848 266856 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 267613 266856 136 292 0 267318 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 1070452

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=722664/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=1115088 CPUtime=1421.77
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 278287 0 0 0 141677 500 0 0 25 0 1 0 186927492 1141850112 278014 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 278772 278014 136 292 0 278477 0
Current children cumulated CPU time (s) 1421.77
Current children cumulated vsize (KiB) 1115088

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=675368/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=1161836 CPUtime=1481.76
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 289975 0 0 0 147653 523 0 0 25 0 1 0 186927492 1189720064 289702 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 290459 289702 136 292 0 290164 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 1161836

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=635752/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=1202016 CPUtime=1541.73
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 300003 0 0 0 153634 539 0 0 25 0 1 0 186927492 1230864384 299730 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 300504 299730 136 292 0 300209 0
Current children cumulated CPU time (s) 1541.73
Current children cumulated vsize (KiB) 1202016

[startup+1602.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=598440/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=1238684 CPUtime=1601.72
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 309165 0 0 0 159614 558 0 0 25 0 1 0 186927492 1268412416 308892 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 309671 308892 136 292 0 309376 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 1238684

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=555624/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=1281824 CPUtime=1661.69
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 319929 0 0 0 165592 577 0 0 25 0 1 0 186927492 1312587776 319656 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 320456 319656 136 292 0 320161 0
Current children cumulated CPU time (s) 1661.69
Current children cumulated vsize (KiB) 1281824

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=524008/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=1313172 CPUtime=1721.66
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 327748 0 0 0 171571 595 0 0 25 0 1 0 186927492 1344688128 327475 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 328293 327475 136 292 0 327998 0
Current children cumulated CPU time (s) 1721.66
Current children cumulated vsize (KiB) 1313172

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=483944/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=1353460 CPUtime=1781.65
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 337816 0 0 0 177551 614 0 0 25 0 1 0 186927492 1385943040 337543 1992294400 134512640 135709839 4294956240 18446744073709551615 134577690 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 338365 337543 136 292 0 338070 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (KiB) 1353460



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=470568/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=1366284 CPUtime=1800.05
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4194304 341035 0 0 0 179385 620 0 0 25 0 1 0 186927492 1399074816 340762 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 341571 340762 136 292 0 341276 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 1366284

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: 1.00 1.00 1.00 2/66 2521
/proc/meminfo: memFree=470568/2055924 swapFree=4179404/4192956
[pid=2520] ppid=2518 vsize=0 CPUtime=1800.15
/proc/2520/stat : 2520 (wbo) R 2518 2520 2422 0 -1 4195332 341035 0 0 0 179385 630 0 0 25 0 1 0 186927492 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/2520/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.15
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.9
CPU time (s): 1800.24
CPU user time (s): 1793.85
CPU system time (s): 6.39203
CPU usage (%): 99.9637
Max. virtual memory (cumulated for all children) (KiB): 1366284

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

runsolver used 2.02369 second user time and 4.19936 second system time

The end

Launcher Data 

Begin job on node83 at 2009-06-17 01:01:31
IDJOB=1875291
IDBENCH=48131
IDSOLVER=698
FILE ID=node83/1875291-1245193291
PBS_JOBID= 9368332
Free space on /tmp= 66508 MiB

SOLVER NAME= wbo 1.0
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_2.opb
COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME
CONVERSION SCRIPT= PBconversionToLinear BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875291-1245193291/watcher-1875291-1245193291 -o /tmp/evaluation-result-1875291-1245193291/solver-1875291-1245193291 -C 1800 -W 2000 -M 1800  wbo -file-format=opb -time-limit=1800 HOME/instance-1875291-1245193291.opb

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

MD5SUM BENCH= f7e9965e006e5669c3252afd9a68998d
RANDOM SEED=471804457

node83.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.265
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.265
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:      2055924 kB
MemFree:       1837632 kB
Buffers:         38924 kB
Cached:         109976 kB
SwapCached:       7704 kB
Active:          50680 kB
Inactive:       107424 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055924 kB
LowFree:       1837632 kB
SwapTotal:     4192956 kB
SwapFree:      4179404 kB
Dirty:            2468 kB
Writeback:           0 kB
Mapped:          14956 kB
Slab:            46072 kB
Committed_AS:    78084 kB
PageTables:       1392 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-1875291-1245193291.opb

Free space on /tmp at the end= 66504 MiB
End job on node83 at 2009-06-17 01:31:34