Trace number 452906

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 3.0.17OPT3 151.54 151.704

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.17 - 27/04/2007 : 1600 GMT
0.00/0.00	c Developed by Vasco Manquinho IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/452906-1177993960/instance-452906-1177993960.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.00	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.
3.99/4.07	c      101    352      626     7962   12     2045    3244    101   7214 0.01
3.99/4.07	c      251    352      776    16932   21     2346    3569    251   9653 0.03
3.99/4.07	c      477    352     1002    29831   29     2802    3926    477  10148 0.05
3.99/4.07	c      816    352     1341    56192   41     3433    4319    816  10880 0.07
3.99/4.07	c     1325    352     1850    86978   47     4404    4751   1325  10433 0.13
3.99/4.07	c     2088    352     2613   131625   50     5942    5227   2088   8773 0.24
3.99/4.07	c     3234    352     3759   202583   53     8291    5750   3234   7218 0.45
3.99/4.07	c     4956    352     5481   322701   58    11705    6326   4956   5357 0.93
3.99/4.07	c     7541    352     4852   271219   55    10442    6959   4327   4504 1.67
3.99/4.07	c    11421    352     5197   274999   52    11123    7655   4672   3922 2.91
3.99/4.07	o 53	4.07
8.49/8.58	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
8.49/8.58	c    17038    352     6829   409099   59    14399    2965   6304   4186 4.07
8.49/8.58	c    17139    332     2110   105344   49     5004    3262   1585   4173 4.11
8.49/8.58	c    17390    332     2361   120551   51     5471    3589   1836   4209 4.13
8.49/8.58	c    17865    332     2836   149428   52     6445    3948   2311   4266 4.19
8.49/8.58	c    18678    332     3649   198771   54     8043    4343   3124   4334 4.31
8.49/8.58	c    19998    332     2712   133066   49     6164    4778   2187   4335 4.61
8.49/8.58	c    22080    332     4794   255735   53    10346    5256   4269   4335 5.09
8.49/8.58	c    25303    332     5079   306600   60    10937    5782   4554   4490 5.63
8.49/8.58	c    30239    332     3717   201982   54     8230    6361   3192   4406 6.86
8.49/8.58	c    37747    332     4462   246913   55     9702    6998   3937   4490 8.41
8.49/8.58	o 19	8.576
10.09/10.19	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
10.09/10.19	c    39183    332     5899   337298   57    12568    2961   5374   4568 8.58
10.09/10.19	c    39283    322     2109   101441   48     4990    3258   1584   4564 8.61
10.09/10.19	c    39535    322     2361   119500   50     5459    3584   1836   4578 8.63
10.09/10.19	c    40011    322     2837   167676   59     6416    3943   2312   4591 8.71
10.09/10.19	c    40824    322     3650   217632   59     8072    4338   3125   4625 8.83
10.09/10.19	c    42145    322     2710   129821   47     6157    4772   2185   4653 9.06
10.09/10.19	c    44226    322     4791   255438   53    10359    5250   4266   4661 9.49
10.09/10.19	o 9	10.192
14.48/14.56	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.48/14.56	c    47266    322     5128   280800   54    11041    2959   4603   4637 10.19
14.48/14.56	c    47367    312     2110   101852   48     4983    3255   1585   4636 10.22
14.48/14.56	c    47618    312     2361   116558   49     5499    3581   1836   4650 10.24
14.48/14.56	c    48093    312     2836   143640   50     6442    3940   2311   4669 10.30
14.48/14.56	c    48907    312     3650   189731   51     8063    4335   3125   4686 10.44
14.48/14.56	c    50227    312     2713   125042   46     6204    4769   2188   4687 10.71
14.48/14.56	c    52310    312     4796   255351   53    10396    5246   4271   4748 11.02
14.48/14.56	c    55533    312     5115   269148   52    11014    5771   4590   4703 11.81
14.48/14.56	c    60469    312     4104   203387   49     8958    6349   3579   4572 13.22
14.48/14.56	o 5	14.554
14.68/14.73	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
14.68/14.73	c    65585    312     5893   326073   55    12558    2957   5368   4506 14.55
14.68/14.73	c    65685    302     2111   104593   49     5025    3253   1586   4502 14.59
14.68/14.73	c    65936    302     2362   119204   50     5471    3579   1837   4512 14.61
14.68/14.73	c    66412    302     2838   146069   51     6432    3937   2313   4528 14.66
14.68/14.73	o 3	14.728
151.54/151.69	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
151.54/151.69	c    66927    302     3354   178684   53     7495    2955   2829   4544 14.73
151.54/151.69	c    67028    281     3455   185201   53     7705    3251   2930   4544 14.75
151.54/151.69	c    67279    281     3706   202928   54     8187    3577   3181   4552 14.78
151.54/151.69	c    67756    281     2321   115844   49     5406    3935   1796   4551 14.89
151.54/151.69	c    68570    281     3135   172667   55     7051    4329   2610   4566 15.02
151.54/151.69	c    69891    281     4456   269713   60     9660    4762   3931   4591 15.22
151.54/151.69	c    71973    281     3859   237955   61     8494    5239   3334   4613 15.60
151.54/151.69	c    75197    281     4181   232439   55     9127    5763   3656   4648 16.18
151.54/151.69	c    80134    281     6025   345341   57    12800    6340   5500   4670 17.16
151.54/151.69	c    87641    281     6742   389237   57    14246    6975   6217   4619 18.97
151.54/151.69	c    99003    281     6924   417698   60    14592    7673   6399   4480 22.10
151.54/151.69	c   116148    281     7633   487931   63    16071    8441   7108   4142 28.04
151.54/151.69	c   141968    281     6922   421780   60    14571    9286   6397   3692 38.45
151.54/151.70	c   180801    281     7248   448476   61    15222   10215   6723   3293 54.90
151.54/151.70	c   239153    280     7163   420149   58    15097   11237   6638   2810 85.10
151.54/151.70	c   326785    279     7414   444781   59    15600   12361   6889   2556 127.84
151.54/151.70	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
151.54/151.70	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
151.54/151.70	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
151.54/151.70	v -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96
151.54/151.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
151.54/151.70	c   56   361462   2558   372594    10583   619549  10058   2383 151.65
151.54/151.70	c Objective: 3
151.54/151.70	s OPTIMUM FOUND
151.54/151.70	c Total time: 151.648 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/node15/watcher-452906-1177993960 -o ROOT/results/node15/solver-452906-1177993960 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/452906-1177993960/instance-452906-1177993960.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: 1.00 1.00 1.00 3/77 27800
/proc/meminfo: memFree=1803240/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=3932 CPUtime=0
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 375 0 0 0 0 0 0 0 18 0 1 0 247313635 4026368 346 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7852904 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 983 347 290 324 0 51 0

[startup+0.074432 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 27800
/proc/meminfo: memFree=1803240/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=4840 CPUtime=0.06
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 616 0 0 0 6 0 0 0 18 0 1 0 247313635 4956160 584 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 1210 584 310 324 0 280 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 4840

[startup+0.101434 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 27800
/proc/meminfo: memFree=1803240/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=5096 CPUtime=0.09
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 678 0 0 0 9 0 0 0 18 0 1 0 247313635 5218304 646 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 1274 646 310 324 0 344 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5096

[startup+0.301453 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 27800
/proc/meminfo: memFree=1803240/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=6264 CPUtime=0.29
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 973 0 0 0 29 0 0 0 19 0 1 0 247313635 6414336 941 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 7947899 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 1566 941 310 324 0 636 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6264

[startup+0.701489 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 27800
/proc/meminfo: memFree=1803240/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=8072 CPUtime=0.69
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 1422 0 0 0 68 1 0 0 23 0 1 0 247313635 8265728 1390 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551100 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 2018 1390 310 324 0 1088 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8072

[startup+1.50156 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27801
/proc/meminfo: memFree=1797992/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=10020 CPUtime=1.49
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 1903 0 0 0 148 1 0 0 25 0 1 0 247313635 10260480 1871 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 2505 1871 310 324 0 1575 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10020

[startup+3.10171 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27801
/proc/meminfo: memFree=1796520/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=10280 CPUtime=3.09
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 1992 0 0 0 308 1 0 0 25 0 1 0 247313635 10526720 1960 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551081 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 2570 1960 310 324 0 1640 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 10280

[startup+6.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27801
/proc/meminfo: memFree=1795568/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=11060 CPUtime=6.29
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 2176 0 0 0 628 1 0 0 25 0 1 0 247313635 11325440 2144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 4160527316 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 2765 2144 311 324 0 1835 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11060

[startup+12.7016 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27801
/proc/meminfo: memFree=1795568/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=11060 CPUtime=12.69
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 2176 0 0 0 1268 1 0 0 25 0 1 0 247313635 11325440 2144 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 2765 2144 311 324 0 1835 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11060

[startup+25.5018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27801
/proc/meminfo: memFree=1794864/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=11820 CPUtime=25.48
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 2360 0 0 0 2547 1 0 0 25 0 1 0 247313635 12103680 2328 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 2955 2328 311 324 0 2025 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 11820

[startup+51.1011 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 27801
/proc/meminfo: memFree=1793520/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=13212 CPUtime=51.07
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 2705 0 0 0 5105 2 0 0 25 0 1 0 247313635 13529088 2673 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 3303 2673 311 324 0 2373 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 13212

[startup+102.306 s]
/proc/loadavg: 1.07 1.02 1.00 2/78 27801
/proc/meminfo: memFree=1790704/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=15984 CPUtime=102.26
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 3403 0 0 0 10223 3 0 0 25 0 1 0 247313635 16367616 3371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 3996 3371 311 324 0 3066 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 15984

[startup+151.601 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 27801
/proc/meminfo: memFree=1790640/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=15952 CPUtime=151.54
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 3404 0 0 0 15151 3 0 0 25 0 1 0 247313635 16334848 3372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 3988 3372 311 324 0 3058 0
Current children cumulated CPU time (s) 151.54
Current children cumulated vsize (KiB) 15952

# WARNING:
# current cumulated CPU time (0 s) is less than in the last sample (151.54 s)
# The time of a child was probably not reported to its father.
# (see the samples just above and below)
# Adding the difference (151.54 s) to the 'lost time'.

[startup+151.701 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 27801
/proc/meminfo: memFree=1798228/2055920 swapFree=4169108/4192956
[pid=27800] ppid=-1 vsize=0 CPUtime=0
/proc/27800/stat : -- couldn't open stat file --/proc/27800/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

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

[startup+127.901 s]
/proc/loadavg: 1.05 1.01 1.00 2/78 27801
/proc/meminfo: memFree=1790640/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=15956 CPUtime=127.85
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 3403 0 0 0 12782 3 0 0 25 0 1 0 247313635 16338944 3371 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 3989 3371 311 324 0 3059 0
Current children cumulated CPU time (s) 127.85
Current children cumulated vsize (KiB) 15956

[startup+140.701 s]
/proc/loadavg: 1.04 1.01 1.00 2/78 27801
/proc/meminfo: memFree=1790640/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=15956 CPUtime=140.65
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 3404 0 0 0 14062 3 0 0 25 0 1 0 247313635 16338944 3372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134573662 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 3989 3372 311 324 0 3059 0
Current children cumulated CPU time (s) 140.65
Current children cumulated vsize (KiB) 15956

[startup+147.102 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 27801
/proc/meminfo: memFree=1790640/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=15952 CPUtime=147.04
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 3404 0 0 0 14701 3 0 0 25 0 1 0 247313635 16334848 3372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134550820 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 3988 3372 311 324 0 3058 0
Current children cumulated CPU time (s) 147.04
Current children cumulated vsize (KiB) 15952

[startup+150.301 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 27801
/proc/meminfo: memFree=1790640/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=15952 CPUtime=150.24
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 3404 0 0 0 15021 3 0 0 25 0 1 0 247313635 16334848 3372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551315 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 3988 3372 311 324 0 3058 0
Current children cumulated CPU time (s) 150.24
Current children cumulated vsize (KiB) 15952

[startup+151.101 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 27801
/proc/meminfo: memFree=1790640/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=15952 CPUtime=151.04
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 3404 0 0 0 15101 3 0 0 25 0 1 0 247313635 16334848 3372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134551048 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 3988 3372 311 324 0 3058 0
Current children cumulated CPU time (s) 151.04
Current children cumulated vsize (KiB) 15952

[startup+151.501 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 27801
/proc/meminfo: memFree=1790640/2055920 swapFree=4169108/4192956
[pid=27800] ppid=27798 vsize=15952 CPUtime=151.44
/proc/27800/stat : 27800 (bsolo3.0.17) R 27798 27800 27619 0 -1 4194304 3404 0 0 0 15141 3 0 0 25 0 1 0 247313635 16334848 3372 18446744073709551615 134512640 135840783 4294956688 18446744073709551615 134572594 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27800/statm: 3988 3372 311 324 0 3058 0
Current children cumulated CPU time (s) 151.44
Current children cumulated vsize (KiB) 15952

[startup+151.701 s]
/proc/loadavg: 1.03 1.01 1.00 2/78 27801
/proc/meminfo: memFree=1798228/2055920 swapFree=4169108/4192956
[pid=27800] ppid=-1 vsize=0 CPUtime=0
/proc/27800/stat : -- couldn't open stat file --/proc/27800/statm: Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 0

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27800 and gives
#  childrusage.ru_utime.tv_sec=151
#  childrusage.ru_utime.tv_usec=616950
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=36994
# CPU time returned by wait4() is 151.654
# while last known CPU time is 0
#
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 151.54
#  lost CPU user time (s): 151.51
#  lost CPU system time (s): 0.03

Real time (s): 151.704
CPU time (s): 151.54
CPU user time (s): 151.51
CPU system time (s): 0.03
CPU usage (%): 99.892
Max. virtual memory (cumulated for all children) (KiB): 16040

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

runsolver used 0.117982 second user time and 0.337948 second system time

The end

Launcher Data (download as text)

Begin job on node15 on Tue May  1 04:32:40 UTC 2007

IDJOB= 452906
IDBENCH= 47973
IDSOLVER= 199
FILE ID= node15/452906-1177993960

PBS_JOBID= 4728220

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.17
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=191-P1=151-P2=41-P3=257-P4=191-B.opb
COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/452906-1177993960/instance-452906-1177993960.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-452906-1177993960 -o ROOT/results/node15/solver-452906-1177993960 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.17 -m1800 /tmp/evaluation/452906-1177993960/instance-452906-1177993960.opb            

META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020
MD5SUM BENCH=  e04f59e7146720276551350f74bab120

RANDOM SEED= 846545636

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node15.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.227
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.227
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:       1803584 kB
Buffers:         43544 kB
Cached:         121308 kB
SwapCached:       2360 kB
Active:          70388 kB
Inactive:       117668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1803584 kB
SwapTotal:     4192956 kB
SwapFree:      4169108 kB
Dirty:            6700 kB
Writeback:           0 kB
Mapped:          30632 kB
Slab:            49616 kB
Committed_AS:  7605640 kB
PageTables:       1872 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 node15 on Tue May  1 04:35:12 UTC 2007