Trace number 453441

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.17SAT (TO)12 1800.09 1800.54

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_10_5.opb
MD5SUMe6ef25c6f832d5fe55af9368c1298b73
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 11
Optimality of the best value was proved NO
Number of variables100
Total number of constraints100
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 constraints100
Minimum length of a constraint11
Maximum length of a constraint19
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1252
Sum of products size (including duplicates)2504
Number of different products1252
Sum of products size2504

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/453441-1178137354/instance-453441-1178137354.opb
0.00/0.00	c File size is 17091 bytes.
0.00/0.01	c Highest Coefficient sum: 100
0.00/0.01	c Parsing was ok!!
0.00/0.01	c Total parsing time: 0.007 s
0.00/0.01	c Var: 1352 Constr: 2604 1352/0/1252 Lit: 8864 Watch. Lit: 6460
0.00/0.01	c Obj. Vars: 100 (7.39645 % of total variables)
0.00/0.04	c Pre-processing Time: 0.042 s
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0   1352     2604     8864    3     6460    7962      0      0 0.04
0.00/0.04	c Switching off LPR mode.
0.00/0.04	o 99	0.043
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0   1352     2605     8964    3     6463    8029      1      0 0.04
0.00/0.05	o 98	0.044
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0   1352     2606     9064    3     6467    8129      2      0 0.04
0.00/0.05	o 97	0.045
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0   1352     2607     9164    3     6472    8262      3      0 0.05
0.00/0.05	o 96	0.046
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        0   1352     2608     9264    3     6478    8429      4      0 0.05
0.00/0.05	o 95	0.047
0.00/0.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.05	c        1   1352     2610     9460    3     6487    8462      6     20 0.05
0.00/0.05	o 15	0.049
0.00/0.06	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.06	c        1   1352     2611     9560    3     6574    9262      7     20 0.05
0.00/0.06	o 14	0.055
1.79/1.89	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.89	c       43   1352     2654    12755    4     6746    9262     50    767 0.06
1.79/1.89	c      143   1352     2754    17122    6     6946   10189    150   2134 0.07
1.79/1.89	c      393   1352     3004    27068    9     7446   11208    400   4180 0.09
1.79/1.89	c      871   1352     3482    51911   14     8402   12329    878   5443 0.16
1.79/1.89	c     1684   1352     4295    93646   21    10028   13562   1691   5312 0.32
1.79/1.89	c     3005   1352     5616   155746   27    12670   14919   3012   5309 0.57
1.79/1.89	c     5088   1352     7699   245702   31    16836   16411   5095   5518 0.92
1.79/1.89	c     8311   1352    10922   393112   35    23282   18053   8318   4714 1.76
1.79/1.89	o 13	1.886
180.64/180.75	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
180.64/180.75	c     8745   1352    11357   415900   36    24239    9262   8753   4634 1.89
180.64/180.75	c     8845   1352    11457   421145   36    24439   10189   8853   4626 1.91
180.64/180.75	c     9096   1352    11708   432397   36    24941   11208   9104   4612 1.97
180.64/180.75	c     9571   1352    12183   453680   37    25891   12329   9579   4575 2.09
180.64/180.75	c    10384   1352    12996   493365   37    27517   13562  10392   4530 2.29
180.64/180.75	c    11705   1352    14317   547762   38    30159   14919  11713   4222 2.77
180.64/180.75	c    13787   1352    16399   652124   39    34323   16411  13795   3675 3.75
180.64/180.75	c    17011   1352    10811   408559   37    22961   18053   8207   3289 5.17
180.64/180.75	c    21947   1352    15747   608795   38    32833   19859  13143   3228 6.80
180.64/180.75	c    29453   1352    12535   475687   37    26409   21845   9931   2931 10.05
180.64/180.75	c    40814   1352    23896  1004398   42    49131   24030  21292   2492 16.37
180.64/180.75	c    57958   1352    13868   601719   43    29075   26434  11264   1998 29.01
180.64/180.75	c    83778   1352    23793  1245466   52    48925   29078  21189   1617 51.81
180.64/180.75	c   122611   1352    25515  1231152   48    52369   31986  22911   1316 93.15
180.64/180.75	c   180963   1352    19576   846051   43    40491   35185  16972   1186 152.58
180.64/180.75	o 12	180.701
1800.05/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.50	c   209866   1352    24707  1357673   54    50841    8962  22103   1161 180.70
1800.05/1800.50	c   209967   1352     7187   222320   30    15714    9859   4583   1156 181.49
1800.05/1800.50	c   210218   1352     7438   231476   31    16216   10845   4834   1157 181.54
1800.05/1800.50	c   210693   1352     7913   253880   32    17166   11930   5309   1159 181.64
1800.05/1800.50	c   211506   1352     8726   283737   32    18792   13124   6122   1163 181.81
1800.05/1800.50	c   212827   1352    10047   340614   33    21434   14437   7443   1168 182.11
1800.05/1800.50	c   214910   1352    12130   436945   36    25600   15881   9526   1176 182.72
1800.05/1800.50	c   218133   1352    15353   577553   37    32046   17470  12749   1187 183.67
1800.05/1800.50	c   223070   1352    11340   452314   39    24020   19218   8736   1197 186.32
1800.05/1800.50	c   230578   1352    18848   902003   47    39036   21140  16244   1214 189.93
1800.05/1800.50	c   241940   1352    18836   901214   47    39012   23255  16232   1230 196.57
1800.05/1800.50	c   259084   1352    23525  1197725   50    48390   25581  20921   1230 210.56
1800.05/1800.50	c   284903   1352    18741   938480   50    38822   28140  16137   1247 228.30
1800.05/1800.50	c   323736   1352    23342  1093665   46    48024   30955  20738   1234 262.14
1800.05/1800.50	c   382088   1352    21368  1047634   49    44076   34051  18764   1177 324.62
1800.05/1800.50	c   469720   1352    17501   774368   44    36342   37457  14897   1132 414.59
1800.05/1800.50	c   601274   1352    18007   694092   38    37354   41203  15403    995 604.15
1800.05/1800.50	c   798706   1352    38072  1555853   40    77484   45324  35468    930 858.78
1800.05/1800.50	c  1094959   1352    28859  1207598   41    59058   49857  26255    833 1313.78
1800.05/1800.50	c Caught signal: 15
1800.05/1800.50	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
1800.05/1800.50	v -x30 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
1800.05/1800.50	v -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82
1800.05/1800.50	v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
1800.05/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.50	c   48  1426387 454710  2295427    27332  1180505  24728    792 1800.05
1800.05/1800.50	c Objective: 12
1800.05/1800.50	s SATISFIABLE
1800.05/1800.50	c Total time: 1800.05 s

Verifier Data (download as text)

OK	12

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node14/watcher-453441-1178137354 -o ROOT/results/node14/solver-453441-1178137354 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453441-1178137354/instance-453441-1178137354.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.78 0.95 0.98 3/77 22595
/proc/meminfo: memFree=1784376/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=3780 CPUtime=0
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 221 0 0 0 0 0 0 0 18 0 1 0 261653179 3870720 191 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7388323 0 0 4096 0 0 0 0 17 1 0 0
/proc/22595/statm: 945 196 169 324 0 15 0

[startup+0.100431 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 22595
/proc/meminfo: memFree=1784376/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=4884 CPUtime=0.09
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 640 0 0 0 9 0 0 0 18 0 1 0 261653179 5001216 605 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 1221 605 310 324 0 291 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4884

[startup+0.20144 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 22595
/proc/meminfo: memFree=1784376/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=5400 CPUtime=0.18
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 772 0 0 0 18 0 0 0 18 0 1 0 261653179 5529600 737 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 1350 737 310 324 0 420 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5400

[startup+0.30145 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 22595
/proc/meminfo: memFree=1784376/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=5788 CPUtime=0.28
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 864 0 0 0 28 0 0 0 19 0 1 0 261653179 5926912 829 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 1447 829 310 324 0 517 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 5788

[startup+0.701486 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 22595
/proc/meminfo: memFree=1784376/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=7368 CPUtime=0.68
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 1260 0 0 0 68 0 0 0 23 0 1 0 261653179 7544832 1225 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 1842 1225 310 324 0 912 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 7368

[startup+1.50156 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 22596
/proc/meminfo: memFree=1779248/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=9856 CPUtime=1.49
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 1881 0 0 0 148 1 0 0 25 0 1 0 261653179 10092544 1846 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 2464 1846 310 324 0 1534 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9856

[startup+3.10272 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 22596
/proc/meminfo: memFree=1776176/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=13372 CPUtime=3.09
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 2757 0 0 0 308 1 0 0 25 0 1 0 261653179 13692928 2722 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7362171 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 3343 2722 310 324 0 2413 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13372

[startup+6.30202 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 22596
/proc/meminfo: memFree=1770672/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=17004 CPUtime=6.28
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 3662 0 0 0 627 1 0 0 25 0 1 0 261653179 17412096 3627 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 4251 3627 310 324 0 3321 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17004

[startup+12.7016 s]
/proc/loadavg: 0.81 0.95 0.98 2/78 22596
/proc/meminfo: memFree=1768304/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=19340 CPUtime=12.69
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 4257 0 0 0 1266 3 0 0 25 0 1 0 261653179 19804160 4222 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 4835 4222 310 324 0 3905 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19340

[startup+25.5018 s]
/proc/loadavg: 0.85 0.96 0.98 2/78 22596
/proc/meminfo: memFree=1764848/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=22864 CPUtime=25.48
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 5138 0 0 0 2545 3 0 0 25 0 1 0 261653179 23412736 5103 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 5716 5103 310 324 0 4786 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22864

[startup+51.1013 s]
/proc/loadavg: 0.90 0.96 0.98 2/78 22596
/proc/meminfo: memFree=1761392/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=26360 CPUtime=51.07
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 6011 0 0 0 5103 4 0 0 25 0 1 0 261653179 26992640 5976 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 6590 5976 310 324 0 5660 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 26360

[startup+102.301 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 22596
/proc/meminfo: memFree=1756080/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=31628 CPUtime=102.27
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 7351 0 0 0 10221 6 0 0 25 0 1 0 261653179 32387072 7283 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 7907 7283 310 324 0 6977 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 31628

[startup+162.302 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 22596
/proc/meminfo: memFree=1756016/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=31628 CPUtime=162.24
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 7417 0 0 0 16218 6 0 0 25 0 1 0 261653179 32387072 7283 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 7907 7283 310 324 0 6977 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 31628

[startup+222.305 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22596
/proc/meminfo: memFree=1753392/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=34288 CPUtime=222.24
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 8132 0 0 0 22216 8 0 0 25 0 1 0 261653179 35110912 7962 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 8572 7962 310 324 0 7642 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 34288

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 22596
/proc/meminfo: memFree=1753392/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=34284 CPUtime=282.21
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 8132 0 0 0 28213 8 0 0 25 0 1 0 261653179 35106816 7962 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 8571 7962 310 324 0 7641 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 34284

[startup+342.302 s]
/proc/loadavg: 1.04 0.99 0.99 2/78 22596
/proc/meminfo: memFree=1753328/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=34284 CPUtime=342.2
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 8132 0 0 0 34212 8 0 0 25 0 1 0 261653179 35106816 7962 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551018 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 8571 7962 310 324 0 7641 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 34284

[startup+402.301 s]
/proc/loadavg: 1.05 1.00 0.99 2/78 22596
/proc/meminfo: memFree=1753072/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=34416 CPUtime=402.19
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 8230 0 0 0 40210 9 0 0 25 0 1 0 261653179 35241984 7990 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 8604 7990 310 324 0 7674 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 34416

[startup+462.301 s]
/proc/loadavg: 1.09 1.03 1.00 2/78 22596
/proc/meminfo: memFree=1753072/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=34428 CPUtime=462.17
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 8305 0 0 0 46207 10 0 0 25 0 1 0 261653179 35254272 7992 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 8607 7992 310 324 0 7677 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 34428

[startup+522.302 s]
/proc/loadavg: 1.06 1.03 1.00 2/78 22596
/proc/meminfo: memFree=1753008/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=34428 CPUtime=522.15
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 8381 0 0 0 52205 10 0 0 25 0 1 0 261653179 35254272 7992 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 8607 7992 310 324 0 7677 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 34428

[startup+582.302 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 22596
/proc/meminfo: memFree=1753008/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=34428 CPUtime=582.14
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 8419 0 0 0 58203 11 0 0 25 0 1 0 261653179 35254272 7992 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 8607 7992 310 324 0 7677 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 34428

[startup+642.301 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 22596
/proc/meminfo: memFree=1748720/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=38736 CPUtime=642.12
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 9552 0 0 0 64199 13 0 0 25 0 1 0 261653179 39665664 9045 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550829 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 9684 9045 310 324 0 8754 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 38736


################
# More data... #
################

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22596
/proc/meminfo: memFree=1748784/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=38732 CPUtime=822.08
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 9719 0 0 0 82193 15 0 0 25 0 1 0 261653179 39661568 9045 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 9683 9045 310 324 0 8753 0
Current children cumulated CPU time (s) 822.08
Current children cumulated vsize (KiB) 38732

[startup+882.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22596
/proc/meminfo: memFree=1748720/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=38736 CPUtime=882.07
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 9811 0 0 0 88192 15 0 0 25 0 1 0 261653179 39665664 9049 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 9684 9049 310 324 0 8754 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 38736

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22596
/proc/meminfo: memFree=1748784/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=38732 CPUtime=942.05
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 9857 0 0 0 94189 16 0 0 25 0 1 0 261653179 39661568 9049 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7368428 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 9683 9049 310 324 0 8753 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 38732

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22596
/proc/meminfo: memFree=1748464/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=38996 CPUtime=1002.04
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 9976 0 0 0 100187 17 0 0 25 0 1 0 261653179 39931904 9122 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 9749 9122 310 324 0 8819 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 38996

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22596
/proc/meminfo: memFree=1748400/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=38996 CPUtime=1062.02
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10068 0 0 0 106185 17 0 0 25 0 1 0 261653179 39931904 9122 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 9749 9122 310 324 0 8819 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 38996

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22598
/proc/meminfo: memFree=1748336/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=38996 CPUtime=1122
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10127 0 0 0 112183 17 0 0 25 0 1 0 261653179 39931904 9135 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7359996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 9749 9135 310 324 0 8819 0
Current children cumulated CPU time (s) 1122
Current children cumulated vsize (KiB) 38996

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22598
/proc/meminfo: memFree=1748272/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=38996 CPUtime=1181.99
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10173 0 0 0 118181 18 0 0 25 0 1 0 261653179 39931904 9135 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134574213 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 9749 9135 310 324 0 8819 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 38996

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22598
/proc/meminfo: memFree=1748272/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=38996 CPUtime=1241.98
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10219 0 0 0 124179 19 0 0 25 0 1 0 261653179 39931904 9135 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 7360250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 9749 9135 310 324 0 8819 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 38996

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22598
/proc/meminfo: memFree=1746160/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=41084 CPUtime=1301.96
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10782 0 0 0 130177 19 0 0 25 0 1 0 261653179 42070016 9652 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 10271 9652 310 324 0 9341 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 41084

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22598
/proc/meminfo: memFree=1746096/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=41104 CPUtime=1361.95
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10837 0 0 0 136175 20 0 0 25 0 1 0 261653179 42090496 9657 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551028 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 10276 9657 310 324 0 9346 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 41104

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22598
/proc/meminfo: memFree=1746032/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=41104 CPUtime=1421.94
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10887 0 0 0 142174 20 0 0 25 0 1 0 261653179 42090496 9657 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 10276 9657 310 324 0 9346 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 41104

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22598
/proc/meminfo: memFree=1746032/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=41104 CPUtime=1481.92
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10937 0 0 0 148171 21 0 0 25 0 1 0 261653179 42090496 9657 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 10276 9657 310 324 0 9346 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 41104

[startup+1542.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22598
/proc/meminfo: memFree=1746032/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=41104 CPUtime=1541.91
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 10987 0 0 0 154170 21 0 0 25 0 1 0 261653179 42090496 9657 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 10276 9657 310 324 0 9346 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 41104

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22598
/proc/meminfo: memFree=1745968/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=41104 CPUtime=1601.89
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 11037 0 0 0 160167 22 0 0 25 0 1 0 261653179 42090496 9657 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 10276 9657 310 324 0 9346 0
Current children cumulated CPU time (s) 1601.89
Current children cumulated vsize (KiB) 41104

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22598
/proc/meminfo: memFree=1745968/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=41104 CPUtime=1661.87
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 11087 0 0 0 166165 22 0 0 25 0 1 0 261653179 42090496 9657 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551312 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 10276 9657 310 324 0 9346 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 41104

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22598
/proc/meminfo: memFree=1744880/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=42140 CPUtime=1721.86
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 11401 0 0 0 172163 23 0 0 25 0 1 0 261653179 43151360 9921 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 10535 9921 310 324 0 9605 0
Current children cumulated CPU time (s) 1721.86
Current children cumulated vsize (KiB) 42140

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22598
/proc/meminfo: memFree=1744176/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=42788 CPUtime=1781.84
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 11609 0 0 0 178161 23 0 0 25 0 1 0 261653179 43814912 10079 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 10697 10079 310 324 0 9767 0
Current children cumulated CPU time (s) 1781.84
Current children cumulated vsize (KiB) 42788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 22598
/proc/meminfo: memFree=1743152/2055920 swapFree=4148808/4192956
[pid=22595] ppid=22593 vsize=43836 CPUtime=1800.05
/proc/22595/stat : 22595 (bsolo3.0.17) R 22593 22595 22530 0 -1 4194304 11920 0 0 0 179981 24 0 0 25 0 1 0 261653179 44888064 10340 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22595/statm: 10959 10340 310 324 0 10029 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 43836

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child status: 15
Real time (s): 1800.54
CPU time (s): 1800.09
CPU user time (s): 1799.84
CPU system time (s): 0.249962
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 43836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.84
system time used= 0.249962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11924
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12
involuntary context switches= 37545

runsolver used 1.48477 second user time and 3.71244 second system time

The end

Launcher Data (download as text)

Begin job on node14 on Wed May  2 20:22:34 UTC 2007

IDJOB= 453441
IDBENCH= 48130
IDSOLVER= 199
FILE ID= node14/453441-1178137354

PBS_JOBID= 4751059

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_10_5.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453441-1178137354/instance-453441-1178137354.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-453441-1178137354 -o ROOT/results/node14/solver-453441-1178137354 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/453441-1178137354/instance-453441-1178137354.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  e6ef25c6f832d5fe55af9368c1298b73

RANDOM SEED= 178403442

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node14.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.227
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.227
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:       1784848 kB
Buffers:        108692 kB
Cached:          79056 kB
SwapCached:      11220 kB
Active:          91532 kB
Inactive:       120404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1784848 kB
SwapTotal:     4192956 kB
SwapFree:      4148808 kB
Dirty:            6780 kB
Writeback:           0 kB
Mapped:          29808 kB
Slab:            44668 kB
Committed_AS:  9220680 kB
PageTables:       1784 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 node14 on Wed May  2 20:52:37 UTC 2007