Trace number 1875273

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

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_25_3.opb
MD5SUM0f5da0a781de7969842ad5c8dd7a6f1b
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark41
Best CPU time to get the best result obtained on this benchmark1800.48
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 35
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 constraint26
Maximum length of a constraint50
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)15722
Sum of products size (including duplicates)31444
Number of different products15722
Sum of products size31444

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-1875273-1245190861.opb.
0.00/0.00	c Instance file HOME/instance-1875273-1245190861.opb
0.00/0.00	c File size is 1207283 bytes.
0.09/0.16	c Highest Coefficient sum: 51
0.09/0.16	c ============================[ Problem Statistics ]=============================
0.09/0.16	c |                                                                             |
0.09/0.16	c |  Parsing time:          0.16         s                                      |
0.09/0.16	c |  Number Variables:      16222                                               |
0.09/0.16	c |  Number Clauses:        16722                                               |
0.09/0.16	c |  Number Cardinality:    0                                                   |
0.09/0.16	c |  Number PB Constraints: 15722                                               |
0.09/0.16	c core #1
0.09/0.16	c Core size: 52	Core Weight: 1	Total Weight: 1
0.09/0.16	c Elapsed CPU time: 0.156976 s	Remaining CPU time: 1799.84 s
0.09/0.19	c core #2
0.09/0.19	c Core size: 52	Core Weight: 1	Total Weight: 2
0.09/0.19	c Elapsed CPU time: 0.19197 s	Remaining CPU time: 1799.81 s
0.19/0.23	c core #3
0.19/0.23	c Core size: 52	Core Weight: 1	Total Weight: 3
0.19/0.23	c Elapsed CPU time: 0.227965 s	Remaining CPU time: 1799.77 s
0.19/0.27	c core #4
0.19/0.27	c Core size: 52	Core Weight: 1	Total Weight: 4
0.19/0.27	c Elapsed CPU time: 0.267959 s	Remaining CPU time: 1799.73 s
0.29/0.32	c core #5
0.29/0.32	c Core size: 54	Core Weight: 1	Total Weight: 5
0.29/0.32	c Elapsed CPU time: 0.311952 s	Remaining CPU time: 1799.69 s
0.29/0.38	c core #6
0.29/0.38	c Core size: 106	Core Weight: 1	Total Weight: 6
0.29/0.38	c Elapsed CPU time: 0.373943 s	Remaining CPU time: 1799.63 s
0.39/0.45	c ============================[ Search Statistics ]==============================
0.39/0.45	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.39/0.45	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.39/0.45	c ===============================================================================
0.39/0.45	c |         0 |    6085    32450    81100 |    10816        0    nan |  0.000 % |
0.49/0.52	c ===============================================================================
0.49/0.52	c core #7
0.49/0.52	c Core size: 736	Core Weight: 1	Total Weight: 7
0.49/0.52	c Elapsed CPU time: 0.503923 s	Remaining CPU time: 1799.5 s
0.49/0.58	c ============================[ Search Statistics ]==============================
0.49/0.58	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.58	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.58	c ===============================================================================
0.49/0.58	c |         0 |   12525    32451    99763 |    10817        0    nan |  0.000 % |
0.59/0.69	c |       101 |   12525    32451    99763 |    11898      101    191 | 24.955 % |
0.89/0.98	c |       252 |   12525    32451    99763 |    13088      252    212 | 24.955 % |
1.39/1.43	c |       477 |   12525    32451    99763 |    14397      477    280 | 24.955 % |
2.19/2.24	c |       815 |   12525    32451    99763 |    15837      815    351 | 24.955 % |
3.59/3.67	c |      1321 |   12525    32451    99763 |    17420     1321    322 | 24.955 % |
5.39/5.45	c |      2080 |   12525    32451    99763 |    19162     2080    370 | 24.955 % |
8.69/8.71	c |      3219 |   12525    32451    99763 |    21079     3219    404 | 24.955 % |
13.19/13.25	c |      4927 |   12525    32451    99763 |    23187     4927    440 | 24.955 % |
17.39/17.43	c ===============================================================================
17.49/17.54	c core #8
17.49/17.54	c Core size: 2912	Core Weight: 1	Total Weight: 8
17.49/17.54	c Elapsed CPU time: 17.4673 s	Remaining CPU time: 1782.53 s
17.59/17.62	c ============================[ Search Statistics ]==============================
17.59/17.62	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
17.59/17.62	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
17.59/17.62	c ===============================================================================
17.59/17.62	c |         0 |   17153    32452   112890 |    10817        0    nan |  0.000 % |
17.68/17.78	c |       100 |   17153    32452   112890 |    11899      100    228 |  0.163 % |
18.28/18.32	c |       250 |   17153    32452   112890 |    13088      250    195 |  0.163 % |
18.88/18.98	c |       476 |   17153    32452   112890 |    14397      476    192 |  0.163 % |
19.89/19.90	c |       814 |   17153    32452   112890 |    15837      814    180 |  0.163 % |
21.99/22.04	c |      1321 |   17153    32452   112890 |    17421     1321    199 |  0.163 % |
25.28/25.32	c |      2082 |   17153    32452   112890 |    19163     2082    220 |  0.163 % |
29.68/29.80	c |      3221 |   17153    32452   112890 |    21079     3221    220 |  0.163 % |
35.18/35.20	c |      4929 |   17153    32452   112890 |    23187     4929    224 |  0.163 % |
44.87/44.90	c |      7497 |   17153    32452   112890 |    25506     7497    232 |  0.163 % |
60.68/60.77	c |     11342 |   17153    32452   112890 |    28057    11342    217 |  0.163 % |
84.26/84.37	c |     17112 |   17153    32452   112890 |    30863    17112    221 |  0.163 % |
118.46/118.58	c |     25761 |   17153    32452   112890 |    33949    25761    236 |  0.163 % |
186.74/186.82	c |     38735 |   17153    32452   112890 |    37344    16907    230 |  0.163 % |
283.62/283.79	c |     58198 |   17153    32452   112890 |    41078    36370    231 |  0.163 % |
435.56/435.72	c |     87394 |   17153    32452   112890 |    45186    36416    229 |  0.163 % |
658.21/658.42	c |    131184 |   17153    32452   112890 |    49705    15637    278 |  0.163 % |
957.03/957.36	c ===============================================================================
961.72/962.05	c core #9
961.72/962.05	c Core size: 4495	Core Weight: 1	Total Weight: 9
961.72/962.05	c Elapsed CPU time: 959.967 s	Remaining CPU time: 840.033 s
962.02/962.32	c Learning 1 hard constraints
962.02/962.32	c ============================[ Search Statistics ]==============================
962.02/962.32	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
962.02/962.32	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
962.02/962.32	c ===============================================================================
962.02/962.32	c |         0 |   17649    32454   113912 |    10818        0    nan |  0.000 % |
962.12/962.50	c |       101 |   17649    32454   113912 |    11899      101    278 |  0.158 % |
962.73/963.08	c |       251 |   17649    32454   113912 |    13089      251    156 |  0.158 % |
963.93/964.24	c |       478 |   17649    32454   113912 |    14398      478    250 |  0.158 % |
964.92/965.29	c |       819 |   17649    32454   113912 |    15838      819    233 |  0.158 % |
966.22/966.55	c |      1326 |   17649    32454   113912 |    17422     1326    230 |  0.158 % |
968.42/968.74	c |      2085 |   17649    32454   113912 |    19164     2085    212 |  0.158 % |
972.82/973.13	c |      3226 |   17649    32454   113912 |    21081     3226    207 |  0.158 % |
977.32/977.68	c |      4934 |   17649    32454   113912 |    23189     4934    236 |  0.158 % |
984.12/984.47	c |      7496 |   17649    32454   113912 |    25508     7496    283 |  0.158 % |
1000.02/1000.39	c |     11340 |   17649    32454   113912 |    28059    11340    397 |  0.158 % |
1022.90/1023.21	c |     17108 |   17649    32454   113912 |    30865    17108    442 |  0.158 % |
1042.20/1042.55	c |     25758 |   17649    32454   113912 |    33951    25758    412 |  0.158 % |
1074.59/1074.92	c |     38732 |   17649    32454   113912 |    37346    15606    307 |  0.158 % |
1142.07/1142.46	c |     58198 |   17649    32454   113912 |    41081    35072    355 |  0.158 % |
1242.04/1242.49	c |     87390 |   17649    32454   113912 |    45189    33785    398 |  0.158 % |
1464.19/1464.68	c |    131184 |   17649    32454   113912 |    49708    44899    518 |  0.158 % |
1734.41/1734.95	c |    196890 |   17649    32454   113912 |    54679    37073    470 |  0.158 % |

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 4829
/proc/meminfo: memFree=1855600/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=4064 CPUtime=0
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 274 0 0 0 0 0 0 0 20 0 1 0 186684806 4161536 258 1992294400 134512640 135709839 4294956240 18446744073709551615 134570339 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 1016 258 125 292 0 426 0

[startup+0.04857 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 4829
/proc/meminfo: memFree=1855600/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=6268 CPUtime=0.04
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 860 0 0 0 4 0 0 0 20 0 1 0 186684806 6418432 844 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 1567 844 198 292 0 977 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6268

[startup+0.101575 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 4829
/proc/meminfo: memFree=1855600/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=7072 CPUtime=0.09
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 1149 0 0 0 9 0 0 0 20 0 1 0 186684806 7241728 1133 1992294400 134512640 135709839 4294956240 18446744073709551615 135168492 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 1768 1133 302 292 0 1178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 7072

[startup+0.301595 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 4829
/proc/meminfo: memFree=1855600/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=12456 CPUtime=0.29
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 3406 0 0 0 28 1 0 0 22 0 1 0 186684806 12754944 2583 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 3114 2583 134 292 0 2819 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12456

[startup+0.701636 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 4829
/proc/meminfo: memFree=1855600/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=16520 CPUtime=0.69
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 4424 0 0 0 68 1 0 0 25 0 1 0 186684806 16916480 3601 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 4130 3601 136 292 0 3835 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16520

[startup+1.50172 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1841576/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=16520 CPUtime=1.49
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 4424 0 0 0 148 1 0 0 25 0 1 0 186684806 16916480 3601 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 4130 3601 136 292 0 3835 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16520

[startup+3.10188 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1841384/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=16652 CPUtime=3.09
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 4511 0 0 0 308 1 0 0 25 0 1 0 186684806 17051648 3688 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 4163 3688 136 292 0 3868 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16652

[startup+6.3012 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1839152/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=19556 CPUtime=6.29
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 5252 0 0 0 627 2 0 0 25 0 1 0 186684806 20025344 4429 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 4889 4429 136 292 0 4594 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19556

[startup+12.7018 s]
/proc/loadavg: 0.94 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1833088/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=25496 CPUtime=12.68
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 6719 0 0 0 1263 5 0 0 25 0 1 0 186684806 26107904 5896 1992294400 134512640 135709839 4294956240 18446744073709551615 134518386 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 6374 5896 136 292 0 6079 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 25496

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1826624/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=31356 CPUtime=25.48
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 8148 0 0 0 2540 8 0 0 25 0 1 0 186684806 32108544 7325 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 7839 7325 136 292 0 7544 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31356

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1820992/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=36900 CPUtime=51.08
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 9580 0 0 0 5093 15 0 0 25 0 1 0 186684806 37785600 8757 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 9225 8757 136 292 0 8930 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 36900

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1803008/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=54772 CPUtime=102.26
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 14030 0 0 0 10199 27 0 0 25 0 1 0 186684806 56086528 13207 1992294400 134512640 135709839 4294956240 18446744073709551615 134587923 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 13693 13207 136 292 0 13398 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 54772

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1784640/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=73288 CPUtime=162.24
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 18647 0 0 0 16187 37 0 0 25 0 1 0 186684806 75046912 17824 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 18322 17824 136 292 0 18027 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 73288

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1768896/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=88736 CPUtime=222.23
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 22528 0 0 0 22175 48 0 0 25 0 1 0 186684806 90865664 21705 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 22184 21705 136 292 0 21889 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 88736

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1751616/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=106060 CPUtime=282.22
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 26859 0 0 0 28162 60 0 0 25 0 1 0 186684806 108605440 26036 1992294400 134512640 135709839 4294956240 18446744073709551615 134573697 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 26515 26036 136 292 0 26220 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 106060

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1734528/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=123008 CPUtime=342.19
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 31080 0 0 0 34150 69 0 0 25 0 1 0 186684806 125960192 30257 1992294400 134512640 135709839 4294956240 18446744073709551615 134518368 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 30752 30257 136 292 0 30457 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 123008

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1718272/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=139600 CPUtime=402.18
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 35182 0 0 0 40139 79 0 0 25 0 1 0 186684806 142950400 34359 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 34900 34359 136 292 0 34605 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 139600

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1701504/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=156316 CPUtime=462.16
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 39331 0 0 0 46128 88 0 0 25 0 1 0 186684806 160067584 38508 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 39079 38508 136 292 0 38784 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 156316

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1685056/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=172744 CPUtime=522.15
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 43455 0 0 0 52116 99 0 0 25 0 1 0 186684806 176889856 42632 1992294400 134512640 135709839 4294956240 18446744073709551615 134572583 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 43186 42632 136 292 0 42891 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 172744

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1667584/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=190212 CPUtime=582.12
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 47804 0 0 0 58101 111 0 0 25 0 1 0 186684806 194777088 46981 1992294400 134512640 135709839 4294956240 18446744073709551615 134518383 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 47553 46981 136 292 0 47258 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 190212

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1644992/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=212716 CPUtime=642.11
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 53384 0 0 0 64090 121 0 0 25 0 1 0 186684806 217821184 52561 1992294400 134512640 135709839 4294956240 18446744073709551615 134572568 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 53179 52561 136 292 0 52884 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 212716

[startup+702.301 s]

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

[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1563712/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=294080 CPUtime=882.04
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 73684 0 0 0 88039 165 0 0 25 0 1 0 186684806 301137920 72861 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 73520 72861 136 292 0 73225 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 294080

[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1537088/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=320732 CPUtime=942.03
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 80339 0 0 0 94026 177 0 0 25 0 1 0 186684806 328429568 79516 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 80183 79516 136 292 0 79888 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 320732

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1522240/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=335372 CPUtime=1002.01
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 83970 0 0 0 100012 189 0 0 25 0 1 0 186684806 343420928 83147 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 83843 83147 136 292 0 83548 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 335372

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1522176/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=335372 CPUtime=1062
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 83975 0 0 0 105998 202 0 0 25 0 1 0 186684806 343420928 83152 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 83843 83152 136 292 0 83548 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 335372

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1521280/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=335372 CPUtime=1121.98
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 84185 0 0 0 111985 213 0 0 25 0 1 0 186684806 343420928 83362 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 83843 83362 136 292 0 83548 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 335372

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1500352/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=356912 CPUtime=1181.97
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 89546 0 0 0 117972 225 0 0 25 0 1 0 186684806 365477888 88723 1992294400 134512640 135709839 4294956240 18446744073709551615 134577710 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 89228 88723 136 292 0 88933 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 356912

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 4830
/proc/meminfo: memFree=1467712/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=389032 CPUtime=1241.94
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 97583 0 0 0 123958 236 0 0 25 0 1 0 186684806 398368768 96760 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 97258 96760 136 292 0 96963 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 389032

[startup+1302.3 s]
/proc/loadavg: 1.12 1.02 1.00 2/66 4830
/proc/meminfo: memFree=1441280/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=415232 CPUtime=1301.94
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 104106 0 0 0 129945 249 0 0 25 0 1 0 186684806 425197568 103283 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 103808 103283 136 292 0 103513 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 415232

[startup+1362.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/66 4830
/proc/meminfo: memFree=1412288/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=444464 CPUtime=1361.91
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 111398 0 0 0 135930 261 0 0 25 0 1 0 186684806 455131136 110575 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 111116 110575 136 292 0 110821 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 444464

[startup+1422.31 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 4830
/proc/meminfo: memFree=1380992/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=475420 CPUtime=1421.9
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 119138 0 0 0 141917 273 0 0 25 0 1 0 186684806 486830080 118315 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 118855 118315 136 292 0 118560 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 475420

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4830
/proc/meminfo: memFree=1349632/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=507240 CPUtime=1481.88
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 127083 0 0 0 147901 287 0 0 25 0 1 0 186684806 519413760 126260 1992294400 134512640 135709839 4294956240 18446744073709551615 134574202 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 126810 126260 136 292 0 126515 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 507240

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4830
/proc/meminfo: memFree=1312192/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=544252 CPUtime=1541.87
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 136317 0 0 0 153885 302 0 0 25 0 1 0 186684806 557314048 135494 1992294400 134512640 135709839 4294956240 18446744073709551615 134572382 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 136063 135494 136 292 0 135768 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 544252

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4830
/proc/meminfo: memFree=1282816/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=573940 CPUtime=1601.84
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 143754 0 0 0 159870 314 0 0 25 0 1 0 186684806 587714560 142931 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 143485 142931 136 292 0 143190 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 573940

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4830
/proc/meminfo: memFree=1245952/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=610448 CPUtime=1661.83
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 152854 0 0 0 165855 328 0 0 25 0 1 0 186684806 625098752 152031 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 152612 152031 136 292 0 152317 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 610448

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4830
/proc/meminfo: memFree=1206336/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=650476 CPUtime=1721.81
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 162855 0 0 0 171835 346 0 0 25 0 1 0 186684806 666087424 162032 1992294400 134512640 135709839 4294956240 18446744073709551615 134572758 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 162619 162032 136 292 0 162324 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 650476

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4830
/proc/meminfo: memFree=1164736/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=691468 CPUtime=1781.79
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 173110 0 0 0 177818 361 0 0 25 0 1 0 186684806 708063232 172287 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 172867 172287 136 292 0 172572 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 691468



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4830
/proc/meminfo: memFree=1154368/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=701632 CPUtime=1800.09
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4194304 175647 0 0 0 179645 364 0 0 25 0 1 0 186684806 718471168 174824 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 175408 174824 136 292 0 175113 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 701632

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 4830
/proc/meminfo: memFree=1154368/2055920 swapFree=4169920/4192956
[pid=4829] ppid=4827 vsize=0 CPUtime=1800.19
/proc/4829/stat : 4829 (wbo) R 4827 4829 4784 0 -1 4195332 175647 0 0 0 179645 374 0 0 25 0 1 0 186684806 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0
/proc/4829/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.71
CPU time (s): 1800.21
CPU user time (s): 1796.46
CPU system time (s): 3.75043
CPU usage (%): 99.9721
Max. virtual memory (cumulated for all children) (KiB): 701632

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.46
system time used= 3.75043
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175647
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 2197

runsolver used 2.00569 second user time and 4.54831 second system time

The end

Launcher Data 

Begin job on node84 at 2009-06-17 00:21:01
IDJOB=1875273
IDBENCH=48113
IDSOLVER=698
FILE ID=node84/1875273-1245190861
PBS_JOBID= 9368323
Free space on /tmp= 66524 MiB

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

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

MD5SUM BENCH= 0f5da0a781de7969842ad5c8dd7a6f1b
RANDOM SEED=486867054

node84.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.222
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.222
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:       1857104 kB
Buffers:         35588 kB
Cached:          85424 kB
SwapCached:      17164 kB
Active:          47684 kB
Inactive:        92764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1857104 kB
SwapTotal:     4192956 kB
SwapFree:      4169920 kB
Dirty:            2768 kB
Writeback:           0 kB
Mapped:          25140 kB
Slab:            44284 kB
Committed_AS:    98032 kB
PageTables:       1396 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-1875273-1245190861.opb

Free space on /tmp at the end= 66520 MiB
End job on node84 at 2009-06-17 00:51:05