Trace number 429302

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.16SAT193 1800.01 1800.49

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.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/429302-1177982862/instance-429302-1177982862.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.004 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.
482.96/483.16	c      100    648     1091    11203   10     3717    6098    100   5000 0.02
482.96/483.16	c      250    648     1241    23046   18     4015    6708    250   8064 0.03
482.96/483.16	c      475    648     1466    39690   27     4436    7379    475   8482 0.06
482.96/483.16	c      815    648     1806    65216   36     5034    8117    815   8956 0.09
482.96/483.16	c     1324    648     2315   114441   49     5967    8929   1324   9390 0.14
482.96/483.16	c     2088    648     3079   175816   57     7428    9822   2088   8810 0.24
482.96/483.16	c     3235    648     4226   265394   62     9712   10805   3235   6868 0.47
482.96/483.16	c     4956    648     5947   396332   66    13153   11886   4956   5266 0.94
482.96/483.16	c     7540    648     8531   594867   69    18340   13075   7540   3945 1.91
482.96/483.16	c    11419    648    12410   922510   74    26136   14383  11419   3848 2.97
482.96/483.16	c    17242    648    10409   822253   78    22209   15822   9418   4098 4.21
482.96/483.16	c    25980    648    10888   867358   79    23104   17405   9897   3758 6.91
482.96/483.16	c    39091    648    14897  1128546   75    31223   19146  13906   3478 11.24
482.96/483.16	c    58762    648    15054  1153220   76    31503   21061  14063   2468 23.81
482.96/483.16	c    88273    648    11829   802436   67    25113   23168  10838   1864 47.34
482.96/483.16	c   132543    648    18236  1460663   80    37976   25485  17245   1408 94.11
482.96/483.16	c   198953    648    25871  1855842   71    53239   28034  24880   1236 160.96
482.96/483.16	c   298574    648    22732  1929222   84    46866   30838  21741   1222 244.21
482.96/483.16	c   448010    648    14036  1004472   71    29461   33922  13045    966 463.56
482.96/483.16	o 193	483.029
1799.91/1800.48	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.91/1800.48	c   473722    648    16526  1454439   88    34416    5561  15535    980 483.03
1799.91/1800.48	c   473822    637     3873   256643   66     9306    6118   2882    980 483.23
1799.91/1800.48	c   474073    637     4124   277647   67     9746    6730   3133    980 483.26
1799.91/1800.48	c   474548    637     4599   314498   68    10614    7404   3608    981 483.32
1799.91/1800.48	c   475361    637     5412   378835   69    12262    8145   4421    983 483.48
1799.91/1800.48	c   476681    637     6732   483857   71    14877    8960   5741    985 483.77
1799.91/1800.48	c   478763    637     8814   646066   73    19074    9857   7823    988 484.51
1799.91/1800.48	c   481987    637     7006   472476   67    15429   10843   6015    991 485.97
1799.91/1800.48	c   486924    637     6450   421918   65    14321   11928   5459    995 489.25
1799.91/1800.48	c   494430    637     7895   538052   68    17215   13121   6904    999 494.57
1799.91/1800.48	c   505791    637    12606   885661   70    26646   14434  11615   1006 502.59
1799.91/1800.48	c   522935    637    15155  1068370   70    31761   15878  14164   1014 515.23
1799.91/1800.48	c   548755    637    16158  2482629  153    33708   17466  15167   1019 538.28
1799.91/1800.48	c   587587    637    10353   713589   68    22150   19213   9362   1006 583.95
1799.91/1800.48	c   645939    637    19930  1401080   70    41315   21135  18939   1002 644.60
1799.91/1800.48	c   733571    637    21018  1893632   90    43400   23249  20027   1014 723.43
1799.91/1800.48	c   865124    634    13670  1070858   78    28787   25574  12679    981 881.58
1799.91/1800.48	c  1062557    634    20051  1569269   78    41607   28132  19060    924 1149.80
1799.91/1800.48	c  1358809    633    25347  2048064   80    52117   30946  24356    882 1540.22
1799.91/1800.48	c Resources Exceeded
1799.91/1800.48	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
1799.91/1800.48	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
1799.91/1800.48	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
1799.91/1800.48	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
1799.91/1800.48	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x136 -x137 x138 -x139 x140
1799.91/1800.48	v -x141 -x142 -x143 -x144 x100 -x101 x102 -x103 -x104 -x105 -x106 -x107 -x108 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152
1799.91/1800.48	v -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162
1799.91/1800.48	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.91/1800.48	c   38  1495280   8042  1530043    23771  1804338  22780    830 1800.00
1799.91/1800.48	c Objective: 193
1799.91/1800.48	s SATISFIABLE
1799.91/1800.48	c Total time: 1800 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/node74/watcher-429302-1177982862 -o ROOT/results/node74/solver-429302-1177982862 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429302-1177982862/instance-429302-1177982862.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.92 0.98 0.93 3/66 7447
/proc/meminfo: memFree=1759312/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=3936 CPUtime=0
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 379 0 0 0 0 0 0 0 18 0 1 0 246200935 4030464 348 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 984 348 291 324 0 50 0

[startup+0.0960221 s]
/proc/loadavg: 0.92 0.98 0.93 3/66 7447
/proc/meminfo: memFree=1759312/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=5104 CPUtime=0.08
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 693 0 0 0 8 0 0 0 18 0 1 0 246200935 5226496 659 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 1276 659 312 324 0 345 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 5104

[startup+0.102023 s]
/proc/loadavg: 0.92 0.98 0.93 3/66 7447
/proc/meminfo: memFree=1759312/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=5232 CPUtime=0.09
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 714 0 0 0 9 0 0 0 18 0 1 0 246200935 5357568 680 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 1308 680 312 324 0 377 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5232

[startup+0.301046 s]
/proc/loadavg: 0.92 0.98 0.93 3/66 7447
/proc/meminfo: memFree=1759312/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=7036 CPUtime=0.29
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 1184 0 0 0 28 1 0 0 19 0 1 0 246200935 7204864 1150 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10192507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 1759 1150 312 324 0 828 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7036

[startup+0.701092 s]
/proc/loadavg: 0.92 0.98 0.93 3/66 7447
/proc/meminfo: memFree=1759312/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=8848 CPUtime=0.69
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 1613 0 0 0 68 1 0 0 22 0 1 0 246200935 9060352 1579 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 2212 1579 312 324 0 1281 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8848

[startup+1.50118 s]
/proc/loadavg: 0.92 0.98 0.93 2/67 7448
/proc/meminfo: memFree=1752968/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=11304 CPUtime=1.48
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 2247 0 0 0 147 1 0 0 25 0 1 0 246200935 11575296 2213 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 2826 2213 312 324 0 1895 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 11304

[startup+3.10137 s]
/proc/loadavg: 0.92 0.98 0.93 2/67 7448
/proc/meminfo: memFree=1749512/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=17612 CPUtime=3.09
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 3813 0 0 0 306 3 0 0 25 0 1 0 246200935 18034688 3779 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 4403 3779 312 324 0 3472 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 17612

[startup+6.30174 s]
/proc/loadavg: 0.93 0.98 0.93 2/67 7448
/proc/meminfo: memFree=1741000/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=24180 CPUtime=6.29
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 5457 0 0 0 624 5 0 0 25 0 1 0 246200935 24760320 5423 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10186750 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 6045 5423 312 324 0 5114 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24180

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.93 2/67 7448
/proc/meminfo: memFree=1737048/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=25692 CPUtime=12.69
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 5836 0 0 0 1263 6 0 0 25 0 1 0 246200935 26308608 5802 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 6423 5802 312 324 0 5492 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 25692

[startup+25.502 s]
/proc/loadavg: 0.95 0.98 0.93 2/67 7448
/proc/meminfo: memFree=1736152/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=27452 CPUtime=25.48
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 6274 0 0 0 2540 8 0 0 25 0 1 0 246200935 28110848 6240 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 6863 6240 312 324 0 5932 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 27452

[startup+51.1019 s]
/proc/loadavg: 0.96 0.98 0.93 2/67 7448
/proc/meminfo: memFree=1734360/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=28440 CPUtime=51.08
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 6528 0 0 0 5096 12 0 0 25 0 1 0 246200935 29122560 6494 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 7110 6494 312 324 0 6179 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28440

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.93 2/67 7448
/proc/meminfo: memFree=1728856/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=33988 CPUtime=102.27
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 7918 0 0 0 10207 20 0 0 25 0 1 0 246200935 34803712 7884 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 8497 7884 312 324 0 7566 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 33988

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7448
/proc/meminfo: memFree=1728856/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=33976 CPUtime=162.25
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 7919 0 0 0 16198 27 0 0 25 0 1 0 246200935 34791424 7885 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 8494 7885 312 324 0 7563 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 33976

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7448
/proc/meminfo: memFree=1724120/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=38672 CPUtime=222.23
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 9092 0 0 0 22188 35 0 0 25 0 1 0 246200935 39600128 9058 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 9668 9058 312 324 0 8737 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 38672

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7448
/proc/meminfo: memFree=1718552/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44196 CPUtime=282.22
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10475 0 0 0 28178 44 0 0 25 0 1 0 246200935 45256704 10441 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11049 10441 312 324 0 10118 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 44196

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7448
/proc/meminfo: memFree=1717976/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44748 CPUtime=342.2
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10615 0 0 0 34171 49 0 0 25 0 1 0 246200935 45821952 10581 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11187 10581 312 324 0 10256 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 44748

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7448
/proc/meminfo: memFree=1717912/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44748 CPUtime=402.18
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10615 0 0 0 40162 56 0 0 25 0 1 0 246200935 45821952 10581 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551119 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11187 10581 312 324 0 10256 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 44748

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7448
/proc/meminfo: memFree=1717912/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44740 CPUtime=462.17
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10615 0 0 0 46154 63 0 0 25 0 1 0 246200935 45813760 10579 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11185 10579 312 324 0 10254 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 44740

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7448
/proc/meminfo: memFree=1717848/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44716 CPUtime=522.15
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 52143 72 0 0 25 0 1 0 246200935 45789184 10574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11179 10574 313 324 0 10248 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 44716

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7448
/proc/meminfo: memFree=1717848/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44716 CPUtime=582.13
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 58134 79 0 0 25 0 1 0 246200935 45789184 10574 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11179 10574 313 324 0 10248 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 44716

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7448
/proc/meminfo: memFree=1717848/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44672 CPUtime=642.12
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 64127 85 0 0 25 0 1 0 246200935 45744128 10563 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11168 10563 313 324 0 10237 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 44672


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

/proc/meminfo: memFree=1717656/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44652 CPUtime=1121.99
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 112065 134 0 0 25 0 1 0 246200935 45723648 10558 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11163 10558 313 324 0 10232 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 44652

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717656/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44652 CPUtime=1181.97
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 118057 140 0 0 25 0 1 0 246200935 45723648 10558 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11163 10558 313 324 0 10232 0
Current children cumulated CPU time (s) 1181.97
Current children cumulated vsize (KiB) 44652

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717592/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44640 CPUtime=1241.96
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 124049 147 0 0 25 0 1 0 246200935 45711360 10555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551288 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11160 10555 313 324 0 10229 0
Current children cumulated CPU time (s) 1241.96
Current children cumulated vsize (KiB) 44640

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717656/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44640 CPUtime=1301.95
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 130041 154 0 0 25 0 1 0 246200935 45711360 10555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551371 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11160 10555 313 324 0 10229 0
Current children cumulated CPU time (s) 1301.95
Current children cumulated vsize (KiB) 44640

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717592/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44640 CPUtime=1361.93
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 136032 161 0 0 25 0 1 0 246200935 45711360 10555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11160 10555 313 324 0 10229 0
Current children cumulated CPU time (s) 1361.93
Current children cumulated vsize (KiB) 44640

[startup+1422.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717656/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44640 CPUtime=1421.91
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 142024 167 0 0 25 0 1 0 246200935 45711360 10555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11160 10555 313 324 0 10229 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 44640

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717592/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44640 CPUtime=1481.89
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 148017 172 0 0 25 0 1 0 246200935 45711360 10555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551643 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11160 10555 313 324 0 10229 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 44640

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44640 CPUtime=1541.87
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 154007 180 0 0 25 0 1 0 246200935 45711360 10555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11160 10555 313 324 0 10229 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 44640

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717592/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44640 CPUtime=1601.86
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 160002 184 0 0 25 0 1 0 246200935 45711360 10555 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11160 10555 313 324 0 10229 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 44640

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44632 CPUtime=1661.85
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 165997 188 0 0 25 0 1 0 246200935 45703168 10553 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11158 10553 313 324 0 10227 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 44632

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44624 CPUtime=1721.83
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 171992 191 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11156 10551 313 324 0 10225 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 44624

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44624 CPUtime=1781.81
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 177984 197 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11156 10551 313 324 0 10225 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 44624

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

[startup+1791.91 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44624 CPUtime=1791.41
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 178943 198 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10188100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11156 10551 313 324 0 10225 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 44624

[startup+1795.1 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44624 CPUtime=1794.61
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 179263 198 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134573358 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11156 10551 313 324 0 10225 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 44624

[startup+1798.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44624 CPUtime=1797.81
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 179582 199 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11156 10551 313 324 0 10225 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 44624

[startup+1799.1 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44624 CPUtime=1798.61
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 179662 199 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11156 10551 313 324 0 10225 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 44624

[startup+1799.9 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44624 CPUtime=1799.41
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 179742 199 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 10188629 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11156 10551 313 324 0 10225 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 44624

[startup+1800.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44624 CPUtime=1799.81
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 179782 199 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11156 10551 313 324 0 10225 0
Current children cumulated CPU time (s) 1799.81
Current children cumulated vsize (KiB) 44624

[startup+1800.4 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 7450
/proc/meminfo: memFree=1717528/2055920 swapFree=4183036/4192956
[pid=7447] ppid=7445 vsize=44624 CPUtime=1799.91
/proc/7447/stat : 7447 (bsolo3.0.16) R 7445 7447 6820 0 -1 4194304 10619 0 0 0 179792 199 0 0 25 0 1 0 246200935 45694976 10551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7447/statm: 11156 10551 313 324 0 10225 0
Current children cumulated CPU time (s) 1799.91
Current children cumulated vsize (KiB) 44624

Child status: 0
Real time (s): 1800.49
CPU time (s): 1800.01
CPU user time (s): 1798.01
CPU system time (s): 2.00169
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 44876

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.01
system time used= 2.00169
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= 11
involuntary context switches= 1684

runsolver used 1.34879 second user time and 3.57146 second system time

The end

Launcher Data (download as text)

Begin job on node74 on Tue May  1 01:27:42 UTC 2007

IDJOB= 429302
IDBENCH= 47899
IDSOLVER= 163
FILE ID= node74/429302-1177982862

PBS_JOBID= 4728110

Free space on /tmp= 103239 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=251-P1=257-P2=19-P3=349-P4=257-P5=479-P6=367-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429302-1177982862/instance-429302-1177982862.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node74/watcher-429302-1177982862 -o ROOT/results/node74/solver-429302-1177982862 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429302-1177982862/instance-429302-1177982862.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  80881c7fbc3c10cf38784c74294061e5

RANDOM SEED= 208154152

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node74.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.213
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.213
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:       1759720 kB
Buffers:          5900 kB
Cached:         220620 kB
SwapCached:       2572 kB
Active:          38652 kB
Inactive:       197920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1759720 kB
SwapTotal:     4192956 kB
SwapFree:      4183036 kB
Dirty:            6736 kB
Writeback:           0 kB
Mapped:          16192 kB
Slab:            45376 kB
Committed_AS:  4148724 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 103239 MiB

End job on node74 on Tue May  1 01:57:42 UTC 2007