Trace number 452880

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 523.954 524.142

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/
factor-mod-B/factor-mod-size=9-P0=487-P1=163-P2=173-P3=211-B.opb
MD5SUMfb1c97600aa303ca13bb2482d5ad3e27
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.099984
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.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/452880-1177990375/instance-452880-1177990375.opb
0.00/0.00	c File size is 4313 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: 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.
37.67/37.75	c      101    324      597     9742   16     1968    3039    101   6733 0.01
37.67/37.75	c      252    324      748    22395   29     2207    3343    252   9333 0.03
37.67/37.75	c      478    324      974    39682   40     2660    3678    478   9755 0.05
37.67/37.75	c      817    324     1313    65905   50     3330    4046    817   9179 0.09
37.67/37.75	c     1325    324     1821   105759   58     4340    4451   1325   8717 0.15
37.67/37.75	c     2088    324     2584   163862   63     5868    4897   2088   6845 0.30
37.67/37.75	c     3234    324     3730   250399   67     8178    5387   3234   5518 0.59
37.67/37.75	c     4955    324     5451   379229   69    11560    5926   4955   4463 1.11
37.67/37.75	c     7539    324     4936   341500   69    10525    6519   4440   3858 1.95
37.67/37.75	c    11420    324     5488   383265   69    11637    7171   4992   3702 3.08
37.67/37.75	c    17242    324     7538   544416   72    15749    7889   7042   3230 5.34
37.67/37.75	c    25980    324     8199   584125   71    17054    8678   7703   2981 8.71
37.67/37.75	c    39090    324     8078   560507   69    16823    9546   7582   2695 14.50
37.67/37.75	c    58760    324     8334   590374   70    17256   10501   7838   2447 24.01
37.67/37.75	o 265	37.726
146.73/146.85	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
146.73/146.85	c    87046    324     9368   739143   78    19441    2780   8872   2307 37.73
146.73/146.85	c    87146    324     1987   126673   63     4747    3059   1491   2304 37.81
146.73/146.85	c    87396    324     2237   147114   65     5181    3365   1741   2310 37.83
146.73/146.85	c    87871    324     2712   186198   68     6172    3702   2216   2319 37.89
146.73/146.85	c    88685    324     3526   251169   71     7761    4073   3030   2330 38.05
146.73/146.85	c    90006    324     2731   177964   65     6176    4481   2235   2345 38.37
146.73/146.85	c    92087    324     4812   339626   70    10320    4930   4316   2369 38.87
146.73/146.85	c    95311    324     5289   396445   74    11306    5424   4793   2412 39.51
146.73/146.85	c   100248    324     4491   302978   67     9735    5967   3995   2462 40.70
146.73/146.85	c   107754    324     5872   413250   70    12433    6564   5376   2500 43.09
146.73/146.85	c   119115    324     3779   245792   65     8264    7221   3283   2508 47.49
146.73/146.85	c   136259    324     5524   429162   77    11732    7944   5028   2560 53.23
146.73/146.85	c   162079    324     6815   474814   69    14290    8739   6319   2605 62.21
146.73/146.85	c   200911    324     5103   379044   74    10907    9613   4607   2596 77.38
146.73/146.85	c   259264    324     9172   626009   68    19028   10575   8676   2492 104.04
146.73/146.85	o 35	146.795
349.16/349.37	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
349.16/349.37	c   342378    324    10729   847169   78    22136    2780  10233   2332 146.79
349.16/349.37	c   342480    324     1989   125470   63     4665    3059   1493   2331 146.91
349.16/349.37	c   342731    324     2240   146248   65     5161    3365   1744   2332 146.94
349.16/349.37	c   343207    324     2716   185013   68     6101    3702   2220   2334 147.01
349.16/349.37	c   344020    324     3529   249611   70     7740    4073   3033   2337 147.16
349.16/349.37	c   345340    324     2731   178290   65     6156    4481   2235   2341 147.49
349.16/349.37	c   347423    324     4814   339934   70    10319    4930   4318   2347 148.02
349.16/349.37	c   350646    324     2962   193794   65     6633    5424   2466   2353 148.96
349.16/349.37	c   355583    324     4916   373986   76    10577    5967   4420   2368 150.12
349.16/349.37	c   363090    324     6174   433004   70    13068    6564   5678   2386 152.17
349.16/349.37	c   374451    324     4077   277454   68     8813    7221   3581   2392 156.48
349.16/349.37	c   391595    314     6293   437841   69    13243    7944   5797   2407 162.63
349.16/349.37	c   417414    291     7298   589922   80    15303    8739   6802   2414 172.86
349.16/349.37	c   456246    291     5420   380239   70    11481    9613   4924   2388 190.99
349.16/349.37	c   514598    291     9224   738533   80    19174   10575   8728   2349 219.06
349.16/349.37	c   602230    291     9932   692207   69    20584   11633   9436   2288 263.14
349.16/349.37	c   733783    291     8878   689983   77    18483   12797   8382   2141 342.70
349.16/349.37	o 17	349.244
425.24/425.40	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
425.24/425.40	c   749950    291    11997   894501   74    24679    2774  11501   2147 349.24
425.24/425.40	c   750050    291     1987   127220   64     4661    3052   1491   2146 349.44
425.24/425.40	c   750300    291     2237   147399   65     5182    3358   1741   2146 349.47
425.24/425.40	c   750776    291     2713   184673   68     6141    3694   2217   2147 349.53
425.24/425.40	c   751589    291     3526   249146   70     7737    4064   3030   2149 349.68
425.24/425.40	c   752909    291     2694   174029   64     6074    4471   2198   2151 350.00
425.24/425.40	c   754990    291     4775   335416   70    10220    4919   4279   2152 350.73
425.24/425.40	c   758214    291     5430   384690   70    11542    5411   4934   2156 351.65
425.24/425.40	c   763151    291     4737   324833   68    10161    5953   4241   2161 353.08
425.24/425.40	c   770658    291     6064   417758   68    12827    6549   5568   2167 355.56
425.24/425.40	c   782020    291     6995   507335   72    14699    7204   6499   2176 359.36
425.24/425.40	c   799164    291     5391   372068   69    11433    7925   4895   2187 365.26
425.24/425.40	c   824983    291     6806   473185   69    14283    8718   6310   2192 376.26
425.24/425.40	c   863816    291     5493   373786   68    11699    9590   4997   2203 392.04
425.24/425.40	c   922168    279     9571   662617   69    19810   10550   9075   2188 421.38
425.24/425.40	o 9	425.249
425.54/425.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
425.54/425.72	c   931529    279     7863   626356   79    16431    2772   7367   2190 425.25
425.54/425.72	c   931630    268     1990   123761   62     4699    3050   1494   2190 425.35
425.54/425.72	c   931881    268     2241   145326   64     5208    3356   1745   2190 425.40
425.54/425.72	c   932356    268     2716   188084   69     6153    3692   2220   2191 425.48
425.54/425.72	o 3	425.57
523.90/524.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
523.90/524.13	c   932916    268     3277   225706   68     7308    2770   2781   2192 425.57
523.90/524.13	c   933016    258     1888   111322   58     4481    3048   1392   2192 425.60
523.90/524.13	c   933266    258     2138   134417   62     5035    3353   1642   2192 425.63
523.90/524.13	c   933741    258     2613   175923   67     5970    3689   2117   2193 425.74
523.90/524.13	c   934555    258     3427   244154   71     7575    4058   2931   2193 426.00
523.90/524.13	c   935875    258     2574   174194   67     5876    4464   2078   2194 426.51
523.90/524.13	c   937956    234     4655   347992   74    10037    4911   4159   2196 427.07
523.90/524.13	c   941179    234     5272   399319   75    11270    5403   4776   2197 428.33
523.90/524.13	c   946115    234     4465   330961   74     9668    5944   3969   2199 430.21
523.90/524.13	c   953622    234     5690   425018   74    12127    6539   5194   2202 432.98
523.90/524.13	c   964984    234     6735   509332   75    14202    7193   6239   2202 438.19
523.90/524.13	c   982128    234     5126   372808   72    10987    7913   4630   2203 445.75
523.90/524.13	c  1007948    234     6261   463341   74    13248    8705   5765   2204 457.15
523.90/524.13	c  1046781    234     8993   675375   75    18726    9576   8497   2192 477.46
523.90/524.13	c  1105133    231     7948   585191   73    16592   10534   7452   2176 507.78
523.90/524.13	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
523.90/524.13	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
523.90/524.13	v -x49 -x50 x51 -x52 -x53 -x54 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81
523.90/524.13	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
523.90/524.13	c   80  1128348   2805  1140050     9499   653840   9003   2153 523.95
523.90/524.13	c Objective: 3
523.90/524.13	s OPTIMUM FOUND
523.90/524.13	c Total time: 523.947 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/node3/watcher-452880-1177990375 -o ROOT/results/node3/solver-452880-1177990375 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452880-1177990375/instance-452880-1177990375.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.93 1.00 0.99 3/77 16776
/proc/meminfo: memFree=1854176/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=3932 CPUtime=0
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 376 0 0 0 0 0 0 0 18 0 1 0 275075284 4026368 346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 983 346 289 324 0 51 0

[startup+0.0796349 s]
/proc/loadavg: 0.93 1.00 0.99 3/77 16776
/proc/meminfo: memFree=1854176/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=4828 CPUtime=0.07
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 627 0 0 0 7 0 0 0 18 0 1 0 275075284 4943872 595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 1207 595 310 324 0 277 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4828

[startup+0.101638 s]
/proc/loadavg: 0.93 1.00 0.99 3/77 16776
/proc/meminfo: memFree=1854176/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=5084 CPUtime=0.09
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 675 0 0 0 9 0 0 0 18 0 1 0 275075284 5206016 643 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 1271 643 310 324 0 341 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5084

[startup+0.301671 s]
/proc/loadavg: 0.93 1.00 0.99 3/77 16776
/proc/meminfo: memFree=1854176/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=6376 CPUtime=0.29
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 989 0 0 0 29 0 0 0 19 0 1 0 275075284 6529024 957 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 1594 957 310 324 0 664 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6376

[startup+0.701734 s]
/proc/loadavg: 0.93 1.00 0.99 3/77 16776
/proc/meminfo: memFree=1854176/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=7940 CPUtime=0.69
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 1394 0 0 0 69 0 0 0 23 0 1 0 275075284 8130560 1362 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11366186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 1985 1362 310 324 0 1055 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7940

[startup+1.50186 s]
/proc/loadavg: 0.93 1.00 0.99 2/78 16777
/proc/meminfo: memFree=1848984/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=10668 CPUtime=1.49
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 2075 0 0 0 148 1 0 0 25 0 1 0 275075284 10924032 2043 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 2667 2043 310 324 0 1737 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10668

[startup+3.10113 s]
/proc/loadavg: 0.93 1.00 0.99 2/78 16777
/proc/meminfo: memFree=1846936/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=11184 CPUtime=3.09
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 2220 0 0 0 308 1 0 0 25 0 1 0 275075284 11452416 2188 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 2796 2188 310 324 0 1866 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11184

[startup+6.30164 s]
/proc/loadavg: 0.93 1.00 0.99 2/78 16778
/proc/meminfo: memFree=1845336/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=12868 CPUtime=6.29
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 2620 0 0 0 628 1 0 0 25 0 1 0 275075284 13176832 2588 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 3217 2588 310 324 0 2287 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12868

[startup+12.7027 s]
/proc/loadavg: 0.94 1.00 0.99 2/78 16778
/proc/meminfo: memFree=1843992/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=13516 CPUtime=12.69
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 2794 0 0 0 1267 2 0 0 25 0 1 0 275075284 13840384 2762 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 3379 2762 310 324 0 2449 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13516

[startup+25.5018 s]
/proc/loadavg: 0.95 1.00 0.99 2/78 16778
/proc/meminfo: memFree=1842584/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=15416 CPUtime=25.48
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 3260 0 0 0 2546 2 0 0 25 0 1 0 275075284 15785984 3228 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11359867 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 3854 3228 310 324 0 2924 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15416

[startup+51.1019 s]
/proc/loadavg: 0.97 1.00 0.99 2/78 16778
/proc/meminfo: memFree=1840664/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=16972 CPUtime=51.07
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 3656 0 0 0 5104 3 0 0 25 0 1 0 275075284 17379328 3624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 4243 3624 311 324 0 3313 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 16972

[startup+102.305 s]
/proc/loadavg: 0.98 1.00 0.99 2/78 16778
/proc/meminfo: memFree=1840600/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=16972 CPUtime=102.25
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 3656 0 0 0 10222 3 0 0 25 0 1 0 275075284 17379328 3624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 4243 3624 311 324 0 3313 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 16972

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 16778
/proc/meminfo: memFree=1840536/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=16972 CPUtime=162.23
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 3657 0 0 0 16219 4 0 0 25 0 1 0 275075284 17379328 3625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 4243 3625 311 324 0 3313 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 16972

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 16778
/proc/meminfo: memFree=1840472/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=16972 CPUtime=222.21
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 3657 0 0 0 22217 4 0 0 25 0 1 0 275075284 17379328 3625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 4243 3625 311 324 0 3313 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 16972

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 16778
/proc/meminfo: memFree=1839064/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=18392 CPUtime=282.19
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 4009 0 0 0 28214 5 0 0 25 0 1 0 275075284 18833408 3977 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551042 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 4598 3977 311 324 0 3668 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 18392

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 16778
/proc/meminfo: memFree=1839000/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=18392 CPUtime=342.16
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 4009 0 0 0 34211 5 0 0 25 0 1 0 275075284 18833408 3977 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134519592 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 4598 3977 311 324 0 3668 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 18392

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 16778
/proc/meminfo: memFree=1838680/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=18444 CPUtime=402.15
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 4100 0 0 0 40209 6 0 0 25 0 1 0 275075284 18886656 4004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 4611 4004 311 324 0 3681 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 18444

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 16778
/proc/meminfo: memFree=1838680/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=18444 CPUtime=462.12
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 4100 0 0 0 46206 6 0 0 25 0 1 0 275075284 18886656 4004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550896 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 4611 4004 311 324 0 3681 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 18444

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 16778
/proc/meminfo: memFree=1838680/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=18444 CPUtime=522.1
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 4100 0 0 0 52204 6 0 0 25 0 1 0 275075284 18886656 4004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 4611 4004 311 324 0 3681 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 18444

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

[startup+523.101 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 16778
/proc/meminfo: memFree=1838680/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=18444 CPUtime=522.9
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 4100 0 0 0 52284 6 0 0 25 0 1 0 275075284 18886656 4004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 4611 4004 311 324 0 3681 0
Current children cumulated CPU time (s) 522.9
Current children cumulated vsize (KiB) 18444

[startup+523.902 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 16778
/proc/meminfo: memFree=1838680/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=18444 CPUtime=523.7
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 4100 0 0 0 52364 6 0 0 25 0 1 0 275075284 18886656 4004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 4611 4004 311 324 0 3681 0
Current children cumulated CPU time (s) 523.7
Current children cumulated vsize (KiB) 18444

[startup+524.102 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 16778
/proc/meminfo: memFree=1838680/2055920 swapFree=4139036/4192956
[pid=16776] ppid=16774 vsize=18444 CPUtime=523.9
/proc/16776/stat : 16776 (bsolo3.0.17) R 16774 16776 26712 0 -1 4194304 4100 0 0 0 52384 6 0 0 25 0 1 0 275075284 18886656 4004 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16776/statm: 4611 4004 311 324 0 3681 0
Current children cumulated CPU time (s) 523.9
Current children cumulated vsize (KiB) 18444

Child status: 0
Real time (s): 524.142
CPU time (s): 523.954
CPU user time (s): 523.881
CPU system time (s): 0.072988
CPU usage (%): 99.9642
Max. virtual memory (cumulated for all children) (KiB): 18780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 523.881
system time used= 0.072988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4104
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 10603

runsolver used 0.420936 second user time and 1.09383 second system time

The end

Launcher Data (download as text)

Begin job on node3 on Tue May  1 03:32:55 UTC 2007

IDJOB= 452880
IDBENCH= 47947
IDSOLVER= 199
FILE ID= node3/452880-1177990375

PBS_JOBID= 4728192

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=487-P1=163-P2=173-P3=211-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452880-1177990375/instance-452880-1177990375.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node3/watcher-452880-1177990375 -o ROOT/results/node3/solver-452880-1177990375 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/452880-1177990375/instance-452880-1177990375.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  fb1c97600aa303ca13bb2482d5ad3e27

RANDOM SEED= 768304303

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node3.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.270
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.270
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:       1854584 kB
Buffers:         23916 kB
Cached:          95616 kB
SwapCached:      16672 kB
Active:          79532 kB
Inactive:        66708 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1854584 kB
SwapTotal:     4192956 kB
SwapFree:      4139036 kB
Dirty:            6692 kB
Writeback:           0 kB
Mapped:          33472 kB
Slab:            40600 kB
Committed_AS:  7234712 kB
PageTables:       1792 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 node3 on Tue May  1 03:41:40 UTC 2007