Trace number 431752

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.16OPT3 332.236 332.473

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.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/431752-1178010008/instance-431752-1178010008.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.004 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.84/125.03	c      100    528      887     9701   10     2982    4875    100   5555 0.02
124.84/125.03	c      251    528     1038    20522   19     3251    5363    251   8096 0.03
124.84/125.03	c      476    528     1263    35878   28     3668    5900    476   9333 0.05
124.84/125.03	c      815    528     1602    58194   36     4342    6491    815   9939 0.08
124.84/125.03	c     1323    528     2110    90674   42     5369    7141   1323   9656 0.14
124.84/125.03	c     2087    528     2874   136596   47     6905    7856   2087   8695 0.24
124.84/125.03	c     3235    528     4022   212770   52     9214    8642   3235   8231 0.39
124.84/125.03	c     4957    528     5744   316296   55    12602    9507   4957   6707 0.74
124.84/125.03	c     7542    528     8329   466934   56    17769   10458   7542   4457 1.69
124.84/125.03	c    11421    528     6913   362280   52    14962   11504   6126   3101 3.68
124.84/125.03	c    17248    528     6948   359467   51    15009   12655   6161   2568 6.71
124.84/125.03	c    25985    528     9034   566006   62    19112   13921   8247   2580 10.07
124.84/125.03	c    39096    528     8094   430319   53    17277   15314   7307   2469 15.83
124.84/125.03	c    58767    528    11722   847962   72    24550   16846  10935   2322 25.30
124.84/125.03	c    88278    528    15348  1040427   67    31776   18531  14561   1767 49.94
124.84/125.03	c   132549    528    11884   939348   79    24892   20385  11097   1595 83.10
124.84/125.03	o 135	124.879
178.31/178.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
178.31/178.58	c   190683    525    17320  1111604   64    35721    4447  16533   1526 124.88
178.31/178.58	c   190787    525     3118   160709   51     7366    4892   2331   1525 125.07
178.31/178.58	c   191038    525     3369   178189   52     7836    5382   2582   1527 125.10
178.31/178.58	c   191513    525     3844   209868   54     8775    5921   3057   1530 125.16
178.31/178.58	c   192326    525     4657   263875   56    10414    6514   3870   1534 125.31
178.31/178.58	c   193647    525     5978   351124   58    13072    7166   5191   1541 125.62
178.31/178.58	c   195728    525     4373   239678   54     9884    7883   3586   1550 126.20
178.31/178.58	c   198952    525     7597   455225   59    16304    8672   6810   1565 127.12
178.31/178.58	c   203888    525     7983   508571   63    17183    9540   7196   1590 128.22
178.31/178.58	c   211394    525     5560   310845   55    12375   10495   4773   1611 131.16
178.31/178.58	c   222755    525     6337   365286   57    13870   11545   5550   1600 139.18
178.31/178.58	c   239900    525    11807   694992   58    24789   12700  11020   1604 149.54
178.31/178.58	c   265719    525    10858   632269   58    22850   13971  10071   1596 166.46
178.31/178.58	o 17	178.402
224.70/224.94	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
224.70/224.94	c   290478    524    13884   877278   63    28936    4447  13097   1628 178.40
224.70/224.94	c   290579    515     3118   164502   52     7412    4892   2331   1627 178.50
224.70/224.94	c   290829    515     3368   181788   53     7908    5382   2581   1629 178.53
224.70/224.94	c   291304    515     3843   213057   55     8824    5921   3056   1631 178.59
224.70/224.94	c   292118    515     4657   266891   57    10442    6514   3870   1634 178.74
224.70/224.94	c   293439    515     5978   351326   58    13089    7166   5191   1638 179.05
224.70/224.94	c   295520    515     4411   234994   53     9991    7883   3624   1643 179.81
224.70/224.94	c   298744    515     7635   439588   57    16425    8672   6848   1649 181.13
224.70/224.94	c   303682    515     8156   472855   57    17462    9540   7369   1654 183.59
224.70/224.94	c   311188    515     5993   332172   55    13124   10495   5206   1658 187.66
224.70/224.94	c   322549    515     6711   370228   55    14563   11545   5924   1662 193.98
224.70/224.94	c   339694    515    12181   693961   56    25509   12700  11394   1664 204.05
224.70/224.94	c   365514    506    11506   702894   61    24167   13971  10719   1680 217.45
224.70/224.94	o 11	224.746
228.00/228.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
228.00/228.24	c   381648    491    13133   780122   59    27431    4441  12346   1698 224.75
228.00/228.24	c   381748    491     3120   138678   44     7440    4886   2333   1696 224.97
228.00/228.24	c   381999    491     3371   156397   46     7928    5375   2584   1697 225.00
228.00/228.24	c   382476    491     3848   189359   49     8867    5913   3061   1699 225.07
228.00/228.24	c   383290    481     4662   247488   53    10538    6505   3875   1701 225.24
228.00/228.24	c   384611    481     5983   339084   56    13141    7156   5196   1705 225.45
228.00/228.24	c   386693    481     4378   238106   54     9896    7872   3591   1709 226.19
228.00/228.24	c   389917    481     7602   448289   58    16323    8660   6815   1715 227.36
228.00/228.24	o 9	228.044
228.79/229.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
228.79/229.05	c   391656    481     9342   561720   60    19807    4439   8555   1717 228.04
228.79/229.05	c   391756    481     3118   154005   49     7355    4883   2331   1717 228.12
228.79/229.05	c   392008    481     3370   168321   49     7961    5372   2583   1718 228.15
228.79/229.05	c   392484    481     3846   196642   51     8893    5910   3059   1719 228.19
228.79/229.05	c   393297    481     4659   252237   54    10493    6502   3872   1722 228.33
228.79/229.05	c   394618    481     5980   340550   56    13115    7153   5193   1725 228.64
228.79/229.05	o 5	228.852
235.60/235.84	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
235.60/235.84	c   395472    481     6835   393757   57    14843    4439   6048   1728 228.85
235.60/235.84	c   395572    481     3120   152457   48     7399    4883   2333   1728 228.88
235.60/235.84	c   395823    481     3371   168435   49     7925    5372   2584   1729 228.92
235.60/235.84	c   396299    471     3847   200013   51     8890    5910   3060   1730 229.01
235.60/235.84	c   397113    471     4661   255524   54    10501    6502   3874   1732 229.19
235.60/235.84	c   398434    471     5982   344008   57    13145    7153   5195   1735 229.57
235.60/235.84	c   400516    471     4378   239537   54     9939    7869   3591   1737 230.49
235.60/235.84	c   403739    471     7601   446586   58    16360    8656   6814   1739 232.08
235.60/235.84	c   408675    471     8095   465644   57    17325    9522   7308   1739 234.88
235.60/235.84	o 3	235.645
332.15/332.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
332.15/332.46	c   411505    471     5905   329849   55    12967    4437   5118   1746 235.65
332.15/332.46	c   411605    450     3120   154214   49     7394    4881   2333   1746 235.68
332.15/332.46	c   411856    450     3371   170649   50     7898    5370   2584   1747 235.70
332.15/332.46	c   412331    450     3846   205249   53     8891    5908   3059   1749 235.75
332.15/332.46	c   413144    450     4659   258386   55    10447    6499   3872   1751 235.91
332.15/332.46	c   414464    450     5979   344542   57    13095    7149   5192   1754 236.25
332.15/332.46	c   416545    450     4378   233695   53     9920    7864   3591   1758 236.94
332.15/332.46	c   419769    450     7602   438082   57    16358    8651   6815   1762 238.22
332.15/332.46	c   424706    450     7943   458220   57    17054    9517   7156   1772 239.63
332.15/332.46	c   432212    450     5608   309056   55    12369   10469   4821   1783 242.36
332.15/332.46	c   443573    450     6038   338384   56    13216   11516   5251   1800 246.36
332.15/332.46	c   460717    450    11330   672424   59    23814   12668  10543   1808 254.79
332.15/332.46	c   486536    450    10874   665802   61    22922   13935  10087   1803 269.78
332.15/332.46	c   525369    447    13972   836794   59    29094   15329  13185   1789 293.51
332.15/332.46	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
332.15/332.46	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
332.15/332.46	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
332.15/332.46	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
332.15/332.46	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
332.15/332.46	v -x133 -x134 -x135 -x136 x137 x138 -x139 -x140 x141 -x142 -x143 -x144
332.15/332.46	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
332.15/332.46	c   79   570825   3828   592138    12658   715012  11871   1718 332.23
332.15/332.46	c Objective: 3
332.15/332.46	s OPTIMUM FOUND
332.15/332.46	c Total time: 332.23 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/node20/watcher-431752-1178010008 -o ROOT/results/node20/solver-431752-1178010008 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431752-1178010008/instance-431752-1178010008.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.85 0.95 0.97 3/77 10970
/proc/meminfo: memFree=1794576/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=11744 CPUtime=0
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 248918110 12025856 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 983 346 291 324 0 50 0

[startup+0.0608079 s]
/proc/loadavg: 0.85 0.95 0.97 3/77 10970
/proc/meminfo: memFree=1794576/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=4712 CPUtime=0.05
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 587 0 0 0 5 0 0 0 18 0 1 0 248918110 4825088 554 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 1178 554 312 324 0 247 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 4712

[startup+0.102816 s]
/proc/loadavg: 0.85 0.95 0.97 3/77 10970
/proc/meminfo: memFree=1794576/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=5104 CPUtime=0.09
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 678 0 0 0 9 0 0 0 18 0 1 0 248918110 5226496 645 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 1276 645 312 324 0 345 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5104

[startup+0.301863 s]
/proc/loadavg: 0.85 0.95 0.97 3/77 10970
/proc/meminfo: memFree=1794576/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=6524 CPUtime=0.28
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 1054 0 0 0 28 0 0 0 19 0 1 0 248918110 6680576 1021 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 1631 1021 312 324 0 700 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6524

[startup+0.701937 s]
/proc/loadavg: 0.85 0.95 0.97 3/77 10970
/proc/meminfo: memFree=1794576/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=8596 CPUtime=0.69
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 1564 0 0 0 68 1 0 0 23 0 1 0 248918110 8802304 1531 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 2149 1531 312 324 0 1218 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8596

[startup+1.5011 s]
/proc/loadavg: 0.85 0.95 0.97 2/78 10971
/proc/meminfo: memFree=1788872/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=10396 CPUtime=1.49
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 2025 0 0 0 147 2 0 0 25 0 1 0 248918110 10645504 1992 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 8054395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 2599 1992 312 324 0 1668 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10396

[startup+3.10142 s]
/proc/loadavg: 0.85 0.95 0.97 2/78 10971
/proc/meminfo: memFree=1786312/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=13376 CPUtime=3.09
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 2751 0 0 0 306 3 0 0 25 0 1 0 248918110 13697024 2718 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 3344 2718 312 324 0 2413 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 13376

[startup+6.30106 s]
/proc/loadavg: 0.86 0.95 0.97 2/78 10971
/proc/meminfo: memFree=1784328/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=13636 CPUtime=6.28
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 2834 0 0 0 624 4 0 0 25 0 1 0 248918110 13963264 2801 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 3409 2801 312 324 0 2478 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13636

[startup+12.7013 s]
/proc/loadavg: 0.87 0.95 0.97 2/78 10971
/proc/meminfo: memFree=1780760/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=17352 CPUtime=12.68
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 3756 0 0 0 1262 6 0 0 25 0 1 0 248918110 17768448 3723 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 4338 3723 312 324 0 3407 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 17352

[startup+25.5029 s]
/proc/loadavg: 0.90 0.96 0.97 2/78 10971
/proc/meminfo: memFree=1777624/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=20572 CPUtime=25.48
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 4553 0 0 0 2539 9 0 0 25 0 1 0 248918110 21065728 4520 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 5143 4520 312 324 0 4212 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 20572

[startup+51.1021 s]
/proc/loadavg: 0.93 0.96 0.97 2/78 10971
/proc/meminfo: memFree=1775768/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=22764 CPUtime=51.07
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5097 0 0 0 5094 13 0 0 25 0 1 0 248918110 23310336 5064 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551516 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 5691 5065 312 324 0 4760 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22764

[startup+102.305 s]
/proc/loadavg: 0.97 0.96 0.97 2/84 11145
/proc/meminfo: memFree=1770984/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=25748 CPUtime=102.16
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5852 0 0 0 10194 22 0 0 25 0 1 0 248918110 26365952 5819 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551255 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 6437 5819 312 324 0 5506 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 25748

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11169
/proc/meminfo: memFree=1771992/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=25716 CPUtime=162.12
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 16179 33 0 0 25 0 1 0 248918110 26333184 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 6429 5821 313 324 0 5498 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 25716

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11169
/proc/meminfo: memFree=1772120/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=25708 CPUtime=222.1
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 22164 46 0 0 25 0 1 0 248918110 26324992 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 6427 5821 313 324 0 5496 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 25708

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11169
/proc/meminfo: memFree=1772120/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=25704 CPUtime=282.07
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 28148 59 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 6426 5821 313 324 0 5495 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 25704

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

[startup+307.102 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11169
/proc/meminfo: memFree=1772184/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=25704 CPUtime=306.86
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 30622 64 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 6426 5821 313 324 0 5495 0
Current children cumulated CPU time (s) 306.86
Current children cumulated vsize (KiB) 25704

[startup+319.901 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11169
/proc/meminfo: memFree=1772312/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=25704 CPUtime=319.66
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 31900 66 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 6426 5821 313 324 0 5495 0
Current children cumulated CPU time (s) 319.66
Current children cumulated vsize (KiB) 25704

[startup+326.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11169
/proc/meminfo: memFree=1772312/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=25704 CPUtime=326.06
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 32539 67 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 6426 5821 313 324 0 5495 0
Current children cumulated CPU time (s) 326.06
Current children cumulated vsize (KiB) 25704

[startup+329.501 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11169
/proc/meminfo: memFree=1772312/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=25704 CPUtime=329.25
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 32858 67 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 6426 5821 313 324 0 5495 0
Current children cumulated CPU time (s) 329.25
Current children cumulated vsize (KiB) 25704

[startup+331.105 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11169
/proc/meminfo: memFree=1772312/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=25704 CPUtime=330.86
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 33018 68 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551091 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 6426 5821 313 324 0 5495 0
Current children cumulated CPU time (s) 330.86
Current children cumulated vsize (KiB) 25704

[startup+331.902 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11169
/proc/meminfo: memFree=1772312/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=25704 CPUtime=331.65
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 33097 68 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 6426 5821 313 324 0 5495 0
Current children cumulated CPU time (s) 331.65
Current children cumulated vsize (KiB) 25704

[startup+332.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11169
/proc/meminfo: memFree=1772312/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=25704 CPUtime=332.05
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 33137 68 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 6426 5821 313 324 0 5495 0
Current children cumulated CPU time (s) 332.05
Current children cumulated vsize (KiB) 25704

[startup+332.402 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 11169
/proc/meminfo: memFree=1772312/2055920 swapFree=4154876/4192956
[pid=10970] ppid=10968 vsize=25704 CPUtime=332.15
/proc/10970/stat : 10970 (bsolo3.0.16) R 10968 10970 10420 0 -1 4194304 5854 0 0 0 33147 68 0 0 25 0 1 0 248918110 26320896 5821 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10970/statm: 6426 5821 313 324 0 5495 0
Current children cumulated CPU time (s) 332.15
Current children cumulated vsize (KiB) 25704

Child status: 0
Real time (s): 332.473
CPU time (s): 332.236
CPU user time (s): 331.541
CPU system time (s): 0.695894
CPU usage (%): 99.9288
Max. virtual memory (cumulated for all children) (KiB): 25748

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 331.541
system time used= 0.695894
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= 10
involuntary context switches= 6844

runsolver used 0.25796 second user time and 0.760884 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Tue May  1 09:00:08 UTC 2007

IDJOB= 431752
IDBENCH= 48074
IDSOLVER= 163
FILE ID= node20/431752-1178010008

PBS_JOBID= 4728299

Free space on /tmp= 66558 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=8-P0=107-P1=89-P2=97-P3=41-P4=137-P5=181-P6=11-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431752-1178010008/instance-431752-1178010008.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-431752-1178010008 -o ROOT/results/node20/solver-431752-1178010008 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/431752-1178010008/instance-431752-1178010008.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  931666055852afe6f909d62fafedf38c

RANDOM SEED= 80571004

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.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.265
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.265
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:       1795048 kB
Buffers:         47440 kB
Cached:         125016 kB
SwapCached:      16448 kB
Active:         115520 kB
Inactive:        80056 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1795048 kB
SwapTotal:     4192956 kB
SwapFree:      4154876 kB
Dirty:            6744 kB
Writeback:           0 kB
Mapped:          29956 kB
Slab:            50876 kB
Committed_AS:  2360108 kB
PageTables:       1744 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 node20 on Tue May  1 09:05:40 UTC 2007