Trace number 452841

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.17OPT3 665.784 666.161

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=89-P1=127-P2=191-P3=17-P4=97-P5=227-P6=191-P7=41-B.opb
MD5SUM3f50fdda997abfe5e5c5cddf7b7c1313
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.172973
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 variables168
Total number of constraints15
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 constraints15
Minimum length of a constraint8
Maximum length of a constraint80
Number of terms in the objective function 8
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 255
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 32768
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 130560
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)448
Sum of products size (including duplicates)896
Number of different products448
Sum of products size896

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/452841-1177984718/instance-452841-1177984718.opb
0.00/0.00	c File size is 8048 bytes.
0.00/0.00	c Highest Coefficient sum: 130560
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: 616 Constr: 918 448/0/470 Lit: 3856 Watch. Lit: 2368
0.00/0.00	c Obj. Vars: 8 (1.2987 % of total variables)
0.00/0.01	c Pre-processing Time: 0.01 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    616      918     3856    4     3312    5173      0      0 0.01
0.00/0.01	c Switching off LPR mode.
107.36/107.40	c      100    616     1018     9734    9     3477    5691    100   5555 0.02
107.36/107.40	c      251    616     1169    18988   16     3781    6261    251   9296 0.03
107.36/107.40	c      477    616     1395    32977   23     4200    6888    477  10840 0.04
107.36/107.40	c      817    616     1735    54263   31     4851    7577    817  11507 0.07
107.36/107.40	c     1325    616     2243    85988   38     5791    8335   1325  10114 0.13
107.36/107.40	c     2089    616     3007   132098   43     7316    9169   2089   8389 0.25
107.36/107.40	c     3236    616     4154   201523   48     9630   10086   3236   6855 0.47
107.36/107.40	c     4957    616     5875   304115   51    13035   11095   4957   5042 0.98
107.36/107.40	c     7541    616     8459   491590   58    18198   12205   7541   4954 1.52
107.36/107.40	c    11420    616    12338   745869   60    26060   13426  11420   4307 2.65
107.36/107.40	c    17242    616    11323   657463   58    23988   14769  10405   3014 5.72
107.36/107.40	c    25980    616    12279   736092   59    25853   16246  11361   2864 9.07
107.36/107.40	c    39090    616    16905  1064402   62    35123   17871  15987   2557 15.29
107.36/107.40	c    58760    616    17934  1038411   57    37243   19659  17016   2135 27.52
107.36/107.40	c    88271    616    16518  1092244   66    34291   21625  15600   1954 45.16
107.36/107.40	c   132542    616    15664   876488   55    32597   23788  14746   1706 77.68
107.36/107.40	o 97	107.364
378.60/378.90	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
378.60/378.90	c   167765    616    24488  1831375   74    50219    5189  23570   1562 107.36
378.60/378.90	c   167865    616     3614   205584   56     8635    5708   2696   1557 107.79
378.60/378.90	c   168115    616     3864   223198   57     9151    6279   2946   1559 107.81
378.60/378.90	c   168591    616     4340   254087   58     9940    6907   3422   1562 107.87
378.60/378.90	c   169404    616     5153   307639   59    11572    7598   4235   1569 107.96
378.60/378.90	c   170725    616     6474   401476   62    14226    8358   5556   1578 108.18
378.60/378.90	c   172806    616     8555   549301   64    18375    9194   7637   1590 108.64
378.60/378.90	c   176030    616     7070   412750   58    15390   10114   6152   1607 109.48
378.60/378.90	c   180966    616     6889   359080   52    14982   11126   5971   1626 111.29
378.60/378.90	c   188472    616     8354   494007   59    17978   12239   7436   1671 112.79
378.60/378.90	c   199833    616     7039   380939   54    15303   13463   6121   1686 118.51
378.60/378.90	c   216977    616     9844   610892   62    20977   14810   8926   1694 128.05
378.60/378.90	c   242796    616    12392   745685   60    26131   16292  11474   1737 139.71
378.60/378.90	c   281629    615     9066   546217   60    19470   17922   8148   1765 159.48
378.60/378.90	c   339982    605    10663   618365   57    22670   19715   9745   1662 204.46
378.60/378.90	c   427614    605    16202  1077623   66    33731   21687  15284   1542 277.20
378.60/378.90	o 57	378.619
434.88/435.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
434.88/435.21	c   537294    602    13395   918311   68    28160    5187  12477   1419 378.62
434.88/435.21	c   537394    602     3618   191506   52     8657    5706   2700   1418 378.84
434.88/435.21	c   537647    602     3871   208856   53     9147    6277   2953   1419 378.87
434.88/435.21	c   538123    602     4347   240569   55    10099    6905   3429   1420 378.92
434.88/435.21	c   538936    602     5160   294034   56    11718    7596   4242   1421 379.06
434.88/435.21	c   540256    602     6480   380019   58    14343    8356   5562   1423 379.44
434.88/435.21	c   542337    602     8561   518260   60    18519    9192   7643   1426 380.19
434.88/435.21	c   545560    602     7108   405158   57    15598   10112   6190   1428 381.88
434.88/435.21	c   550497    602     6598   383358   58    14565   11124   5680   1436 383.19
434.88/435.21	c   558004    602     8422   491803   58    18170   12237   7504   1443 386.43
434.88/435.21	c   569366    592     7043   398783   56    15518   13461   6125   1461 389.65
434.88/435.21	c   586510    592    10289   615805   59    21943   14808   9371   1474 397.77
434.88/435.21	c   612329    591    13604   798451   58    28610   16289  12686   1477 414.48
434.88/435.21	o 25	434.904
645.62/646.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
645.62/646.05	c   641412    591     9088   532109   58    19544    5185   8170   1474 434.90
645.62/646.05	c   641513    591     3620   172546   47     8622    5704   2702   1474 434.99
645.62/646.05	c   641764    591     3871   189026   48     9037    6275   2953   1475 435.02
645.62/646.05	c   642240    591     4347   220350   50    10002    6903   3429   1476 435.08
645.62/646.05	c   643055    591     5162   272879   52    11626    7594   4244   1477 435.23
645.62/646.05	c   644376    591     6483   355983   54    14285    8354   5565   1479 435.55
645.62/646.05	c   646459    591     8566   483408   56    18439    9190   7648   1481 436.29
645.62/646.05	c   649682    591     7104   387820   54    15510   10110   6186   1484 437.57
645.62/646.05	c   654619    581     6907   363822   52    15205   11122   5989   1486 440.50
645.62/646.05	c   662127    581     8287   463311   55    17905   12235   7369   1489 444.42
645.62/646.05	c   673488    581     7256   403017   55    15871   13459   6338   1489 452.01
645.62/646.05	c   690632    581    10049   620575   61    21363   14805   9131   1498 460.99
645.62/646.06	c   716452    581    13342   759697   56    28008   16286  12424   1489 481.04
645.62/646.06	c   755285    581     9697   453464   46    20726   17915   8779   1483 509.19
645.62/646.06	c   813637    580    13429   787018   58    28217   19707  12511   1431 568.40
645.62/646.06	o 3	645.687
665.72/666.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
665.72/666.15	c   889991    580    18695  1305414   69    38788    5183  17777   1378 645.69
665.72/666.15	c   890091    560     3623   217047   59     8629    5702   2705   1378 645.83
665.72/666.15	c   890342    538     3874   233004   60     9117    6273   2956   1378 645.86
665.72/666.15	c   890817    538     4349   263995   60    10063    6901   3431   1379 645.92
665.72/666.15	c   891631    538     5163   312047   60    11711    7592   4245   1380 646.09
665.72/666.15	c   892952    538     6484   391327   60    14374    8352   5566   1381 646.48
665.72/666.15	c   895033    538     8565   523343   61    18463    9188   7647   1382 647.29
665.72/666.15	c   898257    538     7060   389833   55    15513   10107   6142   1384 648.75
665.72/666.15	c   903194    529     6808   360818   52    15025   11118   5890   1385 651.82
665.72/666.15	c   910701    529     8654   424907   49    18719   12230   7736   1386 656.62
665.72/666.15	c   922062    526     7571   359459   47    16535   13454   6653   1388 664.26
665.72/666.15	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 -x31
665.72/666.15	v -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 x59
665.72/666.15	v x60 -x61 -x62 -x63 -x64 x65 -x66 x67 -x68 x69 -x70 -x71 -x72 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x73 -x74 -x75 -x76
665.72/666.15	v -x77 -x78 -x79 -x80 x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x81 x82 -x83 -x84 -x85 -x86 -x87 -x88 -x129 -x130 -x131 -x132
665.72/666.15	v -x133 -x134 -x135 -x136 x89 x90 -x91 -x92 -x93 -x94 x95 x96 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x97 -x98 -x99 -x100
665.72/666.15	v -x101 -x102 x103 x104 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x153 -x154
665.72/666.15	v -x155 -x156 x157 x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
665.72/666.15	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
665.72/666.15	c   71   924624   8779   960690    10133   477143   9215   1388 665.78
665.72/666.15	c Objective: 3
665.72/666.15	s OPTIMUM FOUND
665.72/666.15	c Total time: 665.776 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/node71/watcher-452841-1177984718 -o ROOT/results/node71/solver-452841-1177984718 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452841-1177984718/instance-452841-1177984718.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.98 3/64 32764
/proc/meminfo: memFree=1791688/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=19556 CPUtime=0
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 372 0 0 0 0 0 0 0 18 0 1 0 274461159 20025344 342 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 983 344 289 324 0 51 0

[startup+0.012742 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 32764
/proc/meminfo: memFree=1791688/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=4324 CPUtime=0
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 477 0 0 0 0 0 0 0 18 0 1 0 274461159 4427776 445 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 1081 445 307 324 0 151 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 4324

[startup+0.101754 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 32764
/proc/meminfo: memFree=1791688/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=5232 CPUtime=0.09
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 702 0 0 0 9 0 0 0 18 0 1 0 274461159 5357568 670 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 1308 670 310 324 0 378 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5232

[startup+0.301781 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 32764
/proc/meminfo: memFree=1791688/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=6264 CPUtime=0.29
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 985 0 0 0 29 0 0 0 19 0 1 0 274461159 6414336 953 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 1566 953 310 324 0 636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6264

[startup+0.701835 s]
/proc/loadavg: 0.92 0.98 0.98 3/64 32764
/proc/meminfo: memFree=1791688/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=7816 CPUtime=0.69
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 1369 0 0 0 69 0 0 0 22 0 1 0 274461159 8003584 1337 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 1954 1337 310 324 0 1024 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7816

[startup+1.50294 s]
/proc/loadavg: 0.92 0.98 0.98 2/65 32765
/proc/meminfo: memFree=1786752/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=11052 CPUtime=1.49
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 2173 0 0 0 149 0 0 0 25 0 1 0 274461159 11317248 2141 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7638601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 2763 2141 310 324 0 1833 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 11052

[startup+3.10116 s]
/proc/loadavg: 0.92 0.98 0.98 2/65 32765
/proc/meminfo: memFree=1782016/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=15572 CPUtime=3.09
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 3302 0 0 0 308 1 0 0 25 0 1 0 274461159 15945728 3270 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7640699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 3893 3270 310 324 0 2963 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15572

[startup+6.3016 s]
/proc/loadavg: 0.93 0.98 0.98 2/65 32765
/proc/meminfo: memFree=1778112/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=16868 CPUtime=6.29
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 3627 0 0 0 628 1 0 0 25 0 1 0 274461159 17272832 3595 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550834 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 4217 3595 310 324 0 3287 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16868

[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.98 2/65 32765
/proc/meminfo: memFree=1775040/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=20036 CPUtime=12.69
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 4417 0 0 0 1267 2 0 0 25 0 1 0 274461159 20516864 4385 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551478 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 5009 4385 310 324 0 4079 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 20036

[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.98 2/65 32765
/proc/meminfo: memFree=1772928/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=22100 CPUtime=25.48
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 4949 0 0 0 2546 2 0 0 25 0 1 0 274461159 22630400 4917 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 5525 4917 310 324 0 4595 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22100

[startup+51.1017 s]
/proc/loadavg: 0.96 0.98 0.98 2/65 32765
/proc/meminfo: memFree=1769088/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=26036 CPUtime=51.08
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 5933 0 0 0 5105 3 0 0 25 0 1 0 274461159 26660864 5901 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 6509 5901 310 324 0 5579 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 26036

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.98 2/65 32765
/proc/meminfo: memFree=1766272/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=28776 CPUtime=102.26
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6612 0 0 0 10223 3 0 0 25 0 1 0 274461159 29466624 6580 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7194 6580 310 324 0 6264 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 28776

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.98 2/71 413
/proc/meminfo: memFree=1763272/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=30252 CPUtime=162.18
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 16214 4 0 0 25 0 1 0 274461159 30978048 6947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7638477 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7563 6947 311 324 0 6633 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 30252

[startup+222.301 s]
/proc/loadavg: 1.13 1.02 0.99 2/65 972
/proc/meminfo: memFree=1763840/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=30252 CPUtime=222.06
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 22200 6 0 0 25 0 1 0 274461159 30978048 6947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7563 6947 311 324 0 6633 0
Current children cumulated CPU time (s) 222.06
Current children cumulated vsize (KiB) 30252

[startup+282.301 s]
/proc/loadavg: 1.05 1.01 0.99 2/65 972
/proc/meminfo: memFree=1764032/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=30252 CPUtime=282.03
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 28197 6 0 0 25 0 1 0 274461159 30978048 6947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7563 6947 311 324 0 6633 0
Current children cumulated CPU time (s) 282.03
Current children cumulated vsize (KiB) 30252

[startup+342.301 s]
/proc/loadavg: 1.02 1.00 0.99 2/65 972
/proc/meminfo: memFree=1764032/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=30252 CPUtime=342.01
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 34195 6 0 0 25 0 1 0 274461159 30978048 6947 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7563 6947 311 324 0 6633 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 30252

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 972
/proc/meminfo: memFree=1764096/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=30204 CPUtime=401.99
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 40193 6 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7551 6944 311 324 0 6621 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 30204

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 972
/proc/meminfo: memFree=1764096/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=30204 CPUtime=461.98
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 46191 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551179 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7551 6944 311 324 0 6621 0
Current children cumulated CPU time (s) 461.98
Current children cumulated vsize (KiB) 30204

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 972
/proc/meminfo: memFree=1764096/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=30204 CPUtime=521.96
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 52189 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550924 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7551 6944 311 324 0 6621 0
Current children cumulated CPU time (s) 521.96
Current children cumulated vsize (KiB) 30204

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.99 2/65 972
/proc/meminfo: memFree=1764096/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=30204 CPUtime=581.94
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 58187 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7551 6944 311 324 0 6621 0
Current children cumulated CPU time (s) 581.94
Current children cumulated vsize (KiB) 30204

[startup+642.301 s]
/proc/loadavg: 1.04 1.01 1.00 2/65 972
/proc/meminfo: memFree=1764160/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=30204 CPUtime=641.93
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 64186 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7646962 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7551 6944 311 324 0 6621 0
Current children cumulated CPU time (s) 641.93
Current children cumulated vsize (KiB) 30204

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

[startup+652.702 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 972
/proc/meminfo: memFree=1764160/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=30204 CPUtime=652.32
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 65225 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7551 6944 311 324 0 6621 0
Current children cumulated CPU time (s) 652.32
Current children cumulated vsize (KiB) 30204

[startup+659.102 s]
/proc/loadavg: 1.10 1.03 1.00 2/65 972
/proc/meminfo: memFree=1764160/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=30204 CPUtime=658.72
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 65865 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551347 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7551 6944 311 324 0 6621 0
Current children cumulated CPU time (s) 658.72
Current children cumulated vsize (KiB) 30204

[startup+662.301 s]
/proc/loadavg: 1.10 1.03 1.00 2/65 972
/proc/meminfo: memFree=1764160/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=30204 CPUtime=661.92
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 66185 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7551 6944 311 324 0 6621 0
Current children cumulated CPU time (s) 661.92
Current children cumulated vsize (KiB) 30204

[startup+663.901 s]
/proc/loadavg: 1.09 1.03 1.00 2/65 972
/proc/meminfo: memFree=1764160/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=30204 CPUtime=663.52
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 66345 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7551 6944 311 324 0 6621 0
Current children cumulated CPU time (s) 663.52
Current children cumulated vsize (KiB) 30204

[startup+665.505 s]
/proc/loadavg: 1.09 1.03 1.00 2/65 972
/proc/meminfo: memFree=1764160/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=30204 CPUtime=665.12
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 66505 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550957 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7551 6944 311 324 0 6621 0
Current children cumulated CPU time (s) 665.12
Current children cumulated vsize (KiB) 30204

[startup+665.902 s]
/proc/loadavg: 1.09 1.03 1.00 2/65 972
/proc/meminfo: memFree=1764160/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=30204 CPUtime=665.52
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 66545 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7551 6944 311 324 0 6621 0
Current children cumulated CPU time (s) 665.52
Current children cumulated vsize (KiB) 30204

[startup+666.102 s]
/proc/loadavg: 1.09 1.03 1.00 2/65 972
/proc/meminfo: memFree=1764160/2055920 swapFree=4184188/4192956
[pid=32764] ppid=32762 vsize=30204 CPUtime=665.72
/proc/32764/stat : 32764 (bsolo3.0.17) R 32762 32764 25344 0 -1 4194304 6979 0 0 0 66565 7 0 0 25 0 1 0 274461159 30928896 6944 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7646946 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32764/statm: 7551 6944 311 324 0 6621 0
Current children cumulated CPU time (s) 665.72
Current children cumulated vsize (KiB) 30204

Child status: 0
Real time (s): 666.161
CPU time (s): 665.784
CPU user time (s): 665.705
CPU system time (s): 0.078987
CPU usage (%): 99.9434
Max. virtual memory (cumulated for all children) (KiB): 30252

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

runsolver used 0.487925 second user time and 1.39179 second system time

The end

Launcher Data (download as text)

Begin job on node71 on Tue May  1 01:58:38 UTC 2007

IDJOB= 452841
IDBENCH= 47908
IDSOLVER= 199
FILE ID= node71/452841-1177984718

PBS_JOBID= 4727928

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=8-P0=89-P1=127-P2=191-P3=17-P4=97-P5=227-P6=191-P7=41-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452841-1177984718/instance-452841-1177984718.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node71/watcher-452841-1177984718 -o ROOT/results/node71/solver-452841-1177984718 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/452841-1177984718/instance-452841-1177984718.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  3f50fdda997abfe5e5c5cddf7b7c1313

RANDOM SEED= 952158487

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node71.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1792096 kB
Buffers:         36832 kB
Cached:         146524 kB
SwapCached:       2692 kB
Active:          81020 kB
Inactive:       116492 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1792096 kB
SwapTotal:     4192956 kB
SwapFree:      4184188 kB
Dirty:            6580 kB
Writeback:           0 kB
Mapped:          19600 kB
Slab:            52280 kB
Committed_AS:  4465580 kB
PageTables:       1460 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 node71 on Tue May  1 02:09:45 UTC 2007