Trace number 453435

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.16SAT (TO)12 1800.13 1800.64

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.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/453435-1178137156/instance-453435-1178137156.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.008 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.043 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.044
0.00/0.04	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.04	c        0   1352     2605     8964    3     6463    8029      1      0 0.04
0.00/0.04	o 98	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     2606     9064    3     6467    8129      2      0 0.05
0.00/0.05	o 97	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     2607     9164    3     6472    8262      3      0 0.05
0.00/0.05	o 96	0.048
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.049
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.05
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     19 0.05
0.00/0.06	o 14	0.057
1.79/1.88	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1.79/1.88	c       43   1352     2654    12755    4     6746    9262     50    754 0.06
1.79/1.88	c      143   1352     2754    17122    6     6946   10189    150   2072 0.07
1.79/1.88	c      393   1352     3004    27068    9     7446   11208    400   4136 0.10
1.79/1.88	c      871   1352     3482    51911   14     8402   12329    878   5409 0.16
1.79/1.88	c     1684   1352     4295    93646   21    10028   13562   1691   5312 0.32
1.79/1.88	c     3005   1352     5616   155746   27    12670   14919   3012   5328 0.56
1.79/1.88	c     5088   1352     7699   245702   31    16836   16411   5095   5548 0.92
1.79/1.88	c     8311   1352    10922   393112   35    23282   18053   8318   4735 1.75
1.79/1.88	o 13	1.877
181.14/181.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
181.14/181.23	c     8745   1352    11357   415900   36    24239    9262   8753   4656 1.88
181.14/181.23	c     8845   1352    11457   421145   36    24439   10189   8853   4645 1.90
181.14/181.23	c     9096   1352    11708   432397   36    24941   11208   9104   4633 1.96
181.14/181.23	c     9571   1352    12183   453680   37    25891   12329   9579   4597 2.08
181.14/181.23	c    10384   1352    12996   493365   37    27517   13562  10392   4552 2.28
181.14/181.23	c    11705   1352    14317   547762   38    30159   14919  11713   4240 2.76
181.14/181.23	c    13787   1352    16399   652124   39    34323   16411  13795   3684 3.74
181.14/181.23	c    17011   1352    10811   408559   37    22961   18053   8207   3294 5.16
181.14/181.23	c    21947   1352    15747   608795   38    32833   19859  13143   3226 6.80
181.14/181.23	c    29453   1352    12535   475687   37    26409   21845   9931   2919 10.09
181.14/181.23	c    40814   1352    23896  1004398   42    49131   24030  21292   2485 16.42
181.14/181.23	c    57958   1352    13868   601719   43    29075   26434  11264   1995 29.05
181.14/181.23	c    83778   1352    23793  1245466   52    48925   29078  21189   1612 51.96
181.14/181.23	c   122611   1352    25515  1231152   48    52369   31986  22911   1312 93.45
181.14/181.23	c   180963   1352    19576   846051   43    40491   35185  16972   1182 153.02
181.14/181.23	o 12	181.178
1800.09/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.09/1800.60	c   209866   1352    24707  1357673   54    50841    8962  22103   1158 181.18
1800.09/1800.60	c   209967   1352     7187   222320   30    15714    9859   4583   1153 181.97
1800.09/1800.60	c   210218   1352     7438   231476   31    16216   10845   4834   1154 182.01
1800.09/1800.60	c   210693   1352     7913   253880   32    17166   11930   5309   1156 182.11
1800.09/1800.60	c   211506   1352     8726   283737   32    18792   13124   6122   1160 182.28
1800.09/1800.60	c   212827   1352    10047   340614   33    21434   14437   7443   1165 182.57
1800.09/1800.60	c   214910   1352    12130   436945   36    25600   15881   9526   1173 183.18
1800.09/1800.60	c   218133   1352    15353   577553   37    32046   17470  12749   1184 184.13
1800.09/1800.60	c   223070   1352    11340   452314   39    24020   19218   8736   1194 186.78
1800.09/1800.60	c   230578   1352    18848   902003   47    39036   21140  16244   1210 190.44
1800.09/1800.60	c   241940   1352    18836   901214   47    39012   23255  16232   1227 197.09
1800.09/1800.60	c   259084   1352    23525  1197725   50    48390   25581  20921   1227 211.06
1800.09/1800.61	c   284903   1352    18741   938480   50    38822   28140  16137   1245 228.79
1800.09/1800.61	c   323736   1352    23342  1093665   46    48024   30955  20738   1232 262.69
1800.09/1800.61	c   382088   1352    21368  1047634   49    44076   34051  18764   1174 325.25
1800.09/1800.61	c   469720   1352    17501   774368   44    36342   37457  14897   1130 415.45
1800.09/1800.61	c   601274   1352    18007   694092   38    37354   41203  15403    993 605.25
1800.09/1800.61	c   798706   1352    38072  1555853   40    77484   45324  35468    928 859.97
1800.09/1800.61	c  1094959   1352    28859  1207598   41    59058   49857  26255    832 1315.28
1800.09/1800.61	c Caught signal: 15
1800.09/1800.61	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.09/1800.61	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.09/1800.61	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.09/1800.61	v -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
1800.09/1800.61	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.09/1800.61	c   48  1426387 454710  2295427    31135  1363923  28531    792 1800.10
1800.09/1800.61	c Objective: 12
1800.09/1800.61	s SATISFIABLE
1800.09/1800.61	c Total time: 1800.1 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/node2/watcher-453435-1178137156 -o ROOT/results/node2/solver-453435-1178137156 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453435-1178137156/instance-453435-1178137156.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.71 0.92 0.97 3/77 3187
/proc/meminfo: memFree=1465824/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=3944 CPUtime=0
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 289753415 4038656 347 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 986 348 291 324 0 50 0

[startup+0.063389 s]
/proc/loadavg: 0.71 0.92 0.97 3/77 3187
/proc/meminfo: memFree=1465824/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=4748 CPUtime=0.05
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 601 0 0 0 5 0 0 0 18 0 1 0 289753415 4861952 566 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 1187 566 312 324 0 256 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4748

[startup+0.101392 s]
/proc/loadavg: 0.71 0.92 0.97 3/77 3187
/proc/meminfo: memFree=1465824/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=4884 CPUtime=0.09
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 645 0 0 0 9 0 0 0 18 0 1 0 289753415 5001216 610 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 1221 610 312 324 0 290 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 4884

[startup+0.301414 s]
/proc/loadavg: 0.71 0.92 0.97 3/77 3187
/proc/meminfo: memFree=1465824/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=5788 CPUtime=0.29
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 869 0 0 0 28 1 0 0 19 0 1 0 289753415 5926912 834 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10970747 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 1447 834 312 324 0 516 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5788

[startup+0.701455 s]
/proc/loadavg: 0.71 0.92 0.97 3/77 3187
/proc/meminfo: memFree=1465824/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=7368 CPUtime=0.69
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 1268 0 0 0 68 1 0 0 23 0 1 0 289753415 7544832 1233 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 1842 1233 312 324 0 911 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7368

[startup+1.50154 s]
/proc/loadavg: 0.71 0.92 0.97 2/78 3188
/proc/meminfo: memFree=1461016/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=9856 CPUtime=1.49
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 1888 0 0 0 147 2 0 0 25 0 1 0 289753415 10092544 1853 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 2464 1853 312 324 0 1533 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9856

[startup+3.10171 s]
/proc/loadavg: 0.71 0.92 0.97 2/78 3188
/proc/meminfo: memFree=1457816/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=13372 CPUtime=3.09
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 2764 0 0 0 305 4 0 0 25 0 1 0 289753415 13692928 2729 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 3343 2729 312 324 0 2412 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13372

[startup+6.30104 s]
/proc/loadavg: 0.73 0.92 0.97 2/78 3188
/proc/meminfo: memFree=1452248/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=17004 CPUtime=6.29
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 3664 0 0 0 623 6 0 0 25 0 1 0 289753415 17412096 3629 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 4251 3629 312 324 0 3320 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17004

[startup+12.7017 s]
/proc/loadavg: 0.76 0.92 0.97 2/78 3188
/proc/meminfo: memFree=1449968/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=19340 CPUtime=12.69
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 4259 0 0 0 1261 8 0 0 25 0 1 0 289753415 19804160 4224 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 4835 4224 312 324 0 3904 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 19340

[startup+25.501 s]
/proc/loadavg: 0.81 0.92 0.97 2/78 3188
/proc/meminfo: memFree=1446512/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=22864 CPUtime=25.49
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 5140 0 0 0 2537 12 0 0 25 0 1 0 289753415 23412736 5105 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 5716 5105 312 324 0 4785 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 22864

[startup+51.1017 s]
/proc/loadavg: 0.87 0.93 0.97 2/78 3188
/proc/meminfo: memFree=1442992/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=26360 CPUtime=51.07
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 6013 0 0 0 5090 17 0 0 25 0 1 0 289753415 26992640 5978 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551094 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 6590 5978 312 324 0 5659 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 26360

[startup+102.306 s]
/proc/loadavg: 0.94 0.94 0.97 2/78 3188
/proc/meminfo: memFree=1437616/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=31628 CPUtime=102.26
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 7353 0 0 0 10200 26 0 0 25 0 1 0 289753415 32387072 7285 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 7907 7285 312 324 0 6976 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 31628

[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.97 2/78 3188
/proc/meminfo: memFree=1437552/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=31628 CPUtime=162.24
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 7419 0 0 0 16188 36 0 0 25 0 1 0 289753415 32387072 7285 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 7907 7285 312 324 0 6976 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 31628

[startup+222.301 s]
/proc/loadavg: 0.99 0.95 0.97 2/78 3188
/proc/meminfo: memFree=1434864/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=34288 CPUtime=222.22
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 8134 0 0 0 22174 48 0 0 25 0 1 0 289753415 35110912 7964 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 8572 7964 312 324 0 7641 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 34288

[startup+282.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 3188
/proc/meminfo: memFree=1434928/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=34284 CPUtime=282.22
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 8134 0 0 0 28161 61 0 0 25 0 1 0 289753415 35106816 7964 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 8571 7964 312 324 0 7640 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 34284

[startup+342.302 s]
/proc/loadavg: 0.99 0.96 0.97 2/78 3188
/proc/meminfo: memFree=1434864/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=34284 CPUtime=342.19
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 8134 0 0 0 34149 70 0 0 25 0 1 0 289753415 35106816 7964 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 8571 7964 312 324 0 7640 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 34284

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3188
/proc/meminfo: memFree=1434672/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=34416 CPUtime=402.17
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 8232 0 0 0 40139 78 0 0 25 0 1 0 289753415 35241984 7992 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 8604 7992 312 324 0 7673 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 34416

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3188
/proc/meminfo: memFree=1434736/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=34428 CPUtime=462.16
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 8307 0 0 0 46128 88 0 0 25 0 1 0 289753415 35254272 7994 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 8607 7994 312 324 0 7676 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 34428

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3188
/proc/meminfo: memFree=1434672/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=34428 CPUtime=522.14
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 8383 0 0 0 52118 96 0 0 25 0 1 0 289753415 35254272 7994 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 8607 7994 312 324 0 7676 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 34428

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3188
/proc/meminfo: memFree=1434672/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=34428 CPUtime=582.13
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 8421 0 0 0 58108 105 0 0 25 0 1 0 289753415 35254272 7994 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 8607 7994 312 324 0 7676 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 34428

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3188
/proc/meminfo: memFree=1430448/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=38736 CPUtime=642.12
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 9554 0 0 0 64099 113 0 0 25 0 1 0 289753415 39665664 9047 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 9684 9047 312 324 0 8753 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 38736


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3188
/proc/meminfo: memFree=1430448/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=38732 CPUtime=822.06
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 9721 0 0 0 82069 137 0 0 25 0 1 0 289753415 39661568 9047 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 9683 9047 312 324 0 8752 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 38732

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3188
/proc/meminfo: memFree=1430448/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=38736 CPUtime=882.04
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 9813 0 0 0 88059 145 0 0 25 0 1 0 289753415 39665664 9051 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 9684 9051 312 324 0 8753 0
Current children cumulated CPU time (s) 882.04
Current children cumulated vsize (KiB) 38736

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3190
/proc/meminfo: memFree=1430448/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=38732 CPUtime=942.03
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 9859 0 0 0 94051 152 0 0 25 0 1 0 289753415 39661568 9051 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 9683 9051 312 324 0 8752 0
Current children cumulated CPU time (s) 942.03
Current children cumulated vsize (KiB) 38732

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3190
/proc/meminfo: memFree=1430192/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=38996 CPUtime=1002.01
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 9978 0 0 0 100040 161 0 0 25 0 1 0 289753415 39931904 9124 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 9749 9124 312 324 0 8818 0
Current children cumulated CPU time (s) 1002.01
Current children cumulated vsize (KiB) 38996

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3190
/proc/meminfo: memFree=1430128/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=38996 CPUtime=1061.99
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10070 0 0 0 106031 168 0 0 25 0 1 0 289753415 39931904 9124 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 9749 9124 312 324 0 8818 0
Current children cumulated CPU time (s) 1061.99
Current children cumulated vsize (KiB) 38996

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3190
/proc/meminfo: memFree=1430064/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=38996 CPUtime=1121.98
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10129 0 0 0 112021 177 0 0 25 0 1 0 289753415 39931904 9137 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 10968868 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 9749 9137 312 324 0 8818 0
Current children cumulated CPU time (s) 1121.98
Current children cumulated vsize (KiB) 38996

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3190
/proc/meminfo: memFree=1430128/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=38996 CPUtime=1181.96
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10175 0 0 0 118012 184 0 0 25 0 1 0 289753415 39931904 9137 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551367 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 9749 9137 312 324 0 8818 0
Current children cumulated CPU time (s) 1181.96
Current children cumulated vsize (KiB) 38996

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3190
/proc/meminfo: memFree=1430064/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=38996 CPUtime=1241.94
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10221 0 0 0 124004 190 0 0 25 0 1 0 289753415 39931904 9137 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 9749 9137 312 324 0 8818 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 38996

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3190
/proc/meminfo: memFree=1427952/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=41084 CPUtime=1301.92
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10784 0 0 0 129996 196 0 0 25 0 1 0 289753415 42070016 9654 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 10271 9654 312 324 0 9340 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 41084

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3190
/proc/meminfo: memFree=1428016/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=41104 CPUtime=1361.91
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10839 0 0 0 135986 205 0 0 25 0 1 0 289753415 42090496 9659 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 10276 9659 312 324 0 9345 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 41104

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3190
/proc/meminfo: memFree=1427952/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=41104 CPUtime=1421.89
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10889 0 0 0 141977 212 0 0 25 0 1 0 289753415 42090496 9659 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550989 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 10276 9659 312 324 0 9345 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 41104

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3190
/proc/meminfo: memFree=1427952/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=41104 CPUtime=1481.87
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10939 0 0 0 147966 221 0 0 25 0 1 0 289753415 42090496 9659 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 10276 9659 312 324 0 9345 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 41104

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3190
/proc/meminfo: memFree=1428080/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=41104 CPUtime=1541.86
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 10989 0 0 0 153957 229 0 0 25 0 1 0 289753415 42090496 9659 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 10276 9659 312 324 0 9345 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 41104

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3190
/proc/meminfo: memFree=1428080/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=41104 CPUtime=1601.84
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 11039 0 0 0 159949 235 0 0 25 0 1 0 289753415 42090496 9659 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134573358 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 10276 9659 312 324 0 9345 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 41104

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 3190
/proc/meminfo: memFree=1428144/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=41104 CPUtime=1661.82
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 11089 0 0 0 165939 243 0 0 25 0 1 0 289753415 42090496 9659 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 10276 9659 312 324 0 9345 0
Current children cumulated CPU time (s) 1661.82
Current children cumulated vsize (KiB) 41104

[startup+1722.3 s]
/proc/loadavg: 1.04 0.99 0.98 2/78 3190
/proc/meminfo: memFree=1427056/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=42140 CPUtime=1721.81
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 11403 0 0 0 171930 251 0 0 25 0 1 0 289753415 43151360 9923 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 10535 9923 312 324 0 9604 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 42140

[startup+1782.3 s]
/proc/loadavg: 1.01 0.99 0.98 2/78 3190
/proc/meminfo: memFree=1426416/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=42788 CPUtime=1781.79
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 11611 0 0 0 177920 259 0 0 25 0 1 0 289753415 43814912 10081 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 10697 10081 312 324 0 9766 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 42788



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.01 0.99 0.98 2/78 3190
/proc/meminfo: memFree=1425264/2055920 swapFree=4148856/4192956
[pid=3187] ppid=3185 vsize=43836 CPUtime=1800.09
/proc/3187/stat : 3187 (bsolo3.0.16) R 3185 3187 3031 0 -1 4194304 11922 0 0 0 179748 261 0 0 25 0 1 0 289753415 44888064 10342 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3187/statm: 10959 10342 312 324 0 10028 0
Current children cumulated CPU time (s) 1800.09
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.64
CPU time (s): 1800.13
CPU user time (s): 1797.51
CPU system time (s): 2.6246
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (KiB): 43836

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

runsolver used 1.34479 second user time and 3.9174 second system time

The end

Launcher Data (download as text)

Begin job on node2 on Wed May  2 20:19:16 UTC 2007

IDJOB= 453435
IDBENCH= 48130
IDSOLVER= 163
FILE ID= node2/453435-1178137156

PBS_JOBID= 4751056

Free space on /tmp= 66558 MiB

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

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  e6ef25c6f832d5fe55af9368c1298b73

RANDOM SEED= 567597672

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node2.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:       1466232 kB
Buffers:        211700 kB
Cached:         234772 kB
SwapCached:      12392 kB
Active:         177352 kB
Inactive:       292568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1466232 kB
SwapTotal:     4192956 kB
SwapFree:      4148856 kB
Dirty:            6892 kB
Writeback:           0 kB
Mapped:          29656 kB
Slab:           105192 kB
Committed_AS: 11443740 kB
PageTables:       1860 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 node2 on Wed May  2 20:49:19 UTC 2007