Trace number 431808

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 895.083 895.598

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=19-P1=337-P2=467-P3=53-B.opb
MD5SUM1214df7607414e67bdb9a74c838a7ae9
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.148976
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 variables81
Total number of constraints7
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 constraints7
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)243
Sum of products size (including duplicates)486
Number of different products243
Sum of products size486

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/431808-1178010526/instance-431808-1178010526.opb
0.00/0.00	c File size is 4315 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: 324 Constr: 496 243/0/253 Lit: 2070 Watch. Lit: 1271
0.00/0.00	c Obj. Vars: 9 (2.77778 % of total variables)
0.00/0.00	c Pre-processing Time: 0.005 s
0.00/0.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.00	c        0    324      496     2070    4     1781    2762      0      0 0.01
0.00/0.00	c Switching off LPR mode.
119.12/119.28	c      104    324      600     9263   15     1945    3039    104   7999 0.01
119.12/119.28	c      254    324      750    18907   25     2195    3343    254   8758 0.03
119.12/119.28	c      483    324      979    37774   38     2660    3678    483  10500 0.05
119.12/119.28	c      823    324     1319    72842   55     3376    4046    823   8484 0.10
119.12/119.28	c     1332    324     1828   114825   62     4409    4451   1332   8763 0.15
119.12/119.28	c     2095    324     2591   180244   69     5924    4897   2095   8413 0.25
119.12/119.28	c     3242    324     3738   277698   74     8173    5387   3242   7888 0.41
119.12/119.28	c     4964    324     5460   409108   74    11642    5926   4964   6174 0.80
119.12/119.28	c     7548    324     4996   347150   69    10713    6519   4500   4965 1.52
119.12/119.28	c    11427    324     5533   388080   70    11781    7171   5037   4144 2.76
119.12/119.28	c    17250    324     4083   301935   73     8894    7889   3587   3794 4.55
119.12/119.28	c    25988    324     4442   287493   64     9651    8678   3946   3412 7.62
119.12/119.28	c    39098    324     8724   617683   70    18189    9546   8228   2977 13.13
119.12/119.28	c    58770    324     8987   643026   71    18667   10501   8491   2686 21.88
119.12/119.28	c    88281    324    10855   869383   80    22366   11552  10359   2380 37.08
119.12/119.28	c   132552    324     6747   515978   76    14220   12708   6251   2079 63.75
119.12/119.28	c   198963    324     6851   553224   80    14434   13979   6355   1770 112.39
119.12/119.28	o 133	119.215
170.40/170.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
170.40/170.56	c   210354    324    11194   850117   75    23046    2780  10698   1764 119.22
170.40/170.56	c   210455    313     1988   124783   62     4756    3059   1492   1764 119.30
170.40/170.56	c   210705    313     2238   144862   64     5228    3365   1742   1765 119.33
170.40/170.56	c   211181    313     2714   182852   67     6186    3702   2218   1768 119.39
170.40/170.56	c   211994    313     3527   248247   70     7815    4073   3031   1773 119.52
170.40/170.56	c   213315    313     2721   177108   65     6193    4481   2225   1779 119.88
170.40/170.56	c   215397    313     4803   345248   71    10374    4930   4307   1791 120.25
170.40/170.56	c   218620    313     5389   392478   72    11507    5424   4893   1806 121.00
170.40/170.56	c   223556    313     4731   328067   69    10160    5967   4235   1823 122.59
170.40/170.56	c   231063    313     6110   428316   70    12944    6564   5614   1846 125.14
170.40/170.56	c   242424    313     3781   284503   75     8257    7221   3285   1888 128.36
170.40/170.56	c   259568    313     5946   421255   70    12550    7944   5450   1931 134.38
170.40/170.56	c   285387    313     7016   556217   79    14740    8739   6520   1981 144.06
170.40/170.56	c   324220    313     5415   367218   67    11489    9613   4919   2031 159.57
170.40/170.56	o 9	170.47
453.74/454.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
453.74/454.06	c   348394    313     9326   748735   80    19399    2778   8830   2043 170.47
453.74/454.06	c   348494    313     1988   123924   62     4750    3056   1492   2043 170.55
453.74/454.06	c   348744    313     2238   144734   64     5206    3362   1742   2044 170.57
453.74/454.06	c   349219    313     2713   184357   67     6165    3699   2217   2046 170.63
453.74/454.06	c   350032    313     3526   249647   70     7799    4069   3030   2050 170.73
453.74/454.06	c   351353    313     2713   174842   64     6114    4476   2217   2054 171.04
453.74/454.06	c   353435    313     4795   333899   69    10278    4924   4299   2059 171.60
453.74/454.06	c   356658    313     2961   193532   65     6622    5417   2465   2067 172.54
453.74/454.06	c   361595    313     5105   349905   68    10921    5959   4609   2078 173.98
453.74/454.06	c   369101    313     3479   228324   65     7715    6555   2983   2096 176.06
453.74/454.06	c   380462    313     4438   302020   68     9598    7211   3942   2109 180.37
453.74/454.06	c   397607    313     6780   469597   69    14311    7933   6284   2128 186.78
453.74/454.06	c   423426    269     7766   567008   73    16303    8727   7270   2146 197.28
453.74/454.06	c   462258    269     6186   417635   67    13117    9600   5690   2170 212.94
453.74/454.06	c   520610    269     9148   613897   67    19052   10561   8652   2196 237.02
453.74/454.06	c   608242    269     8069   602519   74    16878   11618   7573   2170 280.23
453.74/454.06	c   739795    269     7448   573487   76    15561   12780   6952   2082 355.28
453.74/454.06	o 5	453.801
454.13/454.43	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
454.13/454.43	c   904208    268     6894   530331   76    14545    2770   6398   1991 454.04
454.13/454.43	c   904308    268     1989   124458   62     4717    3048   1493   1991 454.11
454.13/454.43	c   904560    268     2241   146265   65     5236    3353   1745   1991 454.15
454.13/454.43	o 3	454.173
894.97/895.59	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
894.97/895.59	c   904762    257     2444   160982   65     5633    2768   1948   1992 454.17
894.97/895.59	c   904863    234     2545   169998   66     5818    3045   2049   1992 454.19
894.97/895.59	c   905113    234     2795   193093   69     6328    3350   2299   1992 454.22
894.97/895.59	c   905589    234     3271   234738   71     7254    3686   2775   1993 454.30
894.97/895.59	c   906402    234     4084   305628   74     8938    4055   3588   1994 454.49
894.97/895.59	c   907723    234     3193   234808   73     7134    4461   2697   1995 454.87
894.97/895.59	c   909804    234     2863   201177   70     6492    4908   2367   1996 455.78
894.97/895.59	c   913027    234     3459   255269   73     7678    5399   2963   1999 456.69
894.97/895.59	c   917963    234     5530   422100   76    11824    5939   5034   2002 458.34
894.97/895.59	c   925470    234     3637   248714   68     8000    6533   3141   2007 460.96
894.97/895.59	c   936832    234     4712   338989   71    10140    7187   4216   2014 465.10
894.97/895.59	c   953977    234     6819   509177   74    14382    7906   6323   2022 471.73
894.97/895.59	c   979796    234     7946   597162   75    16661    8697   7450   2025 483.72
894.97/895.59	c  1018629    234     5680   417115   73    12109    9567   5184   2037 499.98
894.97/895.59	c  1076982    234     8748   633241   72    18240   10524   8252   2045 526.49
894.97/895.59	c  1164614    234     9632   737771   76    19986   11577   9136   2020 576.36
894.97/895.59	c  1296167    234     9246   747782   80    19215   12735   8750   2015 643.11
894.97/895.59	c  1493599    234     8248   630530   76    17202   14009   7752   1944 768.07
894.97/895.59	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
894.97/895.59	v x32 x33 -x34 -x35 x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x46 -x47 -x48 -x49
894.97/895.59	v x50 -x51 -x52 -x53 -x54 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 x74 -x75 x76 -x77 -x78 -x79 -x80 -x81
894.97/895.59	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
894.97/895.59	c   69  1661069   7488  1683062    10994   683374  10498   1855 895.08
894.97/895.59	c Objective: 3
894.97/895.59	s OPTIMUM FOUND
894.97/895.59	c Total time: 895.077 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/node51/watcher-431808-1178010526 -o ROOT/results/node51/solver-431808-1178010526 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431808-1178010526/instance-431808-1178010526.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/64 5089
/proc/meminfo: memFree=1812824/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=3932 CPUtime=0
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 381 0 0 0 0 0 0 0 18 0 1 0 155897696 4026368 350 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 983 351 292 324 0 50 0

[startup+0.0352131 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5089
/proc/meminfo: memFree=1812824/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=4308 CPUtime=0.03
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 502 0 0 0 3 0 0 0 18 0 1 0 155897696 4411392 469 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3053179 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 1077 469 312 324 0 146 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4308

[startup+0.101218 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5089
/proc/meminfo: memFree=1812824/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=5080 CPUtime=0.09
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 683 0 0 0 9 0 0 0 18 0 1 0 155897696 5201920 650 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 1270 650 312 324 0 339 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5080

[startup+0.301235 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5089
/proc/meminfo: memFree=1812824/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=7012 CPUtime=0.29
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 1167 0 0 0 29 0 0 0 19 0 1 0 155897696 7180288 1134 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 1753 1134 312 324 0 822 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7012

[startup+0.701272 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 5089
/proc/meminfo: memFree=1812824/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=9356 CPUtime=0.69
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 1759 0 0 0 69 0 0 0 23 0 1 0 155897696 9580544 1726 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 2339 1726 312 324 0 1408 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9356

[startup+1.50134 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 5090
/proc/meminfo: memFree=1805968/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=11036 CPUtime=1.49
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 2161 0 0 0 148 1 0 0 25 0 1 0 155897696 11300864 2128 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 2759 2128 312 324 0 1828 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11036

[startup+3.10149 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 5090
/proc/meminfo: memFree=1805264/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=11292 CPUtime=3.09
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 2240 0 0 0 307 2 0 0 25 0 1 0 155897696 11563008 2207 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3051048 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 2823 2207 312 324 0 1892 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11292

[startup+6.30177 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 5090
/proc/meminfo: memFree=1803536/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=14240 CPUtime=6.29
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 2983 0 0 0 626 3 0 0 25 0 1 0 155897696 14581760 2950 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 3560 2950 312 324 0 2629 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14240

[startup+12.7013 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 5090
/proc/meminfo: memFree=1801888/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=14244 CPUtime=12.69
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 2984 0 0 0 1265 4 0 0 25 0 1 0 155897696 14585856 2951 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 3561 2951 312 324 0 2630 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 14244

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 5090
/proc/meminfo: memFree=1799776/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=16644 CPUtime=25.47
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 3574 0 0 0 2541 6 0 0 25 0 1 0 155897696 17043456 3541 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572825 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 4161 3541 312 324 0 3230 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 16644

[startup+51.1018 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 5090
/proc/meminfo: memFree=1797984/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=18316 CPUtime=51.06
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4002 0 0 0 5096 10 0 0 25 0 1 0 155897696 18755584 3969 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 4579 3969 312 324 0 3648 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 18316

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/65 5092
/proc/meminfo: memFree=1797344/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=18984 CPUtime=102.23
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4160 0 0 0 10206 17 0 0 25 0 1 0 155897696 19439616 4121 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3051249 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 4746 4121 312 324 0 3815 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 18984

[startup+162.302 s]
/proc/loadavg: 1.07 1.00 1.00 2/65 5092
/proc/meminfo: memFree=1796000/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20172 CPUtime=162.2
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 16188 32 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5043 4438 313 324 0 4112 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 20172

[startup+222.301 s]
/proc/loadavg: 1.02 1.00 1.00 2/65 5092
/proc/meminfo: memFree=1796000/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20172 CPUtime=222.17
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 22173 44 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5043 4438 313 324 0 4112 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 20172

[startup+282.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 5092
/proc/meminfo: memFree=1796064/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20172 CPUtime=282.13
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 28159 54 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5043 4438 313 324 0 4112 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 20172

[startup+342.302 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 5092
/proc/meminfo: memFree=1796000/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20172 CPUtime=342.1
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 34145 65 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551012 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5043 4438 313 324 0 4112 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 20172

[startup+402.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 5092
/proc/meminfo: memFree=1796000/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20172 CPUtime=402.06
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 40131 75 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5043 4438 313 324 0 4112 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 20172

[startup+462.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 5092
/proc/meminfo: memFree=1796000/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20172 CPUtime=462.03
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 46116 87 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5043 4438 313 324 0 4112 0
Current children cumulated CPU time (s) 462.03
Current children cumulated vsize (KiB) 20172

[startup+522.301 s]
/proc/loadavg: 1.07 1.02 1.00 2/65 5092
/proc/meminfo: memFree=1795936/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20172 CPUtime=521.99
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 52101 98 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5043 4438 313 324 0 4112 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 20172

[startup+582.302 s]
/proc/loadavg: 1.09 1.03 1.00 2/65 5092
/proc/meminfo: memFree=1796000/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20172 CPUtime=581.96
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 58089 107 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5043 4438 313 324 0 4112 0
Current children cumulated CPU time (s) 581.96
Current children cumulated vsize (KiB) 20172

[startup+642.302 s]
/proc/loadavg: 1.23 1.07 1.01 2/65 5092
/proc/meminfo: memFree=1795936/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20172 CPUtime=641.93
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 64076 117 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5043 4438 313 324 0 4112 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 20172

[startup+702.301 s]
/proc/loadavg: 1.08 1.05 1.01 2/65 5092
/proc/meminfo: memFree=1795872/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20172 CPUtime=701.89
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 70062 127 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5043 4438 313 324 0 4112 0
Current children cumulated CPU time (s) 701.89
Current children cumulated vsize (KiB) 20172

[startup+762.306 s]
/proc/loadavg: 1.03 1.04 1.00 3/65 5092
/proc/meminfo: memFree=1795936/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20172 CPUtime=761.86
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4514 0 0 0 76050 136 0 0 25 0 1 0 155897696 20656128 4438 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5043 4438 313 324 0 4112 0
Current children cumulated CPU time (s) 761.86
Current children cumulated vsize (KiB) 20172

[startup+822.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 5092
/proc/meminfo: memFree=1795616/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20608 CPUtime=821.82
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4614 0 0 0 82039 143 0 0 25 0 1 0 155897696 21102592 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5152 4538 313 324 0 4221 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 20608

[startup+882.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5092
/proc/meminfo: memFree=1795616/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20600 CPUtime=881.78
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4614 0 0 0 88027 151 0 0 25 0 1 0 155897696 21094400 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5150 4538 313 324 0 4219 0
Current children cumulated CPU time (s) 881.78
Current children cumulated vsize (KiB) 20600

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

[startup+883.102 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5092
/proc/meminfo: memFree=1795616/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20600 CPUtime=882.58
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4614 0 0 0 88107 151 0 0 25 0 1 0 155897696 21094400 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5150 4538 313 324 0 4219 0
Current children cumulated CPU time (s) 882.58
Current children cumulated vsize (KiB) 20600

[startup+889.501 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5092
/proc/meminfo: memFree=1795552/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20600 CPUtime=888.98
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4614 0 0 0 88746 152 0 0 25 0 1 0 155897696 21094400 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5150 4538 313 324 0 4219 0
Current children cumulated CPU time (s) 888.98
Current children cumulated vsize (KiB) 20600

[startup+892.701 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5092
/proc/meminfo: memFree=1795552/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20600 CPUtime=892.17
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4614 0 0 0 89064 153 0 0 25 0 1 0 155897696 21094400 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5150 4538 313 324 0 4219 0
Current children cumulated CPU time (s) 892.17
Current children cumulated vsize (KiB) 20600

[startup+894.306 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5092
/proc/meminfo: memFree=1795552/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20600 CPUtime=893.78
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4614 0 0 0 89225 153 0 0 25 0 1 0 155897696 21094400 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551378 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5150 4538 313 324 0 4219 0
Current children cumulated CPU time (s) 893.78
Current children cumulated vsize (KiB) 20600

[startup+895.102 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5092
/proc/meminfo: memFree=1795552/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20600 CPUtime=894.57
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4614 0 0 0 89304 153 0 0 25 0 1 0 155897696 21094400 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551545 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5150 4538 313 324 0 4219 0
Current children cumulated CPU time (s) 894.57
Current children cumulated vsize (KiB) 20600

[startup+895.502 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 5092
/proc/meminfo: memFree=1795552/2055920 swapFree=4183264/4192956
[pid=5089] ppid=5087 vsize=20600 CPUtime=894.97
/proc/5089/stat : 5089 (bsolo3.0.16) R 5087 5089 3199 0 -1 4194304 4614 0 0 0 89344 153 0 0 25 0 1 0 155897696 21094400 4538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 0 0 0
/proc/5089/statm: 5150 4538 313 324 0 4219 0
Current children cumulated CPU time (s) 894.97
Current children cumulated vsize (KiB) 20600

Child status: 0
Real time (s): 895.598
CPU time (s): 895.083
CPU user time (s): 893.54
CPU system time (s): 1.54277
CPU usage (%): 99.9425
Max. virtual memory (cumulated for all children) (KiB): 20700

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

runsolver used 0.98485 second user time and 2.23566 second system time

The end

Launcher Data (download as text)

Begin job on node51 on Tue May  1 09:08:46 UTC 2007

IDJOB= 431808
IDBENCH= 48078
IDSOLVER= 163
FILE ID= node51/431808-1178010526

PBS_JOBID= 4728269

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=19-P1=337-P2=467-P3=53-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431808-1178010526/instance-431808-1178010526.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node51/watcher-431808-1178010526 -o ROOT/results/node51/solver-431808-1178010526 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431808-1178010526/instance-431808-1178010526.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  1214df7607414e67bdb9a74c838a7ae9

RANDOM SEED= 184601583

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node51.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.223
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.223
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:       1813296 kB
Buffers:         26476 kB
Cached:         143236 kB
SwapCached:       3552 kB
Active:          45660 kB
Inactive:       133720 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1813296 kB
SwapTotal:     4192956 kB
SwapFree:      4183264 kB
Dirty:            6712 kB
Writeback:           0 kB
Mapped:          15500 kB
Slab:            49276 kB
Committed_AS:  4480888 kB
PageTables:       1408 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 node51 on Tue May  1 09:23:42 UTC 2007