Trace number 452961

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.17OPT3 1341.39 1341.96

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.17 - 27/04/2007 : 1600 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 Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/452961-1178002871/instance-452961-1178002871.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.002 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.007 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.59/2.68	c      101    432      762    10921   14     2559    4058    101   5941 0.02
2.59/2.68	c      251    432      912    22811   25     2752    4464    251   8366 0.03
2.59/2.68	c      477    432     1138    42955   37     3252    4911    477   9352 0.05
2.59/2.68	c      816    432     1477    70301   47     3984    5403    816  10461 0.08
2.59/2.68	c     1325    432     1986   109191   54     4973    5944   1325   9888 0.13
2.59/2.68	c     2088    432     2749   174746   63     6489    6539   2088   9757 0.21
2.59/2.68	c     3235    432     3896   265018   68     8768    7193   3235   8402 0.39
2.59/2.68	c     4956    432     5617   421230   74    12204    7913   4956   7277 0.68
2.59/2.68	c     7540    432     8201   640698   78    17297    8705   7540   6070 1.24
2.59/2.68	c    11419    432     7422   575780   77    15797    9576   6761   4924 2.32
2.59/2.68	o 205	2.681
183.75/183.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
183.75/183.95	c    12574    432     8578   663631   77    18095    3707   7917   4690 2.68
183.75/183.95	c    12674    432     2616   155456   59     6186    4078   1955   4627 2.74
183.75/183.95	c    12925    432     2867   175852   61     6770    4486   2206   4659 2.77
183.75/183.95	c    13400    432     3342   215631   64     7671    4935   2681   4664 2.87
183.75/183.95	c    14214    432     4156   286725   68     9228    5429   3495   4774 2.98
183.75/183.95	c    15534    432     5476   389143   71    11884    5972   4815   4678 3.32
183.75/183.95	c    17615    432     4378   308783   70     9675    6570   3717   4706 3.74
183.75/183.95	c    20838    421     3947   259878   65     8938    7228   3286   4680 4.45
183.75/183.95	c    25775    421     4881   386332   79    10747    7951   4220   4529 5.69
183.75/183.95	c    33281    421     8258   604030   73    17429    8747   7597   4634 7.18
183.75/183.95	c    44642    421     6005   447479   74    13013    9622   5344   3751 11.90
183.75/183.95	c    61787    421     7579   520098   68    16189   10585   6918   3236 19.09
183.75/183.95	c    87606    421     6473   438048   67    13977   11644   5812   2598 33.72
183.75/183.95	c   126439    421     8994   678299   75    18893   12809   8333   2287 55.27
183.75/183.95	c   184791    421    13205  1065557   80    27372   14090  12544   1817 101.69
183.75/183.95	c   272424    421    12778   910249   71    26496   15500  12117   1709 159.33
183.75/183.95	o 183	183.817
532.23/532.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
532.23/532.50	c   310075    421    10144   773431   76    21263    3705   9483   1686 183.82
532.23/532.50	c   310176    421     2617   150335   57     6256    4076   1956   1686 183.91
532.23/532.50	c   310426    421     2867   169594   59     6741    4484   2206   1687 183.94
532.23/532.50	c   310902    421     3343   207328   62     7704    4933   2682   1689 184.00
532.23/532.50	c   311717    421     4158   270617   65     9298    5427   3497   1692 184.15
532.23/532.50	c   313038    421     5479   373433   68    11945    5970   4818   1697 184.45
532.23/532.50	c   315119    421     4482   296859   66     9958    6568   3821   1702 185.07
532.23/532.50	c   318345    421     4035   285053   70     9036    7225   3374   1712 185.92
532.23/532.50	c   323282    421     5181   353542   68    11248    7948   4520   1728 187.06
532.23/532.50	c   330789    421     4637   299509   64    10148    8743   3976   1735 190.55
532.23/532.50	c   342150    421     7080   482417   68    15056    9618   6419   1752 195.22
532.23/532.50	c   359294    421     9556   674214   70    19978   10580   8895   1774 202.52
532.23/532.50	c   385114    421     7507   573125   76    15929   11639   6846   1787 215.42
532.23/532.50	c   423946    421    10662   746986   70    22240   12803  10001   1804 235.00
532.23/532.50	c   482298    421    10536   813634   77    22000   14084   9875   1774 271.77
532.23/532.50	c   569930    421    11808   946168   80    24553   15493  11147   1678 339.46
532.23/532.50	c   701484    418    15566  1226629   78    32093   17043  14905   1572 446.01
532.23/532.50	o 33	532.236
575.81/576.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
575.81/576.16	c   791266    418     9189   705607   76    19328    3705   8528   1485 532.50
575.81/576.16	c   791367    418     2621   166120   63     6253    4076   1960   1485 532.61
575.81/576.16	c   791617    418     2871   187838   65     6776    4484   2210   1486 532.63
575.81/576.16	c   792093    418     3347   229611   68     7702    4933   2686   1486 532.69
575.81/576.16	c   792906    418     4160   299877   72     9295    5427   3499   1488 532.86
575.81/576.16	c   794227    408     5481   408171   74    11914    5970   4820   1489 533.19
575.81/576.16	c   796308    408     4258   300526   70     9395    6568   3597   1492 533.62
575.81/576.16	c   799532    408     3997   267169   66     8958    7225   3336   1495 534.53
575.81/576.16	c   804468    408     5213   375078   71    11380    7948   4552   1498 536.72
575.81/576.16	c   811974    408     8630   636746   73    18243    8743   7969   1503 540.05
575.81/576.16	c   823336    408     6555   472640   72    14094    9618   5894   1509 545.58
575.81/576.16	c   840480    408     8955   680758   76    18912   10580   8294   1516 554.29
575.81/576.16	c   866299    396     6955   515459   74    14807   11639   6294   1520 569.61
575.81/576.16	o 25	575.881
646.29/646.68	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
646.29/646.68	c   875872    396    10602   750285   70    22171    3701   9941   1520 575.88
646.29/646.68	c   875973    396     2621   112980   43     6226    4072   1960   1520 575.99
646.29/646.68	c   876230    396     2878   137543   47     6800    4480   2217   1521 576.02
646.29/646.68	c   876705    396     3353   177757   53     7674    4929   2692   1521 576.09
646.29/646.68	c   877519    396     4167   247498   59     9262    5422   3506   1522 576.24
646.29/646.68	c   878840    396     5488   360521   65    11928    5965   4827   1524 576.54
646.29/646.68	c   880922    385     4424   316069   71     9792    6562   3763   1526 577.24
646.29/646.68	c   884146    385     4235   294473   69     9471    7219   3574   1528 578.61
646.29/646.68	c   889082    385     5252   395589   75    11509    7941   4591   1533 579.77
646.29/646.68	c   896589    385     8498   685414   80    18000    8736   7837   1538 582.70
646.29/646.68	c   907950    385     6380   459807   72    13712    9610   5719   1539 589.85
646.29/646.68	c   925095    385     8737   648623   74    18473   10572   8076   1541 600.11
646.29/646.68	c   950915    385     6294   435798   69    13539   11630   5633   1556 610.84
646.29/646.68	c   989748    385     9228   692451   75    19391   12794   8567   1552 637.65
646.29/646.68	o 5	646.372
673.77/674.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
673.77/674.13	c  1005102    385    11347   833429   73    23697    3699  10686   1554 646.37
673.77/674.13	c  1005202    385     2620   143494   54     6253    4069   1959   1554 646.45
673.77/674.13	c  1005452    385     2870   164959   57     6649    4476   2209   1555 646.48
673.77/674.13	c  1005927    385     3345   204160   61     7638    4924   2684   1555 646.54
673.77/674.13	c  1006740    385     4158   274815   66     9248    5417   3497   1556 646.66
673.77/674.13	c  1008060    385     5478   388675   70    11982    5959   4817   1558 646.94
673.77/674.13	c  1010141    385     4452   322303   72     9887    6555   3791   1559 647.60
673.77/674.13	c  1013364    385     4269   301594   70     9530    7211   3608   1561 649.00
673.77/674.13	c  1018301    385     5481   397067   72    11967    7933   4820   1564 651.08
673.77/674.13	c  1025807    385     4795   340615   71    10567    8727   4134   1564 655.74
673.77/674.13	c  1037169    385     7170   539047   75    15326    9600   6509   1567 661.49
673.77/674.13	c  1054314    363     9499   725115   76    19991   10561   8838   1572 670.46
673.77/674.13	o 3	673.81
1341.33/1341.95	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1341.33/1341.95	c  1059967    363     9727   731832   75    20444    3695   9066   1573 673.81
1341.33/1341.95	c  1060067    340     2620   154005   58     6275    4065   1959   1572 673.92
1341.33/1341.95	c  1060317    340     2870   175565   61     6708    4472   2209   1573 673.96
1341.33/1341.95	c  1060792    340     3345   216602   64     7703    4920   2684   1573 674.01
1341.33/1341.95	c  1061606    340     4159   282969   68     9281    5413   3498   1574 674.21
1341.33/1341.95	c  1062926    340     5479   390506   71    11896    5955   4818   1575 674.66
1341.33/1341.95	c  1065007    340     4216   299908   71     9413    6551   3555   1577 675.11
1341.33/1341.95	c  1068230    340     3950   275422   69     8933    7207   3289   1580 676.01
1341.33/1341.95	c  1073167    340     5115   376025   73    11186    7928   4454   1583 677.80
1341.33/1341.95	c  1080673    340     8499   651874   76    17951    8721   7838   1587 680.74
1341.33/1341.95	c  1092034    340     6013   431640   71    12961    9594   5352   1591 686.04
1341.33/1341.95	c  1109179    340     8243   626890   76    17427   10554   7582   1590 697.45
1341.33/1341.95	c  1134998    340     6020   449902   74    13065   11610   5359   1589 713.97
1341.33/1341.95	c  1173831    340     7928   558513   70    16831   12772   7267   1593 736.44
1341.33/1341.95	c  1232184    340    13148  1031261   78    27239   14050  12487   1591 774.41
1341.33/1341.95	c  1319817    340    14370  1106962   77    29679   15456  13709   1553 849.37
1341.33/1341.95	c  1451369    340     8800   692144   78    18545   17002   8139   1523 952.57
1341.33/1341.95	c  1648801    339    14938  1176715   78    30905   18703  14277   1422 1159.47
1341.33/1341.95	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
1341.33/1341.95	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
1341.33/1341.95	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
1341.33/1341.95	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
1341.33/1341.95	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1341.33/1341.95	c  100  1815513   7289  1842532    10288   619191   9627   1353 1341.39
1341.33/1341.95	c Objective: 3
1341.33/1341.95	s OPTIMUM FOUND
1341.33/1341.95	c Total time: 1341.39 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/node42/watcher-452961-1178002871 -o ROOT/results/node42/solver-452961-1178002871 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452961-1178002871/instance-452961-1178002871.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.92 0.98 0.99 3/83 32666
/proc/meminfo: memFree=1762072/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=3932 CPUtime=0
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 382 0 0 0 0 0 0 0 18 0 1 0 248199040 4026368 352 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 983 352 290 324 0 51 0

[startup+0.0577231 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 32666
/proc/meminfo: memFree=1762072/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=4708 CPUtime=0.05
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 595 0 0 0 5 0 0 0 18 0 1 0 248199040 4820992 563 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 1177 563 310 324 0 247 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4708

[startup+0.10173 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 32666
/proc/meminfo: memFree=1762072/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=5348 CPUtime=0.09
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 732 0 0 0 9 0 0 0 18 0 1 0 248199040 5476352 700 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 1337 700 310 324 0 407 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5348

[startup+0.301768 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 32666
/proc/meminfo: memFree=1762072/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=7284 CPUtime=0.29
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 1214 0 0 0 29 0 0 0 19 0 1 0 248199040 7458816 1182 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 1821 1182 310 324 0 891 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7284

[startup+0.701844 s]
/proc/loadavg: 0.92 0.98 0.99 3/83 32666
/proc/meminfo: memFree=1762072/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=10112 CPUtime=0.69
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 1934 0 0 0 69 0 0 0 23 0 1 0 248199040 10354688 1902 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 2528 1902 310 324 0 1598 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10112

[startup+1.502 s]
/proc/loadavg: 0.92 0.98 0.99 2/84 32667
/proc/meminfo: memFree=1753744/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=14108 CPUtime=1.49
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 2933 0 0 0 148 1 0 0 25 0 1 0 248199040 14446592 2901 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12842619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 3527 2901 310 324 0 2597 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14108

[startup+3.1013 s]
/proc/loadavg: 0.92 0.98 0.99 2/84 32675
/proc/meminfo: memFree=1750608/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=14756 CPUtime=3.09
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 3114 0 0 0 308 1 0 0 25 0 1 0 248199040 15110144 3082 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12838197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 3689 3082 311 324 0 2759 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14756

[startup+6.30191 s]
/proc/loadavg: 0.93 0.98 0.99 2/84 32701
/proc/meminfo: memFree=1750480/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=14752 CPUtime=6.29
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 3114 0 0 0 627 2 0 0 25 0 1 0 248199040 15106048 3081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12840468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 3688 3081 311 324 0 2758 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14752

[startup+12.7021 s]
/proc/loadavg: 0.93 0.98 0.99 2/84 32715
/proc/meminfo: memFree=1750544/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=14752 CPUtime=12.68
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 3114 0 0 0 1266 2 0 0 25 0 1 0 248199040 15106048 3081 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 3688 3081 311 324 0 2758 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 14752

[startup+25.5016 s]
/proc/loadavg: 0.95 0.98 0.99 2/84 32759
/proc/meminfo: memFree=1749776/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=15768 CPUtime=25.45
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 3348 0 0 0 2543 2 0 0 25 0 1 0 248199040 16146432 3315 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 3942 3315 311 324 0 3012 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 15768

[startup+51.1014 s]
/proc/loadavg: 0.96 0.98 0.99 2/78 323
/proc/meminfo: memFree=1748928/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=17800 CPUtime=51
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 3860 0 0 0 5098 2 0 0 25 0 1 0 248199040 18227200 3827 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12841311 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 4450 3827 311 324 0 3520 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 17800

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/78 323
/proc/meminfo: memFree=1742928/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=23672 CPUtime=102.18
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5354 0 0 0 10215 3 0 0 25 0 1 0 248199040 24240128 5311 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 5918 5311 311 324 0 4988 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 23672

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1742928/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=23672 CPUtime=162.16
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5355 0 0 0 16212 4 0 0 25 0 1 0 248199040 24240128 5311 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 5918 5311 311 324 0 4988 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 23672

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1742864/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=23532 CPUtime=222.15
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5356 0 0 0 22210 5 0 0 25 0 1 0 248199040 24096768 5276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 5883 5276 311 324 0 4953 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 23532

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1743056/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=23532 CPUtime=282.12
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5356 0 0 0 28207 5 0 0 25 0 1 0 248199040 24096768 5276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 5883 5276 311 324 0 4953 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 23532

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1743184/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=23532 CPUtime=342.1
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5356 0 0 0 34204 6 0 0 25 0 1 0 248199040 24096768 5276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572716 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 5883 5276 311 324 0 4953 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 23532

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1743184/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=23532 CPUtime=402.07
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5356 0 0 0 40201 6 0 0 25 0 1 0 248199040 24096768 5276 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 5883 5276 311 324 0 4953 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 23532

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1742544/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=24184 CPUtime=462.05
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5518 0 0 0 46199 6 0 0 25 0 1 0 248199040 24764416 5438 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6046 5438 311 324 0 5116 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 24184

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1741840/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=24936 CPUtime=522.03
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5697 0 0 0 52196 7 0 0 25 0 1 0 248199040 25534464 5617 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6234 5617 311 324 0 5304 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 24936

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1742032/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=24536 CPUtime=582
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5697 0 0 0 58193 7 0 0 25 0 1 0 248199040 25124864 5527 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12840732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6134 5527 311 324 0 5204 0
Current children cumulated CPU time (s) 582
Current children cumulated vsize (KiB) 24536

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1742032/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=24532 CPUtime=641.99
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5697 0 0 0 64191 8 0 0 25 0 1 0 248199040 25120768 5526 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6133 5526 311 324 0 5203 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 24532


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

/proc/meminfo: memFree=1742096/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=24532 CPUtime=701.96
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5697 0 0 0 70188 8 0 0 25 0 1 0 248199040 25120768 5526 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 12841270 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6133 5526 311 324 0 5203 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 24532

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1742160/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=24532 CPUtime=761.95
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5697 0 0 0 76186 9 0 0 25 0 1 0 248199040 25120768 5526 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6133 5526 311 324 0 5203 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 24532

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1742160/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=24532 CPUtime=821.92
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5697 0 0 0 82183 9 0 0 25 0 1 0 248199040 25120768 5526 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6133 5526 311 324 0 5203 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 24532

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1742160/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=24524 CPUtime=881.9
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5697 0 0 0 88180 10 0 0 25 0 1 0 248199040 25112576 5524 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6131 5524 311 324 0 5201 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 24524

[startup+942.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1742160/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=24520 CPUtime=941.88
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5697 0 0 0 94178 10 0 0 25 0 1 0 248199040 25108480 5523 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6130 5523 311 324 0 5200 0
Current children cumulated CPU time (s) 941.88
Current children cumulated vsize (KiB) 24520

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1741584/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=25120 CPUtime=1001.86
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5833 0 0 0 100175 11 0 0 25 0 1 0 248199040 25722880 5659 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6280 5659 311 324 0 5350 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 25120

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1741520/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=25112 CPUtime=1061.83
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5833 0 0 0 106172 11 0 0 25 0 1 0 248199040 25714688 5659 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134574500 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6278 5659 311 324 0 5348 0
Current children cumulated CPU time (s) 1061.83
Current children cumulated vsize (KiB) 25112

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1741520/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=25112 CPUtime=1121.8
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 5833 0 0 0 112169 11 0 0 25 0 1 0 248199040 25714688 5659 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6278 5659 311 324 0 5348 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 25112

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1740560/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=26104 CPUtime=1181.79
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 118167 12 0 0 25 0 1 0 248199040 26730496 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6526 5906 311 324 0 5596 0
Current children cumulated CPU time (s) 1181.79
Current children cumulated vsize (KiB) 26104

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1740560/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=26068 CPUtime=1241.77
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 124164 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6517 5906 311 324 0 5587 0
Current children cumulated CPU time (s) 1241.77
Current children cumulated vsize (KiB) 26068

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1740496/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=26068 CPUtime=1301.75
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 130162 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6517 5906 311 324 0 5587 0
Current children cumulated CPU time (s) 1301.75
Current children cumulated vsize (KiB) 26068

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

[startup+1305.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1740496/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=26068 CPUtime=1304.94
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 130481 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6517 5906 311 324 0 5587 0
Current children cumulated CPU time (s) 1304.94
Current children cumulated vsize (KiB) 26068

[startup+1318.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1740432/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=26068 CPUtime=1317.74
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 131761 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6517 5906 311 324 0 5587 0
Current children cumulated CPU time (s) 1317.74
Current children cumulated vsize (KiB) 26068

[startup+1331.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1740432/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=26068 CPUtime=1330.53
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 133040 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6517 5906 311 324 0 5587 0
Current children cumulated CPU time (s) 1330.53
Current children cumulated vsize (KiB) 26068

[startup+1337.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1740432/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=26068 CPUtime=1336.93
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 133680 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6517 5906 311 324 0 5587 0
Current children cumulated CPU time (s) 1336.93
Current children cumulated vsize (KiB) 26068

[startup+1339.1 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1740368/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=26068 CPUtime=1338.53
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 133840 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6517 5906 311 324 0 5587 0
Current children cumulated CPU time (s) 1338.53
Current children cumulated vsize (KiB) 26068

[startup+1340.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1740368/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=26068 CPUtime=1340.13
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 134000 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6517 5906 311 324 0 5587 0
Current children cumulated CPU time (s) 1340.13
Current children cumulated vsize (KiB) 26068

[startup+1341.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1740368/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=26068 CPUtime=1340.93
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 134080 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6517 5906 311 324 0 5587 0
Current children cumulated CPU time (s) 1340.93
Current children cumulated vsize (KiB) 26068

[startup+1341.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/78 323
/proc/meminfo: memFree=1740368/2055920 swapFree=4147452/4192956
[pid=32666] ppid=32664 vsize=26068 CPUtime=1341.33
/proc/32666/stat : 32666 (bsolo3.0.17) R 32664 32666 31238 0 -1 4194304 6080 0 0 0 134120 13 0 0 25 0 1 0 248199040 26693632 5906 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32666/statm: 6517 5906 311 324 0 5587 0
Current children cumulated CPU time (s) 1341.33
Current children cumulated vsize (KiB) 26068

Child status: 0
Real time (s): 1341.96
CPU time (s): 1341.39
CPU user time (s): 1341.25
CPU system time (s): 0.141978
CPU usage (%): 99.9581
Max. virtual memory (cumulated for all children) (KiB): 26108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1341.25
system time used= 0.141978
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= 11
involuntary context switches= 27426

runsolver used 1.01684 second user time and 2.97955 second system time

The end

Launcher Data (download as text)

Begin job on node42 on Tue May  1 07:01:11 UTC 2007

IDJOB= 452961
IDBENCH= 48028
IDSOLVER= 199
FILE ID= node42/452961-1178002871

PBS_JOBID= 4728216

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
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.17 -m1800 /tmp/evaluation/452961-1178002871/instance-452961-1178002871.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node42/watcher-452961-1178002871 -o ROOT/results/node42/solver-452961-1178002871 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/452961-1178002871/instance-452961-1178002871.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  854cc656dc0682d745f606d1e6722452

RANDOM SEED= 941003327

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node42.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.277
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.277
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:       1762480 kB
Buffers:         30120 kB
Cached:         170376 kB
SwapCached:      14316 kB
Active:          75988 kB
Inactive:       149500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1762480 kB
SwapTotal:     4192956 kB
SwapFree:      4147452 kB
Dirty:            6704 kB
Writeback:           0 kB
Mapped:          32264 kB
Slab:            52928 kB
Committed_AS:  3743820 kB
PageTables:       2148 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 node42 on Tue May  1 07:23:34 UTC 2007