Trace number 430338

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 152.142 152.181

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/
factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb
MD5SUMe04f59e7146720276551350f74bab120
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.100984
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/430338-1177993863/instance-430338-1177993863.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.
4.09/4.11	c      101    352      626     7962   12     2045    3244    101   6733 0.01
4.09/4.11	c      251    352      776    16932   21     2346    3569    251   9653 0.03
4.09/4.11	c      477    352     1002    29831   29     2802    3926    477   9937 0.05
4.09/4.11	c      816    352     1341    56192   41     3433    4319    816  10736 0.08
4.09/4.11	c     1325    352     1850    86978   47     4404    4751   1325  10271 0.13
4.09/4.11	c     2088    352     2613   131625   50     5942    5227   2088   8700 0.24
4.09/4.11	c     3234    352     3759   202583   53     8291    5750   3234   7154 0.45
4.09/4.11	c     4956    352     5481   322701   58    11705    6326   4956   5317 0.93
4.09/4.11	c     7541    352     4852   271219   55    10442    6959   4327   4472 1.69
4.09/4.11	c    11421    352     5197   274999   52    11123    7655   4672   3883 2.94
4.09/4.11	o 53	4.109
8.59/8.61	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.59/8.61	c    17038    352     6829   409099   59    14399    2965   6304   4145 4.11
8.59/8.61	c    17139    332     2110   105344   49     5004    3262   1585   4132 4.15
8.59/8.61	c    17390    332     2361   120551   51     5471    3589   1836   4169 4.17
8.59/8.61	c    17865    332     2836   149428   52     6445    3948   2311   4226 4.23
8.59/8.61	c    18678    332     3649   198771   54     8043    4343   3124   4293 4.35
8.59/8.61	c    19998    332     2712   133066   49     6164    4778   2187   4296 4.66
8.59/8.61	c    22080    332     4794   255735   53    10346    5256   4269   4297 5.14
8.59/8.61	c    25303    332     5079   306600   60    10937    5782   4554   4453 5.68
8.59/8.61	c    30239    332     3717   201982   54     8230    6361   3192   4381 6.90
8.59/8.61	c    37747    332     4462   246913   55     9702    6998   3937   4472 8.44
8.59/8.61	o 19	8.61
10.18/10.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.18/10.23	c    39183    332     5899   337298   57    12568    2961   5374   4550 8.61
10.18/10.23	c    39283    322     2109   101441   48     4990    3258   1584   4546 8.64
10.18/10.23	c    39535    322     2361   119500   50     5459    3584   1836   4561 8.67
10.18/10.23	c    40011    322     2837   167676   59     6416    3943   2312   4573 8.75
10.18/10.23	c    40824    322     3650   217632   59     8072    4338   3125   4607 8.86
10.18/10.23	c    42145    322     2710   129821   47     6157    4772   2185   4635 9.09
10.18/10.23	c    44226    322     4791   255438   53    10359    5250   4266   4644 9.52
10.18/10.23	o 9	10.225
14.59/14.62	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.59/14.62	c    47266    322     5128   280800   54    11041    2959   4603   4622 10.22
14.59/14.62	c    47367    312     2110   101852   48     4983    3255   1585   4621 10.25
14.59/14.62	c    47618    312     2361   116558   49     5499    3581   1836   4635 10.27
14.59/14.62	c    48093    312     2836   143640   50     6442    3940   2311   4654 10.33
14.59/14.62	c    48907    312     3650   189731   51     8063    4335   3125   4671 10.47
14.59/14.62	c    50227    312     2713   125042   46     6204    4769   2188   4672 10.75
14.59/14.62	c    52310    312     4796   255351   53    10396    5246   4271   4733 11.05
14.59/14.62	c    55533    312     5115   269148   52    11014    5771   4590   4687 11.85
14.59/14.62	c    60469    312     4104   203387   49     8958    6349   3579   4553 13.28
14.59/14.62	o 5	14.619
14.78/14.80	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.78/14.80	c    65585    312     5893   326073   55    12558    2957   5368   4486 14.62
14.78/14.80	c    65685    302     2111   104593   49     5025    3253   1586   4483 14.65
14.78/14.80	c    65936    302     2362   119204   50     5471    3579   1837   4492 14.68
14.78/14.80	c    66412    302     2838   146069   51     6432    3937   2313   4508 14.73
14.78/14.80	o 3	14.794
152.06/152.17	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
152.06/152.17	c    66927    302     3354   178684   53     7495    2955   2829   4523 14.79
152.06/152.17	c    67028    281     3455   185201   53     7705    3251   2930   4524 14.81
152.06/152.17	c    67279    281     3706   202928   54     8187    3577   3181   4532 14.84
152.06/152.17	c    67756    281     2321   115844   49     5406    3935   1796   4531 14.95
152.06/152.17	c    68570    281     3135   172667   55     7051    4329   2610   4545 15.09
152.06/152.17	c    69891    281     4456   269713   60     9660    4762   3931   4570 15.29
152.06/152.17	c    71973    281     3859   237955   61     8494    5239   3334   4592 15.67
152.06/152.17	c    75197    281     4181   232439   55     9127    5763   3656   4627 16.25
152.06/152.17	c    80134    281     6025   345341   57    12800    6340   5500   4647 17.24
152.06/152.17	c    87641    281     6742   389237   57    14246    6975   6217   4594 19.07
152.06/152.17	c    99003    281     6924   417698   60    14592    7673   6399   4457 22.21
152.06/152.17	c   116148    281     7633   487931   63    16071    8441   7108   4126 28.14
152.06/152.17	c   141968    281     6922   421780   60    14571    9286   6397   3676 38.62
152.06/152.17	c   180801    281     7248   448476   61    15222   10215   6723   3281 55.10
152.06/152.17	c   239153    280     7163   420149   58    15097   11237   6638   2797 85.50
152.06/152.17	c   326785    279     7414   444781   59    15600   12361   6889   2548 128.24
152.06/152.17	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 -x32
152.06/152.17	v 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 -x51
152.06/152.17	v -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 -x86
152.06/152.17	v -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96
152.06/152.17	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
152.06/152.17	c   56   361462   2558   372594    10583   619549  10058   2375 152.13
152.06/152.17	c Objective: 3
152.06/152.17	s OPTIMUM FOUND
152.06/152.17	c Total time: 152.135 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/node27/watcher-430338-1177993863 -o ROOT/results/node27/solver-430338-1177993863 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430338-1177993863/instance-430338-1177993863.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 1.00 0.99 3/65 9336
/proc/meminfo: memFree=1787792/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=3932 CPUtime=0
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 380 0 0 0 0 0 0 0 18 0 1 0 212082177 4026368 349 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1902203 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 983 349 292 324 0 50 0

[startup+0.0561951 s]
/proc/loadavg: 0.92 1.00 0.99 3/65 9336
/proc/meminfo: memFree=1787792/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=4584 CPUtime=0.04
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 556 0 0 0 4 0 0 0 18 0 1 0 212082177 4694016 523 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 1146 523 312 324 0 215 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 4584

[startup+0.101199 s]
/proc/loadavg: 0.92 1.00 0.99 3/65 9336
/proc/meminfo: memFree=1787792/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=5096 CPUtime=0.09
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 679 0 0 0 9 0 0 0 18 0 1 0 212082177 5218304 646 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 1274 646 312 324 0 343 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5096

[startup+0.301219 s]
/proc/loadavg: 0.92 1.00 0.99 3/65 9336
/proc/meminfo: memFree=1787792/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=6264 CPUtime=0.29
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 973 0 0 0 29 0 0 0 19 0 1 0 212082177 6414336 940 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 1566 940 312 324 0 635 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6264

[startup+0.701259 s]
/proc/loadavg: 0.92 1.00 0.99 3/65 9336
/proc/meminfo: memFree=1787792/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=8072 CPUtime=0.69
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 1422 0 0 0 68 1 0 0 22 0 1 0 212082177 8265728 1389 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 2018 1389 312 324 0 1087 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8072

[startup+1.50134 s]
/proc/loadavg: 0.93 1.00 0.99 2/66 9337
/proc/meminfo: memFree=1782536/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=10020 CPUtime=1.49
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 1906 0 0 0 148 1 0 0 25 0 1 0 212082177 10260480 1873 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 2505 1873 312 324 0 1574 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10020

[startup+3.1025 s]
/proc/loadavg: 0.93 1.00 0.99 2/66 9337
/proc/meminfo: memFree=1781320/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=10280 CPUtime=3.09
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 1995 0 0 0 307 2 0 0 25 0 1 0 212082177 10526720 1962 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 2570 1962 312 324 0 1639 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10280

[startup+6.30183 s]
/proc/loadavg: 0.93 1.00 0.99 2/66 9337
/proc/meminfo: memFree=1780168/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=11060 CPUtime=6.29
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 2179 0 0 0 625 4 0 0 25 0 1 0 212082177 11325440 2146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 2765 2146 313 324 0 1834 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11060

[startup+12.7015 s]
/proc/loadavg: 0.94 1.00 0.99 2/66 9337
/proc/meminfo: memFree=1780184/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=11060 CPUtime=12.69
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 2179 0 0 0 1263 6 0 0 25 0 1 0 212082177 11325440 2146 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551070 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 2765 2146 313 324 0 1834 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11060

[startup+25.5018 s]
/proc/loadavg: 0.95 1.00 0.99 2/66 9337
/proc/meminfo: memFree=1779544/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=11820 CPUtime=25.48
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 2363 0 0 0 2539 9 0 0 25 0 1 0 212082177 12103680 2330 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 2955 2330 313 324 0 2024 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11820

[startup+51.1014 s]
/proc/loadavg: 0.97 1.00 0.99 2/66 9337
/proc/meminfo: memFree=1778136/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=13212 CPUtime=51.08
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 2708 0 0 0 5094 14 0 0 25 0 1 0 212082177 13529088 2675 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 3303 2675 313 324 0 2372 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13212

[startup+102.306 s]
/proc/loadavg: 0.98 1.00 0.99 2/66 9337
/proc/meminfo: memFree=1775320/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=15984 CPUtime=102.26
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 3406 0 0 0 10204 22 0 0 25 0 1 0 212082177 16367616 3373 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550974 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 3996 3373 313 324 0 3065 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 15984

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

[startup+127.901 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 9337
/proc/meminfo: memFree=1775320/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=15956 CPUtime=127.86
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 3406 0 0 0 12758 28 0 0 25 0 1 0 212082177 16338944 3373 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 3989 3373 313 324 0 3058 0
Current children cumulated CPU time (s) 127.86
Current children cumulated vsize (KiB) 15956

[startup+140.701 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 9337
/proc/meminfo: memFree=1775320/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=15956 CPUtime=140.66
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 3407 0 0 0 14036 30 0 0 25 0 1 0 212082177 16338944 3374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 3989 3374 313 324 0 3058 0
Current children cumulated CPU time (s) 140.66
Current children cumulated vsize (KiB) 15956

[startup+147.101 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 9337
/proc/meminfo: memFree=1775320/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=15952 CPUtime=147.06
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 3407 0 0 0 14675 31 0 0 25 0 1 0 212082177 16334848 3374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 3988 3374 313 324 0 3057 0
Current children cumulated CPU time (s) 147.06
Current children cumulated vsize (KiB) 15952

[startup+150.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 9337
/proc/meminfo: memFree=1775320/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=15952 CPUtime=150.25
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 3407 0 0 0 14994 31 0 0 25 0 1 0 212082177 16334848 3374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1900028 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 3988 3374 313 324 0 3057 0
Current children cumulated CPU time (s) 150.25
Current children cumulated vsize (KiB) 15952

[startup+151.102 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 9337
/proc/meminfo: memFree=1775320/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=15952 CPUtime=151.05
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 3407 0 0 0 15074 31 0 0 25 0 1 0 212082177 16334848 3374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 3988 3374 313 324 0 3057 0
Current children cumulated CPU time (s) 151.05
Current children cumulated vsize (KiB) 15952

[startup+151.902 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 9337
/proc/meminfo: memFree=1775320/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=15952 CPUtime=151.85
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 3407 0 0 0 15154 31 0 0 25 0 1 0 212082177 16334848 3374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 1900269 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 3988 3374 313 324 0 3057 0
Current children cumulated CPU time (s) 151.85
Current children cumulated vsize (KiB) 15952

[startup+152.102 s]
/proc/loadavg: 0.99 1.00 0.99 2/66 9337
/proc/meminfo: memFree=1775320/2055920 swapFree=4182936/4192956
[pid=9336] ppid=9334 vsize=15952 CPUtime=152.06
/proc/9336/stat : 9336 (bsolo3.0.16) R 9334 9336 8878 0 -1 4194304 3407 0 0 0 15174 32 0 0 25 0 1 0 212082177 16334848 3374 18446744073709551615 134512640 135841103 4294956672 18446744073709551615 134551064 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9336/statm: 3988 3374 313 324 0 3057 0
Current children cumulated CPU time (s) 152.06
Current children cumulated vsize (KiB) 15952

Child status: 0
Real time (s): 152.181
CPU time (s): 152.142
CPU user time (s): 151.818
CPU system time (s): 0.32395
CPU usage (%): 99.9745
Max. virtual memory (cumulated for all children) (KiB): 15996

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

runsolver used 0.124981 second user time and 0.301954 second system time

The end

Launcher Data (download as text)

Begin job on node27 on Tue May  1 04:31:03 UTC 2007

IDJOB= 430338
IDBENCH= 47973
IDSOLVER= 163
FILE ID= node27/430338-1177993863

PBS_JOBID= 4728219

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=191-P1=151-P2=41-P3=257-P4=191-B.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430338-1177993863/instance-430338-1177993863.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node27/watcher-430338-1177993863 -o ROOT/results/node27/solver-430338-1177993863 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/430338-1177993863/instance-430338-1177993863.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  e04f59e7146720276551350f74bab120

RANDOM SEED= 664048201

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node27.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.213
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	: 5931.00
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.213
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:       1788200 kB
Buffers:         29712 kB
Cached:         163356 kB
SwapCached:       3996 kB
Active:          69084 kB
Inactive:       134176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1788200 kB
SwapTotal:     4192956 kB
SwapFree:      4182936 kB
Dirty:            6724 kB
Writeback:           0 kB
Mapped:          16116 kB
Slab:            50496 kB
Committed_AS:  2352536 kB
PageTables:       1412 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 node27 on Tue May  1 04:33:35 UTC 2007