Trace number 429750

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 993.181 993.554

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.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/429750-1177988353/instance-429750-1177988353.opb
0.00/0.00	c File size is 9296 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
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: 704 Constr: 1049 512/0/537 Lit: 4408 Watch. Lit: 2706
0.00/0.00	c Obj. Vars: 8 (1.13636 % 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    704     1049     4408    4     3786    5914      0      0 0.01
0.00/0.01	c Switching off LPR mode.
186.63/186.85	c      102    704     1151    10543    9     3894    6506    102   5100 0.02
186.63/186.85	c      252    704     1301    20260   15     4177    7157    252   8400 0.03
186.63/186.85	c      478    704     1527    32697   21     4585    7873    478   9372 0.05
186.63/186.85	c      816    704     1865    53488   28     5320    8661    816   8680 0.09
186.63/186.85	c     1324    704     2373    96724   40     6313    9528   1324   9457 0.14
186.63/186.85	c     2088    704     3137   149569   47     7786   10481   2088   9490 0.22
186.63/186.85	c     3234    704     4283   226214   52    10079   11530   3234   9008 0.36
186.63/186.85	c     4956    704     6005   331043   55    13505   12684   4956   7430 0.67
186.63/186.85	c     7540    704     8589   494398   57    18658   13953   7540   5941 1.27
186.63/186.85	c    11420    704    12469   726845   58    26399   15349  11420   4093 2.79
186.63/186.85	c    17243    704     9970   609099   61    21511   16884   8921   3949 4.37
186.63/186.85	c    25982    704     9616   533063   55    20801   18573   8567   2676 9.71
186.63/186.85	c    39092    704    13300   811776   61    28134   20431  12251   2505 15.60
186.63/186.85	c    58763    704    11592   711273   61    24714   22475  10543   2739 21.45
186.63/186.85	c    88275    704    17395  1083875   62    36184   24723  16346   1884 46.85
186.63/186.85	c   132545    704    20622  1376741   66    42792   27196  19573   1356 97.73
186.63/186.85	c   198955    704    21538  1396540   64    44566   29916  20489   1338 148.69
186.63/186.85	o 163	186.689
900.34/900.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
900.34/900.76	c   249464    703    16287  1186134   72    34141    5930  15238   1336 186.69
900.34/900.76	c   249564    703     4116   241971   58     9647    6524   3067   1335 186.87
900.34/900.76	c   249814    703     4366   259459   59    10212    7177   3317   1336 186.90
900.34/900.76	c   250293    703     4845   289212   59    11127    7895   3796   1338 186.94
900.34/900.76	c   251106    703     5658   342465   60    12779    8685   4609   1342 187.07
900.34/900.76	c   252428    703     6980   432340   61    15499    9554   5931   1347 187.34
900.34/900.76	c   254509    703     9061   567500   62    19661   10510   8012   1354 187.97
900.34/900.76	c   257732    703     6977   392924   56    15465   11562   5928   1359 189.56
900.34/900.76	c   262669    703    11914   705996   59    25374   12719  10865   1362 192.72
900.34/900.76	c   270175    703    12993   789903   60    27473   13991  11944   1378 196.01
900.34/900.76	c   281536    703     9645   566052   58    20772   15391   8596   1414 199.07
900.34/900.76	c   298680    703    10469   650812   62    22485   16931   9420   1434 208.16
900.34/900.76	c   324500    703     9859   552383   56    21262   18625   8810   1466 221.20
900.34/900.76	c   363332    700    10366   714441   68    22275   20488   9317   1421 255.53
900.34/900.76	c   421685    700    15688  1016276   64    32876   22537  14639   1399 301.39
900.34/900.76	c   509319    699    19165  1236977   64    39842   24791  18116   1419 358.71
900.34/900.76	c   640872    699    24311  1527633   62    50185   27271  23262   1199 534.41
900.34/900.76	c   838305    696    14562   872495   59    30629   29999  13513   1113 752.58
900.34/900.76	o 41	900.412
907.64/908.07	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
907.64/908.07	c   953211    695    15196   911538   59    31945    5930  14147   1058 900.41
907.64/908.07	c   953313    695     4126   210603   51     9732    6524   3077   1058 900.57
907.64/908.07	c   953563    685     4376   225901   51    10382    7177   3327   1058 900.61
907.64/908.07	c   954039    675     4852   260302   53    11342    7895   3803   1059 900.67
907.64/908.07	c   954853    675     5666   314070   55    12951    8685   4617   1060 900.80
907.64/908.07	c   956174    675     6987   400873   57    15587    9554   5938   1061 901.13
907.64/908.07	c   958255    675     9068   536479   59    19761   10510   8019   1062 901.84
907.64/908.07	c   961478    675     6978   386352   55    15577   11562   5929   1064 903.55
907.64/908.07	c   966415    675    11915   710159   59    25442   12719  10866   1065 906.67
907.64/908.07	o 37	907.727
923.33/923.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
923.33/923.76	c   968273    675    13774   825401   59    29155    5926  12725   1066 907.73
923.33/923.76	c   968374    675     4125   195124   47     9775    6519   3076   1066 907.90
923.33/923.76	c   968624    675     4375   212025   48    10313    7171   3326   1066 907.93
923.33/923.76	c   969100    675     4851   244070   50    11257    7889   3802   1067 908.02
923.33/923.76	c   969914    675     5665   295841   52    12888    8678   4616   1067 908.29
923.33/923.76	c   971235    675     6986   380088   54    15514    9546   5937   1068 908.90
923.33/923.76	c   973316    675     9067   510026   56    19721   10501   8018   1069 910.12
923.33/923.76	c   976540    675     6966   382920   54    15515   11552   5917   1070 911.94
923.33/923.76	c   981476    675    11902   701703   58    25396   12708  10853   1072 915.42
923.33/923.76	c   988983    675    12984   749730   57    27543   13979  11935   1073 921.59
923.33/923.76	o 33	923.405
963.23/963.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
963.23/963.61	c   996779    675    13134   781295   59    27892    5926  12085   1079 923.40
963.23/963.61	c   996879    675     4124   183915   44     9866    6519   3075   1079 923.49
963.23/963.61	c   997129    675     4374   200200   45    10362    7171   3325   1079 923.51
963.23/963.61	c   997605    675     4850   232293   47    11298    7889   3801   1080 923.58
963.23/963.61	c   998418    675     5663   285852   50    12886    8678   4614   1080 923.75
963.23/963.61	c   999739    675     6984   372574   53    15571    9546   5935   1081 924.12
963.23/963.61	c  1001820    675     9065   507754   56    19697   10501   8016   1083 924.94
963.23/963.61	c  1005043    675     6963   388386   55    15499   11552   5914   1084 926.60
963.23/963.61	c  1009979    675    11899   713309   59    25328   12708  10850   1087 928.65
963.23/963.61	c  1017485    675    12492   764795   61    26491   13979  11443   1090 932.83
963.23/963.61	c  1028846    675     9747   534025   54    20993   15377   8698   1091 942.59
963.23/963.61	c  1045990    675    11367   653335   57    24253   16915  10318   1094 955.68
963.23/963.61	o 7	963.242
967.82/968.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
967.82/968.23	c  1061337    675    17751  1073257   60    37043    5926  16702   1101 963.24
967.82/968.23	c  1061438    665     4126   195723   47     9801    6519   3077   1101 963.44
967.82/968.23	c  1061689    665     4377   213336   48    10304    7171   3328   1101 963.49
967.82/968.23	c  1062164    644     4852   245290   50    11257    7889   3803   1102 963.60
967.82/968.23	c  1062977    644     5665   299011   52    12906    8678   4616   1102 963.82
967.82/968.23	c  1064298    644     6986   391325   56    15547    9546   5937   1103 964.12
967.82/968.23	c  1066379    644     9067   521463   57    19686   10501   8018   1105 964.73
967.82/968.23	c  1069603    644     6688   359528   53    14911   11552   5639   1106 966.72
967.82/968.23	o 3	967.869
993.12/993.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
993.12/993.54	c  1072429    644     9515   537505   56    20605    5920   8466   1108 967.87
993.12/993.54	c  1072530    623     4126   196554   47     9832    6513   3077   1108 967.96
993.12/993.54	c  1072781    623     4377   212692   48    10353    7165   3328   1108 968.04
993.12/993.54	c  1073257    623     4853   243768   50    11296    7882   3804   1108 968.15
993.12/993.54	c  1074071    623     5667   298950   52    12921    8671   4618   1109 968.43
993.12/993.54	c  1075391    623     6987   384311   55    15582    9539   5938   1109 968.99
993.12/993.54	c  1077472    623     9068   519149   57    19748   10493   8019   1110 970.00
993.12/993.54	c  1080695    623     6915   381566   55    15399   11543   5866   1111 972.33
993.12/993.54	c  1085631    623    11851   701338   59    25299   12698  10802   1112 975.69
993.12/993.54	c  1093138    623    12874   743196   57    27348   13968  11825   1114 981.25
993.12/993.54	c  1104499    623    10009   552878   55    21620   15365   8960   1115 990.12
993.12/993.54	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
993.12/993.54	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
993.12/993.54	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
993.12/993.54	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
993.12/993.54	v -x95 -x96 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x97 -x98 -x99 -x100 x101 -x102 x103 -x104 -x153 -x154 -x155 -x156
993.12/993.54	v -x157 -x158 -x159 -x160 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x161 -x162 -x163 x164 x165 x166 -x167 -x168 x113 -x114
993.12/993.54	v -x115 -x116 x117 -x118 -x119 -x120 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x121 -x122 -x123 -x124 -x125 -x126 -x127
993.12/993.54	v -x128 -x177 -x178 -x179 -x180 x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
993.12/993.54	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
993.12/993.54	c   85  1110557  12384  1161859    16067   911091  15018   1118 993.17
993.12/993.54	c Objective: 3
993.12/993.54	s OPTIMUM FOUND
993.12/993.54	c Total time: 993.171 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/node47/watcher-429750-1177988353 -o ROOT/results/node47/solver-429750-1177988353 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429750-1177988353/instance-429750-1177988353.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.98 1.02 1.00 3/77 31908
/proc/meminfo: memFree=1774144/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=3936 CPUtime=0
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 153680655 4030464 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 984 347 291 324 0 50 0

[startup+0.0522159 s]
/proc/loadavg: 0.98 1.02 1.00 3/77 31908
/proc/meminfo: memFree=1774144/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=4716 CPUtime=0.04
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 577 0 0 0 4 0 0 0 18 0 1 0 153680655 4829184 543 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 1179 543 312 324 0 248 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4716

[startup+0.101221 s]
/proc/loadavg: 0.98 1.02 1.00 3/77 31908
/proc/meminfo: memFree=1774144/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=4972 CPUtime=0.09
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 663 0 0 0 9 0 0 0 18 0 1 0 153680655 5091328 629 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 1243 629 312 324 0 312 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4972

[startup+0.301243 s]
/proc/loadavg: 0.98 1.02 1.00 3/77 31908
/proc/meminfo: memFree=1774144/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=6920 CPUtime=0.3
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 1157 0 0 0 29 1 0 0 19 0 1 0 153680655 7086080 1123 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 1730 1123 312 324 0 799 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 6920

[startup+0.701286 s]
/proc/loadavg: 0.98 1.02 1.00 3/77 31908
/proc/meminfo: memFree=1774144/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=9120 CPUtime=0.69
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 1678 0 0 0 68 1 0 0 22 0 1 0 153680655 9338880 1644 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 2280 1644 312 324 0 1349 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9120

[startup+1.50137 s]
/proc/loadavg: 0.98 1.02 1.00 3/78 31909
/proc/meminfo: memFree=1767864/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=12092 CPUtime=1.5
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 2429 0 0 0 148 2 0 0 25 0 1 0 153680655 12382208 2395 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 3023 2395 312 324 0 2092 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 12092

[startup+3.10154 s]
/proc/loadavg: 0.98 1.02 1.00 2/78 31909
/proc/meminfo: memFree=1763960/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=15060 CPUtime=3.09
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 3188 0 0 0 307 2 0 0 25 0 1 0 153680655 15421440 3154 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 3765 3154 312 324 0 2834 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15060

[startup+6.30189 s]
/proc/loadavg: 0.98 1.02 1.00 2/78 31909
/proc/meminfo: memFree=1758080/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=19452 CPUtime=6.29
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 4283 0 0 0 625 4 0 0 25 0 1 0 153680655 19918848 4249 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 4863 4249 312 324 0 3932 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19452

[startup+12.7016 s]
/proc/loadavg: 0.98 1.02 1.00 2/78 31909
/proc/meminfo: memFree=1756880/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=20876 CPUtime=12.69
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 4641 0 0 0 1264 5 0 0 25 0 1 0 153680655 21377024 4607 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 5219 4607 312 324 0 4288 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20876

[startup+25.502 s]
/proc/loadavg: 0.99 1.02 1.00 2/78 31909
/proc/meminfo: memFree=1751064/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=26980 CPUtime=25.49
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 6169 0 0 0 2540 9 0 0 25 0 1 0 153680655 27627520 6135 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160527350 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 6745 6135 312 324 0 5814 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 26980

[startup+51.1017 s]
/proc/loadavg: 0.99 1.02 1.00 2/78 31909
/proc/meminfo: memFree=1749336/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=28664 CPUtime=51.07
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 6594 0 0 0 5095 12 0 0 25 0 1 0 153680655 29351936 6560 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 7166 6560 312 324 0 6235 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 28664

[startup+102.305 s]
/proc/loadavg: 0.99 1.01 1.00 2/78 31909
/proc/meminfo: memFree=1746008/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=32056 CPUtime=102.27
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 7437 0 0 0 10207 20 0 0 25 0 1 0 153680655 32825344 7403 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 8014 7403 312 324 0 7083 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 32056

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/84 32087
/proc/meminfo: memFree=1743824/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=32756 CPUtime=162.16
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 7615 0 0 0 16184 32 0 0 25 0 1 0 153680655 33542144 7581 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 8189 7581 312 324 0 7258 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 32756

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32107
/proc/meminfo: memFree=1737624/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40088 CPUtime=222.12
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 22167 45 0 0 25 0 1 0 153680655 41050112 9417 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10022 9417 313 324 0 9091 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 40088

[startup+282.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32107
/proc/meminfo: memFree=1737624/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40080 CPUtime=282.11
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 28159 52 0 0 25 0 1 0 153680655 41041920 9415 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10020 9415 313 324 0 9089 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 40080

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32107
/proc/meminfo: memFree=1737624/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40068 CPUtime=342.09
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 34146 63 0 0 25 0 1 0 153680655 41029632 9412 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10017 9412 313 324 0 9086 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 40068

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32107
/proc/meminfo: memFree=1737624/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40064 CPUtime=402.07
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 40137 70 0 0 25 0 1 0 153680655 41025536 9411 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550862 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10016 9411 313 324 0 9085 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 40064

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32107
/proc/meminfo: memFree=1737624/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40064 CPUtime=462.06
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 46129 77 0 0 25 0 1 0 153680655 41025536 9411 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10016 9411 313 324 0 9085 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 40064

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32107
/proc/meminfo: memFree=1737624/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40064 CPUtime=522.05
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 52121 84 0 0 25 0 1 0 153680655 41025536 9411 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10016 9411 313 324 0 9085 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 40064

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32107
/proc/meminfo: memFree=1737752/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40064 CPUtime=582.03
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 58111 92 0 0 25 0 1 0 153680655 41025536 9411 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10016 9411 313 324 0 9085 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 40064

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32107
/proc/meminfo: memFree=1737752/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40064 CPUtime=642.02
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 64105 97 0 0 25 0 1 0 153680655 41025536 9411 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10016 9411 313 324 0 9085 0
Current children cumulated CPU time (s) 642.02
Current children cumulated vsize (KiB) 40064

[startup+702.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32109
/proc/meminfo: memFree=1737624/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40064 CPUtime=702
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 70096 104 0 0 25 0 1 0 153680655 41025536 9411 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10016 9411 313 324 0 9085 0
Current children cumulated CPU time (s) 702
Current children cumulated vsize (KiB) 40064

[startup+762.306 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32109
/proc/meminfo: memFree=1737624/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40060 CPUtime=761.98
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 76085 113 0 0 25 0 1 0 153680655 41021440 9410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10015 9410 313 324 0 9084 0
Current children cumulated CPU time (s) 761.98
Current children cumulated vsize (KiB) 40060

[startup+822.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32109
/proc/meminfo: memFree=1737624/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40060 CPUtime=821.96
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 82076 120 0 0 25 0 1 0 153680655 41021440 9410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160521828 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10015 9410 313 324 0 9084 0
Current children cumulated CPU time (s) 821.96
Current children cumulated vsize (KiB) 40060

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32109
/proc/meminfo: memFree=1737624/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40060 CPUtime=881.95
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 88069 126 0 0 25 0 1 0 153680655 41021440 9410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10015 9410 313 324 0 9084 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 40060

[startup+942.301 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32109
/proc/meminfo: memFree=1737624/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40060 CPUtime=941.93
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 94056 137 0 0 25 0 1 0 153680655 41021440 9410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10015 9410 313 324 0 9084 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 40060

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

[startup+947.106 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32109
/proc/meminfo: memFree=1737624/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40060 CPUtime=946.74
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 94536 138 0 0 25 0 1 0 153680655 41021440 9410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10015 9410 313 324 0 9084 0
Current children cumulated CPU time (s) 946.74
Current children cumulated vsize (KiB) 40060

[startup+972.701 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32109
/proc/meminfo: memFree=1737688/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40060 CPUtime=972.33
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 97089 144 0 0 25 0 1 0 153680655 41021440 9410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10015 9410 313 324 0 9084 0
Current children cumulated CPU time (s) 972.33
Current children cumulated vsize (KiB) 40060

[startup+985.502 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32109
/proc/meminfo: memFree=1737688/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40060 CPUtime=985.13
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 98366 147 0 0 25 0 1 0 153680655 41021440 9410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10015 9410 313 324 0 9084 0
Current children cumulated CPU time (s) 985.13
Current children cumulated vsize (KiB) 40060

[startup+988.701 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32109
/proc/meminfo: memFree=1737688/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40060 CPUtime=988.32
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 98685 147 0 0 25 0 1 0 153680655 41021440 9410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10015 9410 313 324 0 9084 0
Current children cumulated CPU time (s) 988.32
Current children cumulated vsize (KiB) 40060

[startup+991.902 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32109
/proc/meminfo: memFree=1737688/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40060 CPUtime=991.52
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 99004 148 0 0 25 0 1 0 153680655 41021440 9410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10015 9410 313 324 0 9084 0
Current children cumulated CPU time (s) 991.52
Current children cumulated vsize (KiB) 40060

[startup+992.702 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32109
/proc/meminfo: memFree=1737688/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40060 CPUtime=992.32
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 99084 148 0 0 25 0 1 0 153680655 41021440 9410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134573504 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10015 9410 313 324 0 9084 0
Current children cumulated CPU time (s) 992.32
Current children cumulated vsize (KiB) 40060

[startup+993.102 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32109
/proc/meminfo: memFree=1737688/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40060 CPUtime=992.72
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 99124 148 0 0 25 0 1 0 153680655 41021440 9410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10015 9410 313 324 0 9084 0
Current children cumulated CPU time (s) 992.72
Current children cumulated vsize (KiB) 40060

[startup+993.502 s]
/proc/loadavg: 0.99 1.00 1.00 2/78 32109
/proc/meminfo: memFree=1737688/2055920 swapFree=4157776/4192956
[pid=31908] ppid=31906 vsize=40060 CPUtime=993.12
/proc/31908/stat : 31908 (bsolo3.0.16) R 31906 31908 30166 0 -1 4194304 9461 0 0 0 99164 148 0 0 25 0 1 0 153680655 41021440 9410 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31908/statm: 10015 9410 313 324 0 9084 0
Current children cumulated CPU time (s) 993.12
Current children cumulated vsize (KiB) 40060

Child status: 0
Real time (s): 993.554
CPU time (s): 993.181
CPU user time (s): 991.69
CPU system time (s): 1.49077
CPU usage (%): 99.9624
Max. virtual memory (cumulated for all children) (KiB): 40136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 991.69
system time used= 1.49077
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= 11
involuntary context switches= 17791

runsolver used 0.841872 second user time and 2.41663 second system time

The end

Launcher Data (download as text)

Begin job on node47 on Tue May  1 02:59:13 UTC 2007

IDJOB= 429750
IDBENCH= 47931
IDSOLVER= 163
FILE ID= node47/429750-1177988353

PBS_JOBID= 4728167

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=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.16 -t1800 -m1800 /tmp/evaluation/429750-1177988353/instance-429750-1177988353.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node47/watcher-429750-1177988353 -o ROOT/results/node47/solver-429750-1177988353 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429750-1177988353/instance-429750-1177988353.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  870560ebbd959d9c8bd54c4fcdba3455

RANDOM SEED= 264867549

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node47.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.221
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.221
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:       1774552 kB
Buffers:         30424 kB
Cached:         166524 kB
SwapCached:       3516 kB
Active:          39296 kB
Inactive:       181844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1774552 kB
SwapTotal:     4192956 kB
SwapFree:      4157776 kB
Dirty:            6620 kB
Writeback:           0 kB
Mapped:          31056 kB
Slab:            45756 kB
Committed_AS:  4075584 kB
PageTables:       1780 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 node47 on Tue May  1 03:15:47 UTC 2007