Trace number 429582

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 498.325 498.468

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=107-B.opb
MD5SUMc4232b649086935e0cf725c77927c83f
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.157975
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/429582-1177986656/instance-429582-1177986656.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.008 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.
28.38/28.48	c      106    528      893     8516    9     3018    4875    106   6625 0.02
28.38/28.48	c      256    528     1043    17460   16     3325    5363    256   9846 0.03
28.38/28.48	c      481    528     1268    30700   24     3747    5900    481  11186 0.04
28.38/28.48	c      820    528     1607    52377   32     4332    6491    820  11388 0.07
28.38/28.48	c     1328    528     2115    90333   42     5270    7141   1328  10456 0.13
28.38/28.48	c     2092    528     2879   134612   46     6809    7856   2092   8334 0.25
28.38/28.48	c     3239    528     4026   210876   52     9120    8642   3239   7900 0.41
28.38/28.48	c     4960    528     5747   317970   55    12640    9507   4960   6334 0.78
28.38/28.48	c     7545    528     8332   495091   59    17764   10458   7545   5955 1.27
28.38/28.48	c    11424    528     6680   385778   57    14462   11504   5893   3855 2.96
28.38/28.48	c    17246    528     6695   336911   50    14474   12655   5908   2884 5.98
28.38/28.48	c    25983    528     9044   469037   51    19151   13921   8257   2410 10.78
28.38/28.48	c    39093    528     7769   474485   61    16625   15314   6982   2660 14.69
28.38/28.48	c    58765    528    11720   660530   56    24509   16846  10933   2170 27.07
28.38/28.48	o 161	28.47
272.51/272.60	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
272.51/272.60	c    65440    528     9545   601225   62    20193    4447   8758   2298 28.47
272.51/272.60	c    65541    528     3113   171148   54     7413    4892   2326   2297 28.53
272.51/272.60	c    65792    528     3364   189469   56     7905    5382   2577   2303 28.56
272.51/272.60	c    66267    528     3839   218268   56     8849    5921   3052   2316 28.60
272.51/272.60	c    67082    528     4654   271494   58    10507    6514   3867   2335 28.72
272.51/272.60	c    68402    528     5974   354331   59    13052    7166   5187   2361 28.96
272.51/272.60	c    70484    528     4371   241397   55     9853    7883   3584   2404 29.32
272.51/272.60	c    73708    528     7595   437723   57    16205    8672   6808   2447 30.12
272.51/272.60	c    78644    528     8022   463644   57    17157    9540   7235   2508 31.36
272.51/272.60	c    86151    528     5558   317508   57    12216   10495   4771   2568 33.54
272.51/272.60	c    97512    528     6036   318282   52    13191   11545   5249   2564 38.03
272.51/272.60	c   114656    528    11007   705723   64    23069   12700  10220   2501 45.83
272.51/272.60	c   140475    528    10570   609759   57    22236   13971   9783   2365 59.38
272.51/272.60	c   179309    528    12618   795977   63    26325   15369  11831   2137 83.87
272.51/272.60	c   237662    528    15013   862035   57    31181   16906  14226   1871 126.98
272.51/272.60	c   325294    528    15301  1157202   75    31726   18597  14514   1733 187.68
272.51/272.60	o 61	272.522
349.89/350.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
349.89/350.08	c   425177    527    18939  1177675   62    39079    4447  18152   1560 272.52
349.89/350.08	c   425277    527     3114   156536   50     7418    4892   2327   1558 272.84
349.89/350.08	c   425528    527     3365   172915   51     7889    5382   2578   1559 272.86
349.89/350.08	c   426004    527     3841   204171   53     8856    5921   3054   1560 272.93
349.89/350.08	c   426817    527     4654   264022   56    10451    6514   3867   1563 273.05
349.89/350.08	c   428137    527     5974   351854   58    13128    7166   5187   1566 273.30
349.89/350.08	c   430219    527     4395   246233   56     9924    7883   3608   1570 273.94
349.89/350.08	c   433443    527     7619   461518   60    16418    8672   6832   1574 275.30
349.89/350.08	c   438379    527     8157   487363   59    17486    9540   7370   1578 277.67
349.89/350.08	c   445885    527     5990   334460   55    13118   10495   5203   1581 281.94
349.89/350.08	c   457247    517     6478   356481   55    14101   11545   5691   1590 287.49
349.89/350.08	c   474391    517    11948   695238   58    25002   12700  11161   1585 299.16
349.89/350.08	c   500210    517    10665   650527   60    22476   13971   9878   1588 314.94
349.89/350.08	c   539042    504    12641   797815   63    26381   15369  11854   1582 340.73
349.89/350.08	o 25	349.979
415.67/415.81	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
415.67/415.81	c   555729    504    13335   837740   62    27887    4443  12548   1587 349.98
415.67/415.81	c   555831    504     3118   147972   47     7487    4888   2331   1587 350.21
415.67/415.81	c   556082    494     3369   165614   49     7967    5377   2582   1587 350.23
415.67/415.81	c   556558    494     3845   198829   51     8922    5915   3058   1588 350.29
415.67/415.81	c   557371    494     4658   251188   53    10520    6507   3871   1590 350.45
415.67/415.81	c   558691    494     5978   336341   56    13134    7158   5191   1592 350.81
415.67/415.81	c   560772    494     4380   235455   53     9933    7874   3593   1594 351.58
415.67/415.81	c   563995    494     7603   442594   58    16390    8662   6816   1598 352.79
415.67/415.81	c   568931    494     8113   474135   58    17426    9529   7326   1602 355.08
415.67/415.81	c   576437    494     5898   326070   55    12965   10482   5111   1604 359.27
415.67/415.81	c   587798    494     6036   341212   56    13139   11531   5249   1614 363.97
415.67/415.81	c   604943    494    11373   665561   58    23845   12685  10586   1612 375.12
415.67/415.81	c   630763    494    11497   662841   57    24073   13954  10710   1603 393.46
415.67/415.81	c   669595    494    13306   877583   65    27736   15350  12519   1619 413.36
415.67/415.81	o 19	415.699
417.07/417.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
417.07/417.25	c   677235    493    13129   829776   63    27438    4441  12342   1629 415.70
417.07/417.25	c   677335    493     3116   142445   45     7383    4886   2329   1628 415.83
417.07/417.25	c   677585    493     3366   159821   47     7887    5375   2579   1629 415.86
417.07/417.25	c   678061    493     3842   192247   50     8853    5913   3055   1630 415.92
417.07/417.25	c   678875    493     4656   248051   53    10540    6505   3869   1631 416.05
417.07/417.25	c   680195    493     5976   336926   56    13191    7156   5189   1633 416.33
417.07/417.25	c   682277    493     4384   242576   55     9971    7872   3597   1636 417.04
417.07/417.25	o 9	417.135
421.97/422.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
421.97/422.14	c   683188    493     5296   302310   57    11814    4441   4509   1637 417.13
421.97/422.14	c   683289    483     3117   156398   50     7390    4886   2330   1637 417.18
421.97/422.14	c   683540    483     3368   173097   51     7899    5375   2581   1638 417.20
421.97/422.14	c   684016    483     3844   203177   52     8847    5913   3057   1639 417.31
421.97/422.14	c   684833    483     4661   254294   54    10469    6505   3874   1640 417.54
421.97/422.14	c   686153    483     5981   337779   56    13138    7156   5194   1641 417.98
421.97/422.14	c   688235    483     4376   227227   51     9913    7872   3589   1642 418.95
421.97/422.14	c   691459    483     7600   435975   57    16323    8660   6813   1645 420.17
421.97/422.14	o 3	422.018
498.25/498.46	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
498.25/498.46	c   695711    483     7418   428303   57    16005    4439   6631   1648 422.02
498.25/498.46	c   695812    474     3117   154208   49     7449    4883   2330   1648 422.06
498.25/498.46	c   696064    474     3369   171796   50     7952    5372   2582   1649 422.09
498.25/498.46	c   696539    474     3844   202324   52     8860    5910   3057   1649 422.18
498.25/498.46	c   697352    474     4657   254053   54    10502    6502   3870   1651 422.36
498.25/498.46	c   698672    474     5977   339007   56    13120    7153   5190   1652 422.74
498.25/498.46	c   700753    474     4376   230406   52     9936    7869   3589   1654 423.64
498.25/498.46	c   703976    465     7599   431861   56    16378    8656   6812   1655 425.14
498.25/498.46	c   708915    452     7926   464940   58    16950    9522   7139   1662 426.35
498.25/498.46	c   716421    452     5643   305251   54    12437   10475   4856   1668 429.40
498.25/498.46	c   727783    452     6119   343004   56    13396   11523   5332   1673 434.89
498.25/498.46	c   744928    451    11436   649746   56    24002   12676  10649   1660 448.52
498.25/498.46	c   770748    449    10956   641268   58    23109   13944  10169   1660 464.29
498.25/498.46	c   809581    449    14058   811615   57    29321   15339  13271   1659 487.98
498.25/498.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 -x31
498.25/498.46	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 x60
498.25/498.46	v x61 -x62 -x63 -x64 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x105 -x106 x107 -x108
498.25/498.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
498.25/498.46	v -x84 -x85 -x86 -x87 -x88 -x121 -x122 x123 -x124 -x125 -x126 -x127 -x128 x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x129 -x130 -x131
498.25/498.46	v -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144
498.25/498.46	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
498.25/498.46	c   87   821698   6497   850881    10596   542924   9809   1648 498.32
498.25/498.46	c Objective: 3
498.25/498.46	s OPTIMUM FOUND
498.25/498.46	c Total time: 498.318 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/node63/watcher-429582-1177986656 -o ROOT/results/node63/solver-429582-1177986656 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429582-1177986656/instance-429582-1177986656.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.97 0.99 3/64 17935
/proc/meminfo: memFree=1769396/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=11744 CPUtime=0
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 377 0 0 0 0 0 0 0 18 0 1 0 274655526 12025856 346 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 983 346 291 324 0 50 0

[startup+0.0725271 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 17935
/proc/meminfo: memFree=1769396/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=4852 CPUtime=0.06
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 624 0 0 0 6 0 0 0 18 0 1 0 274655526 4968448 591 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 1213 591 312 324 0 282 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4852

[startup+0.101529 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 17935
/proc/meminfo: memFree=1769396/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=5240 CPUtime=0.09
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 707 0 0 0 9 0 0 0 18 0 1 0 274655526 5365760 674 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 1310 675 312 324 0 379 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5240

[startup+0.301549 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 17935
/proc/meminfo: memFree=1769396/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=6400 CPUtime=0.29
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 998 0 0 0 29 0 0 0 19 0 1 0 274655526 6553600 965 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3405435 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 1600 965 312 324 0 669 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6400

[startup+0.701592 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 17935
/proc/meminfo: memFree=1769396/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=8464 CPUtime=0.69
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 1537 0 0 0 68 1 0 0 22 0 1 0 274655526 8667136 1504 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 2116 1504 312 324 0 1185 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8464

[startup+1.50268 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1763052/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=12064 CPUtime=1.5
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 2424 0 0 0 148 2 0 0 25 0 1 0 274655526 12353536 2391 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 3016 2391 312 324 0 2085 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 12064

[startup+3.10185 s]
/proc/loadavg: 0.85 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1759596/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=14376 CPUtime=3.09
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 3000 0 0 0 306 3 0 0 25 0 1 0 274655526 14721024 2967 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 3594 2967 312 324 0 2663 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14376

[startup+6.30118 s]
/proc/loadavg: 0.86 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1758316/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=14508 CPUtime=6.29
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 3037 0 0 0 626 3 0 0 25 0 1 0 274655526 14856192 3004 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 3627 3004 312 324 0 2696 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 14508

[startup+12.7019 s]
/proc/loadavg: 0.87 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1757172/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=16648 CPUtime=12.69
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 3571 0 0 0 1264 5 0 0 25 0 1 0 274655526 17047552 3538 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 4162 3538 312 324 0 3231 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16648

[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1754356/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=18576 CPUtime=25.48
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 4057 0 0 0 2540 8 0 0 25 0 1 0 274655526 19021824 4024 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 4644 4024 312 324 0 3713 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18576

[startup+51.1019 s]
/proc/loadavg: 0.93 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1752500/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=20356 CPUtime=51.07
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 4511 0 0 0 5092 15 0 0 25 0 1 0 274655526 20844544 4478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 5089 4478 313 324 0 4158 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 20356

[startup+102.305 s]
/proc/loadavg: 0.97 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1752500/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=20356 CPUtime=102.27
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 4511 0 0 0 10203 24 0 0 25 0 1 0 274655526 20844544 4478 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 5089 4478 313 324 0 4158 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 20356

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1751028/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=21748 CPUtime=162.25
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 4860 0 0 0 16193 32 0 0 25 0 1 0 274655526 22269952 4827 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 5437 4827 313 324 0 4506 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 21748

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1747572/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=25232 CPUtime=222.23
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 5728 0 0 0 22182 41 0 0 25 0 1 0 274655526 25837568 5695 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 6308 5695 313 324 0 5377 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 25232

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1747508/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=25228 CPUtime=282.21
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 5728 0 0 0 28170 51 0 0 25 0 1 0 274655526 25833472 5695 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 6307 5695 313 324 0 5376 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 25228

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1747508/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=25208 CPUtime=342.19
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 5728 0 0 0 34158 61 0 0 25 0 1 0 274655526 25812992 5695 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 6302 5695 313 324 0 5371 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 25208

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1747444/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=25192 CPUtime=402.17
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 5728 0 0 0 40145 72 0 0 25 0 1 0 274655526 25796608 5693 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 6298 5693 313 324 0 5367 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 25192

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1747508/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=25188 CPUtime=462.16
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 5728 0 0 0 46132 84 0 0 25 0 1 0 274655526 25792512 5692 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 6297 5692 313 324 0 5366 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 25188

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

[startup+473.502 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1747508/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=25188 CPUtime=473.36
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 5728 0 0 0 47250 86 0 0 25 0 1 0 274655526 25792512 5692 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 6297 5692 313 324 0 5366 0
Current children cumulated CPU time (s) 473.36
Current children cumulated vsize (KiB) 25188

[startup+486.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1747508/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=25188 CPUtime=486.16
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 5728 0 0 0 48527 89 0 0 25 0 1 0 274655526 25792512 5692 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 6297 5692 313 324 0 5366 0
Current children cumulated CPU time (s) 486.16
Current children cumulated vsize (KiB) 25188

[startup+492.702 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1747508/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=25188 CPUtime=492.55
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 5728 0 0 0 49165 90 0 0 25 0 1 0 274655526 25792512 5692 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 6297 5692 313 324 0 5366 0
Current children cumulated CPU time (s) 492.55
Current children cumulated vsize (KiB) 25188

[startup+495.902 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1747444/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=25188 CPUtime=495.75
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 5728 0 0 0 49485 90 0 0 25 0 1 0 274655526 25792512 5692 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 6297 5692 313 324 0 5366 0
Current children cumulated CPU time (s) 495.75
Current children cumulated vsize (KiB) 25188

[startup+497.502 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1747444/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=25188 CPUtime=497.35
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 5728 0 0 0 49645 90 0 0 25 0 1 0 274655526 25792512 5692 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 3403204 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 6297 5692 313 324 0 5366 0
Current children cumulated CPU time (s) 497.35
Current children cumulated vsize (KiB) 25188

[startup+497.901 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1747444/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=25188 CPUtime=497.74
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 5728 0 0 0 49684 90 0 0 25 0 1 0 274655526 25792512 5692 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 6297 5692 313 324 0 5366 0
Current children cumulated CPU time (s) 497.74
Current children cumulated vsize (KiB) 25188

[startup+498.304 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1747444/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=25188 CPUtime=498.15
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 5728 0 0 0 49724 91 0 0 25 0 1 0 274655526 25792512 5692 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 6297 5692 313 324 0 5366 0
Current children cumulated CPU time (s) 498.15
Current children cumulated vsize (KiB) 25188

[startup+498.401 s]
/proc/loadavg: 0.99 0.97 0.99 2/65 17936
/proc/meminfo: memFree=1747444/2055920 swapFree=4182900/4192956
[pid=17935] ppid=17933 vsize=25188 CPUtime=498.25
/proc/17935/stat : 17935 (bsolo3.0.16) R 17933 17935 16479 0 -1 4194304 5728 0 0 0 49734 91 0 0 25 0 1 0 274655526 25792512 5692 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/17935/statm: 6297 5692 313 324 0 5366 0
Current children cumulated CPU time (s) 498.25
Current children cumulated vsize (KiB) 25188

Child status: 0
Real time (s): 498.468
CPU time (s): 498.325
CPU user time (s): 497.408
CPU system time (s): 0.91686
CPU usage (%): 99.9715
Max. virtual memory (cumulated for all children) (KiB): 25232

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

runsolver used 0.375942 second user time and 0.991849 second system time

The end

Launcher Data (download as text)

Begin job on node63 on Tue May  1 02:30:56 UTC 2007

IDJOB= 429582
IDBENCH= 47919
IDSOLVER= 163
FILE ID= node63/429582-1177986656

PBS_JOBID= 4727935

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=197-P1=97-P2=163-P3=151-P4=53-P5=139-P6=107-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429582-1177986656/instance-429582-1177986656.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node63/watcher-429582-1177986656 -o ROOT/results/node63/solver-429582-1177986656 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/429582-1177986656/instance-429582-1177986656.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  c4232b649086935e0cf725c77927c83f

RANDOM SEED= 380890950

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node63.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.232
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.232
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:       1769804 kB
Buffers:         20940 kB
Cached:         188652 kB
SwapCached:       3860 kB
Active:         102136 kB
Inactive:       117568 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1769804 kB
SwapTotal:     4192956 kB
SwapFree:      4182900 kB
Dirty:            6724 kB
Writeback:           0 kB
Mapped:          16052 kB
Slab:            52412 kB
Committed_AS:  2374756 kB
PageTables:       1464 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 node63 on Tue May  1 02:39:15 UTC 2007