Trace number 430856

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 476.511 476.635

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=233-P1=223-P2=251-P3=181-P4=197-P5=127-P6=89-P7=149-B.opb
MD5SUM8a882d07e0fbb307eb9e9c234ecc464c
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.162974
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 variables168
Total number of constraints15
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 constraints15
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)448
Sum of products size (including duplicates)896
Number of different products448
Sum of products size896

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/430856-1177999583/instance-430856-1177999583.opb
0.00/0.00	c File size is 8050 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.003 s
0.00/0.00	c Var: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368
0.00/0.00	c Obj. Vars: 8 (1.2987 % of total variables)
0.00/0.01	c Pre-processing Time: 0.01 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    616      918     3856    4     3312    5173      0      0 0.01
0.00/0.01	c Switching off LPR mode.
136.25/136.32	c      106    616     1024     9941    9     3458    5691    106   6235 0.02
136.25/136.32	c      258    616     1176    19189   16     3604    6261    258   8600 0.03
136.25/136.32	c      484    616     1402    32445   23     4065    6888    484   9680 0.05
136.25/136.32	c      822    616     1740    54775   31     4809    7577    822  10675 0.08
136.25/136.32	c     1331    616     2249    89420   39     5863    8335   1331  11000 0.12
136.25/136.32	c     2095    616     3013   137676   45     7356    9169   2095  10023 0.21
136.25/136.32	c     3241    616     4159   211767   50     9572   10086   3241   9002 0.36
136.25/136.32	c     4962    616     5880   326131   55    13011   11095   4962   7233 0.69
136.25/136.32	c     7546    616     8464   476233   56    18155   12205   7546   4944 1.53
136.25/136.32	c    11426    616    12344   704120   57    25908   13426  11426   3111 3.67
136.25/136.32	c    17250    616    11295   652062   57    23837   14769  10377   2936 5.88
136.25/136.32	c    25987    616    12446   752609   60    26158   16246  11528   2529 10.28
136.25/136.32	c    39097    616     9200   478083   51    19693   17871   8282   1866 20.95
136.25/136.32	c    58767    613     9894   791083   79    21142   19659   8976   1838 31.96
136.25/136.32	c    88277    613    19321  1165366   60    39916   21625  18403   1418 62.24
136.25/136.32	c   132547    613    19924  1200357   60    41118   23788  19006   1108 119.60
136.25/136.32	o 225	136.288
143.85/143.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
143.85/143.96	c   157718    613    18959  1325366   69    39182    5189  18041   1157 136.29
143.85/143.96	c   157821    613     3619   196618   54     8684    5708   2701   1156 136.47
143.85/143.96	c   158071    613     3869   213695   55     9012    6279   2951   1158 136.50
143.85/143.96	c   158546    613     4344   244742   56     9970    6907   3426   1161 136.55
143.85/143.96	c   159359    613     5157   299427   58    11595    7598   4239   1165 136.69
143.85/143.96	c   160680    613     6478   386525   59    14231    8358   5560   1172 137.02
143.85/143.96	c   162762    613     8560   523717   61    18432    9194   7642   1181 137.81
143.85/143.96	c   165986    613     7116   405518   56    15525   10114   6198   1191 139.33
143.85/143.96	c   170923    613     6937   386116   55    15180   11126   6019   1201 142.28
143.85/143.96	o 129	143.926
214.23/214.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
214.23/214.38	c   177381    613     7366   442194   60    16063    5189   6448   1232 143.93
214.23/214.38	c   177481    613     3616   189674   52     8478    5708   2698   1232 143.97
214.23/214.38	c   177731    613     3866   204966   53     8972    6279   2948   1234 144.00
214.23/214.38	c   178207    613     4342   239409   55     9949    6907   3424   1237 144.06
214.23/214.38	c   179020    613     5155   294513   57    11579    7598   4237   1241 144.16
214.23/214.38	c   180341    613     6476   384882   59    14264    8358   5558   1249 144.34
214.23/214.38	c   182422    613     8557   523007   61    18389    9194   7639   1260 144.78
214.23/214.38	c   185647    613     6928   412741   59    15197   10114   6010   1271 146.04
214.23/214.38	c   190583    613     6738   371859   55    14766   11126   5820   1280 148.85
214.23/214.38	c   198089    613     8633   491941   56    18555   12239   7715   1291 153.41
214.23/214.38	c   209450    613     7620   422283   55    16552   13463   6702   1302 160.80
214.23/214.38	c   226594    613    10745   676570   62    22834   14810   9827   1322 171.37
214.23/214.38	c   252414    612    14049   818990   58    29410   16292  13131   1282 196.77
214.23/214.38	o 81	214.327
319.71/319.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
319.71/319.89	c   274754    612    11374   679599   59    24132    5189  10456   1281 214.33
319.71/319.89	c   274855    612     3618   186393   51     8627    5708   2700   1281 214.40
319.71/319.89	c   275106    612     3869   203224   52     9134    6279   2951   1283 214.42
319.71/319.89	c   275583    612     4346   235408   54    10095    6907   3428   1284 214.49
319.71/319.89	c   276397    612     5160   288178   55    11705    7598   4242   1287 214.63
319.71/319.89	c   277718    612     6481   375697   57    14367    8358   5563   1292 214.93
319.71/319.89	c   279799    612     8562   513801   60    18507    9194   7644   1297 215.69
319.71/319.89	c   283022    612     7115   411109   57    15617   10114   6197   1302 217.24
319.71/319.89	c   287959    612     6926   389823   56    15207   11126   6008   1303 220.97
319.71/319.89	c   295466    612     8806   510494   57    18938   12239   7888   1314 224.70
319.71/319.89	c   306827    612     7479   418446   55    16224   13463   6561   1322 232.06
319.71/319.89	c   323972    612    10953   660713   60    23152   14810  10035   1330 243.47
319.71/319.89	c   349791    612    14362   857230   59    30043   16292  13444   1308 267.42
319.71/319.89	c   388625    612    11190   709804   63    23717   17922  10272   1327 292.80
319.71/319.89	o 65	319.809
440.07/440.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
440.07/440.21	c   427437    611    13022   833509   64    27449    5189  12104   1336 319.81
440.07/440.21	c   427538    611     3619   196193   54     8598    5708   2701   1336 319.96
440.07/440.21	c   427788    611     3869   213517   55     9183    6279   2951   1336 319.98
440.07/440.21	c   428266    611     4347   246844   56    10108    6907   3429   1338 320.04
440.07/440.21	c   429079    611     5160   303354   58    11722    7598   4242   1340 320.18
440.07/440.21	c   430399    611     6480   394103   60    14337    8358   5562   1342 320.67
440.07/440.21	c   432480    611     8561   533272   62    18525    9194   7643   1344 321.68
440.07/440.21	c   435704    611     7116   418611   58    15650   10114   6198   1347 323.41
440.07/440.21	c   440640    611     6932   393999   56    15245   11126   6014   1350 326.29
440.07/440.21	c   448146    611     8732   502871   57    18799   12239   7814   1355 330.72
440.07/440.21	c   459508    611     7043   413189   58    15329   13463   6125   1372 334.83
440.07/440.21	c   476653    611    10527   613960   58    22335   14810   9609   1381 344.94
440.07/440.21	c   502472    611    13944   825476   59    29169   16292  13026   1373 365.90
440.07/440.21	c   541305    600    10011   585889   58    21376   17922   9093   1389 389.54
440.07/440.21	c   599657    599    13301   821758   61    27973   19715  12383   1363 439.86
440.07/440.21	o 3	440.094
476.47/476.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
476.47/476.62	c   600487    599    14132   873838   61    29602    5187  13214   1364 440.09
476.47/476.62	c   600589    599     3623   164081   45     8652    5706   2705   1364 440.25
476.47/476.62	c   600841    599     3875   180487   46     9134    6277   2957   1364 440.28
476.47/476.62	c   601316    599     4350   212059   48    10054    6905   3432   1365 440.38
476.47/476.62	c   602130    599     5164   265835   51    11721    7596   4246   1366 440.59
476.47/476.62	c   603451    599     6485   351935   54    14369    8356   5567   1368 441.00
476.47/476.62	c   605533    581     8567   488462   57    18572    9192   7649   1370 441.76
476.47/476.62	c   608756    571     7094   409010   57    15637   10112   6176   1373 443.32
476.47/476.62	c   613692    571     6874   386978   56    15195   11124   5956   1373 446.86
476.47/476.62	c   621198    571     8730   495340   56    18910   12237   7812   1373 452.14
476.47/476.62	c   632559    571     7683   425807   55    16755   13461   6765   1377 459.30
476.47/476.62	c   649704    562    11023   619610   56    23334   14808  10105   1374 472.54
476.47/476.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
476.47/476.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 -x59
476.47/476.62	v -x60 -x61 -x62 -x63 x64 x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x73 -x74 -x75 -x76
476.47/476.62	v -x77 -x78 -x79 -x80 -x121 x122 -x123 -x124 -x125 -x126 -x127 -x128 x81 -x82 -x83 x84 -x85 -x86 -x87 -x88 -x129 -x130 -x131 -x132
476.47/476.62	v -x133 -x134 -x135 -x136 x89 -x90 x91 x92 -x93 -x94 -x95 x96 x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 x97 -x98 x99 -x100
476.47/476.62	v x101 -x102 -x103 x104 -x145 x146 x147 -x148 x149 -x150 -x151 -x152 x105 -x106 x107 -x108 -x109 x110 -x111 -x112 x153 x154 x155
476.47/476.62	v x156 -x157 x158 -x159 -x160 -x161 x162 -x163 -x164 x165 -x166 -x167 -x168
476.47/476.62	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
476.47/476.62	c   79   654540   3868   674841     8371   415812   7453   1373 476.50
476.47/476.62	c Objective: 3
476.47/476.62	s OPTIMUM FOUND
476.47/476.62	c Total time: 476.502 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/node70/watcher-430856-1177999583 -o ROOT/results/node70/solver-430856-1177999583 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430856-1177999583/instance-430856-1177999583.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.85 0.97 0.99 3/64 1585
/proc/meminfo: memFree=1798960/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=11744 CPUtime=0
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 239495633 12025856 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 983 346 291 324 0 50 0

[startup+0.061676 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 1585
/proc/meminfo: memFree=1798960/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=4712 CPUtime=0.05
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 587 0 0 0 5 0 0 0 18 0 1 0 239495633 4825088 554 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 1178 554 312 324 0 247 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4712

[startup+0.101641 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 1585
/proc/meminfo: memFree=1798960/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=5232 CPUtime=0.09
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 718 0 0 0 9 0 0 0 18 0 1 0 239495633 5357568 685 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 1308 685 312 324 0 377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5232

[startup+0.30166 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 1585
/proc/meminfo: memFree=1798960/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=6788 CPUtime=0.29
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 1097 0 0 0 29 0 0 0 19 0 1 0 239495633 6950912 1064 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 1697 1064 312 324 0 766 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6788

[startup+0.701699 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 1585
/proc/meminfo: memFree=1798960/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=8864 CPUtime=0.69
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 1636 0 0 0 69 0 0 0 22 0 1 0 239495633 9076736 1603 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 2216 1603 312 324 0 1285 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8864

[startup+1.50278 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1792808/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=11056 CPUtime=1.49
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 2163 0 0 0 148 1 0 0 25 0 1 0 239495633 11321344 2130 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 2764 2130 312 324 0 1833 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11056

[startup+3.10194 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1790248/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=13772 CPUtime=3.09
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 2854 0 0 0 308 1 0 0 25 0 1 0 239495633 14102528 2821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 3443 2821 312 324 0 2512 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13772

[startup+6.30126 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1785904/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=16356 CPUtime=6.29
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 3502 0 0 0 626 3 0 0 25 0 1 0 239495633 16748544 3469 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 4089 3469 312 324 0 3158 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16356

[startup+12.7019 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1784504/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=17908 CPUtime=12.69
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 3904 0 0 0 1264 5 0 0 25 0 1 0 239495633 18337792 3871 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 4477 3871 312 324 0 3546 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17908

[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1783480/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=19064 CPUtime=25.48
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 4181 0 0 0 2541 7 0 0 25 0 1 0 239495633 19521536 4148 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551417 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 4766 4148 312 324 0 3835 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 19064

[startup+51.1017 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1776952/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=25608 CPUtime=51.07
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 5816 0 0 0 5094 13 0 0 25 0 1 0 239495633 26222592 5783 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 6402 5783 312 324 0 5471 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 25608

[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1776952/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=25560 CPUtime=102.26
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 5818 0 0 0 10207 19 0 0 25 0 1 0 239495633 26173440 5784 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 6390 5784 312 324 0 5459 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 25560

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=28964 CPUtime=162.25
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 16194 31 0 0 25 0 1 0 239495633 29659136 6631 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8847112 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 7241 6631 313 324 0 6310 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 28964

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=28956 CPUtime=222.23
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 22185 38 0 0 25 0 1 0 239495633 29650944 6631 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 7239 6631 313 324 0 6308 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 28956

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=28800 CPUtime=282.21
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 28176 45 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 7200 6595 313 324 0 6269 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 28800

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=28800 CPUtime=342.2
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 34164 56 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572600 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 7200 6595 313 324 0 6269 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 28800

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=28800 CPUtime=402.19
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 40152 67 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 7200 6595 313 324 0 6269 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 28800

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=28800 CPUtime=462.18
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 46139 79 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 7200 6595 313 324 0 6269 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 28800

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

[startup+467.101 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=28800 CPUtime=466.97
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 46618 79 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134571619 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 7200 6595 313 324 0 6269 0
Current children cumulated CPU time (s) 466.97
Current children cumulated vsize (KiB) 28800

[startup+473.502 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=28800 CPUtime=473.37
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 47257 80 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 7200 6595 313 324 0 6269 0
Current children cumulated CPU time (s) 473.37
Current children cumulated vsize (KiB) 28800

[startup+475.101 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=28800 CPUtime=474.98
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 47417 81 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 7200 6595 313 324 0 6269 0
Current children cumulated CPU time (s) 474.98
Current children cumulated vsize (KiB) 28800

[startup+475.901 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=28800 CPUtime=475.77
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 47496 81 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 7200 6595 313 324 0 6269 0
Current children cumulated CPU time (s) 475.77
Current children cumulated vsize (KiB) 28800

[startup+476.305 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=28800 CPUtime=476.17
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 47536 81 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 7200 6595 313 324 0 6269 0
Current children cumulated CPU time (s) 476.17
Current children cumulated vsize (KiB) 28800

[startup+476.501 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=28800 CPUtime=476.37
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 47556 81 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 7200 6595 313 324 0 6269 0
Current children cumulated CPU time (s) 476.37
Current children cumulated vsize (KiB) 28800

[startup+476.601 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 1586
/proc/meminfo: memFree=1773560/2055920 swapFree=4183764/4192956
[pid=1585] ppid=1583 vsize=28800 CPUtime=476.47
/proc/1585/stat : 1585 (bsolo3.0.16) R 1583 1585 32350 0 -1 4194304 6665 0 0 0 47566 81 0 0 25 0 1 0 239495633 29491200 6595 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1585/statm: 7200 6595 313 324 0 6269 0
Current children cumulated CPU time (s) 476.47
Current children cumulated vsize (KiB) 28800

Child status: 0
Real time (s): 476.635
CPU time (s): 476.511
CPU user time (s): 475.694
CPU system time (s): 0.816875
CPU usage (%): 99.974
Max. virtual memory (cumulated for all children) (KiB): 28976

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

runsolver used 0.411937 second user time and 0.896863 second system time

The end

Launcher Data (download as text)

Begin job on node70 on Tue May  1 06:06:23 UTC 2007

IDJOB= 430856
IDBENCH= 48010
IDSOLVER= 163
FILE ID= node70/430856-1177999583

PBS_JOBID= 4728218

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=233-P1=223-P2=251-P3=181-P4=197-P5=127-P6=89-P7=149-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430856-1177999583/instance-430856-1177999583.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node70/watcher-430856-1177999583 -o ROOT/results/node70/solver-430856-1177999583 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430856-1177999583/instance-430856-1177999583.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  8a882d07e0fbb307eb9e9c234ecc464c

RANDOM SEED= 745312732

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node70.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:       1799432 kB
Buffers:         26848 kB
Cached:         157200 kB
SwapCached:       2952 kB
Active:          30052 kB
Inactive:       164136 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1799432 kB
SwapTotal:     4192956 kB
SwapFree:      4183764 kB
Dirty:            6744 kB
Writeback:           0 kB
Mapped:          15972 kB
Slab:            48396 kB
Committed_AS:  4282840 kB
PageTables:       1396 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 node70 on Tue May  1 06:14:20 UTC 2007