Trace number 452864

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 988.953 989.282

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=149-P1=163-P2=41-P3=157-P4=223-P5=67-P6=191-P7=17-P8=37-B.opb
MD5SUM870560ebbd959d9c8bd54c4fcdba3455
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.185971
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 variables192
Total number of constraints17
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 constraints17
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)512
Sum of products size (including duplicates)1024
Number of different products512
Sum of products size1024

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/452864-1177988427/instance-452864-1177988427.opb
0.00/0.00	c File size is 9296 bytes.
0.00/0.01	c Highest Coefficient sum: 130560
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.004 s
0.00/0.01	c Var: 704 Constr: 1049 512/0/537 Lit: 4408 Watch. Lit: 2706
0.00/0.01	c Obj. Vars: 8 (1.13636 % of total variables)
0.00/0.01	c Pre-processing Time: 0.012 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    704     1049     4408    4     3786    5914      0      0 0.01
0.00/0.01	c Switching off LPR mode.
185.66/185.88	c      102    704     1151    10543    9     3894    6506    102   5100 0.02
185.66/185.88	c      252    704     1301    20260   15     4177    7157    252   8400 0.03
185.66/185.88	c      478    704     1527    32697   21     4585    7873    478   9372 0.05
185.66/185.88	c      816    704     1865    53488   28     5320    8661    816   8774 0.09
185.66/185.88	c     1324    704     2373    96724   40     6313    9528   1324   9525 0.14
185.66/185.88	c     2088    704     3137   149569   47     7786   10481   2088   9577 0.22
185.66/185.88	c     3234    704     4283   226214   52    10079   11530   3234   9008 0.36
185.66/185.88	c     4956    704     6005   331043   55    13505   12684   4956   7452 0.66
185.66/185.88	c     7540    704     8589   494398   57    18658   13953   7540   5955 1.27
185.66/185.88	c    11420    704    12469   726845   58    26399   15349  11420   4102 2.78
185.66/185.88	c    17243    704     9970   609099   61    21511   16884   8921   3968 4.34
185.66/185.88	c    25982    704     9616   533063   55    20801   18573   8567   2707 9.60
185.66/185.88	c    39092    704    13300   811776   61    28134   20431  12251   2537 15.41
185.66/185.88	c    58763    704    11592   711273   61    24714   22475  10543   2758 21.30
185.66/185.88	c    88275    704    17395  1083875   62    36184   24723  16346   1895 46.58
185.66/185.88	c   132545    704    20622  1376741   66    42792   27196  19573   1363 97.19
185.66/185.88	c   198955    704    21538  1396540   64    44566   29916  20489   1344 147.94
185.66/185.88	o 163	185.746
896.58/896.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
896.58/896.96	c   249464    703    16287  1186134   72    34141    5930  15238   1343 185.75
896.58/896.96	c   249564    703     4116   241971   58     9647    6524   3067   1342 185.92
896.58/896.96	c   249814    703     4366   259459   59    10212    7177   3317   1343 185.95
896.58/896.96	c   250293    703     4845   289212   59    11127    7895   3796   1345 186.00
896.58/896.96	c   251106    703     5658   342465   60    12779    8685   4609   1349 186.12
896.58/896.96	c   252428    703     6980   432340   61    15499    9554   5931   1354 186.39
896.58/896.96	c   254509    703     9061   567500   62    19661   10510   8012   1360 187.01
896.58/896.96	c   257732    703     6977   392924   56    15465   11562   5928   1366 188.57
896.58/896.96	c   262669    703    11914   705996   59    25374   12719  10865   1370 191.67
896.58/896.96	c   270175    703    12993   789903   60    27473   13991  11944   1386 194.92
896.58/896.96	c   281536    703     9645   566052   58    20772   15391   8596   1422 197.97
896.58/896.96	c   298680    703    10469   650812   62    22485   16931   9420   1442 207.03
896.58/896.96	c   324500    703     9859   552383   56    21262   18625   8810   1474 220.01
896.58/896.96	c   363332    700    10366   714441   68    22275   20488   9317   1429 254.19
896.58/896.96	c   421685    700    15688  1016276   64    32876   22537  14639   1405 299.99
896.58/896.96	c   509319    699    19165  1236977   64    39842   24791  18116   1426 357.02
896.58/896.96	c   640872    699    24311  1527633   62    50185   27271  23262   1204 532.04
896.58/896.96	c   838305    696    14562   872495   59    30629   29999  13513   1118 749.45
896.58/896.96	o 41	896.657
903.89/904.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
903.89/904.21	c   953211    695    15196   911538   59    31945    5930  14147   1063 896.66
903.89/904.21	c   953313    695     4126   210603   51     9732    6524   3077   1062 896.82
903.89/904.21	c   953563    685     4376   225901   51    10382    7177   3327   1063 896.85
903.89/904.21	c   954039    675     4852   260302   53    11342    7895   3803   1063 896.91
903.89/904.21	c   954853    675     5666   314070   55    12951    8685   4617   1064 897.05
903.89/904.21	c   956174    675     6987   400873   57    15587    9554   5938   1065 897.38
903.89/904.21	c   958255    675     9068   536479   59    19761   10510   8019   1067 898.08
903.89/904.21	c   961478    675     6978   386352   55    15577   11562   5929   1068 899.78
903.89/904.21	c   966415    675    11915   710159   59    25442   12719  10866   1070 902.85
903.89/904.21	o 37	903.901
919.48/919.83	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
919.48/919.83	c   968273    675    13774   825401   59    29155    5926  12725   1071 903.90
919.48/919.83	c   968374    675     4125   195124   47     9775    6519   3076   1071 904.08
919.48/919.83	c   968624    675     4375   212025   48    10313    7171   3326   1071 904.11
919.48/919.83	c   969100    675     4851   244070   50    11257    7889   3802   1071 904.19
919.48/919.83	c   969914    675     5665   295841   52    12888    8678   4616   1072 904.47
919.48/919.83	c   971235    675     6986   380088   54    15514    9546   5937   1073 905.07
919.48/919.83	c   973316    675     9067   510026   56    19721   10501   8018   1073 906.28
919.48/919.83	c   976540    675     6966   382920   54    15515   11552   5917   1075 908.08
919.48/919.83	c   981476    675    11902   701703   58    25396   12708  10853   1076 911.55
919.48/919.83	c   988983    675    12984   749730   57    27543   13979  11935   1077 917.70
919.48/919.83	o 33	919.521
959.07/959.45	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
959.07/959.45	c   996779    675    13134   781295   59    27892    5926  12085   1084 919.52
959.07/959.45	c   996879    675     4124   183915   44     9866    6519   3075   1084 919.61
959.07/959.45	c   997129    675     4374   200200   45    10362    7171   3325   1084 919.63
959.07/959.45	c   997605    675     4850   232293   47    11298    7889   3801   1084 919.69
959.07/959.45	c   998418    675     5663   285852   50    12886    8678   4614   1085 919.86
959.07/959.45	c   999739    675     6984   372574   53    15571    9546   5935   1086 920.23
959.07/959.45	c  1001820    675     9065   507754   56    19697   10501   8016   1087 921.05
959.07/959.45	c  1005043    675     6963   388386   55    15499   11552   5914   1089 922.71
959.07/959.45	c  1009979    675    11899   713309   59    25328   12708  10850   1092 924.75
959.07/959.45	c  1017485    675    12492   764795   61    26491   13979  11443   1095 928.87
959.07/959.45	c  1028846    675     9747   534025   54    20993   15377   8698   1096 938.59
959.07/959.45	c  1045990    675    11367   653335   57    24253   16915  10318   1099 951.61
959.07/959.45	o 7	959.131
963.66/964.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
963.66/964.06	c  1061337    675    17751  1073257   60    37043    5926  16702   1106 959.13
963.66/964.06	c  1061438    665     4126   195723   47     9801    6519   3077   1106 959.33
963.66/964.06	c  1061689    665     4377   213336   48    10304    7171   3328   1106 959.38
963.66/964.06	c  1062164    644     4852   245290   50    11257    7889   3803   1107 959.49
963.66/964.06	c  1062977    644     5665   299011   52    12906    8678   4616   1107 959.71
963.66/964.06	c  1064298    644     6986   391325   56    15547    9546   5937   1108 960.01
963.66/964.06	c  1066379    644     9067   521463   57    19686   10501   8018   1110 960.61
963.66/964.06	c  1069603    644     6688   359528   53    14911   11552   5639   1111 962.60
963.66/964.06	o 3	963.741
988.86/989.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
988.86/989.27	c  1072429    644     9515   537505   56    20605    5920   8466   1112 963.74
988.86/989.27	c  1072530    623     4126   196554   47     9832    6513   3077   1112 963.83
988.86/989.27	c  1072781    623     4377   212692   48    10353    7165   3328   1112 963.91
988.86/989.27	c  1073257    623     4853   243768   50    11296    7882   3804   1113 964.02
988.86/989.27	c  1074071    623     5667   298950   52    12921    8671   4618   1113 964.30
988.86/989.27	c  1075391    623     6987   384311   55    15582    9539   5938   1114 964.86
988.86/989.27	c  1077472    623     9068   519149   57    19748   10493   8019   1115 965.87
988.86/989.27	c  1080695    623     6915   381566   55    15399   11543   5866   1116 968.17
988.86/989.27	c  1085631    623    11851   701338   59    25299   12698  10802   1117 971.52
988.86/989.27	c  1093138    623    12874   743196   57    27348   13968  11825   1118 977.08
988.86/989.27	c  1104499    623    10009   552878   55    21620   15365   8960   1120 985.94
988.86/989.27	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
988.86/989.27	v -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 -x59
988.86/989.27	v -x60 x61 x62 x63 x64 x65 -x66 x67 -x68 -x69 -x70 -x71 x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x129 x130 -x131 -x132 -x133 -x134
988.86/989.27	v -x135 -x136 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x89 -x90 -x91 x92 -x93 -x94
988.86/989.27	v -x95 -x96 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x97 -x98 -x99 -x100 x101 -x102 x103 -x104 -x153 -x154 -x155 -x156
988.86/989.27	v -x157 -x158 -x159 -x160 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x161 -x162 -x163 x164 x165 x166 -x167 -x168 x113 -x114
988.86/989.27	v -x115 -x116 x117 -x118 -x119 -x120 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x121 -x122 -x123 -x124 -x125 -x126 -x127
988.86/989.27	v -x128 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
988.86/989.27	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
988.86/989.27	c   85  1110557  12384  1161859    16067   911091  15018   1122 988.94
988.86/989.27	c Objective: 3
988.86/989.27	s OPTIMUM FOUND
988.86/989.27	c Total time: 988.943 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/node43/watcher-452864-1177988427 -o ROOT/results/node43/solver-452864-1177988427 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452864-1177988427/instance-452864-1177988427.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: 1.00 1.01 1.00 3/77 6334
/proc/meminfo: memFree=1647112/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=3828 CPUtime=0
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 140 0 0 0 0 0 0 0 18 0 1 0 246754482 3919872 122 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4702816 0 0 4096 0 0 0 0 17 1 0 0
/proc/6334/statm: 957 129 111 324 0 15 0

[startup+0.0933421 s]
/proc/loadavg: 1.00 1.01 1.00 3/77 6334
/proc/meminfo: memFree=1647112/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=4972 CPUtime=0.08
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 644 0 0 0 8 0 0 0 18 0 1 0 246754482 5091328 611 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 1243 611 310 324 0 313 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4972

[startup+0.101342 s]
/proc/loadavg: 1.00 1.01 1.00 3/77 6334
/proc/meminfo: memFree=1647112/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=4972 CPUtime=0.09
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 656 0 0 0 9 0 0 0 18 0 1 0 246754482 5091328 623 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 1243 623 310 324 0 313 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4972

[startup+0.301359 s]
/proc/loadavg: 1.00 1.01 1.00 3/77 6334
/proc/meminfo: memFree=1647112/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=6920 CPUtime=0.28
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 1153 0 0 0 28 0 0 0 19 0 1 0 246754482 7086080 1120 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 1730 1120 310 324 0 800 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6920

[startup+0.701394 s]
/proc/loadavg: 1.00 1.01 1.00 3/77 6334
/proc/meminfo: memFree=1647112/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=9120 CPUtime=0.69
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 1677 0 0 0 68 1 0 0 23 0 1 0 246754482 9338880 1644 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 2280 1644 310 324 0 1350 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9120

[startup+1.50146 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 6335
/proc/meminfo: memFree=1640832/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=12092 CPUtime=1.49
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 2428 0 0 0 147 2 0 0 25 0 1 0 246754482 12382208 2395 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 3023 2395 310 324 0 2093 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12092

[startup+3.1016 s]
/proc/loadavg: 1.08 1.02 1.00 2/78 6335
/proc/meminfo: memFree=1636736/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=15060 CPUtime=3.08
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 3186 0 0 0 306 2 0 0 25 0 1 0 246754482 15421440 3153 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 3765 3153 310 324 0 2835 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 15060

[startup+6.30188 s]
/proc/loadavg: 1.08 1.02 1.00 2/78 6335
/proc/meminfo: memFree=1630976/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=19452 CPUtime=6.29
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 4280 0 0 0 626 3 0 0 25 0 1 0 246754482 19918848 4247 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551469 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 4863 4247 310 324 0 3933 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19452

[startup+12.7024 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 6335
/proc/meminfo: memFree=1629568/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=20876 CPUtime=12.68
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 4638 0 0 0 1265 3 0 0 25 0 1 0 246754482 21377024 4605 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 5219 4605 310 324 0 4289 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20876

[startup+25.5015 s]
/proc/loadavg: 1.14 1.04 1.01 2/78 6335
/proc/meminfo: memFree=1623552/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=26980 CPUtime=25.48
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 6166 0 0 0 2544 4 0 0 25 0 1 0 246754482 27627520 6133 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5164464 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 6745 6133 310 324 0 5815 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 26980

[startup+51.1018 s]
/proc/loadavg: 1.15 1.05 1.01 2/84 6443
/proc/meminfo: memFree=1620688/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=28664 CPUtime=51.04
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 6591 0 0 0 5099 5 0 0 25 0 1 0 246754482 29351936 6558 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 7166 6558 310 324 0 6236 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 28664

[startup+102.305 s]
/proc/loadavg: 1.06 1.04 1.00 2/78 6533
/proc/meminfo: memFree=1618296/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=32056 CPUtime=102.18
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 7434 0 0 0 10212 6 0 0 25 0 1 0 246754482 32825344 7401 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 8014 7401 310 324 0 7084 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 32056

[startup+162.301 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 6533
/proc/meminfo: memFree=1617656/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=32756 CPUtime=162.16
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 7612 0 0 0 16209 7 0 0 25 0 1 0 246754482 33542144 7579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551058 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 8189 7579 310 324 0 7259 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 32756

[startup+222.302 s]
/proc/loadavg: 1.05 1.04 1.00 2/78 6533
/proc/meminfo: memFree=1610168/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40088 CPUtime=222.14
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 22205 9 0 0 25 0 1 0 246754482 41050112 9415 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10022 9415 311 324 0 9092 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 40088

[startup+282.302 s]
/proc/loadavg: 1.02 1.03 1.00 2/78 6533
/proc/meminfo: memFree=1610168/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40080 CPUtime=282.13
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 28203 10 0 0 25 0 1 0 246754482 41041920 9413 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10020 9413 311 324 0 9090 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 40080

[startup+342.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 6533
/proc/meminfo: memFree=1610168/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40064 CPUtime=342.11
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 34201 10 0 0 25 0 1 0 246754482 41025536 9409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10016 9409 311 324 0 9086 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 40064

[startup+402.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 6533
/proc/meminfo: memFree=1610176/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40064 CPUtime=402.1
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 40199 11 0 0 25 0 1 0 246754482 41025536 9409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10016 9409 311 324 0 9086 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 40064

[startup+462.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 6533
/proc/meminfo: memFree=1610176/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40064 CPUtime=462.08
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 46197 11 0 0 25 0 1 0 246754482 41025536 9409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10016 9409 311 324 0 9086 0
Current children cumulated CPU time (s) 462.08
Current children cumulated vsize (KiB) 40064

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1610176/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40064 CPUtime=522.08
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 52196 12 0 0 25 0 1 0 246754482 41025536 9409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10016 9409 311 324 0 9086 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 40064

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1610176/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40064 CPUtime=582.06
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 58194 12 0 0 25 0 1 0 246754482 41025536 9409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10016 9409 311 324 0 9086 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 40064

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1610176/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40064 CPUtime=642.05
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 64192 13 0 0 25 0 1 0 246754482 41025536 9409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10016 9409 311 324 0 9086 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 40064

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1610048/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40064 CPUtime=702.03
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 70190 13 0 0 25 0 1 0 246754482 41025536 9409 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5162903 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10016 9409 311 324 0 9086 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 40064

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1609984/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40060 CPUtime=762.02
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 76188 14 0 0 25 0 1 0 246754482 41021440 9408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550878 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10015 9408 311 324 0 9085 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 40060

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1609984/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40060 CPUtime=822
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 82186 14 0 0 25 0 1 0 246754482 41021440 9408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10015 9408 311 324 0 9085 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 40060

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1609984/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40060 CPUtime=881.99
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 88184 15 0 0 25 0 1 0 246754482 41021440 9408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5164788 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10015 9408 311 324 0 9085 0
Current children cumulated CPU time (s) 881.99
Current children cumulated vsize (KiB) 40060

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1609984/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40060 CPUtime=941.97
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 94182 15 0 0 25 0 1 0 246754482 41021440 9408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10015 9408 311 324 0 9085 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 40060

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

[startup+947.106 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1609984/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40060 CPUtime=946.77
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 94662 15 0 0 25 0 1 0 246754482 41021440 9408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10015 9408 311 324 0 9085 0
Current children cumulated CPU time (s) 946.77
Current children cumulated vsize (KiB) 40060

[startup+972.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1609984/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40060 CPUtime=972.37
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 97221 16 0 0 25 0 1 0 246754482 41021440 9408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134575174 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10015 9408 311 324 0 9085 0
Current children cumulated CPU time (s) 972.37
Current children cumulated vsize (KiB) 40060

[startup+979.102 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1609984/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40060 CPUtime=978.77
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 97861 16 0 0 25 0 1 0 246754482 41021440 9408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10015 9408 311 324 0 9085 0
Current children cumulated CPU time (s) 978.77
Current children cumulated vsize (KiB) 40060

[startup+985.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1609984/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40060 CPUtime=985.17
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 98501 16 0 0 25 0 1 0 246754482 41021440 9408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527325 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10015 9408 311 324 0 9085 0
Current children cumulated CPU time (s) 985.17
Current children cumulated vsize (KiB) 40060

[startup+987.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1609984/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40060 CPUtime=986.77
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 98661 16 0 0 25 0 1 0 246754482 41021440 9408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10015 9408 311 324 0 9085 0
Current children cumulated CPU time (s) 986.77
Current children cumulated vsize (KiB) 40060

[startup+987.902 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1609984/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40060 CPUtime=987.57
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 98741 16 0 0 25 0 1 0 246754482 41021440 9408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10015 9408 311 324 0 9085 0
Current children cumulated CPU time (s) 987.57
Current children cumulated vsize (KiB) 40060

[startup+988.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1609984/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40060 CPUtime=988.36
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 98820 16 0 0 25 0 1 0 246754482 41021440 9408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10015 9408 311 324 0 9085 0
Current children cumulated CPU time (s) 988.36
Current children cumulated vsize (KiB) 40060

[startup+989.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1609984/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40060 CPUtime=988.76
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 98860 16 0 0 25 0 1 0 246754482 41021440 9408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10015 9408 311 324 0 9085 0
Current children cumulated CPU time (s) 988.76
Current children cumulated vsize (KiB) 40060

[startup+989.201 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 6533
/proc/meminfo: memFree=1609984/2055920 swapFree=4158588/4192956
[pid=6334] ppid=6332 vsize=40060 CPUtime=988.86
/proc/6334/stat : 6334 (bsolo3.0.17) R 6332 6334 2433 0 -1 4194304 9458 0 0 0 98870 16 0 0 25 0 1 0 246754482 41021440 9408 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6334/statm: 10015 9408 311 324 0 9085 0
Current children cumulated CPU time (s) 988.86
Current children cumulated vsize (KiB) 40060

Child status: 0
Real time (s): 989.282
CPU time (s): 988.953
CPU user time (s): 988.784
CPU system time (s): 0.168974
CPU usage (%): 99.9667
Max. virtual memory (cumulated for all children) (KiB): 40136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 988.784
system time used= 0.168974
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9462
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= 10
involuntary context switches= 20245

runsolver used 0.761884 second user time and 2.22066 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Tue May  1 03:00:27 UTC 2007

IDJOB= 452864
IDBENCH= 47931
IDSOLVER= 199
FILE ID= node43/452864-1177988427

PBS_JOBID= 4728179

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=8-P0=149-P1=163-P2=41-P3=157-P4=223-P5=67-P6=191-P7=17-P8=37-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452864-1177988427/instance-452864-1177988427.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-452864-1177988427 -o ROOT/results/node43/solver-452864-1177988427 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/452864-1177988427/instance-452864-1177988427.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  870560ebbd959d9c8bd54c4fcdba3455

RANDOM SEED= 647984732

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.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.218
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.218
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:       1647584 kB
Buffers:         24932 kB
Cached:         290684 kB
SwapCached:       2624 kB
Active:          86812 kB
Inactive:       253076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1647584 kB
SwapTotal:     4192956 kB
SwapFree:      4158588 kB
Dirty:            6616 kB
Writeback:           0 kB
Mapped:          32252 kB
Slab:            53940 kB
Committed_AS:  2845284 kB
PageTables:       1896 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 node43 on Tue May  1 03:16:56 UTC 2007