Trace number 1875280

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.19 1801.13

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_60_1.opb
MD5SUM7931a71f4daac58a32a56f6c89bc3525
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.11
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 16
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 constraint104
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)37366
Sum of products size (including duplicates)74732
Number of different products37366
Sum of products size74732

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-1875280-1245191653.opb.
0.00/0.00	c Instance file HOME/instance-1875280-1245191653.opb
0.00/0.00	c File size is 2895131 bytes.
0.29/0.39	c Highest Coefficient sum: 105
0.29/0.40	c ============================[ Problem Statistics ]=============================
0.29/0.40	c |                                                                             |
0.29/0.40	c |  Parsing time:          0.39         s                                      |
0.29/0.40	c |  Number Variables:      37866                                               |
0.29/0.40	c |  Number Clauses:        38366                                               |
0.29/0.40	c |  Number Cardinality:    0                                                   |
0.29/0.40	c |  Number PB Constraints: 37366                                               |
0.29/0.40	c core #1
0.29/0.40	c Core size: 122	Core Weight: 1	Total Weight: 1
0.29/0.40	c Elapsed CPU time: 0.39094 s	Remaining CPU time: 1799.61 s
0.50/0.52	c core #2
0.50/0.52	c Core size: 295	Core Weight: 1	Total Weight: 2
0.50/0.52	c Elapsed CPU time: 0.502923 s	Remaining CPU time: 1799.5 s
0.59/0.66	c ============================[ Search Statistics ]==============================
0.59/0.66	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.59/0.66	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
0.59/0.66	c ===============================================================================
0.59/0.66	c |         0 |   14877    75734   194011 |    25244        0    nan |  0.000 % |
0.89/0.96	c |       102 |   14877    75734   194011 |    27769      102    602 | 60.920 % |
1.69/1.75	c ===============================================================================
1.69/1.75	c core #3
1.69/1.75	c Core size: 1996	Core Weight: 1	Total Weight: 3
1.69/1.75	c Elapsed CPU time: 1.71974 s	Remaining CPU time: 1798.28 s
1.89/1.91	c ============================[ Search Statistics ]==============================
1.89/1.91	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.89/1.91	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
1.89/1.91	c ===============================================================================
1.89/1.91	c |         0 |   36957    75735   259206 |    25245        0    nan |  0.000 % |
2.20/2.24	c |       103 |   36957    75735   259206 |    27769      103    677 |  4.105 % |
2.79/2.90	c |       253 |   36957    75735   259206 |    30546      253    668 |  4.105 % |
4.78/4.82	c |       481 |   36957    75735   259206 |    33601      481    653 |  4.105 % |
7.58/7.64	c |       818 |   36957    75735   259206 |    36961      818    610 |  4.105 % |
12.98/13.02	c |      1325 |   36957    75735   259206 |    40657     1325    565 |  4.105 % |
19.17/19.23	c |      2084 |   36957    75735   259206 |    44723     2084    554 |  4.105 % |
29.17/29.26	c |      3228 |   36957    75735   259206 |    49195     3228    648 |  4.105 % |
45.16/45.23	c |      4937 |   36957    75735   259206 |    54114     4937    652 |  4.105 % |
75.85/75.91	c |      7499 |   36957    75735   259206 |    59526     7499    823 |  4.105 % |
119.03/119.12	c |     11343 |   36957    75735   259206 |    65479    11343    906 |  4.105 % |
183.80/183.97	c |     17109 |   36957    75735   259206 |    72026    17109   1101 |  4.105 % |
292.84/293.05	c |     25760 |   36957    75735   259206 |    79229    25760   1266 |  4.105 % |
466.05/466.34	c |     38736 |   36957    75735   259206 |    87152    38736   1283 |  4.105 % |
766.49/766.94	c |     58199 |   36957    75735   259206 |    95867    58199   1526 |  4.105 % |
778.79/779.20	c ===============================================================================
781.59/782.02	c core #4
781.59/782.02	c Core size: 30309	Core Weight: 1	Total Weight: 4
781.59/782.02	c Elapsed CPU time: 780.551 s	Remaining CPU time: 1019.45 s
781.78/782.26	c ============================[ Search Statistics ]==============================
781.78/782.26	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
781.78/782.26	c |           |    Vars     Ctrs     Lits |    Limit  Clauses Lit/Cl |          |
781.78/782.26	c ===============================================================================
781.78/782.26	c |         0 |   39039    75736   264908 |    25245        0    nan |  0.000 % |
782.18/782.60	c |       103 |   39039    75736   264908 |    27769      103    491 |  0.000 % |
782.69/783.17	c |       254 |   39039    75736   264908 |    30546      254    393 |  0.000 % |
784.09/784.60	c |       480 |   39039    75736   264908 |    33601      480    303 |  0.000 % |
787.39/787.84	c |       818 |   39039    75736   264908 |    36961      818    416 |  0.000 % |
791.78/792.22	c |      1326 |   39039    75736   264908 |    40657     1326    438 |  0.000 % |
796.68/797.11	c |      2085 |   39039    75736   264908 |    44723     2085    424 |  0.000 % |
803.88/804.34	c |      3224 |   39039    75736   264908 |    49196     3224    443 |  0.000 % |
814.57/815.04	c |      4935 |   39039    75736   264908 |    54115     4935    600 |  0.000 % |
834.37/834.88	c |      7498 |   39039    75736   264908 |    59527     7498    542 |  0.000 % |
867.65/868.18	c |     11342 |   39039    75736   264908 |    65479    11342    546 |  0.000 % |
906.93/907.46	c |     17108 |   39039    75736   264908 |    72027    17108    712 |  0.000 % |
982.08/982.69	c |     25758 |   39039    75736   264908 |    79230    25758    937 |  0.000 % |
1118.01/1118.68	c |     38734 |   39039    75736   264908 |    87153    38734   1008 |  0.000 % |
1378.76/1379.51	c |     58196 |   39039    75736   264908 |    95869    58196   1194 |  0.000 % |
1733.38/1734.37	c |     87391 |   39039    75736   264908 |   105456    87391   1199 |  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-1875280-1245191653/watcher-1875280-1245191653 -o /tmp/evaluation-result-1875280-1245191653/solver-1875280-1245191653 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875280-1245191653.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.97 0.99 3/65 19566
/proc/meminfo: memFree=1850768/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=5712 CPUtime=0
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 275 0 0 0 0 0 0 0 18 0 1 0 186764183 5849088 259 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 1428 259 125 292 0 426 0

[startup+0.0656851 s]
/proc/loadavg: 0.92 0.97 0.99 3/65 19566
/proc/meminfo: memFree=1850768/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=10752 CPUtime=0.06
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 1484 0 0 0 6 0 0 0 18 0 1 0 186764183 11010048 1443 1992294400 134512640 135709839 4294956240 18446744073709551615 135173032 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 2688 1443 206 292 0 1686 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10752

[startup+0.102691 s]
/proc/loadavg: 0.92 0.97 0.99 3/65 19566
/proc/meminfo: memFree=1850768/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=11280 CPUtime=0.09
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 1715 0 0 0 9 0 0 0 18 0 1 0 186764183 11550720 1674 1992294400 134512640 135709839 4294956240 18446744073709551615 134542915 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 2820 1674 279 292 0 1818 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 11280

[startup+0.30273 s]
/proc/loadavg: 0.92 0.97 0.99 3/65 19566
/proc/meminfo: memFree=1850768/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=13832 CPUtime=0.29
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 2718 0 0 0 29 0 0 0 20 0 1 0 186764183 14163968 2677 1992294400 134512640 135709839 4294956240 18446744073709551615 134548059 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 3458 2677 644 292 0 2456 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13832

[startup+0.701809 s]
/proc/loadavg: 0.92 0.97 0.99 3/65 19566
/proc/meminfo: memFree=1850768/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=26008 CPUtime=0.69
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 8025 0 0 0 66 3 0 0 23 0 1 0 186764183 26632192 5845 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 6502 5845 135 292 0 6207 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 26008

[startup+1.50196 s]
/proc/loadavg: 0.92 0.97 0.99 2/66 19567
/proc/meminfo: memFree=1827912/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=26008 CPUtime=1.49
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 8026 0 0 0 146 3 0 0 25 0 1 0 186764183 26632192 5846 1992294400 134512640 135709839 4294956240 18446744073709551615 134518400 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 6502 5846 136 292 0 6207 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 26008

[startup+3.10128 s]
/proc/loadavg: 0.92 0.97 0.99 2/66 19567
/proc/meminfo: memFree=1823376/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=30072 CPUtime=3.09
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 9506 0 0 0 305 4 0 0 25 0 1 0 186764183 30793728 6878 1992294400 134512640 135709839 4294956240 18446744073709551615 134572382 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 7518 6878 136 292 0 7223 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 30072

[startup+6.30191 s]
/proc/loadavg: 1.01 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1823384/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=30072 CPUtime=6.28
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 9521 0 0 0 624 4 0 0 25 0 1 0 186764183 30793728 6893 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 7518 6893 136 292 0 7223 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 30072

[startup+12.7012 s]
/proc/loadavg: 1.01 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1822752/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=30864 CPUtime=12.68
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 9729 0 0 0 1263 5 0 0 25 0 1 0 186764183 31604736 7101 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 7716 7101 136 292 0 7421 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 30864

[startup+25.5017 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1818400/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=35360 CPUtime=25.47
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 10834 0 0 0 2541 6 0 0 25 0 1 0 186764183 36208640 8206 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 8840 8206 136 292 0 8545 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 35360

[startup+51.1027 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1808736/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=45380 CPUtime=51.06
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 13355 0 0 0 5095 11 0 0 25 0 1 0 186764183 46469120 10727 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 11345 10727 136 292 0 11050 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 45380

[startup+102.306 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1786976/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=66632 CPUtime=102.25
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 18655 0 0 0 10206 19 0 0 25 0 1 0 186764183 68231168 16027 1992294400 134512640 135709839 4294956240 18446744073709551615 134587923 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 16658 16027 136 292 0 16363 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 66632

[startup+162.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1750816/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=102908 CPUtime=162.21
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 27736 0 0 0 16192 29 0 0 25 0 1 0 186764183 105377792 25108 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 25727 25108 136 292 0 25432 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 102908

[startup+222.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1714016/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=139532 CPUtime=222.18
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 36875 0 0 0 22181 37 0 0 25 0 1 0 186764183 142880768 34247 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 34883 34247 136 292 0 34588 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 139532

[startup+282.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1683424/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=170292 CPUtime=282.15
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 44577 0 0 0 28170 45 0 0 25 0 1 0 186764183 174379008 41949 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 42573 41949 136 292 0 42278 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 170292

[startup+342.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1648608/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=204632 CPUtime=342.12
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 53157 0 0 0 34160 52 0 0 25 0 1 0 186764183 209543168 50529 1992294400 134512640 135709839 4294956240 18446744073709551615 134587997 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 51158 50529 136 292 0 50863 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 204632

[startup+402.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1628832/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=224680 CPUtime=402.09
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 58177 0 0 0 40151 58 0 0 25 0 1 0 186764183 230072320 55549 1992294400 134512640 135709839 4294956240 18446744073709551615 134578622 0 0 4096 3 0 0 0 17 1 0 0
/proc/19566/statm: 56170 55549 136 292 0 55875 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 224680

[startup+462.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1594976/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=258156 CPUtime=462.05
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 66540 0 0 0 46139 66 0 0 25 0 1 0 186764183 264351744 63912 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 64539 63912 136 292 0 64244 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 258156

[startup+522.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1551584/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=301908 CPUtime=522.02
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 77447 0 0 0 52127 75 0 0 25 0 1 0 186764183 309153792 74819 1992294400 134512640 135709839 4294956240 18446744073709551615 134517510 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 75477 74819 136 292 0 75182 0
Current children cumulated CPU time (s) 522.02
Current children cumulated vsize (KiB) 301908

[startup+582.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1514976/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=338800 CPUtime=581.99
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 86669 0 0 0 58116 83 0 0 25 0 1 0 186764183 346931200 84041 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 84700 84041 136 292 0 84405 0
Current children cumulated CPU time (s) 581.99
Current children cumulated vsize (KiB) 338800

[startup+642.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1472416/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=380508 CPUtime=641.96
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 97104 0 0 0 64106 90 0 0 25 0 1 0 186764183 389640192 94476 1992294400 134512640 135709839 4294956240 18446744073709551615 134572370 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 95127 94476 136 292 0 94832 0
Current children cumulated CPU time (s) 641.96
Current children cumulated vsize (KiB) 380508

[startup+702.302 s]

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

[startup+882.301 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1395168/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=457240 CPUtime=881.84
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 116874 0 0 0 88064 120 0 0 25 0 1 0 186764183 468213760 113653 1992294400 134512640 135709839 4294956240 18446744073709551615 134600542 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 114310 113653 136 292 0 114015 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 457240

[startup+942.302 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1395104/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=457240 CPUtime=941.81
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 116904 0 0 0 94053 128 0 0 25 0 1 0 186764183 468213760 113683 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 114310 113683 136 292 0 114015 0
Current children cumulated CPU time (s) 941.81
Current children cumulated vsize (KiB) 457240

[startup+1002.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1375584/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=477048 CPUtime=1001.76
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 121843 0 0 0 100041 135 0 0 25 0 1 0 186764183 488497152 118622 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 119262 118622 136 292 0 118967 0
Current children cumulated CPU time (s) 1001.76
Current children cumulated vsize (KiB) 477048

[startup+1062.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1353888/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=498564 CPUtime=1061.73
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 127235 0 0 0 106025 148 0 0 25 0 1 0 186764183 510529536 124014 1992294400 134512640 135709839 4294956240 18446744073709551615 134572731 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 124641 124014 136 292 0 124346 0
Current children cumulated CPU time (s) 1061.73
Current children cumulated vsize (KiB) 498564

[startup+1122.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19567
/proc/meminfo: memFree=1317792/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=534500 CPUtime=1121.7
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 136233 0 0 0 112015 155 0 0 25 0 1 0 186764183 547328000 133012 1992294400 134512640 135709839 4294956240 18446744073709551615 134587892 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 133625 133012 136 292 0 133330 0
Current children cumulated CPU time (s) 1121.7
Current children cumulated vsize (KiB) 534500

[startup+1182.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19569
/proc/meminfo: memFree=1283104/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=569840 CPUtime=1181.67
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 145039 0 0 0 118003 164 0 0 25 0 1 0 186764183 583516160 141818 1992294400 134512640 135709839 4294956240 18446744073709551615 134572531 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 142460 141818 136 292 0 142165 0
Current children cumulated CPU time (s) 1181.67
Current children cumulated vsize (KiB) 569840

[startup+1242.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19569
/proc/meminfo: memFree=1246944/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=605252 CPUtime=1241.63
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 153900 0 0 0 123992 171 0 0 25 0 1 0 186764183 619778048 150679 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 151313 150679 136 292 0 151018 0
Current children cumulated CPU time (s) 1241.63
Current children cumulated vsize (KiB) 605252

[startup+1302.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19569
/proc/meminfo: memFree=1215072/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=636820 CPUtime=1301.61
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 161791 0 0 0 129984 177 0 0 25 0 1 0 186764183 652103680 158570 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 159205 158570 136 292 0 158910 0
Current children cumulated CPU time (s) 1301.61
Current children cumulated vsize (KiB) 636820

[startup+1362.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19569
/proc/meminfo: memFree=1188832/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=663236 CPUtime=1361.57
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 168400 0 0 0 135973 184 0 0 25 0 1 0 186764183 679153664 165179 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 165809 165179 136 292 0 165514 0
Current children cumulated CPU time (s) 1361.57
Current children cumulated vsize (KiB) 663236

[startup+1422.31 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19569
/proc/meminfo: memFree=1165280/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=686716 CPUtime=1421.55
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 174227 0 0 0 141962 193 0 0 25 0 1 0 186764183 703197184 171006 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 171679 171006 136 292 0 171384 0
Current children cumulated CPU time (s) 1421.55
Current children cumulated vsize (KiB) 686716

[startup+1482.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19569
/proc/meminfo: memFree=1138464/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=714048 CPUtime=1481.51
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 181044 0 0 0 147952 199 0 0 25 0 1 0 186764183 731185152 177823 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0
/proc/19566/statm: 178512 177823 136 292 0 178217 0
Current children cumulated CPU time (s) 1481.51
Current children cumulated vsize (KiB) 714048

[startup+1542.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19569
/proc/meminfo: memFree=1106464/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=745492 CPUtime=1541.48
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 188899 0 0 0 153940 208 0 0 25 0 1 0 186764183 763383808 185678 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 186373 185678 136 292 0 186078 0
Current children cumulated CPU time (s) 1541.48
Current children cumulated vsize (KiB) 745492

[startup+1602.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19569
/proc/meminfo: memFree=1074912/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=777032 CPUtime=1601.45
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 196813 0 0 0 159930 215 0 0 25 0 1 0 186764183 795680768 193592 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 194258 193592 136 292 0 193963 0
Current children cumulated CPU time (s) 1601.45
Current children cumulated vsize (KiB) 777032

[startup+1662.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19575
/proc/meminfo: memFree=1053080/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=798636 CPUtime=1661.42
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 202179 0 0 0 165920 222 0 0 25 0 1 0 186764183 817803264 198958 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 199659 198958 136 292 0 199364 0
Current children cumulated CPU time (s) 1661.42
Current children cumulated vsize (KiB) 798636

[startup+1722.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19575
/proc/meminfo: memFree=1029336/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=822544 CPUtime=1721.38
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 208165 0 0 0 171911 227 0 0 25 0 1 0 186764183 842285056 204944 1992294400 134512640 135709839 4294956240 18446744073709551615 134587999 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 205636 204944 136 292 0 205341 0
Current children cumulated CPU time (s) 1721.38
Current children cumulated vsize (KiB) 822544

[startup+1782.3 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19575
/proc/meminfo: memFree=998552/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=853016 CPUtime=1781.35
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 215778 0 0 0 177899 236 0 0 25 0 1 0 186764183 873488384 212557 1992294400 134512640 135709839 4294956240 18446744073709551615 134572849 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 213254 212557 136 292 0 212959 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (KiB) 853016



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19575
/proc/meminfo: memFree=993496/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=858160 CPUtime=1800.05
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4194304 217020 0 0 0 179767 238 0 0 25 0 1 0 186764183 878755840 213799 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/statm: 214540 213799 136 292 0 214245 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 858160

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

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

[startup+1801.11 s]
/proc/loadavg: 1.00 0.98 0.99 2/66 19575
/proc/meminfo: memFree=993496/2055920 swapFree=4192812/4192956
[pid=19566] ppid=19564 vsize=0 CPUtime=1800.15
/proc/19566/stat : 19566 (wbo) R 19564 19566 19521 0 -1 4195332 217020 0 0 0 179767 248 0 0 25 0 1 0 186764183 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0
/proc/19566/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): 1801.13
CPU time (s): 1800.19
CPU user time (s): 1797.68
CPU system time (s): 2.50962
CPU usage (%): 99.9474
Max. virtual memory (cumulated for all children) (KiB): 858160

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

runsolver used 1.9877 second user time and 4.52531 second system time

The end

Launcher Data 

Begin job on node77 at 2009-06-17 00:34:13
IDJOB=1875280
IDBENCH=48120
IDSOLVER=698
FILE ID=node77/1875280-1245191653
PBS_JOBID= 9368334
Free space on /tmp= 66316 MiB

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

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

MD5SUM BENCH= 7931a71f4daac58a32a56f6c89bc3525
RANDOM SEED=1210771015

node77.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.263
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.263
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:       1853680 kB
Buffers:         28252 kB
Cached:          99180 kB
SwapCached:          0 kB
Active:          19456 kB
Inactive:       121188 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1853680 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:            3060 kB
Writeback:           0 kB
Mapped:          22952 kB
Slab:            47532 kB
Committed_AS:   120436 kB
PageTables:       1376 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-1875280-1245191653.opb

Free space on /tmp at the end= 66312 MiB
End job on node77 at 2009-06-17 01:04:18