Trace number 85186

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.58 1801.18

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
MD5SUM0a5749e09f3f6f40d04f442dc86d22a6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark189
Best CPU time to get the best result obtained on this benchmark1800.61
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 188
Optimality of the best value was proved NO
Number of variables479
Total number of constraints479
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 constraints479
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 479
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 479
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 479
Number of bits of the biggest sum of numbers9
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/node36/watcher-85186-1154166252 -o ROOT/results/node36/solver-85186-1154166252 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node36/85186-1154166252/instance-85186-1154166252.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1227424/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=2424 CPUtime=0
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 141 0 0 0 0 0 0 0 18 0 1 0 163496581 2482176 123 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1531992 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 606 123 108 40 0 11 0

[startup+10.0018 s]
/proc/loadavg: 0.93 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1225000/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=4736 CPUtime=9.99
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 958 0 0 0 998 1 0 0 25 0 1 0 163496581 4849664 810 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643580 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1184 810 227 40 0 601 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 4736

[startup+20.0078 s]
/proc/loadavg: 0.94 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1225000/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=4752 CPUtime=20
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1767 0 0 0 1998 2 0 0 25 0 1 0 163496581 4866048 814 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542185 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1188 814 227 40 0 605 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 4752

[startup+30.0138 s]
/proc/loadavg: 0.95 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1224872/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=4888 CPUtime=30
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 5438 0 0 0 2996 4 0 0 25 0 1 0 163496581 5005312 848 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1222 848 227 40 0 639 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 4888

[startup+40.0199 s]
/proc/loadavg: 0.96 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1224680/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=5028 CPUtime=40
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 9686 0 0 0 3994 6 0 0 25 0 1 0 163496581 5148672 883 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1257 883 227 40 0 674 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 5028

[startup+50.0259 s]
/proc/loadavg: 0.96 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1224488/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=5256 CPUtime=50
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 16668 0 0 0 4990 10 0 0 25 0 1 0 163496581 5382144 940 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543494 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1314 940 227 40 0 731 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 5256

[startup+60.0319 s]
/proc/loadavg: 0.97 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1224296/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=5504 CPUtime=60
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 23169 0 0 0 5987 13 0 0 25 0 1 0 163496581 5636096 1002 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632922 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1376 1002 227 40 0 793 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 5504

[startup+70.0379 s]
/proc/loadavg: 0.97 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1224040/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=5692 CPUtime=70.01
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 31350 0 0 0 6984 17 0 0 25 0 1 0 163496581 5828608 1049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543003 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1423 1049 227 40 0 840 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 5692

[startup+80.0439 s]
/proc/loadavg: 0.98 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1223912/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=5916 CPUtime=80.01
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 39746 0 0 0 7980 21 0 0 25 0 1 0 163496581 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542117 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1479 1105 227 40 0 896 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 5916

[startup+90.0499 s]
/proc/loadavg: 0.98 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1223528/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=6408 CPUtime=90.01
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 47549 0 0 0 8975 26 0 0 25 0 1 0 163496581 6561792 1204 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1602 1204 227 40 0 1019 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 6408

[startup+100.056 s]
/proc/loadavg: 0.98 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1223272/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=6528 CPUtime=100.01
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 57217 0 0 0 9971 30 0 0 25 0 1 0 163496581 6684672 1258 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1632 1258 227 40 0 1049 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 6528

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1223080/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=6692 CPUtime=110.02
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 64034 0 0 0 10969 33 0 0 25 0 1 0 163496581 6852608 1299 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134605458 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1673 1299 227 40 0 1090 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 6692

[startup+120.068 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1223016/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=6896 CPUtime=120.03
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 66467 0 0 0 11968 35 0 0 25 0 1 0 163496581 7061504 1325 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585317 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1724 1325 227 40 0 1141 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 6896

[startup+130.074 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1222824/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=6936 CPUtime=130.03
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 71347 0 0 0 12966 37 0 0 25 0 1 0 163496581 7102464 1360 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134633073 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1734 1360 227 40 0 1151 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 6936

[startup+140.08 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1222632/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=7156 CPUtime=140.03
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 78798 0 0 0 13961 42 0 0 25 0 1 0 163496581 7327744 1415 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1789 1415 227 40 0 1206 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 7156

[startup+150.086 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1222376/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=7352 CPUtime=150.03
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 85050 0 0 0 14959 44 0 0 25 0 1 0 163496581 7528448 1464 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1838 1464 227 40 0 1255 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 7352

[startup+160.092 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1222184/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=7524 CPUtime=160.03
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 90431 0 0 0 15956 47 0 0 25 0 1 0 163496581 7704576 1507 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1881 1507 227 40 0 1298 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 7524

[startup+170.098 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1221864/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=7872 CPUtime=170.04
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 96470 0 0 0 16954 50 0 0 25 0 1 0 163496581 8060928 1594 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629246 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 1968 1594 227 40 0 1385 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 7872

[startup+180.104 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1221672/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=8124 CPUtime=180.04
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 105389 0 0 0 17950 54 0 0 25 0 1 0 163496581 8318976 1657 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 2031 1657 227 40 0 1448 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 8124

[startup+190.11 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1221416/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=8336 CPUtime=190.05
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 113761 0 0 0 18947 58 0 0 25 0 1 0 163496581 8536064 1710 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542176 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 2084 1710 227 40 0 1501 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 8336

[startup+200.116 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2011
/proc/meminfo: memFree=1221288/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=8476 CPUtime=200.05
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 120031 0 0 0 19943 62 0 0 25 0 1 0 163496581 8679424 1745 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 2119 1745 227 40 0 1536 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 8476

[startup+210.122 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2011

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

/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1740867 0 0 0 177311 837 0 0 25 0 1 0 163496581 56688640 13466 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542160 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13840 13466 227 40 0 13257 0
Current children cumulated CPU time (s) 1781.48
Current children cumulated vsize (Kb) 55360

[startup+1783.07 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1174120/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55368 CPUtime=1782.47
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1741553 0 0 0 177410 837 0 0 25 0 1 0 163496581 56696832 13468 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1994455 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13842 13468 227 40 0 13259 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (Kb) 55368

[startup+1784.07 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1174056/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55400 CPUtime=1783.49
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1742452 0 0 0 177511 838 0 0 25 0 1 0 163496581 56729600 13476 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13850 13476 227 40 0 13267 0
Current children cumulated CPU time (s) 1783.49
Current children cumulated vsize (Kb) 55400

[startup+1785.08 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1174056/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55556 CPUtime=1784.49
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1743454 0 0 0 177611 838 0 0 25 0 1 0 163496581 56889344 13486 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1963643 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13889 13486 227 40 0 13306 0
Current children cumulated CPU time (s) 1784.49
Current children cumulated vsize (Kb) 55556

[startup+1786.08 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1174056/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55456 CPUtime=1785.49
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1744314 0 0 0 177711 838 0 0 25 0 1 0 163496581 56786944 13490 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578060 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13864 13490 227 40 0 13281 0
Current children cumulated CPU time (s) 1785.49
Current children cumulated vsize (Kb) 55456

[startup+1787.09 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1173992/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55472 CPUtime=1786.5
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1745326 0 0 0 177811 839 0 0 25 0 1 0 163496581 56803328 13494 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13868 13494 227 40 0 13285 0
Current children cumulated CPU time (s) 1786.5
Current children cumulated vsize (Kb) 55472

[startup+1788.09 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1173992/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55504 CPUtime=1787.5
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1746238 0 0 0 177911 839 0 0 25 0 1 0 163496581 56836096 13502 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13876 13502 227 40 0 13293 0
Current children cumulated CPU time (s) 1787.5
Current children cumulated vsize (Kb) 55504

[startup+1789.1 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1173928/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55660 CPUtime=1788.5
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1747192 0 0 0 178011 839 0 0 25 0 1 0 163496581 56995840 13512 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1963643 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13915 13512 227 40 0 13332 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 55660

[startup+1790.1 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1173928/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55688 CPUtime=1789.51
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1748197 0 0 0 178112 839 0 0 25 0 1 0 163496581 57024512 13520 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 1963643 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13922 13520 227 40 0 13339 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (Kb) 55688

[startup+1791.11 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1173928/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55572 CPUtime=1790.52
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1749087 0 0 0 178212 840 0 0 25 0 1 0 163496581 56905728 13519 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543236 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13893 13519 227 40 0 13310 0
Current children cumulated CPU time (s) 1790.52
Current children cumulated vsize (Kb) 55572

[startup+1792.11 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1173864/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55736 CPUtime=1791.52
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1750292 0 0 0 178311 841 0 0 25 0 1 0 163496581 57073664 13536 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13934 13536 227 40 0 13351 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (Kb) 55736

[startup+1793.12 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1173864/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55628 CPUtime=1792.53
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1751213 0 0 0 178412 841 0 0 25 0 1 0 163496581 56963072 13533 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13907 13533 227 40 0 13324 0
Current children cumulated CPU time (s) 1792.53
Current children cumulated vsize (Kb) 55628

[startup+1794.12 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1173800/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55660 CPUtime=1793.53
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1752261 0 0 0 178512 841 0 0 25 0 1 0 163496581 56995840 13541 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542131 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13915 13541 227 40 0 13332 0
Current children cumulated CPU time (s) 1793.53
Current children cumulated vsize (Kb) 55660

[startup+1795.13 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1173800/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55692 CPUtime=1794.54
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1753221 0 0 0 178612 842 0 0 25 0 1 0 163496581 57028608 13549 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134537556 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13923 13549 227 40 0 13340 0
Current children cumulated CPU time (s) 1794.54
Current children cumulated vsize (Kb) 55692

[startup+1796.13 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1173736/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55716 CPUtime=1795.53
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1754107 0 0 0 178711 842 0 0 25 0 1 0 163496581 57053184 13555 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13929 13555 227 40 0 13346 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 55716

[startup+1797.14 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1173736/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55732 CPUtime=1796.55
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1754607 0 0 0 178812 843 0 0 25 0 1 0 163496581 57069568 13559 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542124 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13933 13559 227 40 0 13350 0
Current children cumulated CPU time (s) 1796.55
Current children cumulated vsize (Kb) 55732

[startup+1798.14 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1173736/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55740 CPUtime=1797.55
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1755025 0 0 0 178912 843 0 0 25 0 1 0 163496581 57077760 13561 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629200 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13935 13561 227 40 0 13352 0
Current children cumulated CPU time (s) 1797.55
Current children cumulated vsize (Kb) 55740

[startup+1799.15 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1173672/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55760 CPUtime=1798.55
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1755571 0 0 0 179012 843 0 0 25 0 1 0 163496581 57098240 13566 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643288 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13940 13566 227 40 0 13357 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 55760

[startup+1800.15 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1173672/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55776 CPUtime=1799.55
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1756340 0 0 0 179112 843 0 0 25 0 1 0 163496581 57114624 13570 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572891 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13944 13570 227 40 0 13361 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (Kb) 55776

[startup+1801.16 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1173672/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55800 CPUtime=1800.56
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1756982 0 0 0 179213 843 0 0 25 0 1 0 163496581 57139200 13576 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13950 13576 227 40 0 13367 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 55800



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 0.99 0.98 0.92 2/64 2225
/proc/meminfo: memFree=1173672/2055920 swapFree=4183160/4192956
[pid=2011] ppid=2008 vsize=55800 CPUtime=1800.56
/proc/2011/stat : 2011 (glpPBv3) R 2008 2011 1958 0 -1 0 1756982 0 0 0 179213 843 0 0 25 0 1 0 163496581 57139200 13576 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/2011/statm: 13950 13576 227 40 0 13367 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 55800

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.18
CPU time (s): 1800.58
CPU user time (s): 1792.13
CPU system time (s): 8.44871
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (Kb): 55800
The end

Launcher Data (download as text)

Begin job on node36 on Sat Jul 29 09:44:12 UTC 2006


FILE ID= 85186-1154166252

PBS_JOBID= 892960

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node36/85186-1154166252/instance-85186-1154166252.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node36/watcher-85186-1154166252 -o ROOT/results/node36/solver-85186-1154166252 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node36/85186-1154166252/instance-85186-1154166252.opb

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  0a5749e09f3f6f40d04f442dc86d22a6

RANDOM SEED= 820029359

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.218
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.218
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:       1227632 kB
Buffers:         39656 kB
Cached:         708852 kB
SwapCached:       3640 kB
Active:          93688 kB
Inactive:       663476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1227632 kB
SwapTotal:     4192956 kB
SwapFree:      4183160 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14728 kB
Slab:            57216 kB
Committed_AS:   624104 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node36 on Sat Jul 29 10:14:13 UTC 2006