Trace number 452953

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 680.208 680.394

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb
MD5SUMa6d214cc283b484f5cca285d86c4d8bb
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.319951
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 3
Optimality of the best value was proved YES
Number of variables192
Total number of constraints17
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)512
Sum of products size (including duplicates)1024
Number of different products512
Sum of products size1024

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/452953-1178001850/instance-452953-1178001850.opb
0.00/0.00	c File size is 9292 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.004 s
0.00/0.00	c Var: 704 Constr: 1049 512/0/537 Lit: 4408 Watch. Lit: 2706
0.00/0.00	c Obj. Vars: 8 (1.13636 % of total variables)
0.00/0.01	c Pre-processing Time: 0.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    704     1049     4408    4     3786    5914      0      0 0.01
0.00/0.01	c Switching off LPR mode.
408.28/408.45	c      101    704     1150    10433    9     3905    6506    101   5315 0.02
408.28/408.45	c      252    704     1301    19823   15     4223    7157    252   8129 0.03
408.28/408.45	c      479    704     1528    35785   23     4694    7873    479   9979 0.05
408.28/408.45	c      818    704     1867    59546   31     5348    8661    818  10487 0.08
408.28/408.45	c     1326    704     2375    92319   38     6369    9528   1326  10359 0.13
408.28/408.45	c     2089    704     3138   145401   46     7761   10481   2089   9900 0.21
408.28/408.45	c     3235    704     4284   221124   51     9968   11530   3235   8603 0.38
408.28/408.45	c     4957    704     6006   349595   58    13426   12684   4957   8060 0.61
408.28/408.45	c     7541    704     8590   511421   59    18718   13953   7541   6517 1.16
408.28/408.45	c    11421    704    12470   755624   60    26459   15349  11421   4526 2.52
408.28/408.45	c    17244    704    10382   575280   55    22242   16884   9333   2676 6.44
408.28/408.45	c    25982    704    10647   565324   53    22737   18573   9598   1841 14.11
408.28/408.45	c    39093    704    13857   935006   67    29269   20431  12808   1963 19.91
408.28/408.45	c    58763    704    12384   720261   58    26255   22475  11335   1936 30.35
408.28/408.45	c    88273    703    18341  1039039   56    38164   24723  17292   1892 46.64
408.28/408.45	c   132543    703    20042  1318446   65    41617   27196  18993   1620 81.78
408.28/408.45	c   198953    701    21568  1531218   70    44652   29916  20519   1287 154.49
408.28/408.45	c   298573    698    24819  1588478   64    51137   32908  23770   1199 248.97
408.28/408.45	o 67	408.333
574.33/574.54	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
574.33/574.54	c   412801    697    29016  1988282   68    59488    5930  27967   1010 408.33
574.33/574.54	c   412903    697     4126   227791   55     9825    6524   3077   1010 408.79
574.33/574.54	c   413154    697     4377   245479   56    10282    7177   3328   1010 408.82
574.33/574.54	c   413629    697     4852   278256   57    11211    7895   3803   1011 408.88
574.33/574.54	c   414442    697     5665   332925   58    12855    8685   4616   1013 409.00
574.33/574.54	c   415763    697     6986   420633   60    15497    9554   5937   1015 409.23
574.33/574.54	c   417844    697     9067   556795   61    19633   10510   8018   1019 409.87
574.33/574.54	c   421067    697     6965   388681   55    15435   11562   5916   1023 411.38
574.33/574.54	c   426003    697    11901   719102   60    25334   12719  10852   1030 413.52
574.33/574.54	c   433509    697    12658   750401   59    26793   13991  11609   1034 419.11
574.33/574.54	c   444871    697     9922   556903   56    21407   15391   8873   1039 428.03
574.33/574.54	c   462015    697    11051   640306   57    23647   16931  10002   1041 443.66
574.33/574.54	c   487835    697    10577   674598   63    22684   18625   9528   1058 460.99
574.33/574.54	c   526667    694    11512   674772   58    24545   20488  10463   1065 494.19
574.33/574.54	c   585019    684    17032   980608   57    35660   22537  15983   1033 566.03
574.33/574.54	o 65	574.385
574.93/575.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
574.93/575.10	c   593087    681    13369   761737   56    28367    5928  12320   1032 574.38
574.93/575.10	c   593187    681     4128   208382   50     9878    6521   3079   1032 574.53
574.93/575.10	c   593437    681     4378   225151   51    10317    7174   3329   1032 574.55
574.93/575.10	c   593912    681     4853   258264   53    11298    7892   3804   1033 574.61
574.93/575.10	c   594725    681     5666   315311   55    12880    8682   4617   1034 574.75
574.93/575.10	o 5	574.948
588.33/588.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
588.33/588.58	c   595937    681     6879   394345   57    15289    5928   5830   1036 574.95
588.33/588.58	c   596038    672     6980   404882   58    15580    6521   5931   1036 574.97
588.33/588.58	c   596288    672     7230   422178   58    16029    7174   6181   1036 575.02
588.33/588.58	c   596764    672     7706   454833   59    16984    7892   6657   1037 575.17
588.33/588.58	c   597577    672     8519   508148   59    18599    8682   7470   1038 575.53
588.33/588.58	c   598897    672     5416   296737   54    12398    9551   4367   1039 576.23
588.33/588.58	c   600979    653     7498   439341   58    16538   10507   6449   1042 576.72
588.33/588.58	c   604203    653    10722   649688   60    23028   11558   9673   1043 578.98
588.33/588.58	c   609139    653     9762   569781   58    21107   12714   8713   1046 582.34
588.33/588.58	c   616645    641    10661   655002   61    22854   13986   9612   1049 587.73
588.33/588.58	o 3	588.423
680.11/680.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
680.11/680.38	c   618475    641    12492   780180   62    26543    5920  11443   1051 588.42
680.11/680.38	c   618576    641     4128   210527   50     9765    6513   3079   1050 588.61
680.11/680.38	c   618826    641     4378   224981   51    10287    7165   3329   1051 588.68
680.11/680.38	c   619301    641     4853   254904   52    11198    7882   3804   1051 588.78
680.11/680.38	c   620115    641     5667   305321   53    12823    8671   4618   1052 589.02
680.11/680.38	c   621436    641     6988   388826   55    15484    9539   5939   1054 589.56
680.11/680.38	c   623518    641     9070   521643   57    19689   10493   8021   1055 590.58
680.11/680.38	c   626742    641     6940   374111   53    15404   11543   5891   1057 592.44
680.11/680.38	c   631679    641    11877   680970   57    25266   12698  10828   1060 595.46
680.11/680.38	c   639186    641    12920   739546   57    27365   13968  11871   1062 601.52
680.11/680.38	c   650547    620    10051   556041   55    21687   15365   9002   1063 611.49
680.11/680.38	c   667691    620    11268   651081   57    24086   16902  10219   1074 621.58
680.11/680.38	c   693511    617    10760   605798   56    23166   18593   9711   1088 636.95
680.11/680.38	v x1 x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 x10 -x11 x12 -x13 -x14 -x15 -x16 x17 -x18 -x19 -x20 -x21 x22 x23 x24 x25 -x26 x27 -x28 -x29 -x30 -x31
680.11/680.38	v -x32 x33 -x34 x35 -x36 -x37 -x38 -x39 -x40 x41 x42 -x43 -x44 -x45 x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 x57 -x58 -x59
680.11/680.38	v -x60 -x61 -x62 x63 x64 x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x129 -x130 -x131 -x132 -x133
680.11/680.38	v -x134 -x135 -x136 x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 x137 -x138 x139 x140 x141 -x142 -x143 -x144 x89 -x90 x91 -x92 -x93 -x94
680.11/680.38	v -x95 -x96 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x153 -x154 -x155 -x156
680.11/680.38	v -x157 -x158 -x159 -x160 x105 x106 -x107 x108 -x109 x110 x111 -x112 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 x113 -x114
680.11/680.38	v -x115 -x116 -x117 -x118 x119 -x120 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x121 -x122 -x123 -x124 -x125 -x126 -x127
680.11/680.38	v -x128 x177 -x178 -x179 -x180 x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
680.11/680.38	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
680.11/680.38	c   61   728188   7038   764840    17161   909252  16112   1070 680.20
680.11/680.38	c Objective: 3
680.11/680.38	s OPTIMUM FOUND
680.11/680.38	c Total time: 680.198 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/node17/watcher-452953-1178001850 -o ROOT/results/node17/solver-452953-1178001850 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452953-1178001850/instance-452953-1178001850.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 1.00 0.99 3/77 11733
/proc/meminfo: memFree=1790384/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=19560 CPUtime=0
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 370 0 0 0 0 0 0 0 18 0 1 0 248102492 20029440 340 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3131472 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 4890 341 288 324 0 3957 0

[startup+0.0456579 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 11733
/proc/meminfo: memFree=1790384/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=4588 CPUtime=0.04
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 563 0 0 0 4 0 0 0 18 0 1 0 248102492 4698112 530 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 1147 531 310 324 0 217 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4588

[startup+0.101663 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 11733
/proc/meminfo: memFree=1790384/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=5236 CPUtime=0.09
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 722 0 0 0 9 0 0 0 18 0 1 0 248102492 5361664 689 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 1309 689 310 324 0 379 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5236

[startup+0.301683 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 11733
/proc/meminfo: memFree=1790384/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=6788 CPUtime=0.29
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 1121 0 0 0 29 0 0 0 19 0 1 0 248102492 6950912 1088 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 1697 1088 310 324 0 767 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6788

[startup+0.701726 s]
/proc/loadavg: 0.92 1.00 0.99 3/77 11733
/proc/meminfo: memFree=1790384/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=9760 CPUtime=0.69
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 1837 0 0 0 68 1 0 0 23 0 1 0 248102492 9994240 1804 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 2440 1804 310 324 0 1510 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9760

[startup+1.50181 s]
/proc/loadavg: 0.92 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1783016/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=12224 CPUtime=1.49
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 2460 0 0 0 147 2 0 0 25 0 1 0 248102492 12517376 2427 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 3056 2427 310 324 0 2126 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12224

[startup+3.10198 s]
/proc/loadavg: 0.92 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1780328/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=16112 CPUtime=3.09
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 3440 0 0 0 307 2 0 0 25 0 1 0 248102492 16498688 3407 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 4028 3407 310 324 0 3098 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 16112

[startup+6.30131 s]
/proc/loadavg: 0.93 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1774888/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=18824 CPUtime=6.29
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 4125 0 0 0 627 2 0 0 25 0 1 0 248102492 19275776 4092 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 4706 4092 310 324 0 3776 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18824

[startup+12.702 s]
/proc/loadavg: 0.93 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1774888/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=18956 CPUtime=12.68
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 4154 0 0 0 1266 2 0 0 25 0 1 0 248102492 19410944 4121 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 4739 4121 310 324 0 3809 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18956

[startup+25.5013 s]
/proc/loadavg: 0.95 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1768296/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=25600 CPUtime=25.48
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 5813 0 0 0 2545 3 0 0 25 0 1 0 248102492 26214400 5780 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 6400 5780 310 324 0 5470 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25600

[startup+51.102 s]
/proc/loadavg: 0.96 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1766568/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=27260 CPUtime=51.07
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 6232 0 0 0 5103 4 0 0 25 0 1 0 248102492 27914240 6199 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 6815 6199 310 324 0 5885 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 27260

[startup+102.304 s]
/proc/loadavg: 0.98 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1761448/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=32368 CPUtime=102.25
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 7513 0 0 0 10220 5 0 0 25 0 1 0 248102492 33144832 7480 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 8092 7480 310 324 0 7162 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 32368

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1756968/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=36876 CPUtime=162.24
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 8642 0 0 0 16218 6 0 0 25 0 1 0 248102492 37761024 8609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 9219 8609 310 324 0 8289 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 36876

[startup+222.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1756904/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=36872 CPUtime=222.23
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 8642 0 0 0 22216 7 0 0 25 0 1 0 248102492 37756928 8609 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 9218 8609 310 324 0 8288 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 36872

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1756840/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=36872 CPUtime=282.21
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 8645 0 0 0 28214 7 0 0 25 0 1 0 248102492 37756928 8610 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 9218 8610 310 324 0 8288 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 36872

[startup+342.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1755240/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=38412 CPUtime=342.19
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9065 0 0 0 34211 8 0 0 25 0 1 0 248102492 39333888 8964 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 9603 8964 310 324 0 8673 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 38412

[startup+402.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1755304/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=38396 CPUtime=402.18
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9065 0 0 0 40209 9 0 0 25 0 1 0 248102492 39317504 8964 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 9599 8964 310 324 0 8669 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 38396

[startup+462.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1755496/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=38260 CPUtime=462.16
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 46207 9 0 0 25 0 1 0 248102492 39178240 8958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 9565 8958 311 324 0 8635 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 38260

[startup+522.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1755560/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=38260 CPUtime=522.15
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 52205 10 0 0 25 0 1 0 248102492 39178240 8958 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572383 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 9565 8958 311 324 0 8635 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 38260

[startup+582.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1755560/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=38120 CPUtime=582.13
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 58203 10 0 0 25 0 1 0 248102492 39034880 8923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 9530 8923 311 324 0 8600 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 38120

[startup+642.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=37768 CPUtime=642.12
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 64201 11 0 0 25 0 1 0 248102492 38674432 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 9442 8835 311 324 0 8512 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 37768

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

[startup+665.505 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=37768 CPUtime=665.32
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 66521 11 0 0 25 0 1 0 248102492 38674432 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550942 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 9442 8835 311 324 0 8512 0
Current children cumulated CPU time (s) 665.32
Current children cumulated vsize (KiB) 37768

[startup+671.902 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=37768 CPUtime=671.71
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 67160 11 0 0 25 0 1 0 248102492 38674432 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 9442 8835 311 324 0 8512 0
Current children cumulated CPU time (s) 671.71
Current children cumulated vsize (KiB) 37768

[startup+675.102 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=37768 CPUtime=674.91
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 67480 11 0 0 25 0 1 0 248102492 38674432 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 9442 8835 311 324 0 8512 0
Current children cumulated CPU time (s) 674.91
Current children cumulated vsize (KiB) 37768

[startup+678.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=37768 CPUtime=678.11
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 67800 11 0 0 25 0 1 0 248102492 38674432 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550951 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 9442 8835 311 324 0 8512 0
Current children cumulated CPU time (s) 678.11
Current children cumulated vsize (KiB) 37768

[startup+679.102 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=37768 CPUtime=678.91
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 67880 11 0 0 25 0 1 0 248102492 38674432 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 9442 8835 311 324 0 8512 0
Current children cumulated CPU time (s) 678.91
Current children cumulated vsize (KiB) 37768

[startup+679.902 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=37768 CPUtime=679.71
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 67960 11 0 0 25 0 1 0 248102492 38674432 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 9442 8835 311 324 0 8512 0
Current children cumulated CPU time (s) 679.71
Current children cumulated vsize (KiB) 37768

[startup+680.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/78 11734
/proc/meminfo: memFree=1755816/2055920 swapFree=4140116/4192956
[pid=11733] ppid=11731 vsize=37768 CPUtime=680.11
/proc/11733/stat : 11733 (bsolo3.0.17) R 11731 11733 10305 0 -1 4194304 9066 0 0 0 68000 11 0 0 25 0 1 0 248102492 38674432 8835 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11733/statm: 9442 8835 311 324 0 8512 0
Current children cumulated CPU time (s) 680.11
Current children cumulated vsize (KiB) 37768

Child status: 0
Real time (s): 680.394
CPU time (s): 680.208
CPU user time (s): 680.089
CPU system time (s): 0.118981
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 38544

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

runsolver used 0.539917 second user time and 1.44778 second system time

The end

Launcher Data (download as text)

Begin job on node17 on Tue May  1 06:44:10 UTC 2007

IDJOB= 452953
IDBENCH= 48020
IDSOLVER= 199
FILE ID= node17/452953-1178001850

PBS_JOBID= 4728200

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=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452953-1178001850/instance-452953-1178001850.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-452953-1178001850 -o ROOT/results/node17/solver-452953-1178001850 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/452953-1178001850/instance-452953-1178001850.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  a6d214cc283b484f5cca285d86c4d8bb

RANDOM SEED= 613296006

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node17.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.240
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.240
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:       1790856 kB
Buffers:         31576 kB
Cached:         151288 kB
SwapCached:      15016 kB
Active:          72864 kB
Inactive:       133420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1790856 kB
SwapTotal:     4192956 kB
SwapFree:      4140116 kB
Dirty:            6628 kB
Writeback:           0 kB
Mapped:          30416 kB
Slab:            44352 kB
Committed_AS:  7401920 kB
PageTables:       1796 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 node17 on Tue May  1 06:55:30 UTC 2007