Trace number 429974

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 527.558 527.751

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.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/429974-1177990263/instance-429974-1177990263.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.
38.08/38.10	c      101    324      597     9742   16     1968    3039    101   6733 0.01
38.08/38.10	c      252    324      748    22395   29     2207    3343    252   9000 0.03
38.08/38.10	c      478    324      974    39682   40     2660    3678    478   9560 0.05
38.08/38.10	c      817    324     1313    65905   50     3330    4046    817   9077 0.09
38.08/38.10	c     1325    324     1821   105759   58     4340    4451   1325   8603 0.15
38.08/38.10	c     2088    324     2584   163862   63     5868    4897   2088   6735 0.31
38.08/38.10	c     3234    324     3730   250399   67     8178    5387   3234   5444 0.59
38.08/38.10	c     4955    324     5451   379229   69    11560    5926   4955   4435 1.12
38.08/38.10	c     7539    324     4936   341500   69    10525    6519   4440   3844 1.96
38.08/38.10	c    11420    324     5488   383265   69    11637    7171   4992   3681 3.10
38.08/38.10	c    17242    324     7538   544416   72    15749    7889   7042   3211 5.37
38.08/38.10	c    25980    324     8199   584125   71    17054    8678   7703   2967 8.76
38.08/38.10	c    39090    324     8078   560507   69    16823    9546   7582   2674 14.62
38.08/38.10	c    58760    324     8334   590374   70    17256   10501   7838   2423 24.25
38.08/38.10	o 265	38.091
147.74/147.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
147.74/147.90	c    87046    324     9368   739143   78    19441    2780   8872   2285 38.09
147.74/147.90	c    87146    324     1987   126673   63     4747    3059   1491   2282 38.18
147.74/147.90	c    87396    324     2237   147114   65     5181    3365   1741   2287 38.20
147.74/147.90	c    87871    324     2712   186198   68     6172    3702   2216   2296 38.26
147.74/147.90	c    88685    324     3526   251169   71     7761    4073   3030   2308 38.42
147.74/147.90	c    90006    324     2731   177964   65     6176    4481   2235   2323 38.74
147.74/147.90	c    92087    324     4812   339626   70    10320    4930   4316   2346 39.25
147.74/147.90	c    95311    324     5289   396445   74    11306    5424   4793   2388 39.90
147.74/147.90	c   100248    324     4491   302978   67     9735    5967   3995   2439 41.10
147.74/147.90	c   107754    324     5872   413250   70    12433    6564   5376   2477 43.50
147.74/147.90	c   119115    324     3779   245792   65     8264    7221   3283   2487 47.88
147.74/147.90	c   136259    324     5524   429162   77    11732    7944   5028   2540 53.63
147.74/147.90	c   162079    324     6815   474814   69    14290    8739   6319   2586 62.67
147.84/147.90	c   200911    324     5103   379044   74    10907    9613   4607   2577 77.93
147.84/147.90	c   259264    324     9172   626009   68    19028   10575   8676   2473 104.81
147.84/147.90	o 35	147.844
351.36/351.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
351.36/351.54	c   342378    324    10729   847169   78    22136    2780  10233   2315 147.84
351.36/351.54	c   342480    324     1989   125470   63     4665    3059   1493   2314 147.96
351.36/351.54	c   342731    324     2240   146248   65     5161    3365   1744   2315 147.99
351.36/351.54	c   343207    324     2716   185013   68     6101    3702   2220   2318 148.06
351.36/351.54	c   344020    324     3529   249611   70     7740    4073   3033   2321 148.21
351.36/351.54	c   345340    324     2731   178290   65     6156    4481   2235   2324 148.54
351.36/351.54	c   347423    324     4814   339934   70    10319    4930   4318   2330 149.08
351.36/351.54	c   350646    324     2962   193794   65     6633    5424   2466   2337 150.03
351.36/351.54	c   355583    324     4916   373986   76    10577    5967   4420   2351 151.19
351.36/351.54	c   363090    324     6174   433004   70    13068    6564   5678   2369 153.25
351.36/351.54	c   374451    324     4077   277454   68     8813    7221   3581   2375 157.61
351.36/351.54	c   391595    314     6293   437841   69    13243    7944   5797   2391 163.77
351.36/351.54	c   417414    291     7298   589922   80    15303    8739   6802   2398 174.00
351.36/351.54	c   456246    291     5420   380239   70    11481    9613   4924   2374 192.18
351.36/351.54	c   514598    291     9224   738533   80    19174   10575   8728   2334 220.41
351.36/351.54	c   602230    291     9932   692207   69    20584   11633   9436   2274 264.74
351.36/351.54	c   733783    291     8878   689983   77    18483   12797   8382   2128 344.81
351.36/351.54	o 17	351.413
428.14/428.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
428.14/428.32	c   749950    291    11997   894501   74    24679    2774  11501   2134 351.41
428.14/428.32	c   750050    291     1987   127220   64     4661    3052   1491   2133 351.61
428.14/428.32	c   750300    291     2237   147399   65     5182    3358   1741   2133 351.64
428.14/428.32	c   750776    291     2713   184673   68     6141    3694   2217   2134 351.70
428.14/428.32	c   751589    291     3526   249146   70     7737    4064   3030   2136 351.85
428.14/428.32	c   752909    291     2694   174029   64     6074    4471   2198   2137 352.18
428.14/428.32	c   754990    291     4775   335416   70    10220    4919   4279   2139 352.91
428.14/428.32	c   758214    291     5430   384690   70    11542    5411   4934   2142 353.85
428.14/428.32	c   763151    291     4737   324833   68    10161    5953   4241   2147 355.29
428.14/428.32	c   770658    291     6064   417758   68    12827    6549   5568   2153 357.83
428.14/428.32	c   782020    291     6995   507335   72    14699    7204   6499   2162 361.68
428.14/428.32	c   799164    291     5391   372068   69    11433    7925   4895   2173 367.61
428.14/428.32	c   824983    291     6806   473185   69    14283    8718   6310   2178 378.76
428.14/428.32	c   863816    291     5493   373786   68    11699    9590   4997   2188 394.65
428.14/428.32	c   922168    279     9571   662617   69    19810   10550   9075   2173 424.28
428.14/428.32	o 9	428.162
428.44/428.64	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
428.44/428.64	c   931529    279     7863   626356   79    16431    2772   7367   2175 428.16
428.44/428.64	c   931630    268     1990   123761   62     4699    3050   1494   2175 428.27
428.44/428.64	c   931881    268     2241   145326   64     5208    3356   1745   2175 428.31
428.44/428.64	c   932356    268     2716   188084   69     6153    3692   2220   2176 428.39
428.44/428.64	o 3	428.483
527.50/527.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
527.50/527.74	c   932916    268     3277   225706   68     7308    2770   2781   2177 428.48
527.50/527.74	c   933016    258     1888   111322   58     4481    3048   1392   2177 428.51
527.50/527.74	c   933266    258     2138   134417   62     5035    3353   1642   2177 428.55
527.50/527.74	c   933741    258     2613   175923   67     5970    3689   2117   2178 428.66
527.50/527.74	c   934555    258     3427   244154   71     7575    4058   2931   2178 428.91
527.50/527.74	c   935875    258     2574   174194   67     5876    4464   2078   2179 429.43
527.50/527.74	c   937956    234     4655   347992   74    10037    4911   4159   2181 429.99
527.50/527.74	c   941179    234     5272   399319   75    11270    5403   4776   2182 431.26
527.50/527.74	c   946115    234     4465   330961   74     9668    5944   3969   2184 433.16
527.50/527.74	c   953622    234     5690   425018   74    12127    6539   5194   2187 435.96
527.50/527.74	c   964984    234     6735   509332   75    14202    7193   6239   2187 441.23
527.50/527.74	c   982128    234     5126   372808   72    10987    7913   4630   2188 448.80
527.50/527.74	c  1007948    234     6261   463341   74    13248    8705   5765   2189 460.29
527.50/527.74	c  1046781    234     8993   675375   75    18726    9576   8497   2177 480.70
527.50/527.74	c  1105133    231     7948   585191   73    16592   10534   7452   2161 511.22
527.50/527.74	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
527.50/527.74	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
527.50/527.74	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
527.50/527.74	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
527.50/527.74	c   80  1128348   2805  1140050     9499   653840   9003   2138 527.55
527.50/527.74	c Objective: 3
527.50/527.74	s OPTIMUM FOUND
527.50/527.74	c Total time: 527.552 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/node40/watcher-429974-1177990263 -o ROOT/results/node40/solver-429974-1177990263 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429974-1177990263/instance-429974-1177990263.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 17834
/proc/meminfo: memFree=1811736/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=3932 CPUtime=0
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 127905845 4026368 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7027828 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 983 348 291 324 0 50 0

[startup+0.00868296 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 17834
/proc/meminfo: memFree=1811736/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=4188 CPUtime=0
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 439 0 0 0 0 0 0 0 18 0 1 0 127905845 4288512 406 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 1047 406 309 324 0 116 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4188

[startup+0.101704 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 17834
/proc/meminfo: memFree=1811736/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=5084 CPUtime=0.09
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 673 0 0 0 9 0 0 0 18 0 1 0 127905845 5206016 640 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 1271 640 312 324 0 340 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5084

[startup+0.301745 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 17834
/proc/meminfo: memFree=1811736/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=6248 CPUtime=0.29
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 985 0 0 0 29 0 0 0 19 0 1 0 127905845 6397952 952 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 1562 952 312 324 0 631 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6248

[startup+0.701828 s]
/proc/loadavg: 0.88 0.97 0.99 3/77 17834
/proc/meminfo: memFree=1811736/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=7940 CPUtime=0.69
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 1387 0 0 0 69 0 0 0 22 0 1 0 127905845 8130560 1354 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 1985 1354 312 324 0 1054 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7940

[startup+1.502 s]
/proc/loadavg: 0.88 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1806608/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=10668 CPUtime=1.49
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 2077 0 0 0 148 1 0 0 25 0 1 0 127905845 10924032 2044 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 2667 2045 312 324 0 1736 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10668

[startup+3.10133 s]
/proc/loadavg: 0.89 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1804240/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=11184 CPUtime=3.09
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 2223 0 0 0 307 2 0 0 25 0 1 0 127905845 11452416 2190 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 2796 2190 312 324 0 1865 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11184

[startup+6.302 s]
/proc/loadavg: 0.89 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1803040/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=12868 CPUtime=6.29
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 2623 0 0 0 626 3 0 0 25 0 1 0 127905845 13176832 2590 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 3217 2590 312 324 0 2286 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12868

[startup+12.7013 s]
/proc/loadavg: 0.90 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1801632/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=13516 CPUtime=12.68
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 2797 0 0 0 1264 4 0 0 25 0 1 0 127905845 13840384 2764 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 3379 2764 312 324 0 2448 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 13516

[startup+25.502 s]
/proc/loadavg: 0.92 0.97 0.99 3/78 17835
/proc/meminfo: memFree=1800680/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=15160 CPUtime=25.48
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 3190 0 0 0 2540 8 0 0 25 0 1 0 127905845 15523840 3157 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 3790 3157 312 324 0 2859 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15160

[startup+51.1014 s]
/proc/loadavg: 0.95 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1798312/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=16972 CPUtime=51.08
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 3659 0 0 0 5094 14 0 0 25 0 1 0 127905845 17379328 3626 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 4243 3626 313 324 0 3312 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 16972

[startup+102.305 s]
/proc/loadavg: 0.98 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1798376/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=16972 CPUtime=102.26
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 3659 0 0 0 10201 25 0 0 25 0 1 0 127905845 17379328 3626 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 4243 3626 313 324 0 3312 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16972

[startup+162.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1798312/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=16972 CPUtime=162.23
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 3660 0 0 0 16187 36 0 0 25 0 1 0 127905845 17379328 3627 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 4243 3627 313 324 0 3312 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 16972

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1798312/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=16972 CPUtime=222.21
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 3660 0 0 0 22171 50 0 0 25 0 1 0 127905845 17379328 3627 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 4243 3627 313 324 0 3312 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 16972

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1797416/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=17876 CPUtime=282.19
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 3894 0 0 0 28159 60 0 0 25 0 1 0 127905845 18305024 3861 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 4469 3861 313 324 0 3538 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 17876

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1796904/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=18392 CPUtime=342.17
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4012 0 0 0 34147 70 0 0 25 0 1 0 127905845 18833408 3979 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 4598 3979 313 324 0 3667 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 18392

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1796520/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=18444 CPUtime=402.15
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4103 0 0 0 40131 84 0 0 25 0 1 0 127905845 18886656 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 4611 4006 313 324 0 3680 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 18444

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1796456/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=18444 CPUtime=462.12
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4103 0 0 0 46116 96 0 0 25 0 1 0 127905845 18886656 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 4611 4006 313 324 0 3680 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 18444

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1796456/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=18444 CPUtime=522.1
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4103 0 0 0 52103 107 0 0 25 0 1 0 127905845 18886656 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 4611 4006 313 324 0 3680 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+524.706 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1796456/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=18444 CPUtime=524.5
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4103 0 0 0 52343 107 0 0 25 0 1 0 127905845 18886656 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 4611 4006 313 324 0 3680 0
Current children cumulated CPU time (s) 524.5
Current children cumulated vsize (KiB) 18444

[startup+526.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1796456/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=18444 CPUtime=526.1
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4103 0 0 0 52502 108 0 0 25 0 1 0 127905845 18886656 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 4611 4006 313 324 0 3680 0
Current children cumulated CPU time (s) 526.1
Current children cumulated vsize (KiB) 18444

[startup+527.102 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1796456/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=18444 CPUtime=526.9
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4103 0 0 0 52582 108 0 0 25 0 1 0 127905845 18886656 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 4611 4006 313 324 0 3680 0
Current children cumulated CPU time (s) 526.9
Current children cumulated vsize (KiB) 18444

[startup+527.501 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1796456/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=18444 CPUtime=527.3
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4103 0 0 0 52622 108 0 0 25 0 1 0 127905845 18886656 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 4611 4006 313 324 0 3680 0
Current children cumulated CPU time (s) 527.3
Current children cumulated vsize (KiB) 18444

[startup+527.701 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 17835
/proc/meminfo: memFree=1796456/2055920 swapFree=4157412/4192956
[pid=17834] ppid=17832 vsize=18444 CPUtime=527.5
/proc/17834/stat : 17834 (bsolo3.0.16) R 17832 17834 12852 0 -1 4194304 4103 0 0 0 52642 108 0 0 25 0 1 0 127905845 18886656 4006 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551770 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17834/statm: 4611 4006 313 324 0 3680 0
Current children cumulated CPU time (s) 527.5
Current children cumulated vsize (KiB) 18444

Child status: 0
Real time (s): 527.751
CPU time (s): 527.558
CPU user time (s): 526.472
CPU system time (s): 1.08583
CPU usage (%): 99.9634
Max. virtual memory (cumulated for all children) (KiB): 18780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 526.472
system time used= 1.08583
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= 1158

runsolver used 0.403938 second user time and 1.10183 second system time

The end

Launcher Data (download as text)

Begin job on node40 on Tue May  1 03:31:03 UTC 2007

IDJOB= 429974
IDBENCH= 47947
IDSOLVER= 163
FILE ID= node40/429974-1177990263

PBS_JOBID= 4728180

Free space on /tmp= 66538 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=487-P1=163-P2=173-P3=211-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429974-1177990263/instance-429974-1177990263.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node40/watcher-429974-1177990263 -o ROOT/results/node40/solver-429974-1177990263 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429974-1177990263/instance-429974-1177990263.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  fb1c97600aa303ca13bb2482d5ad3e27

RANDOM SEED= 209896488

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node40.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.283
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.283
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:       1812144 kB
Buffers:         20220 kB
Cached:         135288 kB
SwapCached:      14968 kB
Active:          31400 kB
Inactive:       147684 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1812144 kB
SwapTotal:     4192956 kB
SwapFree:      4157412 kB
Dirty:            6748 kB
Writeback:           0 kB
Mapped:          30552 kB
Slab:            50044 kB
Committed_AS:  1170424 kB
PageTables:       1936 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= 66538 MiB

End job on node40 on Tue May  1 03:39:51 UTC 2007