Trace number 452943

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 473.6 473.724

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.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/452943-1177999820/instance-452943-1177999820.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.
135.36/135.44	c      106    616     1024     9941    9     3458    5691    106   6235 0.02
135.36/135.44	c      258    616     1176    19189   16     3604    6261    258   8600 0.03
135.36/135.44	c      484    616     1402    32445   23     4065    6888    484   9877 0.05
135.36/135.44	c      822    616     1740    54775   31     4809    7577    822  10815 0.08
135.36/135.44	c     1331    616     2249    89420   39     5863    8335   1331  11184 0.12
135.36/135.44	c     2095    616     3013   137676   45     7356    9169   2095  10169 0.21
135.36/135.44	c     3241    616     4159   211767   50     9572   10086   3241   9129 0.35
135.36/135.44	c     4962    616     5880   326131   55    13011   11095   4962   7340 0.68
135.36/135.44	c     7546    616     8464   476233   56    18155   12205   7546   5013 1.50
135.36/135.44	c    11426    616    12344   704120   57    25908   13426  11426   3166 3.61
135.36/135.44	c    17250    616    11295   652062   57    23837   14769  10377   2978 5.79
135.36/135.44	c    25987    616    12446   752609   60    26158   16246  11528   2564 10.13
135.36/135.44	c    39097    616     9200   478083   51    19693   17871   8282   1885 20.74
135.36/135.44	c    58767    613     9894   791083   79    21142   19659   8976   1856 31.66
135.36/135.44	c    88277    613    19321  1165366   60    39916   21625  18403   1431 61.66
135.36/135.44	c   132547    613    19924  1200357   60    41118   23788  19006   1115 118.79
135.36/135.44	o 225	135.408
142.96/143.00	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
142.96/143.00	c   157718    613    18959  1325366   69    39182    5189  18041   1164 135.41
142.96/143.00	c   157821    613     3619   196618   54     8684    5708   2701   1163 135.59
142.96/143.00	c   158071    613     3869   213695   55     9012    6279   2951   1165 135.62
142.96/143.00	c   158546    613     4344   244742   56     9970    6907   3426   1168 135.67
142.96/143.00	c   159359    613     5157   299427   58    11595    7598   4239   1173 135.81
142.96/143.00	c   160680    613     6478   386525   59    14231    8358   5560   1180 136.14
142.96/143.00	c   162762    613     8560   523717   61    18432    9194   7642   1188 136.92
142.96/143.00	c   165986    613     7116   405518   56    15525   10114   6198   1199 138.44
142.96/143.00	c   170923    613     6937   386116   55    15180   11126   6019   1209 141.34
142.96/143.00	o 129	142.965
212.73/212.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
212.73/212.89	c   177381    613     7366   442194   60    16063    5189   6448   1240 142.97
212.73/212.89	c   177481    613     3616   189674   52     8478    5708   2698   1241 143.01
212.73/212.89	c   177731    613     3866   204966   53     8972    6279   2948   1242 143.04
212.73/212.89	c   178207    613     4342   239409   55     9949    6907   3424   1245 143.09
212.73/212.89	c   179020    613     5155   294513   57    11579    7598   4237   1250 143.19
212.73/212.89	c   180341    613     6476   384882   59    14264    8358   5558   1257 143.37
212.73/212.89	c   182422    613     8557   523007   61    18389    9194   7639   1268 143.81
212.73/212.89	c   185647    613     6928   412741   59    15197   10114   6010   1279 145.06
212.73/212.89	c   190583    613     6738   371859   55    14766   11126   5820   1289 147.84
212.73/212.89	c   198089    613     8633   491941   56    18555   12239   7715   1299 152.38
212.73/212.89	c   209450    613     7620   422283   55    16552   13463   6702   1311 159.72
212.73/212.89	c   226594    613    10745   676570   62    22834   14810   9827   1331 170.13
212.73/212.89	c   252414    612    14049   818990   58    29410   16292  13131   1291 195.41
212.73/212.89	o 81	212.831
317.71/317.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
317.71/317.88	c   274754    612    11374   679599   59    24132    5189  10456   1290 212.83
317.71/317.88	c   274855    612     3618   186393   51     8627    5708   2700   1290 212.91
317.71/317.88	c   275106    612     3869   203224   52     9134    6279   2951   1292 212.93
317.71/317.88	c   275583    612     4346   235408   54    10095    6907   3428   1293 212.99
317.71/317.88	c   276397    612     5160   288178   55    11705    7598   4242   1296 213.14
317.71/317.88	c   277718    612     6481   375697   57    14367    8358   5563   1301 213.44
317.71/317.88	c   279799    612     8562   513801   60    18507    9194   7644   1306 214.19
317.71/317.88	c   283022    612     7115   411109   57    15617   10114   6197   1311 215.73
317.71/317.88	c   287959    612     6926   389823   56    15207   11126   6008   1312 219.43
317.71/317.88	c   295466    612     8806   510494   57    18938   12239   7888   1324 223.09
317.71/317.88	c   306827    612     7479   418446   55    16224   13463   6561   1331 230.40
317.71/317.88	c   323972    612    10953   660713   60    23152   14810  10035   1339 241.78
317.71/317.88	c   349791    612    14362   857230   59    30043   16292  13444   1316 265.63
317.71/317.88	c   388625    612    11190   709804   63    23717   17922  10272   1335 290.93
317.71/317.88	o 65	317.803
437.38/437.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
437.38/437.58	c   427437    611    13022   833509   64    27449    5189  12104   1344 317.80
437.38/437.58	c   427538    611     3619   196193   54     8598    5708   2701   1344 317.96
437.38/437.58	c   427788    611     3869   213517   55     9183    6279   2951   1345 317.98
437.38/437.58	c   428266    611     4347   246844   56    10108    6907   3429   1346 318.03
437.38/437.58	c   429079    611     5160   303354   58    11722    7598   4242   1348 318.17
437.38/437.58	c   430399    611     6480   394103   60    14337    8358   5562   1350 318.66
437.38/437.58	c   432480    611     8561   533272   62    18525    9194   7643   1352 319.66
437.38/437.58	c   435704    611     7116   418611   58    15650   10114   6198   1355 321.37
437.38/437.58	c   440640    611     6932   393999   56    15245   11126   6014   1359 324.22
437.38/437.58	c   448146    611     8732   502871   57    18799   12239   7814   1363 328.66
437.38/437.58	c   459508    611     7043   413189   58    15329   13463   6125   1380 332.77
437.38/437.58	c   476653    611    10527   613960   58    22335   14810   9609   1390 342.77
437.38/437.58	c   502472    611    13944   825476   59    29169   16292  13026   1381 363.59
437.38/437.58	c   541305    600    10011   585889   58    21376   17922   9093   1398 387.11
437.38/437.58	c   599657    599    13301   821758   61    27973   19715  12383   1371 437.24
437.38/437.58	o 3	437.468
473.57/473.71	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
473.57/473.71	c   600487    599    14132   873838   61    29602    5187  13214   1372 437.47
473.57/473.71	c   600589    599     3623   164081   45     8652    5706   2705   1372 437.62
473.57/473.71	c   600841    599     3875   180487   46     9134    6277   2957   1372 437.66
473.57/473.71	c   601316    599     4350   212059   48    10054    6905   3432   1373 437.75
473.57/473.71	c   602130    599     5164   265835   51    11721    7596   4246   1374 437.96
473.57/473.71	c   603451    599     6485   351935   54    14369    8356   5567   1376 438.36
473.57/473.71	c   605533    581     8567   488462   57    18572    9192   7649   1379 439.11
473.57/473.71	c   608756    571     7094   409010   57    15637   10112   6176   1381 440.64
473.57/473.71	c   613692    571     6874   386978   56    15195   11124   5956   1381 444.12
473.57/473.71	c   621198    571     8730   495340   56    18910   12237   7812   1382 449.39
473.57/473.71	c   632559    571     7683   425807   55    16755   13461   6765   1385 456.54
473.57/473.71	c   649704    562    11023   619610   56    23334   14808  10105   1383 469.62
473.57/473.71	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
473.57/473.71	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
473.57/473.71	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
473.57/473.71	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
473.57/473.71	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
473.57/473.71	v x101 -x102 -x103 x104 -x145 x146 x147 -x148 x149 -x150 -x151 -x152 x105 -x106 x107 -x108 -x109 x110 -x111 -x112 x153 x154 x155
473.57/473.71	v x156 -x157 x158 -x159 -x160 -x161 x162 -x163 -x164 x165 -x166 -x167 -x168
473.57/473.71	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
473.57/473.71	c   79   654540   3868   674841     8371   415812   7453   1382 473.59
473.57/473.71	c Objective: 3
473.57/473.71	s OPTIMUM FOUND
473.57/473.71	c Total time: 473.591 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/node63/watcher-452943-1177999820 -o ROOT/results/node63/solver-452943-1177999820 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452943-1177999820/instance-452943-1177999820.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.11 1.06 1.01 3/64 20232
/proc/meminfo: memFree=1799604/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=3932 CPUtime=0
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 275971953 4026368 345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 983 345 289 324 0 51 0

[startup+0.041551 s]
/proc/loadavg: 1.11 1.06 1.01 3/64 20232
/proc/meminfo: memFree=1799604/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=4456 CPUtime=0.03
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 538 0 0 0 3 0 0 0 18 0 1 0 275971953 4562944 506 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 1114 506 310 324 0 184 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4456

[startup+0.101544 s]
/proc/loadavg: 1.11 1.06 1.01 3/64 20232
/proc/meminfo: memFree=1799604/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=5232 CPUtime=0.09
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 718 0 0 0 9 0 0 0 18 0 1 0 275971953 5357568 686 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 1308 686 310 324 0 378 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5232

[startup+0.301565 s]
/proc/loadavg: 1.11 1.06 1.01 3/64 20232
/proc/meminfo: memFree=1799604/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=6788 CPUtime=0.29
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 1101 0 0 0 29 0 0 0 19 0 1 0 275971953 6950912 1069 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 1697 1069 310 324 0 767 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6788

[startup+0.701607 s]
/proc/loadavg: 1.11 1.06 1.01 3/64 20232
/proc/meminfo: memFree=1799604/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=8864 CPUtime=0.69
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 1640 0 0 0 69 0 0 0 23 0 1 0 275971953 9076736 1608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 2216 1608 310 324 0 1286 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8864

[startup+1.50169 s]
/proc/loadavg: 1.10 1.05 1.00 2/65 20233
/proc/meminfo: memFree=1793388/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=11056 CPUtime=1.49
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 2174 0 0 0 148 1 0 0 25 0 1 0 275971953 11321344 2142 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 2764 2142 310 324 0 1834 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11056

[startup+3.10186 s]
/proc/loadavg: 1.10 1.05 1.00 2/65 20233
/proc/meminfo: memFree=1790636/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=13900 CPUtime=3.09
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 2872 0 0 0 307 2 0 0 25 0 1 0 275971953 14233600 2840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 3475 2840 310 324 0 2545 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13900

[startup+6.3012 s]
/proc/loadavg: 1.09 1.05 1.00 2/65 20233
/proc/meminfo: memFree=1786604/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=16356 CPUtime=6.29
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 3499 0 0 0 626 3 0 0 25 0 1 0 275971953 16748544 3467 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 4089 3467 310 324 0 3159 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16356

[startup+12.7019 s]
/proc/loadavg: 1.08 1.05 1.00 2/65 20233
/proc/meminfo: memFree=1785076/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=17908 CPUtime=12.69
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 3901 0 0 0 1266 3 0 0 25 0 1 0 275971953 18337792 3869 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 4477 3869 310 324 0 3547 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17908

[startup+25.5012 s]
/proc/loadavg: 1.07 1.05 1.00 2/65 20233
/proc/meminfo: memFree=1783988/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=19064 CPUtime=25.49
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 4178 0 0 0 2545 4 0 0 25 0 1 0 275971953 19521536 4146 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 4766 4146 310 324 0 3836 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19064

[startup+51.1019 s]
/proc/loadavg: 1.04 1.04 1.00 2/65 20233
/proc/meminfo: memFree=1777524/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=25608 CPUtime=51.08
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 5813 0 0 0 5103 5 0 0 25 0 1 0 275971953 26222592 5781 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 6402 5781 310 324 0 5472 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 25608

[startup+102.305 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 20233
/proc/meminfo: memFree=1777524/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=25560 CPUtime=102.27
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 5815 0 0 0 10222 5 0 0 25 0 1 0 275971953 26173440 5782 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 6390 5782 310 324 0 5460 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25560

[startup+162.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 20233
/proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=28964 CPUtime=162.25
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 16219 6 0 0 25 0 1 0 275971953 29659136 6629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 7241 6629 311 324 0 6311 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 28964

[startup+222.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 20233
/proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=28956 CPUtime=222.23
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 22217 6 0 0 25 0 1 0 275971953 29650944 6629 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3401553 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 7239 6629 311 324 0 6309 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 28956

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 20233
/proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=28800 CPUtime=282.21
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 28215 6 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 7200 6593 311 324 0 6270 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 28800

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/65 20233
/proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=28800 CPUtime=342.21
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 34214 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 7200 6593 311 324 0 6270 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 28800

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20233
/proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=28800 CPUtime=402.19
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 40212 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 7200 6593 311 324 0 6270 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 28800

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20233
/proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=28800 CPUtime=462.17
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 46210 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527600 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 7200 6593 311 324 0 6270 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 28800

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

[startup+467.103 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20233
/proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=28800 CPUtime=466.97
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 46690 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 7200 6593 311 324 0 6270 0
Current children cumulated CPU time (s) 466.97
Current children cumulated vsize (KiB) 28800

[startup+470.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20233
/proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=28800 CPUtime=470.17
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 47010 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 7200 6593 311 324 0 6270 0
Current children cumulated CPU time (s) 470.17
Current children cumulated vsize (KiB) 28800

[startup+471.905 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20233
/proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=28800 CPUtime=471.77
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 47170 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 7200 6593 311 324 0 6270 0
Current children cumulated CPU time (s) 471.77
Current children cumulated vsize (KiB) 28800

[startup+472.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20233
/proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=28800 CPUtime=472.57
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 47250 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550808 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 7200 6593 311 324 0 6270 0
Current children cumulated CPU time (s) 472.57
Current children cumulated vsize (KiB) 28800

[startup+473.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20233
/proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=28800 CPUtime=473.37
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 47330 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3401601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 7200 6593 311 324 0 6270 0
Current children cumulated CPU time (s) 473.37
Current children cumulated vsize (KiB) 28800

[startup+473.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 20233
/proc/meminfo: memFree=1774132/2055920 swapFree=4182900/4192956
[pid=20232] ppid=20230 vsize=28800 CPUtime=473.57
/proc/20232/stat : 20232 (bsolo3.0.17) R 20230 20232 19027 0 -1 4194304 6662 0 0 0 47350 7 0 0 25 0 1 0 275971953 29491200 6593 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/20232/statm: 7200 6593 311 324 0 6270 0
Current children cumulated CPU time (s) 473.57
Current children cumulated vsize (KiB) 28800

Child status: 0
Real time (s): 473.724
CPU time (s): 473.6
CPU user time (s): 473.52
CPU system time (s): 0.079987
CPU usage (%): 99.9739
Max. virtual memory (cumulated for all children) (KiB): 28976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 473.52
system time used= 0.079987
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= 12
involuntary context switches= 535

runsolver used 0.352946 second user time and 0.949855 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Tue May  1 06:10:20 UTC 2007

IDJOB= 452943
IDBENCH= 48010
IDSOLVER= 199
FILE ID= node63/452943-1177999820

PBS_JOBID= 4728232

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

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  8a882d07e0fbb307eb9e9c234ecc464c

RANDOM SEED= 416848675

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node63.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1800012 kB
Buffers:         16316 kB
Cached:         162948 kB
SwapCached:       3860 kB
Active:          54040 kB
Inactive:       135388 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1800012 kB
SwapTotal:     4192956 kB
SwapFree:      4182900 kB
Dirty:            6588 kB
Writeback:           0 kB
Mapped:          16100 kB
Slab:            52528 kB
Committed_AS:  2398924 kB
PageTables:       1460 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 node63 on Tue May  1 06:18:14 UTC 2007