Trace number 431934

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, and are wall clock time (not CPU 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 NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16OPT3 591.09 591.282

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-B.opb
MD5SUMafe3df18e5a0f1ba7fdc86d94afdb427
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark0.172973
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables168
Total number of constraints15
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 constraints15
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)448
Sum of products size (including duplicates)896
Number of different products448
Sum of products size896

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/431934-1178012097/instance-431934-1178012097.opb
0.00/0.00	c File size is 8050 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.004 s
0.00/0.00	c Var: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368
0.00/0.00	c Obj. Vars: 8 (1.2987 % of total variables)
0.00/0.01	c Pre-processing Time: 0.01 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    616      918     3856    4     3312    5173      0      0 0.01
0.00/0.01	c Switching off LPR mode.
547.62/547.88	c      101    616     1019     9496    9     3440    5691    101   5611 0.02
547.62/547.88	c      251    616     1169    20113   17     3707    6261    251   8366 0.03
547.62/547.88	c      477    616     1395    39500   28     4168    6888    477   8517 0.06
547.62/547.88	c      815    616     1733    60397   34     4823    7577    815   9261 0.09
547.62/547.88	c     1324    616     2242    94415   42     5824    8335   1324   8885 0.15
547.62/547.88	c     2087    616     3005   141115   46     7308    9169   2087   8805 0.24
547.62/547.88	c     3234    616     4152   207778   50     9594   10086   3234   7139 0.45
547.62/547.88	c     4956    616     5874   308409   52    13085   11095   4956   5255 0.94
547.62/547.88	c     7541    616     8459   459264   54    18262   12205   7541   3628 2.08
547.62/547.88	c    11421    616    12339   717621   58    26043   13426  11421   3765 3.03
547.62/547.88	c    17243    616    11369   662262   58    24075   14769  10451   3110 5.54
547.62/547.88	c    25980    616    12608   691692   54    26554   16246  11690   2676 9.71
547.62/547.88	c    39090    613     9376   494138   52    20096   17871   8458   1997 19.57
547.62/547.88	c    58761    613    10775   644508   59    22848   19659   9857   1599 36.75
547.62/547.88	c    88271    613    19879  1262025   63    41125   21625  18961   1670 52.85
547.62/547.88	c   132541    613    18999  1229163   64    39307   23788  18081   1290 102.67
547.62/547.88	c   198951    610    20727  1268191   61    42762   26167  19809   1067 186.32
547.62/547.88	c   298571    607    13463   811550   60    28266   28784  12545    937 318.58
547.62/547.88	c   448007    604    23018  1464427   63    47293   31663  22100    830 539.76
547.62/547.88	o 241	547.701
552.02/552.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
552.02/552.23	c   461813    604    16233  1047203   64    33797    5189  15315    843 547.70
552.02/552.23	c   461915    604     3624   186520   51     8611    5708   2706    843 547.89
552.02/552.23	c   462167    604     3876   205581   53     9099    6279   2958    843 547.94
552.02/552.23	c   462643    604     4352   238135   54    10070    6907   3434    844 548.00
552.02/552.23	c   463456    604     5165   296225   57    11681    7598   4247    845 548.09
552.02/552.23	c   464777    604     6486   385431   59    14336    8358   5568    847 548.43
552.02/552.23	c   466858    604     8567   521806   60    18483    9194   7649    849 549.31
552.02/552.23	c   470082    604     7121   408877   57    15625   10114   6203    853 550.88
552.02/552.23	o 9	552.051
553.12/553.34	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
553.12/553.34	c   474208    604     5984   346918   57    13233    5189   5066    858 552.12
553.12/553.34	c   474309    564     6085   353400   58    13550    5708   5167    858 552.17
553.12/553.34	c   474559    564     6335   367903   58    14005    6279   5417    859 552.20
553.12/553.34	c   475034    564     6810   397074   58    14986    6907   5892    860 552.31
553.12/553.34	c   475849    564     7625   449735   58    16605    7598   6707    861 552.55
553.12/553.34	c   477170    564     5042   271846   53    11444    8358   4124    862 553.04
553.12/553.34	o 7	553.167
569.21/569.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
569.21/569.45	c   477507    564     5380   293442   54    12140    5181   4462    863 553.17
569.21/569.45	c   477608    564     5481   300661   54    12296    5700   4563    863 553.18
569.21/569.45	c   477859    564     5732   318142   55    12777    6271   4814    863 553.25
569.21/569.45	c   478335    564     6208   349691   56    13757    6899   5290    864 553.41
569.21/569.45	c   479148    564     7021   401347   57    15380    7589   6103    865 553.73
569.21/569.45	c   480470    564     8343   488444   58    18046    8348   7425    866 554.24
569.21/569.45	c   482551    564     6065   342713   56    13442    9183   5147    869 554.97
569.21/569.45	c   485775    564     9289   547438   58    19908   10102   8371    872 556.63
569.21/569.45	c   490711    564     9066   510109   56    19436   11113   8148    876 559.63
569.21/569.45	c   498218    564    10935   620918   56    23184   12225  10017    881 565.12
569.21/569.45	o 5	569.272
570.41/570.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
570.41/570.68	c   505892    553    12395   713650   57    26147    5179  11477    888 569.27
570.41/570.68	c   505994    553     3624   179015   49     8594    5697   2706    888 569.39
570.41/570.68	c   506247    553     3877   195721   50     9098    6267   2959    889 569.42
570.41/570.68	c   506724    553     4354   225977   51    10098    6894   3436    889 569.49
570.41/570.68	c   507537    553     5167   278241   53    11715    7584   4249    890 569.68
570.41/570.68	c   508858    553     6488   363501   56    14282    8343   5570    892 570.09
570.41/570.68	o 3	570.493
591.00/591.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
591.00/591.27	c   510051    553     7682   439230   57    16726    5179   6764    894 570.49
591.00/591.27	c   510153    532     3626   174256   48     8661    5697   2708    894 570.53
591.00/591.27	c   510404    532     3877   191144   49     9151    6267   2959    894 570.56
591.00/591.27	c   510879    532     4352   223344   51    10116    6894   3434    895 570.64
591.00/591.27	c   511692    532     5165   276741   53    11729    7584   4247    896 570.79
591.00/591.27	c   513012    532     6485   353248   54    14371    8343   5567    898 571.11
591.00/591.27	c   515095    532     8568   488330   56    18503    9178   7650    900 571.98
591.00/591.27	c   518318    532     7064   379799   53    15511   10096   6146    903 573.47
591.00/591.27	c   523254    532     6819   362948   53    15019   11106   5901    908 576.11
591.00/591.27	c   530761    523     8637   439984   50    18653   12217   7719    913 580.92
591.00/591.27	c   542122    518     7545   352363   46    16467   13439   6627    919 589.40
591.00/591.27	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 x11 -x12 x13 -x14 x15 -x16 x17 -x18 x19 x20 -x21 -x22 x23 x24 x25 -x26 -x27 -x28 x29 -x30 -x31
591.00/591.27	v -x32 x33 x34 -x35 x36 x37 -x38 x39 -x40 x41 -x42 -x43 x44 -x45 x46 x47 x48 x49 x50 -x51 x52 -x53 -x54 -x55 -x56 x57 -x58 -x59 x60
591.00/591.27	v -x61 -x62 -x63 x64 x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x73 -x74 -x75 -x76 -x77
591.00/591.27	v -x78 -x79 -x80 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x129 -x130 -x131 -x132
591.00/591.27	v -x133 -x134 -x135 -x136 x89 x90 -x91 x92 -x93 -x94 -x95 -x96 -x137 x138 x139 -x140 -x141 -x142 -x143 -x144 x97 x98 -x99 -x100
591.00/591.27	v -x101 -x102 -x103 -x104 -x145 x146 -x147 x148 -x149 -x150 -x151 -x152 x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x153
591.00/591.27	v -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168
591.00/591.27	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
591.00/591.27	c   60   544987   3555   561394    10410   491772   9492    922 591.08
591.00/591.27	c Objective: 3
591.00/591.27	s OPTIMUM FOUND
591.00/591.27	c Total time: 591.08 s

Verifier Data (download as text)

OK	3

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node25/watcher-431934-1178012097 -o ROOT/results/node25/solver-431934-1178012097 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431934-1178012097/instance-431934-1178012097.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): 3600 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 31835
/proc/meminfo: memFree=1862896/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=11744 CPUtime=0
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 249126749 12025856 345 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 2936 346 291 324 0 2003 0

[startup+0.0723191 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 31835
/proc/meminfo: memFree=1862896/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=4844 CPUtime=0.06
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 625 0 0 0 6 0 0 0 18 0 1 0 249126749 4960256 592 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 1211 593 312 324 0 280 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4844

[startup+0.101323 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 31835
/proc/meminfo: memFree=1862896/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=5100 CPUtime=0.09
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 691 0 0 0 9 0 0 0 18 0 1 0 249126749 5222400 658 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 1275 658 312 324 0 344 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5100

[startup+0.301357 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 31835
/proc/meminfo: memFree=1862896/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=6520 CPUtime=0.29
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 1038 0 0 0 29 0 0 0 19 0 1 0 249126749 6676480 1005 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 1630 1005 312 324 0 699 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6520

[startup+0.701426 s]
/proc/loadavg: 0.91 0.98 0.99 3/64 31835
/proc/meminfo: memFree=1862896/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=7948 CPUtime=0.69
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 1414 0 0 0 68 1 0 0 22 0 1 0 249126749 8138752 1381 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 1987 1381 312 324 0 1056 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7948

[startup+1.50156 s]
/proc/loadavg: 0.91 0.98 0.99 2/65 31836
/proc/meminfo: memFree=1857640/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=9900 CPUtime=1.49
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 1872 0 0 0 148 1 0 0 25 0 1 0 249126749 10137600 1839 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 2475 1840 312 324 0 1544 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9900

[startup+3.10184 s]
/proc/loadavg: 0.91 0.98 0.99 2/65 31836
/proc/meminfo: memFree=1855528/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=14792 CPUtime=3.09
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 3105 0 0 0 307 2 0 0 25 0 1 0 249126749 15147008 3072 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 3698 3072 312 324 0 2767 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14792

[startup+6.30138 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 31836
/proc/meminfo: memFree=1849776/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=16468 CPUtime=6.29
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 3525 0 0 0 625 4 0 0 25 0 1 0 249126749 16863232 3492 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 4117 3492 312 324 0 3186 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16468

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 31836
/proc/meminfo: memFree=1848696/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=18252 CPUtime=12.69
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 3965 0 0 0 1263 6 0 0 25 0 1 0 249126749 18690048 3932 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 4563 3932 312 324 0 3632 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18252

[startup+25.5017 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 31836
/proc/meminfo: memFree=1846776/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=19900 CPUtime=25.49
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 4395 0 0 0 2541 8 0 0 25 0 1 0 249126749 20377600 4362 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 4975 4362 312 324 0 4044 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19900

[startup+51.101 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 31836
/proc/meminfo: memFree=1842552/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=23848 CPUtime=51.08
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 5377 0 0 0 5096 12 0 0 25 0 1 0 249126749 24420352 5344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 5962 5344 312 324 0 5031 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 23848

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 31836
/proc/meminfo: memFree=1840248/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=26144 CPUtime=102.26
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 5952 0 0 0 10209 17 0 0 25 0 1 0 249126749 26771456 5919 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 6536 5919 312 324 0 5605 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 26144

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31836
/proc/meminfo: memFree=1839224/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=27120 CPUtime=162.23
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 6201 0 0 0 16200 23 0 0 25 0 1 0 249126749 27770880 6168 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 6780 6168 312 324 0 5849 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 27120

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31836
/proc/meminfo: memFree=1837560/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=28800 CPUtime=222.22
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 6620 0 0 0 22192 30 0 0 25 0 1 0 249126749 29491200 6587 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 7200 6587 312 324 0 6269 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 28800

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31836
/proc/meminfo: memFree=1836344/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=29952 CPUtime=282.2
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 6912 0 0 0 28184 36 0 0 25 0 1 0 249126749 30670848 6879 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 7488 6879 312 324 0 6557 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 29952

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31838
/proc/meminfo: memFree=1835576/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=30592 CPUtime=342.18
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 7073 0 0 0 34176 42 0 0 25 0 1 0 249126749 31326208 7040 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 7648 7040 312 324 0 6717 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 30592

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31838
/proc/meminfo: memFree=1834744/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=31460 CPUtime=402.16
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 7288 0 0 0 40168 48 0 0 25 0 1 0 249126749 32215040 7255 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10469127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 7865 7255 312 324 0 6934 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 31460

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31838
/proc/meminfo: memFree=1832824/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=33364 CPUtime=462.14
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 7765 0 0 0 46158 56 0 0 25 0 1 0 249126749 34164736 7732 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 8341 7732 312 324 0 7410 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 33364

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31838
/proc/meminfo: memFree=1832824/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=33344 CPUtime=522.12
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 7765 0 0 0 52150 62 0 0 25 0 1 0 249126749 34144256 7730 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 8336 7730 312 324 0 7405 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 33344

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31838
/proc/meminfo: memFree=1831032/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=34992 CPUtime=582.1
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 8207 0 0 0 58136 74 0 0 25 0 1 0 249126749 35831808 8142 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 8748 8142 313 324 0 7817 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 34992

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

[startup+585.501 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31838
/proc/meminfo: memFree=1831032/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=34992 CPUtime=585.3
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 8207 0 0 0 58456 74 0 0 25 0 1 0 249126749 35831808 8142 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 8748 8142 313 324 0 7817 0
Current children cumulated CPU time (s) 585.3
Current children cumulated vsize (KiB) 34992

[startup+588.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31838
/proc/meminfo: memFree=1831032/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=34992 CPUtime=588.5
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 8207 0 0 0 58775 75 0 0 25 0 1 0 249126749 35831808 8142 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 8748 8142 313 324 0 7817 0
Current children cumulated CPU time (s) 588.5
Current children cumulated vsize (KiB) 34992

[startup+590.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31838
/proc/meminfo: memFree=1831032/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=34988 CPUtime=590.1
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 8207 0 0 0 58935 75 0 0 25 0 1 0 249126749 35827712 8141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 8747 8141 313 324 0 7816 0
Current children cumulated CPU time (s) 590.1
Current children cumulated vsize (KiB) 34988

[startup+590.705 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31838
/proc/meminfo: memFree=1831032/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=34988 CPUtime=590.5
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 8207 0 0 0 58975 75 0 0 25 0 1 0 249126749 35827712 8141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 8747 8141 313 324 0 7816 0
Current children cumulated CPU time (s) 590.5
Current children cumulated vsize (KiB) 34988

[startup+591.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31838
/proc/meminfo: memFree=1831032/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=34988 CPUtime=590.9
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 8207 0 0 0 59015 75 0 0 25 0 1 0 249126749 35827712 8141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 8747 8141 313 324 0 7816 0
Current children cumulated CPU time (s) 590.9
Current children cumulated vsize (KiB) 34988

[startup+591.201 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 31838
/proc/meminfo: memFree=1831032/2055920 swapFree=4182940/4192956
[pid=31835] ppid=31833 vsize=34988 CPUtime=591
/proc/31835/stat : 31835 (bsolo3.0.16) R 31833 31835 31019 0 -1 4194304 8207 0 0 0 59025 75 0 0 25 0 1 0 249126749 35827712 8141 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31835/statm: 8747 8141 313 324 0 7816 0
Current children cumulated CPU time (s) 591
Current children cumulated vsize (KiB) 34988

Child status: 0
Real time (s): 591.282
CPU time (s): 591.09
CPU user time (s): 590.325
CPU system time (s): 0.764883
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 35112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 590.325
system time used= 0.764883
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8208
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= 12
involuntary context switches= 502

runsolver used 0.441932 second user time and 1.17782 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Tue May  1 09:34:57 UTC 2007

IDJOB= 431934
IDBENCH= 48087
IDSOLVER= 163
FILE ID= node25/431934-1178012097

PBS_JOBID= 4728316

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=29-P1=157-P2=173-P3=83-P4=37-P5=251-P6=29-P7=181-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431934-1178012097/instance-431934-1178012097.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-431934-1178012097 -o ROOT/results/node25/solver-431934-1178012097 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431934-1178012097/instance-431934-1178012097.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  afe3df18e5a0f1ba7fdc86d94afdb427

RANDOM SEED= 467991602

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/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.261
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.261
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1863240 kB
Buffers:         19012 kB
Cached:         101692 kB
SwapCached:       3804 kB
Active:          74960 kB
Inactive:        55796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1863240 kB
SwapTotal:     4192956 kB
SwapFree:      4182940 kB
Dirty:            6756 kB
Writeback:           0 kB
Mapped:          15940 kB
Slab:            47916 kB
Committed_AS:  4388504 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node25 on Tue May  1 09:44:48 UTC 2007