Trace number 452981

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)3 1800.06 1800.62

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb
MD5SUMd6ad4e57f9bd4d3660efa4691d3e45da
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.25396
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 variables162
Total number of constraints13
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 constraints13
Minimum length of a constraint9
Maximum length of a constraint99
Number of terms in the objective function 9
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 511
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 131072
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 523264
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)486
Sum of products size (including duplicates)972
Number of different products486
Sum of products size972

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/452981-1178005702/instance-452981-1178005702.opb
0.00/0.00	c File size is 8551 bytes.
0.00/0.00	c Highest Coefficient sum: 523264
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.003 s
0.00/0.00	c Var: 648 Constr: 991 486/0/505 Lit: 4149 Watch. Lit: 2540
0.00/0.00	c Obj. Vars: 9 (1.38889 % 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    648      991     4149    4     3569    5543      0      0 0.01
0.00/0.01	c Switching off LPR mode.
6.78/6.88	c      118    648     1109    14816   13     3710    6098    118   5363 0.02
6.78/6.88	c      269    648     1260    27426   21     3952    6708    269   7911 0.03
6.78/6.88	c      497    648     1488    45707   30     4372    7379    497   8875 0.06
6.78/6.88	c      836    648     1827    72881   39     5036    8117    836   7531 0.11
6.78/6.88	c     1345    648     2336   112344   48     6071    8929   1345   6897 0.20
6.78/6.88	c     2108    648     3099   171339   55     7643    9822   2108   6800 0.31
6.78/6.88	c     3254    648     4245   266860   62     9899   10805   3254   6807 0.48
6.78/6.88	c     4975    648     5966   406603   68    13431   11886   4975   6242 0.80
6.78/6.88	c     7559    648     8550   647441   75    18536   13075   7559   5868 1.29
6.78/6.88	c    11438    648    12429   955074   76    26320   14383  11438   4010 2.85
6.78/6.88	c    17260    648    10986   782403   71    23431   15822   9995   2898 5.95
6.78/6.88	o 201	6.882
30.69/30.74	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
30.69/30.74	c    20909    648    14636  1084665   74    30739    5561  13645   3037 6.88
30.69/30.74	c    21009    648     3873   253681   65     9233    6118   2882   2959 7.10
30.69/30.74	c    21260    648     4124   274142   66     9564    6730   3133   2970 7.16
30.69/30.74	c    21735    648     4599   316376   68    10514    7404   3608   3015 7.21
30.69/30.74	c    22549    648     5413   389907   72    12299    8145   4422   3040 7.42
30.69/30.74	c    23869    637     6733   499249   74    14865    8960   5742   3143 7.59
30.69/30.74	c    25951    637     8815   661569   75    19045    9857   7824   3213 8.08
30.69/30.74	c    29174    637     7017   473728   67    15463   10843   6026   3183 9.16
30.69/30.74	c    34112    637     6415   434137   67    14289   11928   5424   3045 11.20
30.69/30.74	c    41619    637     7456   496658   66    16266   13121   6465   2781 14.96
30.69/30.74	c    52981    637    12162   842515   69    25667   14434  11171   2331 22.72
30.69/30.74	o 105	30.739
351.31/351.47	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
351.31/351.47	c    69327    637    13386  1037682   77    28284    5559  12395   2255 30.74
351.31/351.47	c    69428    637     3874   240321   62     9129    6115   2883   2250 30.85
351.31/351.47	c    69678    637     4124   262738   63     9682    6727   3133   2255 30.89
351.31/351.47	c    70154    626     4600   297255   64    10637    7400   3609   2264 30.98
351.31/351.47	c    70967    626     5413   367372   67    12393    8141   4422   2282 31.09
351.31/351.47	c    72287    626     6733   471487   70    15002    8956   5742   2304 31.37
351.31/351.47	c    74368    626     8814   637949   72    19103    9852   7823   2327 31.95
351.31/351.47	c    77592    626     6929   458477   66    15402   10838   5938   2334 33.23
351.31/351.47	c    82529    626     6413   416939   65    14344   11922   5422   2272 36.32
351.31/351.47	c    90035    626     7749   583050   75    16908   13115   6758   2338 38.50
351.31/351.47	c   101397    626    12263   950143   77    25975   14427  11272   2285 44.36
351.31/351.47	c   118542    626    14794  1033466   69    31029   15870  13803   1968 60.21
351.31/351.47	c   144361    626    15343  1215370   79    32053   17458  14352   1882 76.70
351.31/351.47	c   183193    626    18085  1257161   69    37578   19204  17094   1596 114.73
351.31/351.47	c   241545    626    17679  1389006   78    36681   21125  16688   1415 170.66
351.31/351.47	c   329178    626    19307  1529686   79    39998   23238  18316   1256 261.99
351.31/351.47	o 3	351.385
1800.05/1800.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.05/1800.60	c   420835    626    23686  1898145   80    48860    5557  22695   1197 351.39
1800.05/1800.60	c   420935    596     3873   238368   61     9268    6113   2882   1196 351.91
1800.05/1800.60	c   421186    596     4124   258997   62     9728    6725   3133   1196 351.93
1800.05/1800.60	c   421662    596     4600   297470   64    10632    7398   3609   1197 351.98
1800.05/1800.60	c   422478    596     5416   361336   66    12281    8138   4425   1199 352.16
1800.05/1800.60	c   423799    596     6737   463372   68    14916    8952   5746   1202 352.50
1800.05/1800.60	c   425882    596     8820   623669   70    19104    9848   7829   1205 353.18
1800.05/1800.60	c   429105    596     6987   460586   65    15420   10833   5996   1208 354.95
1800.05/1800.60	c   434043    596     6414   403576   62    14288   11917   5423   1211 358.15
1800.05/1800.60	c   441550    596     7820   524190   67    17072   13109   6829   1219 362.13
1800.05/1800.60	c   452911    596    12158   923408   75    25755   14420  11167   1233 367.17
1800.05/1800.60	c   470056    596    14543  1029619   70    30469   15863  13552   1253 374.86
1800.05/1800.60	c   495875    576    15686  1184799   75    32714   17450  14695   1257 394.39
1800.05/1800.60	c   534708    576     9892   665857   67    21137   19196   8901   1255 426.05
1800.05/1800.60	c   593060    576    19541  1360952   69    40418   21116  18550   1215 488.01
1800.05/1800.60	c   680693    576    20993  1676949   79    43348   23228  20002   1172 580.40
1800.05/1800.60	c   812246    575    18273  1422324   77    37947   25551  17282   1065 762.30
1800.05/1800.60	c  1009678    558    24351  1860541   76    50163   28107  23360    969 1041.71
1800.05/1800.60	c  1305931    558    21661  1621952   74    44786   30918  20670    888 1469.80
1800.05/1800.60	c Caught signal: 15
1800.05/1800.60	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
1800.05/1800.60	v x31 -x32 x33 -x34 x35 -x36 x37 -x38 x39 -x40 x41 -x42 -x43 -x44 -x45 x46 -x47 -x48 x49 x50 -x51 -x52 -x53 -x54 x55 x56 -x57 -x58
1800.05/1800.60	v -x59 -x60 -x61 -x62 -x63 x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 x72 x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x73 x74
1800.05/1800.60	v -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x118 x119 -x120 -x121 -x122 -x123 -x124 x125 -x126 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89
1800.05/1800.60	v -x90 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x91 -x92 x93 -x94 x95 -x96 -x97 -x98 -x99 -x136 -x137 -x138 -x139
1800.05/1800.60	v -x140 -x141 -x142 -x143 -x144 x100 -x101 x102 x103 -x104 -x105 -x106 -x107 -x108 x145 -x146 -x147 -x148 -x149 -x150 -x151
1800.05/1800.60	v -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162
1800.05/1800.60	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.05/1800.60	c   57  1550839   6074  1573388    22802  1908709  21811    861 1800.05
1800.05/1800.60	c Objective: 3
1800.05/1800.61	s SATISFIABLE
1800.05/1800.61	c Total time: 1800.05 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/node4/watcher-452981-1178005702 -o ROOT/results/node4/solver-452981-1178005702 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452981-1178005702/instance-452981-1178005702.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.84 0.97 0.99 3/77 25933
/proc/meminfo: memFree=1826520/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=3936 CPUtime=0
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 276607971 4030464 345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 984 345 289 324 0 51 0

[startup+0.037961 s]
/proc/loadavg: 0.84 0.97 0.99 3/77 25933
/proc/meminfo: memFree=1826520/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=4592 CPUtime=0.03
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 554 0 0 0 3 0 0 0 18 0 1 0 276607971 4702208 521 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 1148 521 310 324 0 218 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 4592

[startup+0.101967 s]
/proc/loadavg: 0.84 0.97 0.99 3/77 25933
/proc/meminfo: memFree=1826520/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=5112 CPUtime=0.09
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 693 0 0 0 9 0 0 0 18 0 1 0 276607971 5234688 660 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 1278 661 310 324 0 348 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5112

[startup+0.301986 s]
/proc/loadavg: 0.84 0.97 0.99 3/77 25933
/proc/meminfo: memFree=1826520/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=6544 CPUtime=0.29
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 1039 0 0 0 29 0 0 0 19 0 1 0 276607971 6701056 1006 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 1636 1006 310 324 0 706 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6544

[startup+0.702024 s]
/proc/loadavg: 0.84 0.97 0.99 3/77 25933
/proc/meminfo: memFree=1826520/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=9516 CPUtime=0.69
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 1800 0 0 0 69 0 0 0 23 0 1 0 276607971 9744384 1767 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 2379 1767 310 324 0 1449 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9516

[startup+1.5011 s]
/proc/loadavg: 0.84 0.97 0.99 2/78 25934
/proc/meminfo: memFree=1819472/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=13792 CPUtime=1.49
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 2866 0 0 0 148 1 0 0 25 0 1 0 276607971 14123008 2833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 3448 2833 310 324 0 2518 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 13792

[startup+3.10125 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 25934
/proc/meminfo: memFree=1814416/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=17792 CPUtime=3.08
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 3873 0 0 0 307 1 0 0 25 0 1 0 276607971 18219008 3840 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11023995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 4448 3840 310 324 0 3518 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 17792

[startup+6.30156 s]
/proc/loadavg: 0.85 0.97 0.99 2/78 25934
/proc/meminfo: memFree=1808976/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=21000 CPUtime=6.29
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 4657 0 0 0 627 2 0 0 25 0 1 0 276607971 21504000 4624 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 5250 4624 310 324 0 4320 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21000

[startup+12.7012 s]
/proc/loadavg: 0.87 0.97 0.99 2/78 25934
/proc/meminfo: memFree=1809040/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=20948 CPUtime=12.68
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 4658 0 0 0 1266 2 0 0 25 0 1 0 276607971 21450752 4625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572687 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 5237 4625 311 324 0 4307 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20948

[startup+25.5014 s]
/proc/loadavg: 0.89 0.97 0.99 2/78 25934
/proc/meminfo: memFree=1809104/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=20948 CPUtime=25.48
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 4658 0 0 0 2545 3 0 0 25 0 1 0 276607971 21450752 4625 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 5237 4625 311 324 0 4307 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20948

[startup+51.1018 s]
/proc/loadavg: 0.93 0.97 0.99 2/78 25934
/proc/meminfo: memFree=1808720/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=21388 CPUtime=51.08
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 4760 0 0 0 5105 3 0 0 25 0 1 0 276607971 21901312 4727 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 5347 4727 311 324 0 4417 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21388

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/78 25934
/proc/meminfo: memFree=1804880/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=25256 CPUtime=102.27
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 5736 0 0 0 10223 4 0 0 25 0 1 0 276607971 25862144 5703 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 6314 5703 311 324 0 5384 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 25256

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 25934
/proc/meminfo: memFree=1802640/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=27428 CPUtime=162.25
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 6296 0 0 0 16220 5 0 0 25 0 1 0 276607971 28086272 6249 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11021810 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 6857 6249 311 324 0 5927 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 27428

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 25934
/proc/meminfo: memFree=1800400/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=29708 CPUtime=222.23
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 6862 0 0 0 22217 6 0 0 25 0 1 0 276607971 30420992 6815 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 7427 6815 311 324 0 6497 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 29708

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 25934
/proc/meminfo: memFree=1798672/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=31472 CPUtime=282.22
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7299 0 0 0 28216 6 0 0 25 0 1 0 276607971 32227328 7252 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 11030245 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 7868 7252 311 324 0 6938 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 31472

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 25934
/proc/meminfo: memFree=1798672/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=31436 CPUtime=342.2
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7300 0 0 0 34213 7 0 0 25 0 1 0 276607971 32190464 7252 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 7859 7252 311 324 0 6929 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 31436

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 25934
/proc/meminfo: memFree=1797520/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=32428 CPUtime=402.19
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7566 0 0 0 40211 8 0 0 25 0 1 0 276607971 33206272 7500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160051253 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 8107 7500 311 324 0 7177 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 32428

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 25934
/proc/meminfo: memFree=1797520/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=32428 CPUtime=462.17
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7566 0 0 0 46209 8 0 0 25 0 1 0 276607971 33206272 7500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 8107 7500 311 324 0 7177 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 32428

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 25934
/proc/meminfo: memFree=1797520/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=32428 CPUtime=522.16
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7566 0 0 0 52207 9 0 0 25 0 1 0 276607971 33206272 7500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 8107 7500 311 324 0 7177 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 32428

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 25934
/proc/meminfo: memFree=1797520/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=32428 CPUtime=582.14
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7566 0 0 0 58205 9 0 0 25 0 1 0 276607971 33206272 7500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 8107 7500 311 324 0 7177 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 32428

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 25934
/proc/meminfo: memFree=1797520/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=32428 CPUtime=642.14
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7566 0 0 0 64204 10 0 0 25 0 1 0 276607971 33206272 7500 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 8107 7500 311 324 0 7177 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 32428


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

[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/78 26132
/proc/meminfo: memFree=1795344/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=34152 CPUtime=821.97
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7993 0 0 0 82185 12 0 0 25 0 1 0 276607971 34971648 7927 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 8538 7927 311 324 0 7608 0
Current children cumulated CPU time (s) 821.97
Current children cumulated vsize (KiB) 34152

[startup+882.301 s]
/proc/loadavg: 1.03 0.99 0.99 2/78 26132
/proc/meminfo: memFree=1795344/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=34140 CPUtime=881.96
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7993 0 0 0 88183 13 0 0 25 0 1 0 276607971 34959360 7927 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 8535 7927 311 324 0 7605 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 34140

[startup+942.301 s]
/proc/loadavg: 1.05 1.00 1.00 2/78 26132
/proc/meminfo: memFree=1795472/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=34140 CPUtime=941.95
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7993 0 0 0 94181 14 0 0 25 0 1 0 276607971 34959360 7927 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 8535 7927 311 324 0 7605 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 34140

[startup+1002.3 s]
/proc/loadavg: 1.12 1.03 1.00 2/78 26132
/proc/meminfo: memFree=1795600/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=34120 CPUtime=1001.93
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 7993 0 0 0 100179 14 0 0 25 0 1 0 276607971 34938880 7923 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551330 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 8530 7923 311 324 0 7600 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 34120

[startup+1062.3 s]
/proc/loadavg: 1.04 1.02 1.00 2/78 26132
/proc/meminfo: memFree=1791952/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=37916 CPUtime=1061.92
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 8938 0 0 0 106177 15 0 0 25 0 1 0 276607971 38825984 8867 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 9479 8867 311 324 0 8549 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 37916

[startup+1122.3 s]
/proc/loadavg: 1.01 1.02 1.00 2/78 26132
/proc/meminfo: memFree=1791952/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=37912 CPUtime=1121.91
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 8939 0 0 0 112175 16 0 0 25 0 1 0 276607971 38821888 8868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 9478 8868 311 324 0 8548 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 37912

[startup+1182.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 26132
/proc/meminfo: memFree=1791952/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=37904 CPUtime=1181.89
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 8939 0 0 0 118173 16 0 0 25 0 1 0 276607971 38813696 8868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 9476 8868 311 324 0 8546 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 37904

[startup+1242.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 26132
/proc/meminfo: memFree=1791760/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=37900 CPUtime=1241.88
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 8939 0 0 0 124171 17 0 0 25 0 1 0 276607971 38809600 8868 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 9475 8868 311 324 0 8545 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 37900

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26132
/proc/meminfo: memFree=1791696/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=37760 CPUtime=1301.86
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 8939 0 0 0 130169 17 0 0 25 0 1 0 276607971 38666240 8833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 9440 8833 311 324 0 8510 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 37760

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26132
/proc/meminfo: memFree=1791696/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=37760 CPUtime=1361.85
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 8939 0 0 0 136167 18 0 0 25 0 1 0 276607971 38666240 8833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 9440 8833 311 324 0 8510 0
Current children cumulated CPU time (s) 1361.85
Current children cumulated vsize (KiB) 37760

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26132
/proc/meminfo: memFree=1791696/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=37760 CPUtime=1421.83
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 8939 0 0 0 142165 18 0 0 25 0 1 0 276607971 38666240 8833 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 9440 8833 311 324 0 8510 0
Current children cumulated CPU time (s) 1421.83
Current children cumulated vsize (KiB) 37760

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26132
/proc/meminfo: memFree=1789968/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=39636 CPUtime=1481.81
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 9407 0 0 0 148162 19 0 0 25 0 1 0 276607971 40587264 9301 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 9909 9301 311 324 0 8979 0
Current children cumulated CPU time (s) 1481.81
Current children cumulated vsize (KiB) 39636

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26132
/proc/meminfo: memFree=1788752/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=40864 CPUtime=1541.8
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 9713 0 0 0 154160 20 0 0 25 0 1 0 276607971 41844736 9607 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 10216 9607 311 324 0 9286 0
Current children cumulated CPU time (s) 1541.8
Current children cumulated vsize (KiB) 40864

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26132
/proc/meminfo: memFree=1788752/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=40868 CPUtime=1601.78
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 9725 0 0 0 160158 20 0 0 25 0 1 0 276607971 41848832 9608 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 10217 9608 311 324 0 9287 0
Current children cumulated CPU time (s) 1601.78
Current children cumulated vsize (KiB) 40868

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26132
/proc/meminfo: memFree=1788368/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=41240 CPUtime=1661.77
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 9819 0 0 0 166156 21 0 0 25 0 1 0 276607971 42229760 9702 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550887 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 10310 9702 311 324 0 9380 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 41240

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26132
/proc/meminfo: memFree=1788176/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=41412 CPUtime=1721.76
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 9870 0 0 0 172155 21 0 0 25 0 1 0 276607971 42405888 9744 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550782 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 10353 9744 311 324 0 9423 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 41412

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26132
/proc/meminfo: memFree=1788112/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=41372 CPUtime=1781.74
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 9870 0 0 0 178153 21 0 0 25 0 1 0 276607971 42364928 9736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 10343 9736 311 324 0 9413 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 41372



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 26132
/proc/meminfo: memFree=1788112/2055920 swapFree=4141168/4192956
[pid=25933] ppid=25931 vsize=41372 CPUtime=1800.05
/proc/25933/stat : 25933 (bsolo3.0.17) R 25931 25933 25868 0 -1 4194304 9870 0 0 0 179983 22 0 0 25 0 1 0 276607971 42364928 9736 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/25933/statm: 10343 9736 311 324 0 9413 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 41372

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.62
CPU time (s): 1800.06
CPU user time (s): 1799.83
CPU system time (s): 0.228965
CPU usage (%): 99.9691
Max. virtual memory (cumulated for all children) (KiB): 41412

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

runsolver used 1.38179 second user time and 3.9104 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Tue May  1 07:48:22 UTC 2007

IDJOB= 452981
IDBENCH= 48048
IDSOLVER= 199
FILE ID= node4/452981-1178005702

PBS_JOBID= 4728293

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452981-1178005702/instance-452981-1178005702.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-452981-1178005702 -o ROOT/results/node4/solver-452981-1178005702 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/452981-1178005702/instance-452981-1178005702.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  d6ad4e57f9bd4d3660efa4691d3e45da

RANDOM SEED= 550820448

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
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	: 5931.00
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.218
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:       1827120 kB
Buffers:         35976 kB
Cached:         107532 kB
SwapCached:      14796 kB
Active:         101120 kB
Inactive:        64928 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1827120 kB
SwapTotal:     4192956 kB
SwapFree:      4141168 kB
Dirty:            6800 kB
Writeback:           0 kB
Mapped:          29364 kB
Slab:            48232 kB
Committed_AS:  7135092 kB
PageTables:       1816 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 node4 on Tue May  1 08:18:25 UTC 2007