Trace number 85821

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.2? (TO) 1800.23 1801.28

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_8_70_4.opb
MD5SUM87341d3e4752b9f90faef0f8d9385430
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark77
Best CPU time to get the best result obtained on this benchmark1800.52
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 44
Optimality of the best value was proved NO
Number of variables198
Total number of constraints16
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 constraints16
Minimum length of a constraint84
Maximum length of a constraint86
Number of terms in the objective function 128
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 4080
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1881
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 6154
Number of bits of the biggest sum of numbers13
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

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/node58/watcher-85821-1154175124 -o ROOT/results/node58/solver-85821-1154175124 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node58/85821-1154175124/instance-85821-1154175124.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 0.99 0.91 3/64 2661
/proc/meminfo: memFree=1879928/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=2668 CPUtime=0
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 269 0 0 0 0 0 0 0 18 0 1 0 164382294 2732032 239 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134530899 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 667 239 199 40 0 84 0

[startup+10.0023 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1876496/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=5976 CPUtime=10
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 1132 0 0 0 989 11 0 0 25 0 1 0 164382294 6119424 1101 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 1494 1101 227 40 0 911 0
Current children cumulated CPU time (s) 10
Current children cumulated vsize (Kb) 5976

[startup+20.0094 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1872728/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=9828 CPUtime=19.99
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 2133 0 0 0 1976 23 0 0 25 0 1 0 164382294 10063872 2061 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 2457 2061 227 40 0 1874 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 9828

[startup+30.0165 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1869272/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=13308 CPUtime=30
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 2995 0 0 0 2965 35 0 0 25 0 1 0 164382294 13627392 2923 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 3327 2923 227 40 0 2744 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 13308

[startup+40.0226 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1865752/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=16768 CPUtime=40.01
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 3952 0 0 0 3955 46 0 0 25 0 1 0 164382294 17170432 3799 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 4192 3799 227 40 0 3609 0
Current children cumulated CPU time (s) 40.01
Current children cumulated vsize (Kb) 16768

[startup+50.0287 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1864344/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=18180 CPUtime=50.01
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 4312 0 0 0 4947 54 0 0 25 0 1 0 164382294 18616320 4159 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 4545 4159 227 40 0 3962 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 18180

[startup+60.0347 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1864216/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=18288 CPUtime=60
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 4338 0 0 0 5939 61 0 0 25 0 1 0 164382294 18726912 4185 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 4572 4185 227 40 0 3989 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 18288

[startup+70.0408 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1863320/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=19160 CPUtime=70.01
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 4559 0 0 0 6932 69 0 0 25 0 1 0 164382294 19619840 4406 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 4790 4406 227 40 0 4207 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 19160

[startup+80.0469 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1862680/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=19808 CPUtime=80.01
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 4720 0 0 0 7926 75 0 0 25 0 1 0 164382294 20283392 4567 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 4952 4567 227 40 0 4369 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 19808

[startup+90.053 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1862616/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=19912 CPUtime=90.01
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 4730 0 0 0 8919 82 0 0 25 0 1 0 164382294 20389888 4577 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534653 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 4978 4577 227 40 0 4395 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 19912

[startup+100.06 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1861272/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=21220 CPUtime=100.01
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 5078 0 0 0 9913 88 0 0 25 0 1 0 164382294 21729280 4925 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0
/proc/2661/statm: 5305 4925 227 40 0 4722 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 21220

[startup+110.066 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1859288/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=23272 CPUtime=110.01
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 5584 0 0 0 10907 94 0 0 25 0 1 0 164382294 23830528 5431 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134573036 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 5818 5431 227 40 0 5235 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 23272

[startup+120.072 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1856728/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=25764 CPUtime=120.01
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 6375 0 0 0 11901 100 0 0 25 0 1 0 164382294 26382336 6061 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 6441 6061 227 40 0 5858 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 25764

[startup+130.078 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1854744/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=27816 CPUtime=130.01
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 6878 0 0 0 12896 105 0 0 25 0 1 0 164382294 28483584 6564 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 6954 6564 227 40 0 6371 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 27816

[startup+140.084 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1852888/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=29672 CPUtime=140.01
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 7331 0 0 0 13889 112 0 0 25 0 1 0 164382294 30384128 7017 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578458 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 7418 7017 227 40 0 6835 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 29672

[startup+150.091 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1850968/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=31520 CPUtime=150.01
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 7811 0 0 0 14884 117 0 0 25 0 1 0 164382294 32276480 7497 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 7880 7497 227 40 0 7297 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 31520

[startup+160.099 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1849112/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=33372 CPUtime=160.01
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 8269 0 0 0 15880 121 0 0 25 0 1 0 164382294 34172928 7955 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 8343 7955 227 40 0 7760 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 33372

[startup+170.105 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1847576/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=34992 CPUtime=170.02
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 8663 0 0 0 16875 127 0 0 25 0 1 0 164382294 35831808 8349 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 8748 8349 227 40 0 8165 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 34992

[startup+180.111 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1845592/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=36844 CPUtime=180.01
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 9147 0 0 0 17870 131 0 0 25 0 1 0 164382294 37728256 8833 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 1 0 0
/proc/2661/statm: 9211 8833 227 40 0 8628 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 36844

[startup+190.117 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1843864/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=38588 CPUtime=190.01
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 9572 0 0 0 18865 136 0 0 25 0 1 0 164382294 39514112 9258 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 9647 9258 227 40 0 9064 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 38588

[startup+200.124 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661
/proc/meminfo: memFree=1842264/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=40212 CPUtime=200.02
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 9983 0 0 0 19861 141 0 0 25 0 1 0 164382294 41177088 9669 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572963 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 10053 9669 227 40 0 9470 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 40212

[startup+210.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2661

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

/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 45937 0 0 0 177555 556 0 0 25 0 1 0 164382294 184508416 44661 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45046 44661 227 40 0 44463 0
Current children cumulated CPU time (s) 1781.11
Current children cumulated vsize (Kb) 180184

[startup+1783.15 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1701528/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=180288 CPUtime=1782.11
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 45954 0 0 0 177655 556 0 0 25 0 1 0 164382294 184614912 44678 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572926 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45072 44678 227 40 0 44489 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (Kb) 180288

[startup+1784.15 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1701464/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=180288 CPUtime=1783.12
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 45968 0 0 0 177756 556 0 0 25 0 1 0 164382294 184614912 44692 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45072 44692 227 40 0 44489 0
Current children cumulated CPU time (s) 1783.12
Current children cumulated vsize (Kb) 180288

[startup+1785.16 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1701336/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=180396 CPUtime=1784.13
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 45988 0 0 0 177856 557 0 0 25 0 1 0 164382294 184725504 44712 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45099 44712 227 40 0 44516 0
Current children cumulated CPU time (s) 1784.13
Current children cumulated vsize (Kb) 180396

[startup+1786.16 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1701272/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=180508 CPUtime=1785.13
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46011 0 0 0 177956 557 0 0 25 0 1 0 164382294 184840192 44735 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45127 44735 227 40 0 44544 0
Current children cumulated CPU time (s) 1785.13
Current children cumulated vsize (Kb) 180508

[startup+1787.17 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1701208/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=180616 CPUtime=1786.14
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46033 0 0 0 178057 557 0 0 25 0 1 0 164382294 184950784 44757 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45154 44757 227 40 0 44571 0
Current children cumulated CPU time (s) 1786.14
Current children cumulated vsize (Kb) 180616

[startup+1788.17 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1701144/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=180616 CPUtime=1787.14
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46050 0 0 0 178157 557 0 0 25 0 1 0 164382294 184950784 44774 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45154 44774 227 40 0 44571 0
Current children cumulated CPU time (s) 1787.14
Current children cumulated vsize (Kb) 180616

[startup+1789.18 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1701080/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=180728 CPUtime=1788.15
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46064 0 0 0 178257 558 0 0 25 0 1 0 164382294 185065472 44788 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45182 44788 227 40 0 44599 0
Current children cumulated CPU time (s) 1788.15
Current children cumulated vsize (Kb) 180728

[startup+1790.18 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1701016/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=180728 CPUtime=1789.15
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46080 0 0 0 178357 558 0 0 25 0 1 0 164382294 185065472 44804 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45182 44804 227 40 0 44599 0
Current children cumulated CPU time (s) 1789.15
Current children cumulated vsize (Kb) 180728

[startup+1791.19 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1700888/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=180836 CPUtime=1790.16
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46103 0 0 0 178458 558 0 0 25 0 1 0 164382294 185176064 44827 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134573005 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45209 44827 227 40 0 44626 0
Current children cumulated CPU time (s) 1790.16
Current children cumulated vsize (Kb) 180836

[startup+1792.19 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1700824/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=180944 CPUtime=1791.16
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46125 0 0 0 178558 558 0 0 25 0 1 0 164382294 185286656 44849 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578066 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45236 44849 227 40 0 44653 0
Current children cumulated CPU time (s) 1791.16
Current children cumulated vsize (Kb) 180944

[startup+1793.2 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1700760/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=181048 CPUtime=1792.16
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46142 0 0 0 178658 558 0 0 25 0 1 0 164382294 185393152 44866 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45262 44866 227 40 0 44679 0
Current children cumulated CPU time (s) 1792.16
Current children cumulated vsize (Kb) 181048

[startup+1794.21 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1700696/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=181048 CPUtime=1793.16
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46158 0 0 0 178758 558 0 0 25 0 1 0 164382294 185393152 44882 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45262 44882 227 40 0 44679 0
Current children cumulated CPU time (s) 1793.16
Current children cumulated vsize (Kb) 181048

[startup+1795.21 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1700632/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=181156 CPUtime=1794.17
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46174 0 0 0 178858 559 0 0 25 0 1 0 164382294 185503744 44898 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45289 44898 227 40 0 44706 0
Current children cumulated CPU time (s) 1794.17
Current children cumulated vsize (Kb) 181156

[startup+1796.22 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1700568/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=181268 CPUtime=1795.17
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46191 0 0 0 178958 559 0 0 25 0 1 0 164382294 185618432 44915 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578423 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45317 44915 227 40 0 44734 0
Current children cumulated CPU time (s) 1795.17
Current children cumulated vsize (Kb) 181268

[startup+1797.22 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1700504/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=181268 CPUtime=1796.18
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46207 0 0 0 179059 559 0 0 25 0 1 0 164382294 185618432 44931 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45317 44931 227 40 0 44734 0
Current children cumulated CPU time (s) 1796.18
Current children cumulated vsize (Kb) 181268

[startup+1798.23 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1700440/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=181376 CPUtime=1797.18
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46221 0 0 0 179159 559 0 0 25 0 1 0 164382294 185729024 44945 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578429 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45344 44945 227 40 0 44761 0
Current children cumulated CPU time (s) 1797.18
Current children cumulated vsize (Kb) 181376

[startup+1799.23 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1700376/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=181376 CPUtime=1798.18
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46234 0 0 0 179259 559 0 0 25 0 1 0 164382294 185729024 44958 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572861 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45344 44958 227 40 0 44761 0
Current children cumulated CPU time (s) 1798.18
Current children cumulated vsize (Kb) 181376

[startup+1800.24 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1700376/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=181488 CPUtime=1799.19
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46248 0 0 0 179360 559 0 0 25 0 1 0 164382294 185843712 44972 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45372 44972 227 40 0 44789 0
Current children cumulated CPU time (s) 1799.19
Current children cumulated vsize (Kb) 181488

[startup+1801.24 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1700248/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=181488 CPUtime=1800.19
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46266 0 0 0 179460 559 0 0 25 0 1 0 164382294 185843712 44990 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134573036 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45372 44990 227 40 0 44789 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (Kb) 181488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.25 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 2663
/proc/meminfo: memFree=1700248/2055920 swapFree=4182948/4192956
[pid=2661] ppid=2659 vsize=181488 CPUtime=1800.19
/proc/2661/stat : 2661 (glpPBv3) R 2659 2661 2612 0 -1 0 46266 0 0 0 179460 559 0 0 25 0 1 0 164382294 185843712 44990 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 0 0 0
/proc/2661/statm: 45372 44990 227 40 0 44789 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (Kb) 181488

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.28
CPU time (s): 1800.23
CPU user time (s): 1794.61
CPU system time (s): 5.62614
CPU usage (%): 99.9418
Max. virtual memory (cumulated for all children) (Kb): 181488
The end

Launcher Data (download as text)

Begin job on node58 on Sat Jul 29 12:12:04 UTC 2006


FILE ID= 85821-1154175124

PBS_JOBID= 893595

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

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  87341d3e4752b9f90faef0f8d9385430

RANDOM SEED= 179065348

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.234
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.234
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:       1880136 kB
Buffers:         17348 kB
Cached:          86052 kB
SwapCached:       3836 kB
Active:          18724 kB
Inactive:        93336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1880136 kB
SwapTotal:     4192956 kB
SwapFree:      4182948 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          14720 kB
Slab:            49816 kB
Committed_AS:  1130008 kB
PageTables:       1392 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node58 on Sat Jul 29 12:42:05 UTC 2006