Trace number 453007

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 330.664 330.803

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=107-P1=89-P2=97-P3=41-P4=137-P5=181-P6=11-B.opb
MD5SUM931666055852afe6f909d62fafedf38c
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.146977
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 variables144
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 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)384
Sum of products size (including duplicates)768
Number of different products384
Sum of products size768

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/453007-1178010089/instance-453007-1178010089.opb
0.00/0.00	c File size is 6827 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: 528 Constr: 787 384/0/403 Lit: 3304 Watch. Lit: 2030
0.00/0.00	c Obj. Vars: 8 (1.51515 % of total variables)
0.00/0.01	c Pre-processing Time: 0.009 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    528      787     3304    4     2838    4431      0      0 0.01
0.00/0.01	c Switching off LPR mode.
124.32/124.44	c      100    528      887     9701   10     2982    4875    100   5882 0.02
124.32/124.44	c      251    528     1038    20522   19     3251    5363    251   8366 0.03
124.32/124.44	c      476    528     1263    35878   28     3668    5900    476   9520 0.05
124.32/124.44	c      815    528     1602    58194   36     4342    6491    815  10187 0.08
124.32/124.44	c     1323    528     2110    90674   42     5369    7141   1323   9800 0.14
124.32/124.44	c     2087    528     2874   136596   47     6905    7856   2087   8805 0.24
124.32/124.44	c     3235    528     4022   212770   52     9214    8642   3235   8316 0.39
124.32/124.44	c     4957    528     5744   316296   55    12602    9507   4957   6735 0.74
124.32/124.44	c     7542    528     8329   466934   56    17769   10458   7542   4470 1.69
124.32/124.44	c    11421    528     6913   362280   52    14962   11504   6126   3111 3.67
124.32/124.44	c    17248    528     6948   359467   51    15009   12655   6161   2583 6.67
124.32/124.44	c    25985    528     9034   566006   62    19112   13921   8247   2584 10.06
124.32/124.44	c    39096    528     8094   430319   53    17277   15314   7307   2475 15.79
124.32/124.44	c    58767    528    11722   847962   72    24550   16846  10935   2333 25.18
124.32/124.44	c    88278    528    15348  1040427   67    31776   18531  14561   1774 49.74
124.32/124.44	c   132549    528    11884   939348   79    24892   20385  11097   1601 82.79
124.32/124.44	o 135	124.37
177.70/177.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
177.70/177.80	c   190683    525    17320  1111604   64    35721    4447  16533   1533 124.37
177.70/177.80	c   190787    525     3118   160709   51     7366    4892   2331   1531 124.56
177.70/177.80	c   191038    525     3369   178189   52     7836    5382   2582   1533 124.59
177.70/177.80	c   191513    525     3844   209868   54     8775    5921   3057   1536 124.65
177.70/177.80	c   192326    525     4657   263875   56    10414    6514   3870   1541 124.80
177.70/177.80	c   193647    525     5978   351124   58    13072    7166   5191   1547 125.11
177.70/177.80	c   195728    525     4373   239678   54     9884    7883   3586   1557 125.69
177.70/177.80	c   198952    525     7597   455225   59    16304    8672   6810   1571 126.62
177.70/177.80	c   203888    525     7983   508571   63    17183    9540   7196   1596 127.72
177.70/177.80	c   211394    525     5560   310845   55    12375   10495   4773   1617 130.66
177.70/177.80	c   222755    525     6337   365286   57    13870   11545   5550   1606 138.66
177.70/177.80	c   239900    525    11807   694992   58    24789   12700  11020   1609 149.06
177.70/177.80	c   265719    525    10858   632269   58    22850   13971  10071   1602 165.87
177.70/177.80	o 17	177.716
223.70/223.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
223.70/223.84	c   290478    524    13884   877278   63    28936    4447  13097   1634 177.72
223.70/223.84	c   290579    515     3118   164502   52     7412    4892   2331   1634 177.81
223.70/223.84	c   290829    515     3368   181788   53     7908    5382   2581   1635 177.84
223.70/223.84	c   291304    515     3843   213057   55     8824    5921   3056   1637 177.90
223.70/223.84	c   292118    515     4657   266891   57    10442    6514   3870   1640 178.05
223.70/223.84	c   293439    515     5978   351326   58    13089    7166   5191   1645 178.35
223.70/223.84	c   295520    515     4411   234994   53     9991    7883   3624   1650 179.10
223.70/223.84	c   298744    515     7635   439588   57    16425    8672   6848   1655 180.41
223.70/223.84	c   303682    515     8156   472855   57    17462    9540   7369   1660 182.86
223.70/223.84	c   311188    515     5993   332172   55    13124   10495   5206   1664 186.91
223.70/223.84	c   322549    515     6711   370228   55    14563   11545   5924   1669 193.20
223.70/223.84	c   339694    515    12181   693961   56    25509   12700  11394   1671 203.18
223.70/223.84	c   365514    506    11506   702894   61    24167   13971  10719   1688 216.51
223.70/223.84	o 11	223.751
227.00/227.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
227.00/227.13	c   381648    491    13133   780122   59    27431    4441  12346   1705 223.75
227.00/227.13	c   381748    491     3120   138678   44     7440    4886   2333   1704 223.97
227.00/227.13	c   381999    491     3371   156397   46     7928    5375   2584   1705 224.00
227.00/227.13	c   382476    491     3848   189359   49     8867    5913   3061   1706 224.08
227.00/227.13	c   383290    481     4662   247488   53    10538    6505   3875   1709 224.24
227.00/227.13	c   384611    481     5983   339084   56    13141    7156   5196   1713 224.45
227.00/227.13	c   386693    481     4378   238106   54     9896    7872   3591   1717 225.19
227.00/227.13	c   389917    481     7602   448289   58    16323    8660   6815   1722 226.35
227.00/227.13	o 9	227.041
227.80/227.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
227.80/227.94	c   391656    481     9342   561720   60    19807    4439   8555   1725 227.04
227.80/227.94	c   391756    481     3118   154005   49     7355    4883   2331   1724 227.12
227.80/227.94	c   392008    481     3370   168321   49     7961    5372   2583   1725 227.15
227.80/227.94	c   392484    481     3846   196642   51     8893    5910   3059   1727 227.19
227.80/227.94	c   393297    481     4659   252237   54    10493    6502   3872   1730 227.32
227.80/227.94	c   394618    481     5980   340550   56    13115    7153   5193   1733 227.64
227.80/227.94	o 5	227.849
234.60/234.72	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
234.60/234.72	c   395472    481     6835   393757   57    14843    4439   6048   1735 227.85
234.60/234.72	c   395572    481     3120   152457   48     7399    4883   2333   1735 227.88
234.60/234.72	c   395823    481     3371   168435   49     7925    5372   2584   1736 227.91
234.60/234.72	c   396299    471     3847   200013   51     8890    5910   3060   1738 228.01
234.60/234.72	c   397113    471     4661   255524   54    10501    6502   3874   1740 228.19
234.60/234.72	c   398434    471     5982   344008   57    13145    7153   5195   1743 228.56
234.60/234.72	c   400516    471     4378   239537   54     9939    7869   3591   1745 229.48
234.60/234.72	c   403739    471     7601   446586   58    16360    8656   6814   1747 231.05
234.60/234.72	c   408675    471     8095   465644   57    17325    9522   7308   1747 233.86
234.60/234.72	o 3	234.621
330.57/330.77	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
330.57/330.77	c   411505    471     5905   329849   55    12967    4437   5118   1753 234.62
330.57/330.77	c   411605    450     3120   154214   49     7394    4881   2333   1754 234.65
330.57/330.77	c   411856    450     3371   170649   50     7898    5370   2584   1754 234.68
330.57/330.77	c   412331    450     3846   205249   53     8891    5908   3059   1756 234.73
330.57/330.77	c   413144    450     4659   258386   55    10447    6499   3872   1758 234.88
330.57/330.77	c   414464    450     5979   344542   57    13095    7149   5192   1761 235.23
330.57/330.77	c   416545    450     4378   233695   53     9920    7864   3591   1765 235.91
330.57/330.77	c   419769    450     7602   438082   57    16358    8651   6815   1769 237.18
330.57/330.77	c   424706    450     7943   458220   57    17054    9517   7156   1780 238.56
330.57/330.77	c   432212    450     5608   309056   55    12369   10469   4821   1791 241.27
330.57/330.77	c   443573    450     6038   338384   56    13216   11516   5251   1808 245.24
330.57/330.77	c   460717    450    11330   672424   59    23814   12668  10543   1816 253.67
330.57/330.77	c   486536    450    10874   665802   61    22922   13935  10087   1811 268.57
330.57/330.77	c   525369    447    13972   836794   59    29094   15329  13185   1797 292.22
330.57/330.77	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
330.57/330.77	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 -x59
330.57/330.77	v -x60 -x61 x62 x63 x64 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x105 -x106 x107 x108
330.57/330.77	v x109 -x110 -x111 -x112 x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x81 -x82 -x83 -x84
330.57/330.77	v -x85 -x86 -x87 -x88 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x129 -x130 -x131 -x132
330.57/330.77	v -x133 -x134 -x135 -x136 x137 x138 -x139 -x140 x141 -x142 -x143 -x144
330.57/330.77	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
330.57/330.77	c   79   570825   3828   592138    12658   715012  11871   1726 330.65
330.57/330.77	c Objective: 3
330.57/330.77	s OPTIMUM FOUND
330.57/330.77	c Total time: 330.655 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/node48/watcher-453007-1178010089 -o ROOT/results/node48/solver-453007-1178010089 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453007-1178010089/instance-453007-1178010089.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.95 1.01 0.99 3/70 31234
/proc/meminfo: memFree=1791440/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=3932 CPUtime=0
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 155854240 4026368 348 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 983 349 290 324 0 51 0

[startup+0.093503 s]
/proc/loadavg: 0.95 1.01 0.99 3/70 31234
/proc/meminfo: memFree=1791440/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=4972 CPUtime=0.08
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 667 0 0 0 8 0 0 0 18 0 1 0 155854240 5091328 635 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 1243 635 310 324 0 313 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 4972

[startup+0.101502 s]
/proc/loadavg: 0.95 1.01 0.99 3/70 31234
/proc/meminfo: memFree=1791440/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=5104 CPUtime=0.09
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 677 0 0 0 9 0 0 0 18 0 1 0 155854240 5226496 645 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 1276 645 310 324 0 346 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5104

[startup+0.301521 s]
/proc/loadavg: 0.95 1.01 0.99 3/70 31234
/proc/meminfo: memFree=1791440/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=6652 CPUtime=0.29
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 1056 0 0 0 29 0 0 0 19 0 1 0 155854240 6811648 1024 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 1663 1024 310 324 0 733 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6652

[startup+0.701558 s]
/proc/loadavg: 0.95 1.01 0.99 3/70 31234
/proc/meminfo: memFree=1791440/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=8596 CPUtime=0.69
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 1563 0 0 0 68 1 0 0 23 0 1 0 155854240 8802304 1531 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3966587 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 2149 1531 310 324 0 1219 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8596

[startup+1.50163 s]
/proc/loadavg: 0.95 1.01 0.99 2/71 31235
/proc/meminfo: memFree=1785736/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=10396 CPUtime=1.49
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 2023 0 0 0 148 1 0 0 25 0 1 0 155854240 10645504 1991 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3962161 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 2599 1991 310 324 0 1669 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10396

[startup+3.10279 s]
/proc/loadavg: 0.95 1.01 0.99 2/71 31235
/proc/meminfo: memFree=1783112/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=13376 CPUtime=3.09
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 2752 0 0 0 307 2 0 0 25 0 1 0 155854240 13697024 2720 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551076 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 3344 2720 310 324 0 2414 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13376

[startup+6.30108 s]
/proc/loadavg: 0.95 1.01 0.99 2/71 31243
/proc/meminfo: memFree=1781192/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=13764 CPUtime=6.29
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 2849 0 0 0 626 3 0 0 25 0 1 0 155854240 14094336 2817 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 3441 2817 310 324 0 2511 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 13764

[startup+12.7017 s]
/proc/loadavg: 0.95 1.01 0.99 2/71 31249
/proc/meminfo: memFree=1777424/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=17352 CPUtime=12.68
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 3753 0 0 0 1265 3 0 0 25 0 1 0 155854240 17768448 3721 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134586550 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 4338 3721 310 324 0 3408 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17352

[startup+25.5019 s]
/proc/loadavg: 0.96 1.01 0.99 2/71 31257
/proc/meminfo: memFree=1774424/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=20572 CPUtime=25.47
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 4550 0 0 0 2543 4 0 0 25 0 1 0 155854240 21065728 4518 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573354 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 5143 4518 310 324 0 4213 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 20572

[startup+51.1012 s]
/proc/loadavg: 0.97 1.00 0.99 2/65 31277
/proc/meminfo: memFree=1773712/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=23024 CPUtime=51.04
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5167 0 0 0 5100 4 0 0 25 0 1 0 155854240 23576576 5135 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3964852 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 5756 5135 310 324 0 4826 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 23024

[startup+102.306 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 31277
/proc/meminfo: memFree=1770384/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=25748 CPUtime=102.23
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5849 0 0 0 10219 4 0 0 25 0 1 0 155854240 26365952 5817 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 6437 5817 310 324 0 5507 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 25748

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 31277
/proc/meminfo: memFree=1770384/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=25716 CPUtime=162.21
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 16217 4 0 0 25 0 1 0 155854240 26333184 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160521800 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 6429 5819 311 324 0 5499 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 25716

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 31277
/proc/meminfo: memFree=1770384/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=25708 CPUtime=222.2
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 22215 5 0 0 25 0 1 0 155854240 26324992 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 6427 5819 311 324 0 5497 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 25708

[startup+282.302 s]
/proc/loadavg: 1.05 1.01 1.00 2/65 31277
/proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=25704 CPUtime=282.19
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 28214 5 0 0 25 0 1 0 155854240 26320896 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 6426 5819 311 324 0 5496 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 25704

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

[startup+307.102 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 31277
/proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=25704 CPUtime=306.98
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 30693 5 0 0 25 0 1 0 155854240 26320896 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550829 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 6426 5819 311 324 0 5496 0
Current children cumulated CPU time (s) 306.98
Current children cumulated vsize (KiB) 25704

[startup+319.901 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 31277
/proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=25704 CPUtime=319.78
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 31973 5 0 0 25 0 1 0 155854240 26320896 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551093 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 6426 5819 311 324 0 5496 0
Current children cumulated CPU time (s) 319.78
Current children cumulated vsize (KiB) 25704

[startup+326.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 31277
/proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=25704 CPUtime=326.18
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 32613 5 0 0 25 0 1 0 155854240 26320896 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 6426 5819 311 324 0 5496 0
Current children cumulated CPU time (s) 326.18
Current children cumulated vsize (KiB) 25704

[startup+327.903 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 31277
/proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=25704 CPUtime=327.78
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 32773 5 0 0 25 0 1 0 155854240 26320896 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 6426 5819 311 324 0 5496 0
Current children cumulated CPU time (s) 327.78
Current children cumulated vsize (KiB) 25704

[startup+329.502 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 31277
/proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=25704 CPUtime=329.37
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 32932 5 0 0 25 0 1 0 155854240 26320896 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 6426 5819 311 324 0 5496 0
Current children cumulated CPU time (s) 329.37
Current children cumulated vsize (KiB) 25704

[startup+330.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 31277
/proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=25704 CPUtime=330.17
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 33012 5 0 0 25 0 1 0 155854240 26320896 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 6426 5819 311 324 0 5496 0
Current children cumulated CPU time (s) 330.17
Current children cumulated vsize (KiB) 25704

[startup+330.701 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 31277
/proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=25704 CPUtime=330.57
/proc/31234/stat : 31234 (bsolo3.0.17) R 31232 31234 30375 0 -1 4194304 5851 0 0 0 33052 5 0 0 25 0 1 0 155854240 26320896 5819 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 3965411 0 0 4096 16384 0 0 0 17 1 0 0
/proc/31234/statm: 6426 5819 311 324 0 5496 0
Current children cumulated CPU time (s) 330.57
Current children cumulated vsize (KiB) 25704

[startup+330.801 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 31277
/proc/meminfo: memFree=1770320/2055920 swapFree=4183896/4192956
[pid=31234] ppid=31232 vsize=0 CPUtime=330.65
/proc/31234/stat : 31234 (bsolo3.0.17) D 31232 31234 30375 0 -1 4194308 5855 0 0 0 33060 5 0 0 24 0 1 0 155854240 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 16384 18446744072100051646 0 0 17 0 0 0
/proc/31234/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 330.65
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 330.803
CPU time (s): 330.664
CPU user time (s): 330.608
CPU system time (s): 0.055991
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (KiB): 25748

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

runsolver used 0.285956 second user time and 0.648901 second system time

The end

Launcher Data (download as text)

Begin job on node48 on Tue May  1 09:01:29 UTC 2007

IDJOB= 453007
IDBENCH= 48074
IDSOLVER= 199
FILE ID= node48/453007-1178010089

PBS_JOBID= 4728312

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=107-P1=89-P2=97-P3=41-P4=137-P5=181-P6=11-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453007-1178010089/instance-453007-1178010089.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-453007-1178010089 -o ROOT/results/node48/solver-453007-1178010089 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/453007-1178010089/instance-453007-1178010089.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  931666055852afe6f909d62fafedf38c

RANDOM SEED= 123270646

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node48.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.238
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.238
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:       1791848 kB
Buffers:         24820 kB
Cached:         164232 kB
SwapCached:       3116 kB
Active:          55024 kB
Inactive:       145056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1791848 kB
SwapTotal:     4192956 kB
SwapFree:      4183896 kB
Dirty:            6612 kB
Writeback:           0 kB
Mapped:          17432 kB
Slab:            49616 kB
Committed_AS:  1392184 kB
PageTables:       1612 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 node48 on Tue May  1 09:07:00 UTC 2007