Trace number 430996

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.16OPT3 684.304 684.486

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.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/430996-1178001690/instance-430996-1178001690.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.011 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    704     1049     4408    4     3786    5914      0      0 0.01
0.00/0.01	c Switching off LPR mode.
410.48/410.67	c      101    704     1150    10433    9     3905    6506    101   4809 0.02
410.48/410.67	c      252    704     1301    19823   15     4223    7157    252   7636 0.03
410.48/410.67	c      479    704     1528    35785   23     4694    7873    479   9580 0.05
410.48/410.67	c      818    704     1867    59546   31     5348    8661    818  10225 0.08
410.48/410.67	c     1326    704     2375    92319   38     6369    9528   1326  10200 0.13
410.48/410.67	c     2089    704     3138   145401   46     7761   10481   2089   9761 0.21
410.48/410.67	c     3235    704     4284   221124   51     9968   11530   3235   8513 0.38
410.48/410.67	c     4957    704     6006   349595   58    13426   12684   4957   7982 0.62
410.48/410.67	c     7541    704     8590   511421   59    18718   13953   7541   6450 1.17
410.48/410.67	c    11421    704    12470   755624   60    26459   15349  11421   4463 2.56
410.48/410.67	c    17244    704    10382   575280   55    22242   16884   9333   2638 6.54
410.48/410.67	c    25982    704    10647   565324   53    22737   18573   9598   1821 14.27
410.48/410.67	c    39093    704    13857   935006   67    29269   20431  12808   1945 20.10
410.48/410.67	c    58763    704    12384   720261   58    26255   22475  11335   1918 30.63
410.48/410.68	c    88273    703    18341  1039039   56    38164   24723  17292   1875 47.06
410.48/410.68	c   132543    703    20042  1318446   65    41617   27196  18993   1607 82.43
410.48/410.68	c   198953    701    21568  1531218   70    44652   29916  20519   1280 155.43
410.48/410.68	c   298573    698    24819  1588478   64    51137   32908  23770   1192 250.46
410.48/410.68	o 67	410.567
577.54/577.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
577.54/577.77	c   412801    697    29016  1988282   68    59488    5930  27967   1005 410.57
577.54/577.77	c   412903    697     4126   227791   55     9825    6524   3077   1004 411.03
577.54/577.77	c   413154    697     4377   245479   56    10282    7177   3328   1005 411.06
577.54/577.77	c   413629    697     4852   278256   57    11211    7895   3803   1006 411.12
577.54/577.77	c   414442    697     5665   332925   58    12855    8685   4616   1007 411.24
577.54/577.77	c   415763    697     6986   420633   60    15497    9554   5937   1010 411.47
577.54/577.77	c   417844    697     9067   556795   61    19633   10510   8018   1013 412.11
577.54/577.77	c   421067    697     6965   388681   55    15435   11562   5916   1017 413.63
577.54/577.77	c   426003    697    11901   719102   60    25334   12719  10852   1024 415.77
577.54/577.77	c   433509    697    12658   750401   59    26793   13991  11609   1028 421.39
577.54/577.77	c   444871    697     9922   556903   56    21407   15391   8873   1033 430.40
577.54/577.77	c   462015    697    11051   640306   57    23647   16931  10002   1035 446.16
577.54/577.77	c   487835    697    10577   674598   63    22684   18625   9528   1052 463.57
577.54/577.77	c   526667    694    11512   674772   58    24545   20488  10463   1059 497.09
577.54/577.77	c   585019    684    17032   980608   57    35660   22537  15983   1027 569.27
577.54/577.77	o 65	577.618
578.14/578.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
578.14/578.33	c   593087    681    13369   761737   56    28367    5928  12320   1026 577.62
578.14/578.33	c   593187    681     4128   208382   50     9878    6521   3079   1026 577.76
578.14/578.33	c   593437    681     4378   225151   51    10317    7174   3329   1027 577.79
578.14/578.33	c   593912    681     4853   258264   53    11298    7892   3804   1027 577.84
578.14/578.33	c   594725    681     5666   315311   55    12880    8682   4617   1028 577.98
578.14/578.33	o 5	578.182
591.73/591.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
591.73/591.94	c   595937    681     6879   394345   57    15289    5928   5830   1030 578.18
591.73/591.94	c   596038    672     6980   404882   58    15580    6521   5931   1030 578.20
591.73/591.94	c   596288    672     7230   422178   58    16029    7174   6181   1031 578.26
591.73/591.94	c   596764    672     7706   454833   59    16984    7892   6657   1031 578.41
591.73/591.94	c   597577    672     8519   508148   59    18599    8682   7470   1032 578.76
591.73/591.94	c   598897    672     5416   296737   54    12398    9551   4367   1033 579.47
591.73/591.94	c   600979    653     7498   439341   58    16538   10507   6449   1036 579.96
591.73/591.94	c   604203    653    10722   649688   60    23028   11558   9673   1037 582.24
591.73/591.94	c   609139    653     9762   569781   58    21107   12714   8713   1040 585.66
591.73/591.94	c   616645    641    10661   655002   61    22854   13986   9612   1043 591.10
591.73/591.94	o 3	591.79
684.21/684.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
684.21/684.47	c   618475    641    12492   780180   62    26543    5920  11443   1045 591.79
684.21/684.47	c   618576    641     4128   210527   50     9765    6513   3079   1044 591.97
684.21/684.47	c   618826    641     4378   224981   51    10287    7165   3329   1045 592.04
684.21/684.47	c   619301    641     4853   254904   52    11198    7882   3804   1045 592.15
684.21/684.47	c   620115    641     5667   305321   53    12823    8671   4618   1046 592.39
684.21/684.47	c   621436    641     6988   388826   55    15484    9539   5939   1048 592.93
684.21/684.47	c   623518    641     9070   521643   57    19689   10493   8021   1049 593.95
684.21/684.47	c   626742    641     6940   374111   53    15404   11543   5891   1051 595.81
684.21/684.47	c   631679    641    11877   680970   57    25266   12698  10828   1054 598.83
684.21/684.47	c   639186    641    12920   739546   57    27365   13968  11871   1056 604.98
684.21/684.47	c   650547    620    10051   556041   55    21687   15365   9002   1057 615.08
684.21/684.47	c   667691    620    11268   651081   57    24086   16902  10219   1067 625.23
684.21/684.47	c   693511    617    10760   605798   56    23166   18593   9711   1082 640.68
684.21/684.47	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
684.21/684.47	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
684.21/684.47	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
684.21/684.47	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
684.21/684.47	v -x95 -x96 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 x97 -x98 -x99 x100 x101 -x102 -x103 -x104 -x153 -x154 -x155 -x156
684.21/684.47	v -x157 -x158 -x159 -x160 x105 x106 -x107 x108 -x109 x110 x111 -x112 x161 x162 -x163 -x164 -x165 -x166 -x167 -x168 x113 -x114
684.21/684.47	v -x115 -x116 -x117 -x118 x119 -x120 x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 x121 -x122 -x123 -x124 -x125 -x126 -x127
684.21/684.47	v -x128 x177 -x178 -x179 -x180 x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192
684.21/684.47	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
684.21/684.47	c   61   728188   7038   764840    17161   909252  16112   1064 684.30
684.21/684.47	c Objective: 3
684.21/684.47	s OPTIMUM FOUND
684.21/684.47	c Total time: 684.296 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/node44/watcher-430996-1178001690 -o ROOT/results/node44/solver-430996-1178001690 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430996-1178001690/instance-430996-1178001690.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.86 0.93 0.97 3/77 16249
/proc/meminfo: memFree=1828320/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=3936 CPUtime=0
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 248080710 4030464 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 984 348 291 324 0 50 0

[startup+0.0540351 s]
/proc/loadavg: 0.86 0.93 0.97 3/77 16249
/proc/meminfo: memFree=1828320/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=4716 CPUtime=0.04
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 594 0 0 0 4 0 0 0 18 0 1 0 248080710 4829184 560 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 1179 560 312 324 0 248 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4716

[startup+0.10104 s]
/proc/loadavg: 0.86 0.93 0.97 3/77 16249
/proc/meminfo: memFree=1828320/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=5236 CPUtime=0.09
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 723 0 0 0 9 0 0 0 18 0 1 0 248080710 5361664 689 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 1309 689 312 324 0 378 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5236

[startup+0.30106 s]
/proc/loadavg: 0.86 0.93 0.97 3/77 16249
/proc/meminfo: memFree=1828320/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=6788 CPUtime=0.28
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 1118 0 0 0 28 0 0 0 19 0 1 0 248080710 6950912 1084 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 1697 1084 312 324 0 766 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6788

[startup+0.701101 s]
/proc/loadavg: 0.86 0.93 0.97 3/77 16249
/proc/meminfo: memFree=1828320/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=9632 CPUtime=0.69
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 1835 0 0 0 68 1 0 0 22 0 1 0 248080710 9863168 1801 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 2408 1801 312 324 0 1477 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9632

[startup+1.50118 s]
/proc/loadavg: 0.86 0.93 0.97 2/78 16250
/proc/meminfo: memFree=1821080/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=12224 CPUtime=1.48
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 2454 0 0 0 147 1 0 0 25 0 1 0 248080710 12517376 2420 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11716219 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 3056 2420 312 324 0 2125 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 12224

[startup+3.10135 s]
/proc/loadavg: 0.86 0.93 0.97 2/78 16250
/proc/meminfo: memFree=1818328/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=15984 CPUtime=3.09
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 3424 0 0 0 306 3 0 0 25 0 1 0 248080710 16367616 3390 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 3996 3390 312 324 0 3065 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15984

[startup+6.30168 s]
/proc/loadavg: 0.87 0.93 0.97 2/78 16250
/proc/meminfo: memFree=1813152/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=18824 CPUtime=6.28
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 4128 0 0 0 624 4 0 0 25 0 1 0 248080710 19275776 4094 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 4706 4094 312 324 0 3775 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 18824

[startup+12.7013 s]
/proc/loadavg: 0.88 0.93 0.97 2/78 16250
/proc/meminfo: memFree=1812920/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=18828 CPUtime=12.68
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 4129 0 0 0 1263 5 0 0 25 0 1 0 248080710 19279872 4095 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 4707 4095 312 324 0 3776 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 18828

[startup+25.5016 s]
/proc/loadavg: 0.90 0.93 0.97 2/78 16250
/proc/meminfo: memFree=1807104/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=25600 CPUtime=25.48
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 5816 0 0 0 2539 9 0 0 25 0 1 0 248080710 26214400 5782 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 6400 5782 312 324 0 5469 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 25600

[startup+51.1013 s]
/proc/loadavg: 0.94 0.94 0.97 2/78 16250
/proc/meminfo: memFree=1804672/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=27260 CPUtime=51.07
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 6235 0 0 0 5094 13 0 0 25 0 1 0 248080710 27914240 6201 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551290 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 6815 6201 312 324 0 5884 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 27260

[startup+102.306 s]
/proc/loadavg: 0.97 0.94 0.97 2/78 16250
/proc/meminfo: memFree=1799552/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=32368 CPUtime=102.26
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 7516 0 0 0 10203 23 0 0 25 0 1 0 248080710 33144832 7482 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 8092 7482 312 324 0 7161 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 32368

[startup+162.302 s]
/proc/loadavg: 0.99 0.95 0.97 2/78 16250
/proc/meminfo: memFree=1795008/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=36876 CPUtime=162.25
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 8645 0 0 0 16192 33 0 0 25 0 1 0 248080710 37761024 8611 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9219 8611 312 324 0 8288 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 36876

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.97 3/78 16250
/proc/meminfo: memFree=1794944/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=36872 CPUtime=222.23
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 8645 0 0 0 22184 39 0 0 25 0 1 0 248080710 37756928 8611 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11722524 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9218 8611 312 324 0 8287 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 36872

[startup+282.301 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 16250
/proc/meminfo: memFree=1794944/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=36872 CPUtime=282.21
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 8648 0 0 0 28175 46 0 0 25 0 1 0 248080710 37756928 8612 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9218 8612 312 324 0 8287 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 36872

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16250
/proc/meminfo: memFree=1793408/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=38412 CPUtime=342.19
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9068 0 0 0 34166 53 0 0 25 0 1 0 248080710 39333888 8966 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9603 8966 312 324 0 8672 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 38412

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16250
/proc/meminfo: memFree=1793408/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=38396 CPUtime=402.18
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9068 0 0 0 40159 59 0 0 25 0 1 0 248080710 39317504 8966 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551548 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9599 8966 312 324 0 8668 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 38396

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16250
/proc/meminfo: memFree=1793408/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=38260 CPUtime=462.17
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 46149 68 0 0 25 0 1 0 248080710 39178240 8960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551273 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9565 8960 313 324 0 8634 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 38260

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16250
/proc/meminfo: memFree=1793408/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=38260 CPUtime=522.15
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 52139 76 0 0 25 0 1 0 248080710 39178240 8960 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134572879 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9565 8960 313 324 0 8634 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 38260

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16250
/proc/meminfo: memFree=1793408/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=38120 CPUtime=582.14
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 58130 84 0 0 25 0 1 0 248080710 39034880 8925 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9530 8925 313 324 0 8599 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 38120

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16250
/proc/meminfo: memFree=1793792/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=37768 CPUtime=642.12
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 64117 95 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9442 8837 313 324 0 8511 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 0.97 0.97 2/78 16250
/proc/meminfo: memFree=1793728/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=37768 CPUtime=665.31
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 66434 97 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9442 8837 313 324 0 8511 0
Current children cumulated CPU time (s) 665.31
Current children cumulated vsize (KiB) 37768

[startup+671.901 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16250
/proc/meminfo: memFree=1793728/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=37768 CPUtime=671.72
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 67073 99 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551513 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9442 8837 313 324 0 8511 0
Current children cumulated CPU time (s) 671.72
Current children cumulated vsize (KiB) 37768

[startup+678.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16250
/proc/meminfo: memFree=1793728/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=37768 CPUtime=678.11
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 67712 99 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551539 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9442 8837 313 324 0 8511 0
Current children cumulated CPU time (s) 678.11
Current children cumulated vsize (KiB) 37768

[startup+681.501 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16250
/proc/meminfo: memFree=1793728/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=37768 CPUtime=681.31
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 68032 99 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9442 8837 313 324 0 8511 0
Current children cumulated CPU time (s) 681.31
Current children cumulated vsize (KiB) 37768

[startup+683.105 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16250
/proc/meminfo: memFree=1793728/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=37768 CPUtime=682.92
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 68192 100 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9442 8837 313 324 0 8511 0
Current children cumulated CPU time (s) 682.92
Current children cumulated vsize (KiB) 37768

[startup+683.902 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16250
/proc/meminfo: memFree=1793728/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=37768 CPUtime=683.71
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 68271 100 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 11715145 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9442 8837 313 324 0 8511 0
Current children cumulated CPU time (s) 683.71
Current children cumulated vsize (KiB) 37768

[startup+684.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16250
/proc/meminfo: memFree=1793728/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=37768 CPUtime=684.11
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 68311 100 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9442 8837 313 324 0 8511 0
Current children cumulated CPU time (s) 684.11
Current children cumulated vsize (KiB) 37768

[startup+684.401 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 16250
/proc/meminfo: memFree=1793728/2055920 swapFree=4156220/4192956
[pid=16249] ppid=16247 vsize=37768 CPUtime=684.21
/proc/16249/stat : 16249 (bsolo3.0.16) R 16247 16249 14754 0 -1 4194304 9069 0 0 0 68321 100 0 0 25 0 1 0 248080710 38674432 8837 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/16249/statm: 9442 8837 313 324 0 8511 0
Current children cumulated CPU time (s) 684.21
Current children cumulated vsize (KiB) 37768

Child status: 0
Real time (s): 684.486
CPU time (s): 684.304
CPU user time (s): 683.295
CPU system time (s): 1.00885
CPU usage (%): 99.9734
Max. virtual memory (cumulated for all children) (KiB): 38544

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 683.295
system time used= 1.00885
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= 10
involuntary context switches= 1116

runsolver used 0.512922 second user time and 1.55176 second system time

The end

Launcher Data (download as text)

Begin job on node44 on Tue May  1 06:41:30 UTC 2007

IDJOB= 430996
IDBENCH= 48020
IDSOLVER= 163
FILE ID= node44/430996-1178001690

PBS_JOBID= 4728243

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=89-P1=181-P2=233-P3=19-P4=167-P5=113-P6=191-P7=61-P8=59-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430996-1178001690/instance-430996-1178001690.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node44/watcher-430996-1178001690 -o ROOT/results/node44/solver-430996-1178001690 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430996-1178001690/instance-430996-1178001690.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  a6d214cc283b484f5cca285d86c4d8bb

RANDOM SEED= 511753998

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node44.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.234
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.234
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:       1828792 kB
Buffers:         28244 kB
Cached:         107412 kB
SwapCached:      13740 kB
Active:          95372 kB
Inactive:        65356 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1828792 kB
SwapTotal:     4192956 kB
SwapFree:      4156220 kB
Dirty:            6752 kB
Writeback:           0 kB
Mapped:          33060 kB
Slab:            51908 kB
Committed_AS:  1569208 kB
PageTables:       1740 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 node44 on Tue May  1 06:52:55 UTC 2007