Trace number 431388

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.16SAT3 1800.01 1800.63

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb
MD5SUMd6ad4e57f9bd4d3660efa4691d3e45da
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.25396
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 variables162
Total number of constraints13
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 constraints13
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)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

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/431388-1178005599/instance-431388-1178005599.opb
0.00/0.00	c File size is 8551 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.004 s
0.00/0.00	c Var: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540
0.00/0.00	c Obj. Vars: 9 (1.38889 % of total variables)
0.00/0.01	c Pre-processing Time: 0.011 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    648      991     4149    4     3569    5543      0      0 0.01
0.00/0.01	c Switching off LPR mode.
6.88/6.91	c      118    648     1109    14816   13     3710    6098    118   5130 0.02
6.88/6.91	c      269    648     1260    27426   21     3952    6708    269   7685 0.04
6.88/6.91	c      497    648     1488    45707   30     4372    7379    497   8719 0.06
6.88/6.91	c      836    648     1827    72881   39     5036    8117    836   7464 0.11
6.88/6.91	c     1345    648     2336   112344   48     6071    8929   1345   6827 0.20
6.88/6.91	c     2108    648     3099   171339   55     7643    9822   2108   6734 0.31
6.88/6.91	c     3254    648     4245   266860   62     9899   10805   3254   6737 0.48
6.88/6.91	c     4975    648     5966   406603   68    13431   11886   4975   6195 0.80
6.88/6.91	c     7559    648     8550   647441   75    18536   13075   7559   5828 1.30
6.88/6.91	c    11438    648    12429   955074   76    26320   14383  11438   3993 2.86
6.88/6.91	c    17260    648    10986   782403   71    23431   15822   9995   2888 5.98
6.88/6.91	o 201	6.904
30.88/30.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.88/30.98	c    20909    648    14636  1084665   74    30739    5561  13645   3028 6.90
30.88/30.98	c    21009    648     3873   253681   65     9233    6118   2882   2951 7.12
30.88/30.98	c    21260    648     4124   274142   66     9564    6730   3133   2961 7.18
30.88/30.98	c    21735    648     4599   316376   68    10514    7404   3608   3007 7.23
30.88/30.98	c    22549    648     5413   389907   72    12299    8145   4422   3032 7.44
30.88/30.98	c    23869    637     6733   499249   74    14865    8960   5742   3135 7.61
30.88/30.98	c    25951    637     8815   661569   75    19045    9857   7824   3205 8.10
30.88/30.98	c    29174    637     7017   473728   67    15463   10843   6026   3173 9.19
30.88/30.98	c    34112    637     6415   434137   67    14289   11928   5424   3033 11.25
30.88/30.98	c    41619    637     7456   496658   66    16266   13121   6465   2765 15.05
30.88/30.98	c    52981    637    12162   842515   69    25667   14434  11171   2311 22.92
30.88/30.98	o 105	30.97
353.27/353.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
353.27/353.48	c    69327    637    13386  1037682   77    28284    5559  12395   2238 30.97
353.27/353.48	c    69428    637     3874   240321   62     9129    6115   2883   2234 31.08
353.27/353.48	c    69678    637     4124   262738   63     9682    6727   3133   2238 31.12
353.27/353.48	c    70154    626     4600   297255   64    10637    7400   3609   2247 31.21
353.27/353.48	c    70967    626     5413   367372   67    12393    8141   4422   2265 31.32
353.27/353.48	c    72287    626     6733   471487   70    15002    8956   5742   2287 31.60
353.27/353.48	c    74368    626     8814   637949   72    19103    9852   7823   2310 32.19
353.27/353.48	c    77592    626     6929   458477   66    15402   10838   5938   2318 33.47
353.27/353.48	c    82529    626     6413   416939   65    14344   11922   5422   2256 36.58
353.27/353.48	c    90035    626     7749   583050   75    16908   13115   6758   2321 38.79
353.27/353.48	c   101397    626    12263   950143   77    25975   14427  11272   2269 44.68
353.27/353.48	c   118542    626    14794  1033466   69    31029   15870  13803   1955 60.61
353.27/353.48	c   144361    626    15343  1215370   79    32053   17458  14352   1870 77.18
353.27/353.48	c   183193    626    18085  1257161   69    37578   19204  17094   1588 115.36
353.27/353.48	c   241545    626    17679  1389006   78    36681   21125  16688   1406 171.70
353.27/353.48	c   329178    626    19307  1529686   79    39998   23238  18316   1249 263.53
353.27/353.48	o 3	353.367
1799.97/1800.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.97/1800.62	c   420835    626    23686  1898145   80    48860    5557  22695   1190 353.37
1799.97/1800.62	c   420935    596     3873   238368   61     9268    6113   2882   1189 353.89
1799.97/1800.62	c   421186    596     4124   258997   62     9728    6725   3133   1190 353.92
1799.97/1800.62	c   421662    596     4600   297470   64    10632    7398   3609   1191 353.97
1799.97/1800.62	c   422478    596     5416   361336   66    12281    8138   4425   1192 354.15
1799.97/1800.62	c   423799    596     6737   463372   68    14916    8952   5746   1195 354.49
1799.97/1800.62	c   425882    596     8820   623669   70    19104    9848   7829   1199 355.18
1799.97/1800.62	c   429105    596     6987   460586   65    15420   10833   5996   1202 356.96
1799.97/1800.62	c   434043    596     6414   403576   62    14288   11917   5423   1204 360.22
1799.97/1800.62	c   441550    596     7820   524190   67    17072   13109   6829   1212 364.27
1799.97/1800.62	c   452911    596    12158   923408   75    25755   14420  11167   1226 369.35
1799.97/1800.62	c   470056    596    14543  1029619   70    30469   15863  13552   1246 377.14
1799.97/1800.62	c   495875    576    15686  1184799   75    32714   17450  14695   1249 396.85
1799.97/1800.62	c   534708    576     9892   665857   67    21137   19196   8901   1246 428.83
1799.97/1800.62	c   593060    576    19541  1360952   69    40418   21116  18550   1206 491.35
1799.97/1800.62	c   680693    576    20993  1676949   79    43348   23228  20002   1165 584.11
1799.97/1800.62	c   812246    575    18273  1422324   77    37947   25551  17282   1059 766.52
1799.97/1800.62	c  1009678    558    24351  1860541   76    50163   28107  23360    963 1047.86
1799.97/1800.62	c  1305931    558    21661  1621952   74    44786   30918  20670    883 1477.83
1799.97/1800.62	c Resources Exceeded
1799.97/1800.62	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
1799.97/1800.62	v x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 x55 x56 -x57 -x58
1799.97/1800.62	v -x59 -x60 -x61 -x62 -x63 x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x73 x74
1799.97/1800.62	v -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x118 x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89
1799.97/1800.62	v -x90 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x91 -x92 x93 -x94 x95 -x96 -x97 -x98 -x99 -x136 -x137 -x138 -x139
1799.97/1800.62	v -x140 -x141 -x142 -x143 -x144 x100 -x101 x102 x103 -x104 -x105 -x106 -x107 -x108 x145 -x146 -x147 -x148 -x149 -x150 -x151
1799.97/1800.62	v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162
1799.97/1800.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.97/1800.62	c   57  1543131   6058  1565658    15094  1216187  14103    857 1800.00
1799.97/1800.62	c Objective: 3
1799.97/1800.62	s SATISFIABLE
1799.97/1800.62	c Total time: 1800 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/node21/watcher-431388-1178005599 -o ROOT/results/node21/solver-431388-1178005599 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431388-1178005599/instance-431388-1178005599.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.76 0.95 0.98 3/77 29523
/proc/meminfo: memFree=1715352/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=3936 CPUtime=0
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 248477224 4030464 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 984 347 291 324 0 50 0

[startup+0.100186 s]
/proc/loadavg: 0.76 0.95 0.98 3/77 29523
/proc/meminfo: memFree=1715352/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=5112 CPUtime=0.09
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 691 0 0 0 9 0 0 0 18 0 1 0 248477224 5234688 657 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 1278 657 312 324 0 347 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5112

[startup+0.201198 s]
/proc/loadavg: 0.76 0.95 0.98 3/77 29523
/proc/meminfo: memFree=1715352/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=5764 CPUtime=0.19
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 855 0 0 0 19 0 0 0 18 0 1 0 248477224 5902336 821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 1441 821 312 324 0 510 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 5764

[startup+0.301208 s]
/proc/loadavg: 0.76 0.95 0.98 3/77 29523
/proc/meminfo: memFree=1715352/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=6540 CPUtime=0.29
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 1036 0 0 0 29 0 0 0 19 0 1 0 248477224 6696960 1002 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 1635 1002 312 324 0 704 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6540

[startup+0.701252 s]
/proc/loadavg: 0.76 0.95 0.98 3/77 29523
/proc/meminfo: memFree=1715352/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=9516 CPUtime=0.69
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 1793 0 0 0 68 1 0 0 23 0 1 0 248477224 9744384 1759 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 2379 1759 312 324 0 1448 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9516

[startup+1.50134 s]
/proc/loadavg: 0.76 0.95 0.98 2/78 29524
/proc/meminfo: memFree=1707216/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=13792 CPUtime=1.49
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 2864 0 0 0 147 2 0 0 25 0 1 0 248477224 14123008 2830 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 3448 2830 312 324 0 2517 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13792

[startup+3.10151 s]
/proc/loadavg: 0.76 0.95 0.98 2/78 29524
/proc/meminfo: memFree=1702928/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=17792 CPUtime=3.08
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 3872 0 0 0 305 3 0 0 25 0 1 0 248477224 18219008 3838 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 4448 3838 312 324 0 3517 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17792

[startup+6.30186 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 29524
/proc/meminfo: memFree=1697808/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=21000 CPUtime=6.29
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 4660 0 0 0 625 4 0 0 25 0 1 0 248477224 21504000 4626 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 5250 4626 312 324 0 4319 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21000

[startup+12.7016 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 29524
/proc/meminfo: memFree=1697832/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=20948 CPUtime=12.68
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 4661 0 0 0 1262 6 0 0 25 0 1 0 248477224 21450752 4627 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 5237 4627 313 324 0 4306 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20948

[startup+25.502 s]
/proc/loadavg: 0.84 0.95 0.98 2/78 29524
/proc/meminfo: memFree=1697832/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=20948 CPUtime=25.48
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 4661 0 0 0 2540 8 0 0 25 0 1 0 248477224 21450752 4627 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 5237 4627 313 324 0 4306 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20948

[startup+51.1018 s]
/proc/loadavg: 0.89 0.95 0.98 2/78 29524
/proc/meminfo: memFree=1697320/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=21388 CPUtime=51.06
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 4763 0 0 0 5092 14 0 0 25 0 1 0 248477224 21901312 4729 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 5347 4729 313 324 0 4416 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 21388

[startup+102.301 s]
/proc/loadavg: 0.95 0.96 0.98 2/78 29524
/proc/meminfo: memFree=1693544/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=25256 CPUtime=102.25
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 5739 0 0 0 10204 21 0 0 25 0 1 0 248477224 25862144 5705 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8879873 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 6314 5705 313 324 0 5383 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 25256

[startup+162.302 s]
/proc/loadavg: 0.98 0.96 0.98 2/78 29524
/proc/meminfo: memFree=1691304/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=27428 CPUtime=162.23
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 6299 0 0 0 16193 30 0 0 25 0 1 0 248477224 28086272 6251 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 6857 6251 313 324 0 5926 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 27428

[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29524
/proc/meminfo: memFree=1689064/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=29708 CPUtime=222.21
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 6865 0 0 0 22182 39 0 0 25 0 1 0 248477224 30420992 6817 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 7427 6817 313 324 0 6496 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 29708

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29524
/proc/meminfo: memFree=1687272/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=31472 CPUtime=282.2
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 7302 0 0 0 28173 47 0 0 25 0 1 0 248477224 32227328 7254 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 7868 7254 313 324 0 6937 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 31472

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29524
/proc/meminfo: memFree=1687208/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=31436 CPUtime=342.18
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 7303 0 0 0 34162 56 0 0 25 0 1 0 248477224 32190464 7254 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 7859 7254 313 324 0 6928 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 31436

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29524
/proc/meminfo: memFree=1686248/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=32428 CPUtime=402.16
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 7569 0 0 0 40150 66 0 0 25 0 1 0 248477224 33206272 7502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 8107 7502 313 324 0 7176 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 32428

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29524
/proc/meminfo: memFree=1686312/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=32428 CPUtime=462.15
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 7569 0 0 0 46141 74 0 0 25 0 1 0 248477224 33206272 7502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 8107 7502 313 324 0 7176 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 32428

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29524
/proc/meminfo: memFree=1686312/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=32428 CPUtime=522.13
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 7569 0 0 0 52132 81 0 0 25 0 1 0 248477224 33206272 7502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 8107 7502 313 324 0 7176 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 32428

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29524
/proc/meminfo: memFree=1686312/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=32428 CPUtime=582.11
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 7569 0 0 0 58123 88 0 0 25 0 1 0 248477224 33206272 7502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551560 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 8107 7502 313 324 0 7176 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 32428

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29524
/proc/meminfo: memFree=1686312/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=32428 CPUtime=642.1
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 7569 0 0 0 64115 95 0 0 25 0 1 0 248477224 33206272 7502 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 8107 7502 313 324 0 7176 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 32428


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

/proc/meminfo: memFree=1680680/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=37916 CPUtime=1061.88
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 8941 0 0 0 106045 143 0 0 25 0 1 0 248477224 38825984 8869 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 9479 8869 313 324 0 8548 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 37916

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1680680/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=37912 CPUtime=1121.87
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 8942 0 0 0 112038 149 0 0 25 0 1 0 248477224 38821888 8870 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 9478 8870 313 324 0 8547 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 37912

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1680744/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=37904 CPUtime=1181.85
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 8942 0 0 0 118029 156 0 0 25 0 1 0 248477224 38813696 8870 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8555636 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 9476 8870 313 324 0 8545 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 37904

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1680744/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=37900 CPUtime=1241.83
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 8942 0 0 0 124020 163 0 0 25 0 1 0 248477224 38809600 8870 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 9475 8870 313 324 0 8544 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 37900

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1680744/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=37764 CPUtime=1301.81
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 8942 0 0 0 130012 169 0 0 25 0 1 0 248477224 38670336 8836 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 9441 8836 313 324 0 8510 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 37764

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1680744/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=37760 CPUtime=1361.79
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 8942 0 0 0 136004 175 0 0 25 0 1 0 248477224 38666240 8835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 9440 8835 313 324 0 8509 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 37760

[startup+1422.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1680808/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=37760 CPUtime=1421.79
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 8942 0 0 0 141997 182 0 0 25 0 1 0 248477224 38666240 8835 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 9440 8835 313 324 0 8509 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 37760

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1680808/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=39060 CPUtime=1481.76
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9258 0 0 0 147987 189 0 0 25 0 1 0 248477224 39997440 9151 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 9765 9151 313 324 0 8834 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 39060

[startup+1542.31 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1677800/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=40864 CPUtime=1541.75
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9716 0 0 0 153978 197 0 0 25 0 1 0 248477224 41844736 9609 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572857 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 10216 9609 313 324 0 9285 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 40864

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1677864/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=40812 CPUtime=1601.73
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9716 0 0 0 159969 204 0 0 25 0 1 0 248477224 41791488 9598 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 10203 9598 313 324 0 9272 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 40812

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1677416/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=41240 CPUtime=1661.71
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9822 0 0 0 165959 212 0 0 25 0 1 0 248477224 42229760 9704 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 10310 9704 313 324 0 9379 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 41240

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1677224/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=41412 CPUtime=1721.69
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9873 0 0 0 171951 218 0 0 25 0 1 0 248477224 42405888 9746 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 10353 9746 313 324 0 9422 0
Current children cumulated CPU time (s) 1721.69
Current children cumulated vsize (KiB) 41412

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1677288/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=41372 CPUtime=1781.67
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9873 0 0 0 177943 224 0 0 25 0 1 0 248477224 42364928 9738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 10343 9738 313 324 0 9412 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 41372

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

[startup+1792.01 s]
/proc/loadavg: 0.99 0.97 0.98 3/78 29722
/proc/meminfo: memFree=1677288/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=41372 CPUtime=1791.37
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9873 0 0 0 178912 225 0 0 25 0 1 0 248477224 42364928 9738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 10343 9738 313 324 0 9412 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (KiB) 41372

[startup+1795.2 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1677288/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=41372 CPUtime=1794.58
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9873 0 0 0 179232 226 0 0 25 0 1 0 248477224 42364928 9738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 10343 9738 313 324 0 9412 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (KiB) 41372

[startup+1798.4 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1677288/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=41372 CPUtime=1797.77
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9873 0 0 0 179551 226 0 0 25 0 1 0 248477224 42364928 9738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 10343 9738 313 324 0 9412 0
Current children cumulated CPU time (s) 1797.77
Current children cumulated vsize (KiB) 41372

[startup+1800 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1677288/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=41372 CPUtime=1799.37
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9873 0 0 0 179711 226 0 0 25 0 1 0 248477224 42364928 9738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 10343 9738 313 324 0 9412 0
Current children cumulated CPU time (s) 1799.37
Current children cumulated vsize (KiB) 41372

[startup+1800.4 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1677288/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=41372 CPUtime=1799.77
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9873 0 0 0 179751 226 0 0 25 0 1 0 248477224 42364928 9738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551111 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 10343 9738 313 324 0 9412 0
Current children cumulated CPU time (s) 1799.77
Current children cumulated vsize (KiB) 41372

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 29722
/proc/meminfo: memFree=1677288/2055920 swapFree=4156288/4192956
[pid=29523] ppid=29521 vsize=41372 CPUtime=1799.97
/proc/29523/stat : 29523 (bsolo3.0.16) R 29521 29523 29367 0 -1 4194304 9873 0 0 0 179771 226 0 0 25 0 1 0 248477224 42364928 9738 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29523/statm: 10343 9738 313 324 0 9412 0
Current children cumulated CPU time (s) 1799.97
Current children cumulated vsize (KiB) 41372

Child status: 0
Real time (s): 1800.63
CPU time (s): 1800.01
CPU user time (s): 1797.74
CPU system time (s): 2.27365
CPU usage (%): 99.9655
Max. virtual memory (cumulated for all children) (KiB): 41412

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

runsolver used 1.34279 second user time and 4.05638 second system time

The end

Launcher Data (download as text)

Begin job on node21 on Tue May  1 07:46:39 UTC 2007

IDJOB= 431388
IDBENCH= 48048
IDSOLVER= 163
FILE ID= node21/431388-1178005599

PBS_JOBID= 4728290

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=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431388-1178005599/instance-431388-1178005599.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-431388-1178005599 -o ROOT/results/node21/solver-431388-1178005599 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431388-1178005599/instance-431388-1178005599.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  d6ad4e57f9bd4d3660efa4691d3e45da

RANDOM SEED= 243129615

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node21.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.232
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.232
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:       1715824 kB
Buffers:         38760 kB
Cached:         212212 kB
SwapCached:      15044 kB
Active:         172088 kB
Inactive:       101664 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1715824 kB
SwapTotal:     4192956 kB
SwapFree:      4156288 kB
Dirty:            6800 kB
Writeback:           0 kB
Mapped:          29656 kB
Slab:            51904 kB
Committed_AS:  2288088 kB
PageTables:       1784 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 node21 on Tue May  1 08:16:40 UTC 2007