Trace number 452832

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)193 1800.08 1800.52

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=9-P0=251-P1=257-P2=19-P3=349-P4=257-P5=479-P6=367-B.opb
MD5SUM80881c7fbc3c10cf38784c74294061e5
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.283956
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

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/452832-1177982962/instance-452832-1177982962.opb
0.00/0.00	c File size is 8553 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.
480.68/480.80	c      100    648     1091    11203   10     3717    6098    100   5000 0.02
480.68/480.80	c      250    648     1241    23046   18     4015    6708    250   8064 0.03
480.68/480.80	c      475    648     1466    39690   27     4436    7379    475   8636 0.06
480.68/480.80	c      815    648     1806    65216   36     5034    8117    815   9055 0.09
480.68/480.80	c     1324    648     2315   114441   49     5967    8929   1324   9390 0.14
480.68/480.80	c     2088    648     3079   175816   57     7428    9822   2088   8847 0.24
480.68/480.80	c     3235    648     4226   265394   62     9712   10805   3235   6912 0.47
480.68/480.80	c     4956    648     5947   396332   66    13153   11886   4956   5329 0.93
480.68/480.80	c     7540    648     8531   594867   69    18340   13075   7540   3995 1.89
480.68/480.80	c    11419    648    12410   922510   74    26136   14383  11419   3877 2.94
480.68/480.80	c    17242    648    10409   822253   78    22209   15822   9418   4119 4.18
480.68/480.80	c    25980    648    10888   867358   79    23104   17405   9897   3765 6.90
480.68/480.80	c    39091    648    14897  1128546   75    31223   19146  13906   3492 11.19
480.68/480.80	c    58762    648    15054  1153220   76    31503   21061  14063   2482 23.67
480.68/480.80	c    88273    648    11829   802436   67    25113   23168  10838   1875 47.06
480.68/480.80	c   132543    648    18236  1460663   80    37976   25485  17245   1418 93.46
480.68/480.80	c   198953    648    25871  1855842   71    53239   28034  24880   1244 159.82
480.68/480.80	c   298574    648    22732  1929222   84    46866   30838  21741   1230 242.73
480.68/480.80	c   448010    648    14036  1004472   71    29461   33922  13045    971 461.31
480.68/480.80	o 193	480.688
1800.06/1800.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1800.06/1800.50	c   473722    648    16526  1454439   88    34416    5561  15535    985 480.69
1800.06/1800.50	c   473822    637     3873   256643   66     9306    6118   2882    985 480.89
1800.06/1800.50	c   474073    637     4124   277647   67     9746    6730   3133    985 480.92
1800.06/1800.50	c   474548    637     4599   314498   68    10614    7404   3608    986 480.98
1800.06/1800.50	c   475361    637     5412   378835   69    12262    8145   4421    987 481.14
1800.06/1800.50	c   476681    637     6732   483857   71    14877    8960   5741    990 481.43
1800.06/1800.50	c   478763    637     8814   646066   73    19074    9857   7823    992 482.18
1800.06/1800.50	c   481987    637     7006   472476   67    15429   10843   6015    996 483.65
1800.06/1800.50	c   486924    637     6450   421918   65    14321   11928   5459    999 486.93
1800.06/1800.50	c   494430    637     7895   538052   68    17215   13121   6904   1004 492.18
1800.06/1800.50	c   505791    637    12606   885661   70    26646   14434  11615   1011 500.14
1800.06/1800.50	c   522935    637    15155  1068370   70    31761   15878  14164   1019 512.75
1800.06/1800.50	c   548755    637    16158  2482629  153    33708   17466  15167   1024 535.65
1800.06/1800.50	c   587587    637    10353   713589   68    22150   19213   9362   1011 581.18
1800.06/1800.50	c   645939    637    19930  1401080   70    41315   21135  18939   1006 641.47
1800.06/1800.50	c   733571    637    21018  1893632   90    43400   23249  20027   1018 719.91
1800.06/1800.50	c   865124    634    13670  1070858   78    28787   25574  12679    985 877.52
1800.06/1800.50	c  1062557    634    20051  1569269   78    41607   28132  19060    928 1144.73
1800.06/1800.50	c  1358809    633    25347  2048064   80    52117   30946  24356    886 1532.89
1800.06/1800.50	c Caught signal: 15
1800.06/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 x30
1800.06/1800.50	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.06/1800.50	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.06/1800.50	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 -x90
1800.06/1800.50	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x136 -x137 x138 -x139 x140
1800.06/1800.50	v -x141 -x142 -x143 -x144 x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152
1800.06/1800.50	v -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162
1800.06/1800.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1800.06/1800.50	c   38  1500479   8045  1535241    28970  2211820  27979    833 1800.07
1800.06/1800.50	c Objective: 193
1800.06/1800.50	s SATISFIABLE
1800.06/1800.50	c Total time: 1800.07 s

Verifier Data (download as text)

OK	193

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node43/watcher-452832-1177982962 -o ROOT/results/node43/solver-452832-1177982962 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452832-1177982962/instance-452832-1177982962.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: 1.00 1.02 0.94 3/77 3374
/proc/meminfo: memFree=1760304/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=3936 CPUtime=0
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 246208050 4030464 345 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 984 346 289 324 0 51 0

[startup+0.077523 s]
/proc/loadavg: 1.00 1.02 0.94 3/77 3374
/proc/meminfo: memFree=1760304/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=4848 CPUtime=0.07
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 634 0 0 0 7 0 0 0 18 0 1 0 246208050 4964352 601 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 1212 601 310 324 0 282 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 4848

[startup+0.101525 s]
/proc/loadavg: 1.00 1.02 0.94 3/77 3374
/proc/meminfo: memFree=1760304/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=5232 CPUtime=0.09
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 710 0 0 0 9 0 0 0 18 0 1 0 246208050 5357568 677 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 1308 677 310 324 0 378 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5232

[startup+0.301541 s]
/proc/loadavg: 1.00 1.02 0.94 3/77 3374
/proc/meminfo: memFree=1760304/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=7036 CPUtime=0.29
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 1181 0 0 0 29 0 0 0 19 0 1 0 246208050 7204864 1148 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550948 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 1759 1148 310 324 0 829 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7036

[startup+0.701576 s]
/proc/loadavg: 1.00 1.02 0.94 3/77 3374
/proc/meminfo: memFree=1760304/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=8848 CPUtime=0.69
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 1619 0 0 0 69 0 0 0 23 0 1 0 246208050 9060352 1586 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 2212 1586 310 324 0 1282 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8848

[startup+1.50165 s]
/proc/loadavg: 1.00 1.02 0.94 2/78 3375
/proc/meminfo: memFree=1753896/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=11432 CPUtime=1.49
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 2255 0 0 0 148 1 0 0 25 0 1 0 246208050 11706368 2222 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 2858 2222 310 324 0 1928 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11432

[startup+3.10178 s]
/proc/loadavg: 1.00 1.02 0.94 2/78 3375
/proc/meminfo: memFree=1750120/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=17612 CPUtime=3.09
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 3825 0 0 0 308 1 0 0 25 0 1 0 246208050 18034688 3792 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 4403 3792 310 324 0 3473 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17612

[startup+6.30106 s]
/proc/loadavg: 1.00 1.02 0.94 2/78 3375
/proc/meminfo: memFree=1741800/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=24180 CPUtime=6.29
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 5454 0 0 0 627 2 0 0 25 0 1 0 246208050 24760320 5421 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 6045 5421 310 324 0 5115 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24180

[startup+12.7016 s]
/proc/loadavg: 1.00 1.02 0.94 2/78 3375
/proc/meminfo: memFree=1737912/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=25692 CPUtime=12.69
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 5834 0 0 0 1267 2 0 0 25 0 1 0 246208050 26308608 5801 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 6423 5801 310 324 0 5493 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25692

[startup+25.5017 s]
/proc/loadavg: 1.00 1.02 0.94 2/78 3375
/proc/meminfo: memFree=1736632/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=27836 CPUtime=25.48
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 6371 0 0 0 2546 2 0 0 25 0 1 0 246208050 28504064 6338 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5166715 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 6959 6338 310 324 0 6029 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27836

[startup+51.1019 s]
/proc/loadavg: 1.00 1.01 0.94 2/78 3375
/proc/meminfo: memFree=1735224/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=28440 CPUtime=51.08
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 6525 0 0 0 5105 3 0 0 25 0 1 0 246208050 29122560 6492 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 7110 6492 310 324 0 6180 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28440

[startup+102.305 s]
/proc/loadavg: 1.00 1.01 0.94 2/78 3375
/proc/meminfo: memFree=1729720/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=33988 CPUtime=102.27
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 7915 0 0 0 10223 4 0 0 25 0 1 0 246208050 34803712 7882 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 8497 7882 310 324 0 7567 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 33988

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3375
/proc/meminfo: memFree=1729592/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=34672 CPUtime=162.25
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 8089 0 0 0 16220 5 0 0 25 0 1 0 246208050 35504128 8056 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 8668 8056 310 324 0 7738 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 34672

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3375
/proc/meminfo: memFree=1724344/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=39312 CPUtime=222.24
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 9251 0 0 0 22217 7 0 0 25 0 1 0 246208050 40255488 9218 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134546121 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 9828 9218 310 324 0 8898 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 39312

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3375
/proc/meminfo: memFree=1719224/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44196 CPUtime=282.22
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10472 0 0 0 28214 8 0 0 25 0 1 0 246208050 45256704 10439 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11049 10439 310 324 0 10119 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 44196

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3375
/proc/meminfo: memFree=1718584/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44748 CPUtime=342.21
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10612 0 0 0 34212 9 0 0 25 0 1 0 246208050 45821952 10579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11187 10579 310 324 0 10257 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 44748

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3375
/proc/meminfo: memFree=1718520/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44748 CPUtime=402.19
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10612 0 0 0 40210 9 0 0 25 0 1 0 246208050 45821952 10579 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11187 10579 310 324 0 10257 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 44748

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3375
/proc/meminfo: memFree=1718456/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44740 CPUtime=462.18
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10612 0 0 0 46208 10 0 0 25 0 1 0 246208050 45813760 10577 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11185 10577 310 324 0 10255 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 44740

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3375
/proc/meminfo: memFree=1718328/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44716 CPUtime=522.16
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 52206 10 0 0 25 0 1 0 246208050 45789184 10572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11179 10572 311 324 0 10249 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 44716

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3375
/proc/meminfo: memFree=1718264/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44716 CPUtime=582.16
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 58205 11 0 0 25 0 1 0 246208050 45789184 10572 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551365 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11179 10572 311 324 0 10249 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 44716

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3375
/proc/meminfo: memFree=1718200/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44672 CPUtime=642.14
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 64203 11 0 0 25 0 1 0 246208050 45744128 10561 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572673 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11168 10561 311 324 0 10238 0
Current children cumulated CPU time (s) 642.14
Current children cumulated vsize (KiB) 44672


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

[startup+882.303 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1717816/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44656 CPUtime=882.08
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 88195 13 0 0 25 0 1 0 246208050 45727744 10557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11164 10557 311 324 0 10234 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 44656

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1717752/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44656 CPUtime=942.06
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 94193 13 0 0 25 0 1 0 246208050 45727744 10557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11164 10557 311 324 0 10234 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 44656

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1717624/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44656 CPUtime=1002.05
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 100191 14 0 0 25 0 1 0 246208050 45727744 10557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551052 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11164 10557 311 324 0 10234 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 44656

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1717624/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44656 CPUtime=1062.03
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 106189 14 0 0 25 0 1 0 246208050 45727744 10557 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091726 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11164 10557 311 324 0 10234 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 44656

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1717560/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44652 CPUtime=1122.02
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 112188 14 0 0 25 0 1 0 246208050 45723648 10556 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11163 10556 311 324 0 10233 0
Current children cumulated CPU time (s) 1122.02
Current children cumulated vsize (KiB) 44652

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1717496/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44652 CPUtime=1182.01
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 118186 15 0 0 25 0 1 0 246208050 45723648 10556 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11163 10556 311 324 0 10233 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 44652

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1717368/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44640 CPUtime=1241.99
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 124184 15 0 0 25 0 1 0 246208050 45711360 10553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5164825 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11160 10553 311 324 0 10230 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 44640

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1717304/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44640 CPUtime=1301.98
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 130182 16 0 0 25 0 1 0 246208050 45711360 10553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11160 10553 311 324 0 10230 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 44640

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1717240/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44640 CPUtime=1361.96
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 136180 16 0 0 25 0 1 0 246208050 45711360 10553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11160 10553 311 324 0 10230 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 44640

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1717240/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44640 CPUtime=1421.96
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 142179 17 0 0 25 0 1 0 246208050 45711360 10553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11160 10553 311 324 0 10230 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 44640

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1717176/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44640 CPUtime=1481.93
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 148176 17 0 0 25 0 1 0 246208050 45711360 10553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11160 10553 311 324 0 10230 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 44640

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1717112/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44640 CPUtime=1541.92
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 154175 17 0 0 25 0 1 0 246208050 45711360 10553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586879 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11160 10553 311 324 0 10230 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 44640

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1717048/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44640 CPUtime=1601.91
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 160173 18 0 0 25 0 1 0 246208050 45711360 10553 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550866 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11160 10553 311 324 0 10230 0
Current children cumulated CPU time (s) 1601.91
Current children cumulated vsize (KiB) 44640

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1716984/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44632 CPUtime=1661.89
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 166171 18 0 0 25 0 1 0 246208050 45703168 10551 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5164775 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11158 10551 311 324 0 10228 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 44632

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1716920/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44624 CPUtime=1721.88
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 172169 19 0 0 25 0 1 0 246208050 45694976 10549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 5172965 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11156 10549 311 324 0 10226 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 44624

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1716792/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44624 CPUtime=1781.86
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 178167 19 0 0 25 0 1 0 246208050 45694976 10549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11156 10549 311 324 0 10226 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 44624



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1716792/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44624 CPUtime=1800.06
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 179987 19 0 0 25 0 1 0 246208050 45694976 10549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11156 10549 311 324 0 10226 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 44624

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 0.94 2/78 3377
/proc/meminfo: memFree=1716792/2055920 swapFree=4158588/4192956
[pid=3374] ppid=3372 vsize=44624 CPUtime=1800.06
/proc/3374/stat : 3374 (bsolo3.0.17) R 3372 3374 2433 0 -1 4194304 10616 0 0 0 179987 19 0 0 25 0 1 0 246208050 45694976 10549 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3374/statm: 11156 10549 311 324 0 10226 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 44624

Child status: 15
Real time (s): 1800.52
CPU time (s): 1800.08
CPU user time (s): 1799.87
CPU system time (s): 0.205968
CPU usage (%): 99.9758
Max. virtual memory (cumulated for all children) (KiB): 44876

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

runsolver used 1.40878 second user time and 3.83742 second system time

The end

Launcher Data (download as text)

Begin job on node43 on Tue May  1 01:29:22 UTC 2007

IDJOB= 452832
IDBENCH= 47899
IDSOLVER= 199
FILE ID= node43/452832-1177982962

PBS_JOBID= 4728179

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=251-P1=257-P2=19-P3=349-P4=257-P5=479-P6=367-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452832-1177982962/instance-452832-1177982962.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node43/watcher-452832-1177982962 -o ROOT/results/node43/solver-452832-1177982962 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/452832-1177982962/instance-452832-1177982962.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  80881c7fbc3c10cf38784c74294061e5

RANDOM SEED= 929817647

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node43.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	: 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.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:       1760712 kB
Buffers:          8148 kB
Cached:         194724 kB
SwapCached:       2624 kB
Active:          60732 kB
Inactive:       166404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1760712 kB
SwapTotal:     4192956 kB
SwapFree:      4158588 kB
Dirty:            6608 kB
Writeback:           0 kB
Mapped:          32256 kB
Slab:            53480 kB
Committed_AS:  2834712 kB
PageTables:       1896 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 node43 on Tue May  1 01:59:25 UTC 2007