Trace number 430772

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 151.815 151.882

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=211-P1=223-P2=251-P3=3-P4=107-B.opb
MD5SUM1cc97335e4341ed075b6e9adcc382d23
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.097984
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 variables96
Total number of constraints9
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 constraints9
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)256
Sum of products size (including duplicates)512
Number of different products256
Sum of products size512

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/430772-1177998574/instance-430772-1177998574.opb
0.00/0.00	c File size is 4596 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.002 s
0.00/0.00	c Var: 352 Constr: 525 256/0/269 Lit: 2200 Watch. Lit: 1354
0.00/0.00	c Obj. Vars: 8 (2.27273 % of total variables)
0.00/0.01	c Pre-processing Time: 0.006 s
0.00/0.01	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.01	c        0    352      525     2200    4     1890    2949      0      0 0.01
0.00/0.01	c Switching off LPR mode.
20.58/20.67	c      101    352      626     8521   13     2044    3244    101   7769 0.01
20.58/20.67	c      252    352      777    19733   25     2302    3569    252   9692 0.03
20.58/20.67	c      478    352     1003    35851   35     2747    3926    478  11116 0.04
20.58/20.67	c      816    352     1341    60385   45     3379    4319    816  10880 0.07
20.58/20.67	c     1324    352     1849    95649   51     4394    4751   1324  10764 0.12
20.58/20.67	c     2088    352     2613   148548   56     5995    5227   2088   9405 0.22
20.58/20.67	c     3234    352     3759   231833   61     8194    5750   3234   8488 0.38
20.58/20.67	c     4955    352     5480   350847   64    11650    6326   4955   8109 0.61
20.58/20.67	c     7540    352     4592   268922   58     9910    6959   4067   6962 1.08
20.58/20.67	c    11419    352     4925   258683   52    10555    7655   4400   4525 2.52
20.58/20.67	c    17242    352     6613   410441   62    13952    8421   6088   4692 3.67
20.58/20.67	c    25979    352     6303   359775   57    13378    9264   5778   4272 6.08
20.58/20.67	c    39090    352     5327   284040   53    11454   10191   4802   3020 12.94
20.58/20.67	o 225	20.663
43.06/43.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
43.06/43.14	c    56950    352     7025   485137   69    14810    2965   6500   2756 20.66
43.06/43.14	c    57050    352     2109   108950   51     4993    3262   1584   2754 20.71
43.06/43.14	c    57301    352     2360   124480   52     5431    3589   1835   2763 20.73
43.06/43.14	c    57776    352     2835   153872   54     6383    3948   2310   2778 20.79
43.06/43.14	c    58589    352     3648   202880   55     8027    4343   3123   2800 20.92
43.06/43.14	c    59909    352     2698   139118   51     6149    4778   2173   2835 21.13
43.06/43.14	c    61991    352     4780   281761   58    10372    5256   4255   2895 21.41
43.06/43.14	c    65215    352     5323   315070   59    11429    5782   4798   2975 21.92
43.06/43.14	c    70153    352     4112   208002   50     8993    6361   3587   3064 22.89
43.06/43.14	c    77660    352     5125   273998   53    11009    6998   4600   3082 25.19
43.06/43.14	c    89022    352     5820   304156   52    12365    7698   5295   3073 28.96
43.06/43.14	c   106168    352     6623   395518   59    13915    8468   6098   3189 33.29
43.06/43.14	c   131987    352     6168   374347   60    13024    9315   5643   3121 42.28
43.06/43.14	o 129	43.114
52.36/52.42	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
52.36/52.42	c   137198    352     6565   377442   57    13883    2965   6040   3182 43.12
52.36/52.42	c   137299    352     2112   110236   52     4985    3262   1587   3181 43.16
52.36/52.42	c   137551    352     2364   127329   53     5494    3589   1839   3185 43.18
52.36/52.42	c   138027    352     2840   154351   54     6436    3948   2315   3192 43.23
52.36/52.42	c   138840    352     3653   199801   54     8074    4343   3128   3204 43.33
52.36/52.42	c   140163    352     2698   123816   45     6144    4778   2173   3217 43.56
52.36/52.42	c   142244    351     4779   265641   55    10295    5256   4254   3244 43.84
52.36/52.42	c   145467    351     5226   323421   61    11195    5782   4701   3255 44.68
52.36/52.42	c   150404    351     4243   243709   57     9166    6361   3718   3226 46.61
52.36/52.42	c   157910    351     5278   300206   56    11278    6998   4753   3199 49.36
52.36/52.42	o 65	52.391
60.96/61.03	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
60.96/61.03	c   167954    351     4418   274151   62     9633    2965   3893   3205 52.39
60.96/61.03	c   168054    351     2112   114006   53     4990    3262   1587   3205 52.42
60.96/61.03	c   168304    351     2362   130936   55     5472    3589   1837   3209 52.45
60.96/61.03	c   168780    351     2838   162570   57     6383    3948   2313   3214 52.51
60.96/61.03	c   169593    351     3651   216402   59     8044    4343   3126   3221 52.65
60.96/61.03	c   170914    351     2727   146566   53     6209    4778   2202   3227 52.96
60.96/61.03	c   172995    351     4808   281625   58    10358    5256   4283   3231 53.53
60.96/61.03	c   176219    351     5338   311939   58    11402    5782   4813   3225 54.64
60.96/61.03	c   181156    341     4040   236240   58     8917    6361   3515   3251 55.71
60.96/61.03	c   188662    341     5051   292739   57    10850    6998   4526   3213 58.71
60.96/61.03	o 33	61
66.55/66.67	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
66.55/66.67	c   197144    341     6220   362457   58    13234    2963   5695   3231 61.00
66.55/66.67	c   197244    341     2112    97120   45     5061    3260   1587   3231 61.04
66.55/66.67	c   197495    331     2363   114372   48     5508    3587   1838   3234 61.06
66.55/66.67	c   197970    331     2838   147515   51     6419    3946   2313   3239 61.11
66.55/66.67	c   198783    331     3651   203079   55     8063    4341   3126   3245 61.25
66.55/66.67	c   200103    331     2702   150315   55     6187    4776   2177   3257 61.43
66.55/66.67	c   202185    331     4784   287986   60    10340    5254   4259   3264 61.93
66.55/66.67	c   205408    331     5289   313960   59    11354    5780   4764   3258 63.03
66.55/66.67	c   210345    331     4290   241220   56     9355    6359   3765   3253 64.64
66.55/66.67	o 11	66.642
72.25/72.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
72.25/72.33	c   217775    331     5053   292606   57    10905    2961   4528   3267 66.64
72.25/72.33	c   217875    331     2112   100782   47     5026    3258   1587   3268 66.67
72.25/72.33	c   218127    331     2364   118716   50     5560    3584   1839   3270 66.69
72.25/72.33	c   218603    331     2840   151806   53     6504    3943   2315   3274 66.75
72.25/72.33	c   219416    331     3653   208703   57     8131    4338   3128   3280 66.89
72.25/72.33	c   220737    331     2716   151103   55     6242    4772   2191   3280 67.29
72.25/72.33	c   222818    331     4797   290529   60    10393    5250   4272   3280 67.92
72.25/72.33	c   226041    331     5305   319405   60    11424    5776   4780   3275 69.02
72.25/72.33	c   230977    322     4128   248827   60     9076    6354   3603   3292 70.16
72.25/72.33	o 5	72.292
79.25/79.36	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
79.25/79.36	c   238381    311     4907   269756   54    10638    2957   4382   3297 72.29
79.25/79.36	c   238483    301     2114    98199   46     5054    3253   1589   3297 72.32
79.25/79.36	c   238733    301     2364   112824   47     5551    3579   1839   3300 72.34
79.25/79.36	c   239208    301     2839   145042   51     6484    3937   2314   3304 72.40
79.25/79.36	c   240022    301     3653   199418   54     8113    4331   3128   3307 72.58
79.25/79.36	c   241344    301     2708   144166   53     6231    4765   2183   3306 72.99
79.25/79.36	c   243425    301     4789   277998   58    10382    5242   4264   3304 73.67
79.25/79.36	c   246649    301     5125   299284   58    11024    5767   4600   3315 74.40
79.25/79.36	c   251586    301     3922   216670   55     8657    6344   3397   3321 75.76
79.25/79.36	c   259093    301     4876   267828   54    10487    6979   4351   3294 78.64
79.25/79.36	o 3	79.327
151.73/151.87	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
151.73/151.87	c   262044    301     4069   230492   56     8922    2955   3544   3303 79.33
151.73/151.87	c   262145    292     2113   107621   50     5013    3251   1588   3303 79.35
151.73/151.87	c   262395    292     2363   123653   52     5481    3577   1838   3306 79.37
151.73/151.87	c   262870    292     2838   154654   54     6476    3935   2313   3310 79.42
151.73/151.87	c   263684    292     3652   209997   57     8093    4329   3127   3315 79.53
151.73/151.87	c   265004    292     2699   146444   54     6205    4762   2174   3320 79.81
151.73/151.87	c   267085    292     4780   286267   59    10365    5239   4255   3316 80.54
151.73/151.87	c   270309    292     5262   312230   59    11322    5763   4737   3304 81.81
151.73/151.87	c   275246    280     3970   224667   56     8739    6340   3445   3314 83.05
151.73/151.87	c   282753    280     4918   282126   57    10590    6975   4393   3296 85.77
151.73/151.87	c   294114    280     5012   291126   58    10772    7673   4487   3300 89.10
151.73/151.87	c   311258    280     6257   345589   55    13289    8441   5732   3243 95.97
151.73/151.87	c   337078    280     5363   326098   60    11480    9286   4838   3167 106.43
151.73/151.87	c   375910    279     5462   314558   57    11731   10215   4937   3018 124.52
151.73/151.87	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
151.73/151.87	v -x31 -x32 x33 x34 -x35 -x36 x37 x38 x39 x40 x41 -x42 -x43 -x44 -x45 x46 x47 x48 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x49 -x50
151.73/151.87	v -x51 -x52 -x53 -x54 -x55 -x56 x73 -x74 x75 x76 x77 -x78 -x79 -x80 x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x81 -x82 -x83 -x84 -x85
151.73/151.87	v -x86 -x87 -x88 -x89 -x90 x91 -x92 -x93 -x94 -x95 -x96
151.73/151.87	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
151.73/151.87	c   88   419507   2609   433672     7296   406121   6771   2763 151.81
151.73/151.87	c Objective: 3
151.73/151.87	s OPTIMUM FOUND
151.73/151.87	c Total time: 151.809 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/node38/watcher-430772-1177998574 -o ROOT/results/node38/solver-430772-1177998574 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430772-1177998574/instance-430772-1177998574.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 22607
/proc/meminfo: memFree=1811312/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=3932 CPUtime=0
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 378 0 0 0 0 0 0 0 18 0 1 0 232024048 4026368 347 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 983 349 292 324 0 50 0

[startup+0.055191 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 22607
/proc/meminfo: memFree=1811312/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=4708 CPUtime=0.04
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 584 0 0 0 4 0 0 0 18 0 1 0 232024048 4820992 551 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 1177 551 312 324 0 246 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4708

[startup+0.1012 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 22607
/proc/meminfo: memFree=1811312/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=5092 CPUtime=0.09
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 697 0 0 0 9 0 0 0 18 0 1 0 232024048 5214208 664 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9041531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 1273 664 312 324 0 342 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5092

[startup+0.301238 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 22607
/proc/meminfo: memFree=1811312/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=6768 CPUtime=0.28
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 1105 0 0 0 28 0 0 0 19 0 1 0 232024048 6930432 1072 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 1692 1072 312 324 0 761 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 6768

[startup+0.701315 s]
/proc/loadavg: 0.92 0.99 0.99 3/77 22607
/proc/meminfo: memFree=1811312/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=9604 CPUtime=0.69
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 1818 0 0 0 68 1 0 0 23 0 1 0 232024048 9834496 1785 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 2401 1785 312 324 0 1470 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 9604

[startup+1.50147 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 22608
/proc/meminfo: memFree=1804264/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=10752 CPUtime=1.49
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 2089 0 0 0 147 2 0 0 25 0 1 0 232024048 11010048 2056 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 2688 2056 312 324 0 1757 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10752

[startup+3.10177 s]
/proc/loadavg: 0.92 0.99 0.99 2/78 22608
/proc/meminfo: memFree=1804136/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=11396 CPUtime=3.09
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 2259 0 0 0 307 2 0 0 25 0 1 0 232024048 11669504 2226 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 2849 2226 312 324 0 1918 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11396

[startup+6.30139 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 22608
/proc/meminfo: memFree=1802024/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=12552 CPUtime=6.29
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 2542 0 0 0 625 4 0 0 25 0 1 0 232024048 12853248 2509 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 3138 2509 312 324 0 2207 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12552

[startup+12.7016 s]
/proc/loadavg: 0.93 0.99 0.99 2/78 22608
/proc/meminfo: memFree=1802032/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=12552 CPUtime=12.69
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 2542 0 0 0 1264 5 0 0 25 0 1 0 232024048 12853248 2509 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 3138 2509 312 324 0 2207 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12552

[startup+25.5011 s]
/proc/loadavg: 0.95 0.99 0.99 2/78 22608
/proc/meminfo: memFree=1799088/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=15636 CPUtime=25.48
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 2540 8 0 0 25 0 1 0 232024048 16011264 3289 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 3909 3289 313 324 0 2978 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 15636

[startup+51.102 s]
/proc/loadavg: 0.96 0.99 0.99 2/78 22608
/proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=15564 CPUtime=51.06
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 5091 15 0 0 25 0 1 0 232024048 15937536 3286 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 3891 3286 313 324 0 2960 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 15564

[startup+102.306 s]
/proc/loadavg: 0.98 0.99 0.99 2/78 22608
/proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=15552 CPUtime=102.25
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 10196 29 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 3888 3283 313 324 0 2957 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 15552

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

[startup+127.902 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22608
/proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=15552 CPUtime=127.83
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 12749 34 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551140 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 3888 3283 313 324 0 2957 0
Current children cumulated CPU time (s) 127.83
Current children cumulated vsize (KiB) 15552

[startup+140.701 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22608
/proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=15552 CPUtime=140.64
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 14028 36 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551250 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 3888 3283 313 324 0 2957 0
Current children cumulated CPU time (s) 140.64
Current children cumulated vsize (KiB) 15552

[startup+147.101 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22608
/proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=15552 CPUtime=147.03
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 14666 37 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 9037653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 3888 3283 313 324 0 2957 0
Current children cumulated CPU time (s) 147.03
Current children cumulated vsize (KiB) 15552

[startup+150.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22608
/proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=15552 CPUtime=150.23
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 14985 38 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 3888 3283 313 324 0 2957 0
Current children cumulated CPU time (s) 150.23
Current children cumulated vsize (KiB) 15552

[startup+151.101 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22608
/proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=15552 CPUtime=151.03
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 15065 38 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 3888 3283 313 324 0 2957 0
Current children cumulated CPU time (s) 151.03
Current children cumulated vsize (KiB) 15552

[startup+151.501 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22608
/proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=15552 CPUtime=151.43
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 15105 38 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 3888 3283 313 324 0 2957 0
Current children cumulated CPU time (s) 151.43
Current children cumulated vsize (KiB) 15552

[startup+151.701 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22608
/proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=15552 CPUtime=151.63
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 15125 38 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 3888 3283 313 324 0 2957 0
Current children cumulated CPU time (s) 151.63
Current children cumulated vsize (KiB) 15552

[startup+151.805 s]
/proc/loadavg: 0.99 0.99 0.99 2/78 22608
/proc/meminfo: memFree=1799216/2055920 swapFree=4154564/4192956
[pid=22607] ppid=22605 vsize=15552 CPUtime=151.73
/proc/22607/stat : 22607 (bsolo3.0.16) R 22605 22607 21111 0 -1 4194304 3322 0 0 0 15135 38 0 0 25 0 1 0 232024048 15925248 3283 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551276 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22607/statm: 3888 3283 313 324 0 2957 0
Current children cumulated CPU time (s) 151.73
Current children cumulated vsize (KiB) 15552

Child status: 0
Real time (s): 151.882
CPU time (s): 151.815
CPU user time (s): 151.429
CPU system time (s): 0.385941
CPU usage (%): 99.9561
Max. virtual memory (cumulated for all children) (KiB): 15636

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

runsolver used 0.112982 second user time and 0.350946 second system time

The end

Launcher Data (download as text)

Begin job on node38 on Tue May  1 05:49:34 UTC 2007

IDJOB= 430772
IDBENCH= 48004
IDSOLVER= 163
FILE ID= node38/430772-1177998574

PBS_JOBID= 4728198

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=211-P1=223-P2=251-P3=3-P4=107-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430772-1177998574/instance-430772-1177998574.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node38/watcher-430772-1177998574 -o ROOT/results/node38/solver-430772-1177998574 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430772-1177998574/instance-430772-1177998574.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  1cc97335e4341ed075b6e9adcc382d23

RANDOM SEED= 91070915

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node38.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.263
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.263
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:       1811720 kB
Buffers:         37148 kB
Cached:         124380 kB
SwapCached:       6772 kB
Active:          56232 kB
Inactive:       129128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1811720 kB
SwapTotal:     4192956 kB
SwapFree:      4154564 kB
Dirty:            6640 kB
Writeback:           0 kB
Mapped:          30488 kB
Slab:            44016 kB
Committed_AS:  2893132 kB
PageTables:       2060 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 node38 on Tue May  1 05:52:06 UTC 2007