Trace number 85182

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.63 1801.21

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_24.opb.PB06.opb
MD5SUM7903a80129c7e51df900bcb9ac0a6f39
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark186
Best CPU time to get the best result obtained on this benchmark1800.44
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 185
Optimality of the best value was proved NO
Number of variables475
Total number of constraints475
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 constraints475
Minimum length of a constraint3
Maximum length of a constraint19
Number of terms in the objective function 475
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 475
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 475
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/node38/watcher-85182-1154166180 -o ROOT/results/node38/solver-85182-1154166180 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node38/85182-1154166180/instance-85182-1154166180.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 0.92 3/64 9422
/proc/meminfo: memFree=1868400/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=2424 CPUtime=0
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 151 0 0 0 0 0 0 0 18 0 1 0 163489214 2482176 131 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 8575864 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 594 123 104 40 0 11 0

[startup+10.0026 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1866096/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=4716 CPUtime=9.99
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 951 0 0 0 998 1 0 0 25 0 1 0 163489214 4829184 805 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134633092 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1179 805 227 40 0 596 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 4716

[startup+20.0087 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1866032/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=4724 CPUtime=20
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 2221 0 0 0 1997 3 0 0 25 0 1 0 163489214 4837376 807 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632414 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1181 807 227 40 0 598 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 4724

[startup+30.0159 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1865904/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=4876 CPUtime=30
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 6216 0 0 0 2995 5 0 0 25 0 1 0 163489214 4993024 845 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1219 845 227 40 0 636 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 4876

[startup+40.022 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1865712/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=5068 CPUtime=40
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 11366 0 0 0 3993 7 0 0 25 0 1 0 163489214 5189632 893 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643702 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1267 893 227 40 0 684 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 5068

[startup+50.0281 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1865520/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=5224 CPUtime=50
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 16686 0 0 0 4991 9 0 0 25 0 1 0 163489214 5349376 932 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632895 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1306 932 227 40 0 723 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 5224

[startup+60.0343 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1865328/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=5388 CPUtime=60.01
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 22186 0 0 0 5989 12 0 0 25 0 1 0 163489214 5517312 973 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1347 973 227 40 0 764 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 5388

[startup+70.0404 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1865136/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=5640 CPUtime=70.01
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 28545 0 0 0 6987 14 0 0 25 0 1 0 163489214 5775360 1036 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629267 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1410 1036 227 40 0 827 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 5640

[startup+80.0465 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1864816/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=5916 CPUtime=80.01
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 39274 0 0 0 7982 19 0 0 25 0 1 0 163489214 6057984 1105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534674 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1479 1105 227 40 0 896 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 5916

[startup+90.0526 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1864624/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=6128 CPUtime=90.01
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 46931 0 0 0 8979 22 0 0 25 0 1 0 163489214 6275072 1158 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1532 1158 227 40 0 949 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 6128

[startup+100.058 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1864304/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=6440 CPUtime=100.02
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 52944 0 0 0 9976 26 0 0 25 0 1 0 163489214 6594560 1236 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632932 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1610 1236 227 40 0 1027 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 6440

[startup+110.064 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1864112/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=6612 CPUtime=110.03
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 59182 0 0 0 10973 30 0 0 25 0 1 0 163489214 6770688 1279 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543284 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1653 1279 227 40 0 1070 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 6612

[startup+120.07 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1863920/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=6832 CPUtime=120.03
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 66470 0 0 0 11970 33 0 0 25 0 1 0 163489214 6995968 1334 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1708 1334 227 40 0 1125 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 6832

[startup+130.076 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1863664/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=7028 CPUtime=130.03
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 73609 0 0 0 12967 36 0 0 25 0 1 0 163489214 7196672 1383 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1757 1383 227 40 0 1174 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 7028

[startup+140.082 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1863472/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=7232 CPUtime=140.04
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 81364 0 0 0 13964 40 0 0 25 0 1 0 163489214 7405568 1434 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134537476 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1841 1435 227 40 0 1258 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 7232

[startup+150.089 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1863280/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=7444 CPUtime=150.04
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 88645 0 0 0 14961 43 0 0 25 0 1 0 163489214 7622656 1487 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542065 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1861 1487 227 40 0 1278 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 7444

[startup+160.096 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1862832/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=7808 CPUtime=160.05
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 95797 0 0 0 15958 47 0 0 25 0 1 0 163489214 7995392 1578 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 1952 1578 227 40 0 1369 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 7808

[startup+170.102 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1862704/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=8104 CPUtime=170.05
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 101230 0 0 0 16955 50 0 0 25 0 1 0 163489214 8298496 1628 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 2026 1628 227 40 0 1443 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 8104

[startup+180.108 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1862512/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=8168 CPUtime=180.05
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 108175 0 0 0 17952 53 0 0 25 0 1 0 163489214 8364032 1668 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134605454 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 2042 1668 227 40 0 1459 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 8168

[startup+190.114 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1862384/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=8464 CPUtime=190.06
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 113491 0 0 0 18949 57 0 0 25 0 1 0 163489214 8667136 1718 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 2116 1718 227 40 0 1533 0
Current children cumulated CPU time (s) 190.06
Current children cumulated vsize (Kb) 8464

[startup+200.12 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422
/proc/meminfo: memFree=1862192/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=8512 CPUtime=200.06
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 119687 0 0 0 19946 60 0 0 25 0 1 0 163489214 8716288 1754 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 2128 1754 227 40 0 1545 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 8512

[startup+210.127 s]
/proc/loadavg: 1.00 1.00 0.92 2/64 9422

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

/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1312291 0 0 0 177496 656 0 0 25 0 1 0 163489214 43626496 10277 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10651 10277 227 40 0 10068 0
Current children cumulated CPU time (s) 1781.52
Current children cumulated vsize (Kb) 42604

[startup+1783.1 s]
/proc/loadavg: 1.01 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1827312/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=42620 CPUtime=1782.53
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1313105 0 0 0 177596 657 0 0 25 0 1 0 163489214 43642880 10281 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629115 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10655 10281 227 40 0 10072 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (Kb) 42620

[startup+1784.11 s]
/proc/loadavg: 1.01 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1827312/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=42652 CPUtime=1783.52
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1314058 0 0 0 177695 657 0 0 25 0 1 0 163489214 43675648 10289 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543225 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10663 10289 227 40 0 10080 0
Current children cumulated CPU time (s) 1783.52
Current children cumulated vsize (Kb) 42652

[startup+1785.11 s]
/proc/loadavg: 1.01 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1827312/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=42676 CPUtime=1784.53
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1315009 0 0 0 177795 658 0 0 25 0 1 0 163489214 43700224 10295 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542160 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10669 10295 227 40 0 10086 0
Current children cumulated CPU time (s) 1784.53
Current children cumulated vsize (Kb) 42676

[startup+1786.12 s]
/proc/loadavg: 1.01 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1827248/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=42716 CPUtime=1785.53
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1316101 0 0 0 177895 658 0 0 25 0 1 0 163489214 43741184 10305 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629114 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10679 10305 227 40 0 10096 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (Kb) 42716

[startup+1787.12 s]
/proc/loadavg: 1.01 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1827248/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=42860 CPUtime=1786.54
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1317080 0 0 0 177995 659 0 0 25 0 1 0 163489214 43888640 10319 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10715 10319 227 40 0 10132 0
Current children cumulated CPU time (s) 1786.54
Current children cumulated vsize (Kb) 42860

[startup+1788.13 s]
/proc/loadavg: 1.01 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1827184/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=42884 CPUtime=1787.55
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1317810 0 0 0 178096 659 0 0 25 0 1 0 163489214 43913216 10320 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9041531 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10721 10320 227 40 0 10138 0
Current children cumulated CPU time (s) 1787.55
Current children cumulated vsize (Kb) 42884

[startup+1789.13 s]
/proc/loadavg: 1.01 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1827184/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=42784 CPUtime=1788.55
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1318829 0 0 0 178196 659 0 0 25 0 1 0 163489214 43810816 10322 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10696 10322 227 40 0 10113 0
Current children cumulated CPU time (s) 1788.55
Current children cumulated vsize (Kb) 42784

[startup+1790.14 s]
/proc/loadavg: 1.01 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1827184/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=42932 CPUtime=1789.55
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1319649 0 0 0 178296 659 0 0 25 0 1 0 163489214 43962368 10332 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 9041531 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10733 10332 227 40 0 10150 0
Current children cumulated CPU time (s) 1789.55
Current children cumulated vsize (Kb) 42932

[startup+1791.14 s]
/proc/loadavg: 1.00 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1827120/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=42956 CPUtime=1790.56
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1320594 0 0 0 178396 660 0 0 25 0 1 0 163489214 43986944 10341 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10739 10341 227 40 0 10156 0
Current children cumulated CPU time (s) 1790.56
Current children cumulated vsize (Kb) 42956

[startup+1792.15 s]
/proc/loadavg: 1.00 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1827120/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=42856 CPUtime=1791.56
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1321403 0 0 0 178496 660 0 0 25 0 1 0 163489214 43884544 10340 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10714 10340 227 40 0 10131 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (Kb) 42856

[startup+1793.15 s]
/proc/loadavg: 1.00 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1827056/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=42880 CPUtime=1792.57
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1322453 0 0 0 178597 660 0 0 25 0 1 0 163489214 43909120 10346 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543142 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10720 10346 227 40 0 10137 0
Current children cumulated CPU time (s) 1792.57
Current children cumulated vsize (Kb) 42880

[startup+1794.16 s]
/proc/loadavg: 1.00 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1827056/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=42908 CPUtime=1793.58
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1323664 0 0 0 178697 661 0 0 25 0 1 0 163489214 43937792 10353 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134573005 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10727 10353 227 40 0 10144 0
Current children cumulated CPU time (s) 1793.58
Current children cumulated vsize (Kb) 42908

[startup+1795.16 s]
/proc/loadavg: 1.00 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1827056/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=42932 CPUtime=1794.58
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1324669 0 0 0 178796 662 0 0 25 0 1 0 163489214 43962368 10359 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134578419 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10733 10359 227 40 0 10150 0
Current children cumulated CPU time (s) 1794.58
Current children cumulated vsize (Kb) 42932

[startup+1796.17 s]
/proc/loadavg: 1.00 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1826992/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=42956 CPUtime=1795.59
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1325395 0 0 0 178897 662 0 0 25 0 1 0 163489214 43986944 10365 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643288 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10739 10365 227 40 0 10156 0
Current children cumulated CPU time (s) 1795.59
Current children cumulated vsize (Kb) 42956

[startup+1797.17 s]
/proc/loadavg: 1.00 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1826992/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=42988 CPUtime=1796.59
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1326420 0 0 0 178997 662 0 0 25 0 1 0 163489214 44019712 10373 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134541710 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10747 10373 227 40 0 10164 0
Current children cumulated CPU time (s) 1796.59
Current children cumulated vsize (Kb) 42988

[startup+1798.18 s]
/proc/loadavg: 1.00 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1826928/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=43144 CPUtime=1797.59
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1327452 0 0 0 179097 662 0 0 25 0 1 0 163489214 44179456 10388 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10786 10388 227 40 0 10203 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (Kb) 43144

[startup+1799.18 s]
/proc/loadavg: 1.00 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1826928/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=43036 CPUtime=1798.6
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1328250 0 0 0 179197 663 0 0 25 0 1 0 163489214 44068864 10385 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629279 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10759 10385 227 40 0 10176 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (Kb) 43036

[startup+1800.19 s]
/proc/loadavg: 1.00 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1826928/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=43060 CPUtime=1799.6
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1329057 0 0 0 179297 663 0 0 25 0 1 0 163489214 44093440 10391 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134628964 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10765 10391 227 40 0 10182 0
Current children cumulated CPU time (s) 1799.6
Current children cumulated vsize (Kb) 43060

[startup+1801.19 s]
/proc/loadavg: 1.00 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1826864/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=43068 CPUtime=1800.61
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1329896 0 0 0 179397 664 0 0 25 0 1 0 163489214 44101632 10393 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632388 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10767 10393 227 40 0 10184 0
Current children cumulated CPU time (s) 1800.61
Current children cumulated vsize (Kb) 43068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.2 s]
/proc/loadavg: 1.00 1.01 0.93 2/64 9620
/proc/meminfo: memFree=1826864/2055920 swapFree=4183120/4192956
[pid=9422] ppid=9420 vsize=43068 CPUtime=1800.62
/proc/9422/stat : 9422 (glpPBv3) R 9420 9422 9373 0 -1 0 1329896 0 0 0 179398 664 0 0 25 0 1 0 163489214 44101632 10393 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629099 0 0 4096 0 0 0 0 17 1 0 0
/proc/9422/statm: 10767 10393 227 40 0 10184 0
Current children cumulated CPU time (s) 1800.62
Current children cumulated vsize (Kb) 43068

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.21
CPU time (s): 1800.63
CPU user time (s): 1793.98
CPU system time (s): 6.64999
CPU usage (%): 99.9679
Max. virtual memory (cumulated for all children) (Kb): 43144
The end

Launcher Data (download as text)

Begin job on node38 on Sat Jul 29 09:43:00 UTC 2006


FILE ID= 85182-1154166180

PBS_JOBID= 892956

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

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  7903a80129c7e51df900bcb9ac0a6f39

RANDOM SEED= 441478064

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:       1868672 kB
Buffers:          3704 kB
Cached:         114448 kB
SwapCached:       3704 kB
Active:          19300 kB
Inactive:       107552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1868672 kB
SwapTotal:     4192956 kB
SwapFree:      4183120 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          14756 kB
Slab:            46416 kB
Committed_AS:   747448 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node38 on Sat Jul 29 10:13:01 UTC 2006