Trace number 1875281

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.17 1800.7

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_5.opb
MD5SUMe079962149860142627e0ca6e79ba5d1
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1798.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
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 constraint61
Maximum length of a constraint112
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)37500
Sum of products size (including duplicates)75000
Number of different products37500
Sum of products size75000

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-1875281-1245191849.opb.
0.00/0.00	c Instance file HOME/instance-1875281-1245191849.opb
0.00/0.00	c File size is 2905465 bytes.
0.29/0.40	c Highest Coefficient sum: 113
0.39/0.40	c ============================[ Problem Statistics ]=============================
0.39/0.40	c |                                                                             |
0.39/0.40	c |  Parsing time:          0.39         s                                      |
0.39/0.40	c |  Number Variables:      38000                                               |
0.39/0.40	c |  Number Clauses:        38500                                               |
0.39/0.40	c |  Number Cardinality:    0                                                   |
0.39/0.40	c |  Number PB Constraints: 37500                                               |
0.39/0.40	c core #1
0.39/0.40	c Core size: 122	Core Weight: 1	Total Weight: 1
0.39/0.40	c Elapsed CPU time: 0.38894 s	Remaining CPU time: 1799.61 s
0.49/0.52	c ============================[ Search Statistics ]==============================
0.49/0.52	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.49/0.52	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.49/0.52	c ===============================================================================
0.49/0.52	c |         0 |    4592    76001   164093 |    25333        0    nan |  0.000 % |
0.49/0.53	c ===============================================================================
0.49/0.53	c core #2
0.49/0.53	c Core size: 409	Core Weight: 1	Total Weight: 2
0.49/0.53	c Elapsed CPU time: 0.504923 s	Remaining CPU time: 1799.5 s
0.59/0.67	c ============================[ Search Statistics ]==============================
0.59/0.67	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.67	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.67	c ===============================================================================
0.59/0.67	c |         0 |   18561    76002   205450 |    25334        0    nan |  0.000 % |
0.79/0.89	c |       102 |   18561    76002   205450 |    27867      102    296 | 51.478 % |
1.49/1.57	c |       252 |   18561    76002   205450 |    30654      252    386 | 51.478 % |
3.09/3.18	c ===============================================================================
3.09/3.19	c core #3
3.09/3.19	c Core size: 2285	Core Weight: 1	Total Weight: 3
3.09/3.19	c Elapsed CPU time: 3.14852 s	Remaining CPU time: 1796.85 s
3.30/3.35	c ============================[ Search Statistics ]==============================
3.30/3.35	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
3.30/3.35	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
3.30/3.35	c ===============================================================================
3.30/3.35	c |         0 |   37994    76003   262767 |    25334        0    nan |  0.000 % |
3.59/3.64	c |       101 |   37994    76003   262767 |    27867      101    629 |  1.918 % |
4.19/4.22	c |       251 |   37994    76003   262767 |    30654      251    616 |  1.918 % |
5.99/6.07	c |       477 |   37994    76003   262767 |    33719      477    667 |  1.918 % |
8.98/9.00	c |       817 |   37994    76003   262767 |    37091      817    632 |  1.918 % |
13.89/13.90	c |      1325 |   37994    76003   262767 |    40801     1325    550 |  1.918 % |
22.38/22.47	c |      2084 |   37994    76003   262767 |    44881     2084    492 |  1.918 % |
33.38/33.41	c |      3225 |   37994    76003   262767 |    49369     3225    533 |  1.918 % |
50.17/50.23	c |      4937 |   37994    76003   262767 |    54306     4937    706 |  1.918 % |
80.27/80.39	c |      7500 |   37994    76003   262767 |    59737     7500    749 |  1.918 % |
126.75/126.88	c |     11345 |   37994    76003   262767 |    65710    11345    791 |  1.918 % |
210.03/210.13	c |     17111 |   37994    76003   262767 |    72281    17111    710 |  1.918 % |
306.30/306.49	c |     25762 |   37994    76003   262767 |    79509    25762    844 |  1.918 % |
480.35/480.59	c |     38737 |   37994    76003   262767 |    87460    38737   1095 |  1.918 % |
766.96/767.21	c |     58200 |   37994    76003   262767 |    96207    58200   1275 |  1.918 % |
1242.53/1242.90	c ===============================================================================
1247.62/1248.04	c core #4
1247.62/1248.04	c Core size: 36929	Core Weight: 1	Total Weight: 4
1247.62/1248.04	c Elapsed CPU time: 1246.23 s	Remaining CPU time: 553.766 s
1247.93/1248.34	c Learning 2 hard constraints
1247.93/1248.34	c ============================[ Search Statistics ]==============================
1247.93/1248.34	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1247.93/1248.34	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1247.93/1248.34	c ===============================================================================
1247.93/1248.34	c |         0 |   39237    76006   265980 |    25335        0    nan |  0.000 % |
1248.32/1248.71	c |       100 |   39237    76006   265980 |    27868      100    771 |  0.000 % |
1248.82/1249.23	c |       250 |   39237    76006   265980 |    30655      250    607 |  0.000 % |
1250.42/1250.82	c |       476 |   39237    76006   265980 |    33721      476    430 |  0.000 % |
1253.53/1253.94	c |       813 |   39237    76006   265980 |    37093      813    433 |  0.000 % |
1257.32/1257.70	c |      1321 |   39237    76006   265980 |    40802     1321    585 |  0.000 % |
1261.91/1262.38	c |      2081 |   39237    76006   265980 |    44883     2081    620 |  0.000 % |
1272.51/1272.90	c |      3222 |   39237    76006   265980 |    49371     3222    571 |  0.000 % |
1285.41/1285.85	c |      4930 |   39237    76006   265980 |    54308     4930    533 |  0.000 % |
1304.51/1304.96	c |      7493 |   39237    76006   265980 |    59739     7493    560 |  0.000 % |
1339.19/1339.63	c |     11341 |   39237    76006   265980 |    65713    11341    555 |  0.000 % |
1386.18/1386.68	c |     17108 |   39237    76006   265980 |    72284    17108    530 |  0.000 % |
1445.26/1445.72	c |     25757 |   39237    76006   265980 |    79513    25757    526 |  0.000 % |
1554.53/1555.05	c |     38733 |   39237    76006   265980 |    87464    38733    736 |  0.000 % |
1741.78/1742.38	c |     58194 |   39237    76006   265980 |    96210    58194    867 |  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-1875281-1245191849/watcher-1875281-1245191849 -o /tmp/evaluation-result-1875281-1245191849/solver-1875281-1245191849 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875281-1245191849.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.97 3/65 8907
/proc/meminfo: memFree=1855000/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=5728 CPUtime=0
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 274 0 0 0 0 0 0 0 20 0 1 0 186783488 5865472 258 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 1432 259 125 292 0 427 0

[startup+0.0615809 s]
/proc/loadavg: 0.99 0.97 0.97 3/65 8907
/proc/meminfo: memFree=1855000/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=10680 CPUtime=0.05
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 1434 0 0 0 5 0 0 0 20 0 1 0 186783488 10936320 1366 1992294400 134512640 135709839 4294956240 18446744073709551615 134570700 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 2670 1366 201 292 0 1665 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10680

[startup+0.101584 s]
/proc/loadavg: 0.99 0.97 0.97 3/65 8907
/proc/meminfo: memFree=1855000/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=11364 CPUtime=0.09
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 1751 0 0 0 9 0 0 0 20 0 1 0 186783488 11636736 1683 1992294400 134512640 135709839 4294956240 18446744073709551615 134540467 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 2841 1683 277 292 0 1836 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11364

[startup+0.301607 s]
/proc/loadavg: 0.99 0.97 0.97 3/65 8907
/proc/meminfo: memFree=1855000/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=13852 CPUtime=0.29
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 2751 0 0 0 29 0 0 0 22 0 1 0 186783488 14184448 2683 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 3463 2684 643 292 0 2458 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13852

[startup+0.701653 s]
/proc/loadavg: 0.99 0.97 0.97 3/65 8907
/proc/meminfo: memFree=1855000/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=26176 CPUtime=0.69
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 8076 0 0 0 66 3 0 0 25 0 1 0 186783488 26804224 5893 1992294400 134512640 135709839 4294956240 18446744073709551615 134572396 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 6544 5893 135 292 0 6249 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26176

[startup+1.50174 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1831888/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=26176 CPUtime=1.49
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 8079 0 0 0 146 3 0 0 25 0 1 0 186783488 26804224 5896 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 6544 5896 136 292 0 6249 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26176

[startup+3.10193 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1831568/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=26176 CPUtime=3.09
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 8079 0 0 0 305 4 0 0 25 0 1 0 186783488 26804224 5896 1992294400 134512640 135709839 4294956240 18446744073709551615 134587994 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 6544 5896 136 292 0 6249 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 26176

[startup+6.30129 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1826896/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=30600 CPUtime=6.29
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 9660 0 0 0 624 5 0 0 25 0 1 0 186783488 31334400 7027 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 7650 7027 136 292 0 7355 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 30600

[startup+12.702 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1826832/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=30732 CPUtime=12.68
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 9690 0 0 0 1263 5 0 0 25 0 1 0 186783488 31469568 7057 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 7683 7057 136 292 0 7388 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30732

[startup+25.5015 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1824464/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=33240 CPUtime=25.49
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 10315 0 0 0 2541 8 0 0 25 0 1 0 186783488 34037760 7682 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 8310 7682 136 292 0 8015 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 33240

[startup+51.1014 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1814160/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=43896 CPUtime=51.07
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 12977 0 0 0 5095 12 0 0 25 0 1 0 186783488 44949504 10344 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 10974 10344 136 292 0 10679 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43896

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1796304/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=61332 CPUtime=102.26
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 17345 0 0 0 10207 19 0 0 25 0 1 0 186783488 62803968 14712 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 15333 14712 136 292 0 15038 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 61332

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1778384/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=79324 CPUtime=162.24
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 21828 0 0 0 16198 26 0 0 25 0 1 0 186783488 81227776 19195 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 19831 19195 136 292 0 19536 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 79324

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1763344/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=94316 CPUtime=222.23
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 25569 0 0 0 22192 31 0 0 25 0 1 0 186783488 96579584 22936 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 23579 22936 136 292 0 23284 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 94316

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1740496/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=117352 CPUtime=282.21
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 31353 0 0 0 28182 39 0 0 25 0 1 0 186783488 120168448 28720 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 29338 28720 136 292 0 29043 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 117352

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1701008/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=156720 CPUtime=342.19
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 41160 0 0 0 34171 48 0 0 25 0 1 0 186783488 160481280 38527 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 39180 38527 136 292 0 38885 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 156720

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1666896/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=190468 CPUtime=402.17
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 49617 0 0 0 40162 55 0 0 25 0 1 0 186783488 195039232 46984 1992294400 134512640 135709839 4294956240 18446744073709551615 134572707 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 47617 46984 136 292 0 47322 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 190468

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1637008/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=220372 CPUtime=462.15
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 57076 0 0 0 46153 62 0 0 25 0 1 0 186783488 225660928 54443 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 55093 54443 136 292 0 54798 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 220372

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1602192/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=255604 CPUtime=522.14
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 65870 0 0 0 52145 69 0 0 25 0 1 0 186783488 261738496 63237 1992294400 134512640 135709839 4294956240 18446744073709551615 134573969 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 63901 63237 136 292 0 63606 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 255604

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1556944/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=300356 CPUtime=582.12
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 77059 0 0 0 58134 78 0 0 25 0 1 0 186783488 307564544 74426 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 75089 74426 136 292 0 74794 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 300356

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1534032/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=322984 CPUtime=642.1
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 82714 0 0 0 64127 83 0 0 25 0 1 0 186783488 330735616 80081 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 80746 80081 136 292 0 80451 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 322984

[startup+702.302 s]

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

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1440784/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=416432 CPUtime=822.05
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 106038 0 0 0 82100 105 0 0 25 0 1 0 186783488 426426368 103405 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 104108 103405 136 292 0 103813 0
Current children cumulated CPU time (s) 822.05
Current children cumulated vsize (KiB) 416432

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8908
/proc/meminfo: memFree=1410192/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=446892 CPUtime=882.03
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 113624 0 0 0 88092 111 0 0 25 0 1 0 186783488 457617408 110991 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 111723 110991 136 292 0 111428 0
Current children cumulated CPU time (s) 882.03
Current children cumulated vsize (KiB) 446892

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8910
/proc/meminfo: memFree=1377936/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=479168 CPUtime=942.01
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 121717 0 0 0 94084 117 0 0 25 0 1 0 186783488 490668032 119084 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 119792 119084 136 292 0 119497 0
Current children cumulated CPU time (s) 942.01
Current children cumulated vsize (KiB) 479168

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8910
/proc/meminfo: memFree=1350608/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=506332 CPUtime=1002
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 128474 0 0 0 100076 124 0 0 25 0 1 0 186783488 518483968 125841 1992294400 134512640 135709839 4294956240 18446744073709551615 134517504 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 126583 125841 136 292 0 126288 0
Current children cumulated CPU time (s) 1002
Current children cumulated vsize (KiB) 506332

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8910
/proc/meminfo: memFree=1330640/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=526600 CPUtime=1061.97
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 133521 0 0 0 106068 129 0 0 25 0 1 0 186783488 539238400 130888 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 131650 130888 136 292 0 131355 0
Current children cumulated CPU time (s) 1061.97
Current children cumulated vsize (KiB) 526600

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8910
/proc/meminfo: memFree=1307728/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=549292 CPUtime=1121.96
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 139193 0 0 0 112062 134 0 0 25 0 1 0 186783488 562475008 136560 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 137323 136560 136 292 0 137028 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 549292

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8910
/proc/meminfo: memFree=1293264/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=563892 CPUtime=1181.94
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 142814 0 0 0 118056 138 0 0 25 0 1 0 186783488 577425408 140181 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 140973 140181 136 292 0 140678 0
Current children cumulated CPU time (s) 1181.94
Current children cumulated vsize (KiB) 563892

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8910
/proc/meminfo: memFree=1274512/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=582392 CPUtime=1241.92
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 147445 0 0 0 124049 143 0 0 25 0 1 0 186783488 596369408 144812 1992294400 134512640 135709839 4294956240 18446744073709551615 134574093 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 145598 144812 136 292 0 145303 0
Current children cumulated CPU time (s) 1241.92
Current children cumulated vsize (KiB) 582392

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8910
/proc/meminfo: memFree=1262864/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=593880 CPUtime=1301.92
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 150757 0 0 0 130042 150 0 0 25 0 1 0 186783488 608133120 147670 1992294400 134512640 135709839 4294956240 18446744073709551615 134581493 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 148470 147670 136 292 0 148175 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 593880

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8910
/proc/meminfo: memFree=1262864/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=593880 CPUtime=1361.89
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 150757 0 0 0 136036 153 0 0 25 0 1 0 186783488 608133120 147670 1992294400 134512640 135709839 4294956240 18446744073709551615 134572744 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 148470 147670 136 292 0 148175 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 593880

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8916
/proc/meminfo: memFree=1262800/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=593880 CPUtime=1421.87
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 150757 0 0 0 142029 158 0 0 25 0 1 0 186783488 608133120 147670 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 148470 147670 136 292 0 148175 0
Current children cumulated CPU time (s) 1421.87
Current children cumulated vsize (KiB) 593880

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8916
/proc/meminfo: memFree=1262800/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=593880 CPUtime=1481.85
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 150757 0 0 0 148020 165 0 0 25 0 1 0 186783488 608133120 147670 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 148470 147670 136 292 0 148175 0
Current children cumulated CPU time (s) 1481.85
Current children cumulated vsize (KiB) 593880

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8916
/proc/meminfo: memFree=1262544/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=593880 CPUtime=1541.83
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 150852 0 0 0 154013 170 0 0 25 0 1 0 186783488 608133120 147765 1992294400 134512640 135709839 4294956240 18446744073709551615 134573964 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 148470 147765 136 292 0 148175 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 593880

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8916
/proc/meminfo: memFree=1262416/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=593880 CPUtime=1601.81
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 150873 0 0 0 160007 174 0 0 25 0 1 0 186783488 608133120 147786 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 148470 147786 136 292 0 148175 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 593880

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8916
/proc/meminfo: memFree=1262160/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=593880 CPUtime=1661.8
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 150920 0 0 0 166003 177 0 0 25 0 1 0 186783488 608133120 147833 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 148470 147833 136 292 0 148175 0
Current children cumulated CPU time (s) 1661.8
Current children cumulated vsize (KiB) 593880

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8916
/proc/meminfo: memFree=1262096/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=593880 CPUtime=1721.78
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 150933 0 0 0 171997 181 0 0 25 0 1 0 186783488 608133120 147846 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 148470 147846 136 292 0 148175 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 593880

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8916
/proc/meminfo: memFree=1245328/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=610884 CPUtime=1781.76
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 155145 0 0 0 177988 188 0 0 25 0 1 0 186783488 625545216 152058 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 152721 152058 136 292 0 152426 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 610884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.97 2/66 8916
/proc/meminfo: memFree=1238288/2055920 swapFree=4181848/4192956
[pid=8907] ppid=8905 vsize=617696 CPUtime=1800.07
/proc/8907/stat : 8907 (wbo) R 8905 8907 8835 0 -1 4194304 156878 0 0 0 179816 191 0 0 25 0 1 0 186783488 632520704 153791 1992294400 134512640 135709839 4294956240 18446744073709551615 134587923 0 0 4096 3 0 0 0 17 1 0 0
/proc/8907/statm: 154424 153791 136 292 0 154129 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 617696

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.7
CPU time (s): 1800.17
CPU user time (s): 1798.16
CPU system time (s): 2.00369
CPU usage (%): 99.9703
Max. virtual memory (cumulated for all children) (KiB): 617696

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

runsolver used 2.10768 second user time and 4.25335 second system time

The end

Launcher Data 

Begin job on node88 at 2009-06-17 00:37:29
IDJOB=1875281
IDBENCH=48121
IDSOLVER=698
FILE ID=node88/1875281-1245191849
PBS_JOBID= 9368315
Free space on /tmp= 66548 MiB

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

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

MD5SUM BENCH= e079962149860142627e0ca6e79ba5d1
RANDOM SEED=1358183255

node88.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.214
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	: 5931.00
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.214
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:       1857848 kB
Buffers:         33768 kB
Cached:          93552 kB
SwapCached:       5212 kB
Active:          14120 kB
Inactive:       120520 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1857848 kB
SwapTotal:     4192956 kB
SwapFree:      4181848 kB
Dirty:            2880 kB
Writeback:           0 kB
Mapped:          13056 kB
Slab:            49180 kB
Committed_AS:    83144 kB
PageTables:       1448 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-1875281-1245191849.opb

Free space on /tmp at the end= 66544 MiB
End job on node88 at 2009-06-17 01:07:33