Trace number 452947

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 71.3811 71.425

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=7-P0=67-P1=127-P2=73-P3=79-P4=17-P5=109-P6=17-P7=23-P8=23-P9=53-B.opb
MD5SUM0529ad177104c2b8c24f12c8a325b463
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 variables189
Total number of constraints19
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 constraints19
Minimum length of a constraint7
Maximum length of a constraint63
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 32512
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)441
Sum of products size (including duplicates)882
Number of different products441
Sum of products size882

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/452947-1178000763/instance-452947-1178000763.opb
0.00/0.00	c File size is 8219 bytes.
0.00/0.00	c Highest Coefficient sum: 32512
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: 630 Constr: 910 441/0/469 Lit: 3836 Watch. Lit: 2369
0.00/0.00	c Obj. Vars: 7 (1.11111 % 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    630      910     3836    4     3289    5172      0      0 0.01
0.00/0.01	c Switching off LPR mode.
36.27/36.36	c      101    630     1011     7945    7     3460    5690    101   6312 0.02
36.27/36.36	c      251    630     1161    15120   13     3731    6260    251   9653 0.03
36.27/36.36	c      476    630     1386    25942   18     4144    6887    476  11333 0.04
36.27/36.36	c      815    630     1725    43397   25     4849    7576    815  11164 0.07
36.27/36.36	c     1324    630     2234    66236   29     5852    8334   1324  10263 0.13
36.27/36.36	c     2088    630     2998   103252   34     7393    9168   2088   9622 0.22
36.27/36.36	c     3235    630     4145   162255   39     9608   10085   3235   9832 0.33
36.27/36.36	c     4957    630     5867   290119   49    13037   11094   4957   8303 0.60
36.27/36.36	c     7541    630     8451   421497   49    18195   12204   7541   7694 0.98
36.27/36.36	c    11421    630    12331   631028   51    26000   13425  11421   6380 1.79
36.27/36.36	c    17243    630    11110   527391   47    23534   14768  10200   5659 3.05
36.27/36.36	c    25980    630    12134   567852   46    25552   16245  11224   4464 5.82
36.27/36.36	c    39091    629    16836   814737   48    34965   17870  15926   3914 9.99
36.27/36.36	c    58761    628    18148   853015   47    37658   19658  17238   3356 17.51
36.27/36.36	o 65	36.338
41.56/41.63	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
41.56/41.63	c    80953    628    10743   530493   49    22789    5186   9833   2220 36.46
41.56/41.63	c    81053    628     3607   142967   39     8570    5705   2697   2218 36.54
41.56/41.63	c    81303    628     3857   156230   40     9049    6276   2947   2223 36.56
41.56/41.63	c    81778    628     4332   181962   42     9920    6904   3422   2234 36.60
41.56/41.63	c    82592    628     5146   225082   43    11600    7595   4236   2251 36.68
41.56/41.63	c    83913    628     6467   289112   44    14201    8355   5557   2277 36.84
41.56/41.63	c    85995    628     8549   397535   46    18364    9191   7639   2316 37.12
41.56/41.63	c    89219    627     6935   313619   45    15141   10111   6025   2361 37.78
41.56/41.63	c    94155    625     6606   315897   47    14513   11123   5696   2416 38.96
41.56/41.63	o 25	41.604
42.66/42.76	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
42.66/42.76	c   101602    625     8017   362981   45    17427    5186   7107   2442 41.60
42.66/42.76	c   101703    625     3611   147204   40     8595    5705   2701   2441 41.65
42.66/42.76	c   101953    625     3861   160513   41     9099    6276   2951   2446 41.67
42.66/42.76	c   102428    625     4336   186499   43    10108    6904   3426   2454 41.73
42.66/42.76	c   103241    617     5149   228929   44    11661    7595   4239   2467 41.84
42.66/42.76	c   104561    607     6469   300264   46    14296    8355   5559   2489 42.01
42.66/42.76	c   106642    607     8550   406316   47    18410    9191   7640   2520 42.31
42.66/42.76	o 9	42.734
55.25/55.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
55.25/55.32	c   109108    607     6239   271019   43    13834    5182   5329   2553 42.73
55.25/55.32	c   109209    607     3611   133950   37     8595    5701   2701   2554 42.76
55.25/55.32	c   109460    607     3862   146300   37     9111    6272   2952   2558 42.78
55.25/55.32	c   109936    598     4338   173593   40    10057    6900   3428   2567 42.83
55.25/55.32	c   110749    598     5151   215745   41    11724    7591   4241   2579 42.93
55.25/55.32	c   112070    598     6472   279760   43    14310    8351   5562   2595 43.17
55.25/55.32	c   114151    598     8553   378754   44    18381    9187   7643   2608 43.76
55.25/55.32	c   117374    595     7113   297833   41    15510   10106   6203   2607 45.02
55.25/55.32	c   122310    595     6734   298673   44    14819   11117   5824   2637 46.37
55.25/55.32	c   129816    594     8620   370507   42    18622   12229   7710   2561 50.67
55.25/55.32	c   141177    594     7225   331096   45    15825   13452   6315   2572 54.88
55.25/55.32	o 5	55.284
60.85/60.98	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.85/60.98	c   142913    594     8962   419795   46    19252    5180   8052   2585 55.28
60.85/60.98	c   143014    594     3614   142486   39     8560    5699   2704   2583 55.35
60.85/60.98	c   143264    594     3864   155312   40     9018    6269   2954   2587 55.37
60.85/60.98	c   143740    594     4340   178993   41     9994    6896   3430   2593 55.43
60.85/60.98	c   144553    594     5153   217479   42    11605    7586   4243   2600 55.59
60.85/60.98	c   145874    594     6474   302487   46    14274    8345   5564   2612 55.83
60.85/60.98	c   147956    594     8556   402948   47    18387    9180   7646   2622 56.41
60.85/60.98	c   151180    594     7113   316588   44    15517   10099   6203   2631 57.45
60.85/60.98	c   156117    593     6913   290962   42    15113   11109   6003   2572 60.69
60.85/60.98	o 3	60.947
71.35/71.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
71.35/71.42	c   158096    593     8893   394314   44    19127    5180   7983   2593 60.95
71.35/71.42	c   158196    593     3614   140263   38     8565    5699   2704   2593 61.00
71.35/71.42	c   158446    593     3864   152147   39     9058    6269   2954   2596 61.01
71.35/71.42	c   158922    593     4340   175146   40    10005    6896   3430   2602 61.07
71.35/71.42	c   159736    593     5154   219639   42    11670    7586   4244   2609 61.22
71.35/71.42	c   161056    593     6474   285641   44    14278    8345   5564   2617 61.54
71.35/71.42	c   163137    593     8555   389629   45    18468    9180   7645   2616 62.35
71.35/71.42	c   166361    593     7123   305678   42    15586   10099   6213   2597 64.04
71.35/71.42	c   171298    585     6753   286967   42    14937   11109   5843   2610 65.62
71.35/71.42	c   178804    564     8615   364719   42    18614   12220   7705   2633 67.89
71.35/71.42	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
71.35/71.42	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
71.35/71.42	v -x59 -x60 -x61 -x62 x63 x64 -x65 -x66 x67 x68 x69 -x70 x71 -x72 -x73 x74 -x75 -x76 -x77 -x127 -x128 -x129 -x130 -x131 -x132 -x133
71.35/71.42	v x78 -x79 -x80 x81 x82 x83 -x84 x134 x135 -x136 -x137 -x138 -x139 -x140 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x141 -x142 x143 -x144
71.35/71.42	v -x145 -x146 -x147 x92 -x93 -x94 -x95 -x96 x97 -x98 -x148 -x149 -x150 -x151 -x152 -x153 -x154 x99 -x100 -x101 -x102 -x103 x104
71.35/71.42	v x105 -x155 -x156 -x157 -x158 x159 -x160 -x161 x106 -x107 -x108 -x109 -x110 -x111 -x112 x162 -x163 -x164 x165 x166 -x167 -x168
71.35/71.42	v x113 x114 -x115 -x116 -x117 -x118 -x119 -x169 -x170 -x171 -x172 -x173 -x174 -x175 x120 x121 -x122 -x123 -x124 -x125 x126 x176
71.35/71.42	v -x177 -x178 -x179 -x180 -x181 -x182 x183 -x184 x185 x186 x187 -x188 -x189
71.35/71.42	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
71.35/71.42	c   60   184612   2539   200024     8227   326476   7317   2586 71.38
71.35/71.42	c Objective: 3
71.35/71.42	s OPTIMUM FOUND
71.35/71.42	c Total time: 71.376 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/node25/watcher-452947-1178000763 -o ROOT/results/node25/solver-452947-1178000763 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452947-1178000763/instance-452947-1178000763.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.92 0.98 0.99 3/64 29367
/proc/meminfo: memFree=1870840/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=19560 CPUtime=0
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 373 0 0 0 0 0 0 0 18 0 1 0 247993401 20029440 343 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 984 346 290 324 0 51 0

[startup+0.097789 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 29367
/proc/meminfo: memFree=1870840/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=4980 CPUtime=0.09
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 641 0 0 0 9 0 0 0 18 0 1 0 247993401 5099520 608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 1245 608 310 324 0 315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4980

[startup+0.101789 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 29367
/proc/meminfo: memFree=1870840/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=4980 CPUtime=0.09
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 647 0 0 0 9 0 0 0 18 0 1 0 247993401 5099520 614 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 1245 614 310 324 0 315 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4980

[startup+0.301824 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 29367
/proc/meminfo: memFree=1870840/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=6268 CPUtime=0.29
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 986 0 0 0 29 0 0 0 19 0 1 0 247993401 6418432 953 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 1567 953 310 324 0 637 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6268

[startup+0.701892 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 29367
/proc/meminfo: memFree=1870840/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=8996 CPUtime=0.69
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 1670 0 0 0 69 0 0 0 22 0 1 0 247993401 9211904 1637 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 2249 1637 310 324 0 1319 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8996

[startup+1.50203 s]
/proc/loadavg: 0.92 0.98 0.99 2/65 29368
/proc/meminfo: memFree=1864112/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=12748 CPUtime=1.49
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 2611 0 0 0 148 1 0 0 25 0 1 0 247993401 13053952 2578 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10462843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 3187 2578 310 324 0 2257 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12748

[startup+3.1013 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 29368
/proc/meminfo: memFree=1859312/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=15460 CPUtime=3.09
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 3271 0 0 0 308 1 0 0 25 0 1 0 247993401 15831040 3238 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572624 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 3865 3238 310 324 0 2935 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15460

[startup+6.30185 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 29368
/proc/meminfo: memFree=1858288/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=15964 CPUtime=6.28
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 3399 0 0 0 627 1 0 0 25 0 1 0 247993401 16347136 3366 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134520568 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 3991 3366 310 324 0 3061 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15964

[startup+12.7019 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 29368
/proc/meminfo: memFree=1856184/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=18160 CPUtime=12.69
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 3950 0 0 0 1267 2 0 0 25 0 1 0 247993401 18595840 3917 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 4540 3917 310 324 0 3610 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 18160

[startup+25.5011 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 29368
/proc/meminfo: memFree=1855416/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=18988 CPUtime=25.48
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4159 0 0 0 2546 2 0 0 25 0 1 0 247993401 19443712 4126 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 10144881 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 4747 4126 310 324 0 3817 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18988

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/65 29368
/proc/meminfo: memFree=1855096/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=19316 CPUtime=51.05
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4253 0 0 0 5103 2 0 0 25 0 1 0 247993401 19779584 4220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550797 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 4829 4220 311 324 0 3899 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 19316

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

[startup+63.9017 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 29368
/proc/meminfo: memFree=1855096/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=19312 CPUtime=63.85
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4253 0 0 0 6383 2 0 0 25 0 1 0 247993401 19775488 4220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551968 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 4828 4220 311 324 0 3898 0
Current children cumulated CPU time (s) 63.85
Current children cumulated vsize (KiB) 19312

[startup+67.1053 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 29368
/proc/meminfo: memFree=1855096/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=19312 CPUtime=67.05
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4253 0 0 0 6703 2 0 0 25 0 1 0 247993401 19775488 4220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 4828 4220 311 324 0 3898 0
Current children cumulated CPU time (s) 67.05
Current children cumulated vsize (KiB) 19312

[startup+68.7015 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 29368
/proc/meminfo: memFree=1855096/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=19312 CPUtime=68.65
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4253 0 0 0 6863 2 0 0 25 0 1 0 247993401 19775488 4220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 4828 4220 311 324 0 3898 0
Current children cumulated CPU time (s) 68.65
Current children cumulated vsize (KiB) 19312

[startup+70.3028 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 29368
/proc/meminfo: memFree=1855032/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=19312 CPUtime=70.25
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4253 0 0 0 7023 2 0 0 25 0 1 0 247993401 19775488 4220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091745 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 4828 4220 311 324 0 3898 0
Current children cumulated CPU time (s) 70.25
Current children cumulated vsize (KiB) 19312

[startup+71.102 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 29368
/proc/meminfo: memFree=1855032/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=19312 CPUtime=71.05
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4253 0 0 0 7103 2 0 0 25 0 1 0 247993401 19775488 4220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091732 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 4828 4220 311 324 0 3898 0
Current children cumulated CPU time (s) 71.05
Current children cumulated vsize (KiB) 19312

[startup+71.302 s]
/proc/loadavg: 0.97 0.98 0.99 2/65 29368
/proc/meminfo: memFree=1855032/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=19312 CPUtime=71.25
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4253 0 0 0 7123 2 0 0 25 0 1 0 247993401 19775488 4220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550791 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 4828 4220 311 324 0 3898 0
Current children cumulated CPU time (s) 71.25
Current children cumulated vsize (KiB) 19312

[startup+71.402 s]
/proc/loadavg: 0.97 0.98 0.99 3/65 29368
/proc/meminfo: memFree=1855032/2055920 swapFree=4182940/4192956
[pid=29367] ppid=29365 vsize=19312 CPUtime=71.35
/proc/29367/stat : 29367 (bsolo3.0.17) R 29365 29367 28092 0 -1 4194304 4253 0 0 0 7133 2 0 0 25 0 1 0 247993401 19775488 4220 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091730 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29367/statm: 4828 4220 311 324 0 3898 0
Current children cumulated CPU time (s) 71.35
Current children cumulated vsize (KiB) 19312

Child status: 0
Real time (s): 71.425
CPU time (s): 71.3811
CPU user time (s): 71.3511
CPU system time (s): 0.029995
CPU usage (%): 99.9386
Max. virtual memory (cumulated for all children) (KiB): 19356

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

runsolver used 0.070989 second user time and 0.135979 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Tue May  1 06:26:03 UTC 2007

IDJOB= 452947
IDBENCH= 48014
IDSOLVER= 199
FILE ID= node25/452947-1178000763

PBS_JOBID= 4728227

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=7-P0=67-P1=127-P2=73-P3=79-P4=17-P5=109-P6=17-P7=23-P8=23-P9=53-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452947-1178000763/instance-452947-1178000763.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-452947-1178000763 -o ROOT/results/node25/solver-452947-1178000763 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/452947-1178000763/instance-452947-1178000763.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  0529ad177104c2b8c24f12c8a325b463

RANDOM SEED= 171484707

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.261
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.261
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:       1871312 kB
Buffers:         13712 kB
Cached:          98832 kB
SwapCached:       3804 kB
Active:          70832 kB
Inactive:        51984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1871312 kB
SwapTotal:     4192956 kB
SwapFree:      4182940 kB
Dirty:            6588 kB
Writeback:           0 kB
Mapped:          16212 kB
Slab:            47848 kB
Committed_AS:  4356064 kB
PageTables:       1472 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 node25 on Tue May  1 06:27:15 UTC 2007