Trace number 85818

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
glpPB 0.2UNSAT 1350.55 1350.92

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_4_30_2.opb
MD5SUM1d7dd5c267917b6fb58d303c57bfa918
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark12.5021
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables31
Total number of constraints9
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints8
Minimum length of a constraint1
Maximum length of a constraint30
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 808
Number of bits of the biggest number in a constraint 10
Biggest sum of numbers in a constraint 2424
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c glpPB 0.2 (July 2006)
0.00	c An Application of GLPK 4.10 for PB Constraints
0.00	c Done @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
1350.91	c starting to Solve
1350.91	c total time = 1350.75
1350.91	s UNSATISFIABLE

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node48/watcher-85818-1154175023 -o ROOT/results/node48/solver-85818-1154175023 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node48/85818-1154175023/instance-85818-1154175023.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.94 0.90 2/64 4708
/proc/meminfo: memFree=828480/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=2632 CPUtime=0
/proc/4708/stat : 4708 (glpPBv3) D 4706 4708 4659 0 -1 0 240 0 0 0 0 0 0 0 18 0 1 0 164373072 2695168 210 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/4708/statm: 658 210 185 40 0 75 0

[startup+10.0025 s]
/proc/loadavg: 0.92 0.94 0.90 2/64 4708
/proc/meminfo: memFree=824520/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=6468 CPUtime=9.99
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 1288 0 0 0 968 31 0 0 25 0 1 0 164373072 6623232 1216 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 1617 1216 227 40 0 1034 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 6468

[startup+20.0084 s]
/proc/loadavg: 0.93 0.94 0.91 2/64 4708
/proc/meminfo: memFree=823112/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=7932 CPUtime=20
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 1648 0 0 0 1948 52 0 0 25 0 1 0 164373072 8122368 1576 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 1983 1576 227 40 0 1400 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 7932

[startup+30.0153 s]
/proc/loadavg: 0.94 0.94 0.91 2/64 4708
/proc/meminfo: memFree=821768/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=9184 CPUtime=30
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 2050 0 0 0 2934 66 0 0 25 0 1 0 164373072 9404416 1897 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 2296 1897 227 40 0 1713 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 9184

[startup+40.0203 s]
/proc/loadavg: 0.95 0.94 0.91 2/64 4708
/proc/meminfo: memFree=821064/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=9852 CPUtime=40
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 2228 0 0 0 3922 78 0 0 25 0 1 0 164373072 10088448 2075 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 2463 2075 227 40 0 1880 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 9852

[startup+50.0262 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 4708
/proc/meminfo: memFree=820424/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=10516 CPUtime=50
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 2383 0 0 0 4910 90 0 0 25 0 1 0 164373072 10768384 2230 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578236 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 2629 2230 227 40 0 2046 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 10516

[startup+60.0321 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 4708
/proc/meminfo: memFree=820040/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=10916 CPUtime=60.01
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 2483 0 0 0 5900 101 0 0 25 0 1 0 164373072 11177984 2330 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 2729 2330 227 40 0 2146 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 10916

[startup+70.038 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 4708
/proc/meminfo: memFree=819400/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=11584 CPUtime=70.01
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 2644 0 0 0 6890 111 0 0 25 0 1 0 164373072 11862016 2491 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 2896 2491 227 40 0 2313 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 11584

[startup+80.044 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 4708
/proc/meminfo: memFree=818760/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=12116 CPUtime=80.02
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 2800 0 0 0 7883 119 0 0 25 0 1 0 164373072 12406784 2647 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 3029 2647 227 40 0 2446 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 12116

[startup+90.0499 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 4708
/proc/meminfo: memFree=818440/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=12516 CPUtime=90.02
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 2875 0 0 0 8874 128 0 0 25 0 1 0 164373072 12816384 2722 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 3129 2722 227 40 0 2546 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 12516

[startup+100.055 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 4708
/proc/meminfo: memFree=818184/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=12780 CPUtime=100.02
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 2961 0 0 0 9866 136 0 0 25 0 1 0 164373072 13086720 2808 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 3195 2808 227 40 0 2612 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 12780

[startup+110.061 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 4708
/proc/meminfo: memFree=817608/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=13316 CPUtime=110.02
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3098 0 0 0 10858 144 0 0 25 0 1 0 164373072 13635584 2945 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 3329 2945 227 40 0 2746 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 13316

[startup+120.067 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 4708
/proc/meminfo: memFree=817224/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=13716 CPUtime=120.02
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3192 0 0 0 11851 151 0 0 25 0 1 0 164373072 14045184 3039 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 3429 3039 227 40 0 2846 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 13716

[startup+130.073 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 4708
/proc/meminfo: memFree=816904/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=13980 CPUtime=130.03
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3261 0 0 0 12844 159 0 0 25 0 1 0 164373072 14315520 3108 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578290 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 3495 3108 227 40 0 2912 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 13980

[startup+140.078 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 4708
/proc/meminfo: memFree=815944/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=14888 CPUtime=140.03
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3638 0 0 0 13836 167 0 0 25 0 1 0 164373072 15245312 3324 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 3722 3324 227 40 0 3139 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 14888

[startup+150.084 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 4708
/proc/meminfo: memFree=815624/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=15288 CPUtime=150.04
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3744 0 0 0 14829 175 0 0 25 0 1 0 164373072 15654912 3430 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 3822 3430 227 40 0 3239 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 15288

[startup+160.09 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 4708
/proc/meminfo: memFree=815368/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=15552 CPUtime=160.04
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3803 0 0 0 15820 184 0 0 25 0 1 0 164373072 15925248 3489 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 3888 3489 227 40 0 3305 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 15552

[startup+170.096 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 4708
/proc/meminfo: memFree=815240/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=15688 CPUtime=170.05
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3838 0 0 0 16815 190 0 0 25 0 1 0 164373072 16064512 3524 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 3922 3524 227 40 0 3339 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 15688

[startup+180.102 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 4708
/proc/meminfo: memFree=815112/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=15820 CPUtime=180.05
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3874 0 0 0 17809 196 0 0 25 0 1 0 164373072 16199680 3560 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 3955 3560 227 40 0 3372 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 15820

[startup+190.108 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 4708
/proc/meminfo: memFree=814984/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=15952 CPUtime=190.04
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3903 0 0 0 18801 203 0 0 25 0 1 0 164373072 16334848 3589 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 3988 3589 227 40 0 3405 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 15952

[startup+200.114 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 4708
/proc/meminfo: memFree=814600/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=16220 CPUtime=200.05
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 3987 0 0 0 19796 209 0 0 25 0 1 0 164373072 16609280 3673 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 4055 3673 227 40 0 3472 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 16220

[startup+210.12 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 4708

################
# More data... #
################

Current children cumulated CPU time (s) 1140.35
Current children cumulated vsize (Kb) 20084

[startup+1150.67 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1150.35
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 114367 668 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134581554 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1150.35
Current children cumulated vsize (Kb) 20084

[startup+1160.67 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1160.35
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 115362 673 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1160.35
Current children cumulated vsize (Kb) 20084

[startup+1170.68 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1170.36
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 116356 680 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1170.36
Current children cumulated vsize (Kb) 20084

[startup+1180.69 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810760/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1180.36
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 117349 687 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1180.36
Current children cumulated vsize (Kb) 20084

[startup+1190.69 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810760/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1190.37
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 118343 694 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1190.37
Current children cumulated vsize (Kb) 20084

[startup+1200.7 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1200.36
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 119337 699 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578266 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1200.36
Current children cumulated vsize (Kb) 20084

[startup+1210.7 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1210.37
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 120331 706 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1210.37
Current children cumulated vsize (Kb) 20084

[startup+1220.71 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1220.37
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 121325 712 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1220.37
Current children cumulated vsize (Kb) 20084

[startup+1230.72 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1230.38
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 122318 720 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1230.38
Current children cumulated vsize (Kb) 20084

[startup+1240.72 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1240.38
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 123311 727 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578239 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1240.38
Current children cumulated vsize (Kb) 20084

[startup+1250.73 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810760/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1250.38
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 124303 735 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1250.38
Current children cumulated vsize (Kb) 20084

[startup+1260.73 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1260.39
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 125296 743 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1260.39
Current children cumulated vsize (Kb) 20084

[startup+1270.74 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1270.39
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 126287 752 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1270.39
Current children cumulated vsize (Kb) 20084

[startup+1280.74 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1280.39
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 127279 760 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1280.39
Current children cumulated vsize (Kb) 20084

[startup+1290.75 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1290.39
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 128270 769 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578246 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1290.39
Current children cumulated vsize (Kb) 20084

[startup+1300.76 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1300.4
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 129260 780 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1300.4
Current children cumulated vsize (Kb) 20084

[startup+1310.76 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810760/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1310.4
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 130247 793 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1310.4
Current children cumulated vsize (Kb) 20084

[startup+1320.77 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810760/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1320.4
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 131233 807 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1320.4
Current children cumulated vsize (Kb) 20084

[startup+1330.77 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810760/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1330.41
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 132216 825 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1330.41
Current children cumulated vsize (Kb) 20084

[startup+1340.78 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1340.41
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 133192 849 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1340.41
Current children cumulated vsize (Kb) 20084

[startup+1350.79 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4708
/proc/meminfo: memFree=810824/2055920 swapFree=4182820/4192956
[pid=4708] ppid=4706 vsize=20084 CPUtime=1350.41
/proc/4708/stat : 4708 (glpPBv3) R 4706 4708 4659 0 -1 0 4933 0 0 0 134160 881 0 0 25 0 1 0 164373072 20566016 4619 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4708/statm: 5021 4619 227 40 0 4438 0
Current children cumulated CPU time (s) 1350.41
Current children cumulated vsize (Kb) 20084

Child status: 20
Real time (s): 1350.92
CPU time (s): 1350.55
CPU user time (s): 1341.72
CPU system time (s): 8.82866
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (Kb): 20084
The end

Launcher Data (download as text)

Begin job on node48 on Sat Jul 29 12:10:23 UTC 2006


FILE ID= 85818-1154175023

PBS_JOBID= 893592

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_4_30_2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node48/85818-1154175023/instance-85818-1154175023.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-85818-1154175023 -o ROOT/results/node48/solver-85818-1154175023 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node48/85818-1154175023/instance-85818-1154175023.opb

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  1d7dd5c267917b6fb58d303c57bfa918

RANDOM SEED= 521904926

TIMEOUT= 1800 seconds


/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:        828688 kB
Buffers:         46020 kB
Cached:        1098300 kB
SwapCached:       4676 kB
Active:         109444 kB
Inactive:      1044340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        828688 kB
SwapTotal:     4192956 kB
SwapFree:      4182820 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          14444 kB
Slab:            59460 kB
Committed_AS:   678572 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node48 on Sat Jul 29 12:32:54 UTC 2006