Trace number 431108

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 1297.1 1297.88

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=449-P1=149-P2=137-P3=137-P4=83-B.opb
MD5SUM854cc656dc0682d745f606d1e6722452
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.132979
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 variables108
Total number of constraints9
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 constraints9
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)324
Sum of products size (including duplicates)648
Number of different products324
Sum of products size648

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/431108-1178002804/instance-431108-1178002804.opb
0.00/0.00	c File size is 5687 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.001 s
0.00/0.00	c Var: 432 Constr: 661 324/0/337 Lit: 2763 Watch. Lit: 1694
0.00/0.00	c Obj. Vars: 9 (2.08333 % of total variables)
0.00/0.01	c Pre-processing Time: 0.006 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    432      661     2763    4     2377    3689      0      0 0.01
0.00/0.01	c Switching off LPR mode.
2.69/2.72	c      101    432      762    10921   14     2559    4058    101   6312 0.02
2.69/2.72	c      251    432      912    22811   25     2752    4464    251   8366 0.03
2.69/2.72	c      477    432     1138    42955   37     3252    4911    477   9173 0.05
2.69/2.72	c      816    432     1477    70301   47     3984    5403    816  10329 0.08
2.69/2.72	c     1325    432     1986   109191   54     4973    5944   1325   9671 0.14
2.69/2.72	c     2088    432     2749   174746   63     6489    6539   2088   9577 0.22
2.69/2.72	c     3235    432     3896   265018   68     8768    7193   3235   8231 0.39
2.69/2.72	c     4956    432     5617   421230   74    12204    7913   4956   7141 0.69
2.69/2.72	c     7540    432     8201   640698   78    17297    8705   7540   5979 1.26
2.69/2.72	c    11419    432     7422   575780   77    15797    9576   6761   4852 2.35
2.69/2.72	o 205	2.721
179.97/180.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
179.97/180.10	c    12574    432     8578   663631   77    18095    3707   7917   4621 2.72
179.97/180.10	c    12674    432     2616   155456   59     6186    4078   1955   4560 2.78
179.97/180.10	c    12925    432     2867   175852   61     6770    4486   2206   4589 2.82
179.97/180.10	c    13400    432     3342   215631   64     7671    4935   2681   4596 2.92
179.97/180.10	c    14214    432     4156   286725   68     9228    5429   3495   4705 3.02
179.97/180.10	c    15534    432     5476   389143   71    11884    5972   4815   4619 3.36
179.97/180.10	c    17615    432     4378   308783   70     9675    6570   3717   4648 3.79
179.97/180.10	c    20838    421     3947   259878   65     8938    7228   3286   4627 4.50
179.97/180.10	c    25775    421     4881   386332   79    10747    7951   4220   4470 5.76
179.97/180.10	c    33281    421     8258   604030   73    17429    8747   7597   4581 7.26
179.97/180.10	c    44642    421     6005   447479   74    13013    9622   5344   3738 11.94
179.97/180.10	c    61787    421     7579   520098   68    16189   10585   6918   3234 19.10
179.97/180.10	c    87606    421     6473   438048   67    13977   11644   5812   2595 33.75
179.97/180.10	c   126439    421     8994   678299   75    18893   12809   8333   2282 55.41
179.97/180.10	c   184791    421    13205  1065557   80    27372   14090  12544   1835 100.66
179.97/180.10	c   272424    421    12778   910249   71    26496   15500  12117   1742 156.35
179.97/180.10	o 183	179.976
516.36/516.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
516.36/516.74	c   310075    421    10144   773431   76    21263    3705   9483   1722 179.98
516.36/516.74	c   310176    421     2617   150335   57     6256    4076   1956   1722 180.06
516.36/516.74	c   310426    421     2867   169594   59     6741    4484   2206   1723 180.09
516.36/516.74	c   310902    421     3343   207328   62     7704    4933   2682   1725 180.15
516.36/516.74	c   311717    421     4158   270617   65     9298    5427   3497   1728 180.29
516.36/516.74	c   313038    421     5479   373433   68    11945    5970   4818   1733 180.57
516.36/516.74	c   315119    421     4482   296859   66     9958    6568   3821   1739 181.16
516.36/516.74	c   318345    421     4035   285053   70     9036    7225   3374   1749 181.95
516.36/516.74	c   323282    421     5181   353542   68    11248    7948   4520   1766 183.03
516.36/516.74	c   330789    421     4637   299509   64    10148    8743   3976   1775 186.31
516.36/516.74	c   342150    421     7080   482417   68    15056    9618   6419   1793 190.72
516.36/516.74	c   359294    421     9556   674214   70    19978   10580   8895   1816 197.81
516.36/516.74	c   385114    421     7507   573125   76    15929   11639   6846   1832 210.13
516.36/516.74	c   423946    421    10662   746986   70    22240   12803  10001   1851 228.99
516.36/516.74	c   482298    421    10536   813634   77    22000   14084   9875   1823 264.46
516.36/516.74	c   569930    421    11808   946168   80    24553   15493  11147   1728 329.81
516.36/516.74	c   701484    418    15566  1226629   78    32093   17043  14905   1620 432.92
516.36/516.74	o 33	516.411
558.24/558.66	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
558.24/558.66	c   791266    418     9189   705607   76    19328    3705   8528   1531 516.66
558.24/558.66	c   791367    418     2621   166120   63     6253    4076   1960   1531 516.76
558.24/558.66	c   791617    418     2871   187838   65     6776    4484   2210   1531 516.79
558.24/558.66	c   792093    418     3347   229611   68     7702    4933   2686   1532 516.85
558.24/558.66	c   792906    418     4160   299877   72     9295    5427   3499   1533 517.00
558.24/558.66	c   794227    408     5481   408171   74    11914    5970   4820   1535 517.31
558.24/558.66	c   796308    408     4258   300526   70     9395    6568   3597   1538 517.73
558.24/558.66	c   799532    408     3997   267169   66     8958    7225   3336   1541 518.59
558.24/558.66	c   804468    408     5213   375078   71    11380    7948   4552   1545 520.68
558.24/558.66	c   811974    408     8630   636746   73    18243    8743   7969   1549 523.89
558.24/558.66	c   823336    408     6555   472640   72    14094    9618   5894   1555 529.18
558.24/558.66	c   840480    408     8955   680758   76    18912   10580   8294   1563 537.52
558.24/558.66	c   866299    396     6955   515459   74    14807   11639   6294   1568 552.22
558.24/558.66	o 25	558.305
626.00/626.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
626.00/626.42	c   875872    396    10602   750285   70    22171    3701   9941   1568 558.30
626.00/626.42	c   875973    396     2621   112980   43     6226    4072   1960   1568 558.41
626.00/626.42	c   876230    396     2878   137543   47     6800    4480   2217   1569 558.44
626.00/626.42	c   876705    396     3353   177757   53     7674    4929   2692   1569 558.50
626.00/626.42	c   877519    396     4167   247498   59     9262    5422   3506   1570 558.65
626.00/626.42	c   878840    396     5488   360521   65    11928    5965   4827   1572 558.93
626.00/626.42	c   880922    385     4424   316069   71     9792    6562   3763   1574 559.59
626.00/626.42	c   884146    385     4235   294473   69     9471    7219   3574   1576 560.88
626.00/626.42	c   889082    385     5252   395589   75    11509    7941   4591   1582 561.99
626.00/626.42	c   896589    385     8498   685414   80    18000    8736   7837   1587 564.78
626.00/626.42	c   907950    385     6380   459807   72    13712    9610   5719   1588 571.62
626.00/626.42	c   925095    385     8737   648623   74    18473   10572   8076   1590 581.50
626.00/626.42	c   950915    385     6294   435798   69    13539   11630   5633   1606 591.74
626.00/626.42	c   989748    385     9228   692451   75    19391   12794   8567   1602 617.58
626.00/626.42	o 5	626.027
652.18/652.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
652.18/652.67	c  1005102    385    11347   833429   73    23697    3699  10686   1605 626.03
652.18/652.67	c  1005202    385     2620   143494   54     6253    4069   1959   1605 626.10
652.18/652.67	c  1005452    385     2870   164959   57     6649    4476   2209   1605 626.13
652.18/652.67	c  1005927    385     3345   204160   61     7638    4924   2684   1606 626.18
652.18/652.67	c  1006740    385     4158   274815   66     9248    5417   3497   1607 626.30
652.18/652.67	c  1008060    385     5478   388675   70    11982    5959   4817   1608 626.56
652.18/652.67	c  1010141    385     4452   322303   72     9887    6555   3791   1610 627.17
652.18/652.67	c  1013364    385     4269   301594   70     9530    7211   3608   1612 628.50
652.18/652.67	c  1018301    385     5481   397067   72    11967    7933   4820   1615 630.48
652.18/652.67	c  1025807    385     4795   340615   71    10567    8727   4134   1615 634.95
652.18/652.67	c  1037169    385     7170   539047   75    15326    9600   6509   1619 640.45
652.18/652.67	c  1054314    363     9499   725115   76    19991   10561   8838   1624 649.05
652.18/652.67	o 3	652.265
1297.02/1297.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1297.02/1297.87	c  1059967    363     9727   731832   75    20444    3695   9066   1625 652.26
1297.02/1297.87	c  1060067    340     2620   154005   58     6275    4065   1959   1624 652.37
1297.02/1297.87	c  1060317    340     2870   175565   61     6708    4472   2209   1625 652.40
1297.02/1297.87	c  1060792    340     3345   216602   64     7703    4920   2684   1625 652.46
1297.02/1297.87	c  1061606    340     4159   282969   68     9281    5413   3498   1626 652.64
1297.02/1297.87	c  1062926    340     5479   390506   71    11896    5955   4818   1627 653.06
1297.02/1297.87	c  1065007    340     4216   299908   71     9413    6551   3555   1629 653.50
1297.02/1297.87	c  1068230    340     3950   275422   69     8933    7207   3289   1632 654.35
1297.02/1297.87	c  1073167    340     5115   376025   73    11186    7928   4454   1635 656.08
1297.02/1297.87	c  1080673    340     8499   651874   76    17951    8721   7838   1640 658.90
1297.02/1297.87	c  1092034    340     6013   431640   71    12961    9594   5352   1644 663.94
1297.02/1297.87	c  1109179    340     8243   626890   76    17427   10554   7582   1643 674.88
1297.02/1297.87	c  1134998    340     6020   449902   74    13065   11610   5359   1643 690.68
1297.02/1297.87	c  1173831    340     7928   558513   70    16831   12772   7267   1647 712.36
1297.02/1297.87	c  1232184    340    13148  1031261   78    27239   14050  12487   1645 749.04
1297.02/1297.87	c  1319817    340    14370  1106962   77    29679   15456  13709   1607 821.18
1297.02/1297.87	c  1451369    340     8800   692144   78    18545   17002   8139   1576 920.89
1297.02/1297.87	c  1648801    339    14938  1176715   78    30905   18703  14277   1470 1120.96
1297.02/1297.87	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
1297.02/1297.87	v x31 -x32 -x33 -x34 -x35 -x36 x37 x38 x39 -x40 -x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 x53 -x54 -x73 -x74 -x75
1297.02/1297.87	v -x76 -x77 -x78 -x79 -x80 -x81 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x82 -x83 -x84 -x85 -x86 x87 x88 -x89 -x90 x64 -x65 -x66
1297.02/1297.87	v x67 -x68 -x69 -x70 -x71 -x72 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108
1297.02/1297.87	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1297.02/1297.87	c  100  1815513   7289  1842532    10288   619191   9627   1399 1297.09
1297.02/1297.87	c Objective: 3
1297.02/1297.87	s OPTIMUM FOUND
1297.02/1297.87	c Total time: 1297.09 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/node26/watcher-431108-1178002804 -o ROOT/results/node26/solver-431108-1178002804 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431108-1178002804/instance-431108-1178002804.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.88 0.97 0.99 3/77 11719
/proc/meminfo: memFree=1815616/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=19556 CPUtime=0
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 248197192 20025344 344 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 4889 344 290 324 0 3956 0

[startup+0.0796019 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 11719
/proc/meminfo: memFree=1815616/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=5092 CPUtime=0.07
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 670 0 0 0 7 0 0 0 18 0 1 0 248197192 5214208 637 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 1273 638 312 324 0 342 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 5092

[startup+0.102604 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 11719
/proc/meminfo: memFree=1815616/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=5220 CPUtime=0.09
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 731 0 0 0 9 0 0 0 18 0 1 0 248197192 5345280 698 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 1305 698 312 324 0 374 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5220

[startup+0.302623 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 11719
/proc/meminfo: memFree=1815616/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=7156 CPUtime=0.29
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 1207 0 0 0 29 0 0 0 19 0 1 0 248197192 7327744 1174 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 1789 1174 312 324 0 858 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7156

[startup+0.70166 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 11719
/proc/meminfo: memFree=1815616/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=9984 CPUtime=0.69
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 1918 0 0 0 68 1 0 0 22 0 1 0 248197192 10223616 1885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 2496 1885 312 324 0 1565 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9984

[startup+1.50174 s]
/proc/loadavg: 0.88 0.97 0.99 2/78 11720
/proc/meminfo: memFree=1807352/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=13980 CPUtime=1.49
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 2919 0 0 0 148 1 0 0 25 0 1 0 248197192 14315520 2886 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13026939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 3495 2886 312 324 0 2564 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13980

[startup+3.10188 s]
/proc/loadavg: 0.88 0.97 0.99 2/78 11720
/proc/meminfo: memFree=1804024/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=14756 CPUtime=3.09
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 3117 0 0 0 307 2 0 0 25 0 1 0 248197192 15110144 3084 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 3689 3084 313 324 0 2758 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14756

[startup+6.30118 s]
/proc/loadavg: 0.89 0.97 0.99 2/78 11720
/proc/meminfo: memFree=1804160/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=14752 CPUtime=6.29
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 3117 0 0 0 626 3 0 0 25 0 1 0 248197192 15106048 3083 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 3688 3083 313 324 0 2757 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14752

[startup+12.7018 s]
/proc/loadavg: 0.90 0.97 0.99 3/78 11720
/proc/meminfo: memFree=1804352/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=14752 CPUtime=12.69
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 3117 0 0 0 1265 4 0 0 25 0 1 0 248197192 15106048 3083 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 3688 3083 313 324 0 2757 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14752

[startup+25.502 s]
/proc/loadavg: 0.92 0.97 0.99 2/78 11720
/proc/meminfo: memFree=1803584/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=15768 CPUtime=25.49
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 3351 0 0 0 2542 7 0 0 25 0 1 0 248197192 16146432 3317 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 3942 3317 313 324 0 3011 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 15768

[startup+51.1013 s]
/proc/loadavg: 0.95 0.97 0.99 2/78 11720
/proc/meminfo: memFree=1801600/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=17800 CPUtime=51.08
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 3863 0 0 0 5096 12 0 0 25 0 1 0 248197192 18227200 3829 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11719/statm: 4450 3829 313 324 0 3519 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17800

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/84 11892
/proc/meminfo: memFree=1794168/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=23672 CPUtime=102.22
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5357 0 0 0 10189 33 0 0 25 0 1 0 248197192 24240128 5313 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 5918 5313 313 324 0 4987 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 23672

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1795200/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=23672 CPUtime=162.18
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5358 0 0 0 16174 44 0 0 25 0 1 0 248197192 24240128 5313 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 5918 5313 313 324 0 4987 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 23672

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1795456/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=23532 CPUtime=222.14
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5359 0 0 0 22158 56 0 0 25 0 1 0 248197192 24096768 5278 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13022561 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 5883 5278 313 324 0 4952 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 23532

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1795456/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=23532 CPUtime=282.11
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5359 0 0 0 28146 65 0 0 25 0 1 0 248197192 24096768 5278 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 5883 5278 313 324 0 4952 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 23532

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1795456/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=23532 CPUtime=342.07
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5359 0 0 0 34134 73 0 0 25 0 1 0 248197192 24096768 5278 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550930 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 5883 5278 313 324 0 4952 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 23532

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1795520/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=23532 CPUtime=402.03
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5359 0 0 0 40121 82 0 0 25 0 1 0 248197192 24096768 5278 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 5883 5278 313 324 0 4952 0
Current children cumulated CPU time (s) 402.03
Current children cumulated vsize (KiB) 23532

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1795072/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=24184 CPUtime=461.99
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5521 0 0 0 46109 90 0 0 25 0 1 0 248197192 24764416 5440 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6046 5440 313 324 0 5115 0
Current children cumulated CPU time (s) 461.99
Current children cumulated vsize (KiB) 24184

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1794368/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=24884 CPUtime=521.96
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5700 0 0 0 52097 99 0 0 25 0 1 0 248197192 25481216 5616 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550943 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6221 5616 313 324 0 5290 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 24884

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1794560/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=24536 CPUtime=581.92
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5700 0 0 0 58083 109 0 0 25 0 1 0 248197192 25124864 5529 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6134 5529 313 324 0 5203 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 24536

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1794560/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=24532 CPUtime=641.89
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5700 0 0 0 64070 119 0 0 25 0 1 0 248197192 25120768 5528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551569 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6133 5528 313 324 0 5202 0
Current children cumulated CPU time (s) 641.89
Current children cumulated vsize (KiB) 24532


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

/proc/meminfo: memFree=1794496/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=24532 CPUtime=701.85
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5700 0 0 0 70056 129 0 0 25 0 1 0 248197192 25120768 5528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572566 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6133 5528 313 324 0 5202 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 24532

[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1794496/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=24532 CPUtime=761.82
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5700 0 0 0 76043 139 0 0 25 0 1 0 248197192 25120768 5528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6133 5528 313 324 0 5202 0
Current children cumulated CPU time (s) 761.82
Current children cumulated vsize (KiB) 24532

[startup+822.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1794496/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=24532 CPUtime=821.78
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5700 0 0 0 82029 149 0 0 25 0 1 0 248197192 25120768 5528 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6133 5528 313 324 0 5202 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 24532

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1794560/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=24520 CPUtime=881.76
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5700 0 0 0 88019 157 0 0 25 0 1 0 248197192 25108480 5525 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6130 5525 313 324 0 5199 0
Current children cumulated CPU time (s) 881.76
Current children cumulated vsize (KiB) 24520

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1794176/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=25120 CPUtime=941.72
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5836 0 0 0 94008 164 0 0 25 0 1 0 248197192 25722880 5661 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6280 5661 313 324 0 5349 0
Current children cumulated CPU time (s) 941.72
Current children cumulated vsize (KiB) 25120

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1794176/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=25112 CPUtime=1001.69
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5836 0 0 0 99995 174 0 0 25 0 1 0 248197192 25714688 5661 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6278 5661 313 324 0 5347 0
Current children cumulated CPU time (s) 1001.69
Current children cumulated vsize (KiB) 25112

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1794176/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=25112 CPUtime=1061.65
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5836 0 0 0 105984 181 0 0 25 0 1 0 248197192 25714688 5661 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6278 5661 313 324 0 5347 0
Current children cumulated CPU time (s) 1061.65
Current children cumulated vsize (KiB) 25112

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1794176/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=25108 CPUtime=1121.62
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 5836 0 0 0 111974 188 0 0 25 0 1 0 248197192 25710592 5661 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551285 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6277 5661 313 324 0 5346 0
Current children cumulated CPU time (s) 1121.62
Current children cumulated vsize (KiB) 25108

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1793216/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=26072 CPUtime=1181.58
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 117963 195 0 0 25 0 1 0 248197192 26697728 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6518 5908 313 324 0 5587 0
Current children cumulated CPU time (s) 1181.58
Current children cumulated vsize (KiB) 26072

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=26068 CPUtime=1241.54
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 123952 202 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6517 5908 313 324 0 5586 0
Current children cumulated CPU time (s) 1241.54
Current children cumulated vsize (KiB) 26068

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

[startup+1254.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=26068 CPUtime=1253.54
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 125151 203 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551225 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6517 5908 313 324 0 5586 0
Current children cumulated CPU time (s) 1253.54
Current children cumulated vsize (KiB) 26068

[startup+1279.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=26068 CPUtime=1279.12
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 127705 207 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6517 5908 313 324 0 5586 0
Current children cumulated CPU time (s) 1279.12
Current children cumulated vsize (KiB) 26068

[startup+1286.3 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=26068 CPUtime=1285.52
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 128344 208 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13024788 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6517 5908 313 324 0 5586 0
Current children cumulated CPU time (s) 1285.52
Current children cumulated vsize (KiB) 26068

[startup+1292.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=26068 CPUtime=1291.92
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 128983 209 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13024996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6517 5908 313 324 0 5586 0
Current children cumulated CPU time (s) 1291.92
Current children cumulated vsize (KiB) 26068

[startup+1295.9 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=26068 CPUtime=1295.11
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 129302 209 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551838 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6517 5908 313 324 0 5586 0
Current children cumulated CPU time (s) 1295.11
Current children cumulated vsize (KiB) 26068

[startup+1296.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=26068 CPUtime=1295.91
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 129382 209 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6517 5908 313 324 0 5586 0
Current children cumulated CPU time (s) 1295.91
Current children cumulated vsize (KiB) 26068

[startup+1297.5 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=26068 CPUtime=1296.72
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 129462 210 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551140 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6517 5908 313 324 0 5586 0
Current children cumulated CPU time (s) 1296.72
Current children cumulated vsize (KiB) 26068

[startup+1297.7 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=26068 CPUtime=1296.92
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 129482 210 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 13021308 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6517 5908 313 324 0 5586 0
Current children cumulated CPU time (s) 1296.92
Current children cumulated vsize (KiB) 26068

[startup+1297.8 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 11918
/proc/meminfo: memFree=1793024/2055920 swapFree=4170240/4192956
[pid=11719] ppid=11717 vsize=26068 CPUtime=1297.02
/proc/11719/stat : 11719 (bsolo3.0.16) R 11717 11719 9876 0 -1 4194304 6083 0 0 0 129492 210 0 0 25 0 1 0 248197192 26693632 5908 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/11719/statm: 6517 5908 313 324 0 5586 0
Current children cumulated CPU time (s) 1297.02
Current children cumulated vsize (KiB) 26068

Child status: 0
Real time (s): 1297.88
CPU time (s): 1297.1
CPU user time (s): 1295
CPU system time (s): 2.10468
CPU usage (%): 99.9401
Max. virtual memory (cumulated for all children) (KiB): 26108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1295
system time used= 2.10468
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 6084
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= 10
involuntary context switches= 29729

runsolver used 1.19582 second user time and 3.50147 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Tue May  1 07:00:04 UTC 2007

IDJOB= 431108
IDBENCH= 48028
IDSOLVER= 163
FILE ID= node26/431108-1178002804

PBS_JOBID= 4728205

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=9-P0=449-P1=149-P2=137-P3=137-P4=83-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431108-1178002804/instance-431108-1178002804.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-431108-1178002804 -o ROOT/results/node26/solver-431108-1178002804 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431108-1178002804/instance-431108-1178002804.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  854cc656dc0682d745f606d1e6722452

RANDOM SEED= 28097145

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.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.213
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.213
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:       1815960 kB
Buffers:         33900 kB
Cached:         115400 kB
SwapCached:       3360 kB
Active:          37536 kB
Inactive:       135636 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1815960 kB
SwapTotal:     4192956 kB
SwapFree:      4170240 kB
Dirty:            6740 kB
Writeback:           0 kB
Mapped:          31340 kB
Slab:            52244 kB
Committed_AS:  1377812 kB
PageTables:       1716 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 node26 on Tue May  1 07:21:42 UTC 2007