Trace number 85189

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.67 1801.19

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_14.opb.PB06.opb
MD5SUM3ddf6338b9f9cf35560b94c856457c56
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark183
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 182
Optimality of the best value was proved NO
Number of variables468
Total number of constraints468
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 constraints468
Minimum length of a constraint3
Maximum length of a constraint17
Number of terms in the objective function 468
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 468
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 468
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/node46/watcher-85189-1154166428 -o ROOT/results/node46/solver-85189-1154166428 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node46/85189-1154166428/instance-85189-1154166428.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1503608/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=268 CPUtime=0
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 163514092 274432 23 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 11711268 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 67 23 18 40 0 2 0

[startup+10.0019 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1501312/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=4688 CPUtime=9.99
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 943 0 0 0 998 1 0 0 25 0 1 0 163514092 4800512 798 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 1172 798 227 40 0 589 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 4688

[startup+20.0079 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1501184/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=4760 CPUtime=19.99
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 2900 0 0 0 1997 2 0 0 25 0 1 0 163514092 4874240 816 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 1190 816 227 40 0 607 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 4760

[startup+30.014 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1500992/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=4944 CPUtime=30
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 7668 0 0 0 2995 5 0 0 25 0 1 0 163514092 5062656 862 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632892 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 1236 862 227 40 0 653 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 4944

[startup+40.0191 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1500736/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=5340 CPUtime=40
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 13937 0 0 0 3992 8 0 0 25 0 1 0 163514092 5468160 935 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 1335 935 227 40 0 752 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 5340

[startup+50.0251 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1500544/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=5456 CPUtime=50
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 18664 0 0 0 4989 11 0 0 25 0 1 0 163514092 5586944 990 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643491 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 1364 990 227 40 0 781 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 5456

[startup+60.0312 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1500288/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=5692 CPUtime=60.01
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 25099 0 0 0 5986 15 0 0 25 0 1 0 163514092 5828608 1049 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569838 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 1423 1049 227 40 0 840 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 5692

[startup+70.0372 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1500160/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=5840 CPUtime=70
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 29374 0 0 0 6983 17 0 0 25 0 1 0 163514092 5980160 1086 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 1460 1086 227 40 0 877 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 5840

[startup+80.0433 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1499968/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=5988 CPUtime=80.01
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 32408 0 0 0 7981 20 0 0 25 0 1 0 163514092 6131712 1123 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 1497 1123 227 40 0 914 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 5988

[startup+90.0494 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1499712/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=6408 CPUtime=90.01
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 35736 0 0 0 8979 22 0 0 25 0 1 0 163514092 6561792 1202 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 1602 1202 227 40 0 1019 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 6408

[startup+100.054 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1499520/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=6452 CPUtime=100.02
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 39996 0 0 0 9977 25 0 0 25 0 1 0 163514092 6606848 1239 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632558 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 1613 1239 227 40 0 1030 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 6452

[startup+110.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1499328/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=6644 CPUtime=110.02
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 44671 0 0 0 10974 28 0 0 25 0 1 0 163514092 6803456 1287 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629080 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 1661 1287 227 40 0 1078 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 6644

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1499136/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=6856 CPUtime=120.02
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 49838 0 0 0 11972 30 0 0 25 0 1 0 163514092 7020544 1340 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629080 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 1714 1340 227 40 0 1131 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 6856

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1498944/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=7052 CPUtime=130.03
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 55301 0 0 0 12971 32 0 0 25 0 1 0 163514092 7221248 1389 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 1763 1389 227 40 0 1180 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 7052

[startup+140.079 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1498688/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=7264 CPUtime=140.04
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 60478 0 0 0 13968 36 0 0 25 0 1 0 163514092 7438336 1442 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632402 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 1816 1442 227 40 0 1233 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 7264

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1498496/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=7484 CPUtime=150.04
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 66343 0 0 0 14965 39 0 0 25 0 1 0 163514092 7663616 1497 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534915 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 1871 1497 227 40 0 1288 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 7484

[startup+160.091 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1497984/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=7864 CPUtime=160.04
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 71806 0 0 0 15961 43 0 0 25 0 1 0 163514092 8052736 1592 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629267 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 1966 1592 227 40 0 1383 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 7864

[startup+170.097 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1497856/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=8076 CPUtime=170.04
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 77315 0 0 0 16959 45 0 0 25 0 1 0 163514092 8269824 1645 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543237 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 2019 1645 227 40 0 1436 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 8076

[startup+180.103 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1497664/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=8296 CPUtime=180.05
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 83332 0 0 0 17956 49 0 0 25 0 1 0 163514092 8495104 1700 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632895 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 2074 1700 227 40 0 1491 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 8296

[startup+190.109 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1497408/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=8516 CPUtime=190.05
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 88519 0 0 0 18954 51 0 0 25 0 1 0 163514092 8720384 1755 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632922 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 2129 1755 227 40 0 1546 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 8516

[startup+200.115 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978
/proc/meminfo: memFree=1497216/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=8716 CPUtime=200.05
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 94211 0 0 0 19950 55 0 0 25 0 1 0 163514092 8925184 1805 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542170 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 2179 1805 227 40 0 1596 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 8716

[startup+210.121 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 22978

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

/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 987643 0 0 0 177554 602 0 0 25 0 1 0 163514092 46727168 11034 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11408 11034 227 40 0 10825 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (Kb) 45632

[startup+1783.08 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459976/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=45640 CPUtime=1782.56
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 988065 0 0 0 177654 602 0 0 25 0 1 0 163514092 46735360 11036 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11410 11036 227 40 0 10827 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (Kb) 45640

[startup+1784.09 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459976/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=45672 CPUtime=1783.57
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 988514 0 0 0 177754 603 0 0 25 0 1 0 163514092 46768128 11044 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11418 11044 227 40 0 10835 0
Current children cumulated CPU time (s) 1783.57
Current children cumulated vsize (Kb) 45672

[startup+1785.09 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459976/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=45680 CPUtime=1784.58
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 988960 0 0 0 177855 603 0 0 25 0 1 0 163514092 46776320 11046 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629080 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11420 11046 227 40 0 10837 0
Current children cumulated CPU time (s) 1784.58
Current children cumulated vsize (Kb) 45680

[startup+1786.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459912/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=45712 CPUtime=1785.58
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 989352 0 0 0 177955 603 0 0 25 0 1 0 163514092 46809088 11054 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134572926 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11428 11054 227 40 0 10845 0
Current children cumulated CPU time (s) 1785.58
Current children cumulated vsize (Kb) 45712

[startup+1787.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459912/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=45728 CPUtime=1786.58
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 989938 0 0 0 178055 603 0 0 25 0 1 0 163514092 46825472 11058 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11432 11058 227 40 0 10849 0
Current children cumulated CPU time (s) 1786.58
Current children cumulated vsize (Kb) 45728

[startup+1788.11 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459912/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=45748 CPUtime=1787.59
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 990486 0 0 0 178155 604 0 0 25 0 1 0 163514092 46845952 11063 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11437 11063 227 40 0 10854 0
Current children cumulated CPU time (s) 1787.59
Current children cumulated vsize (Kb) 45748

[startup+1789.11 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459848/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=45772 CPUtime=1788.59
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 991115 0 0 0 178255 604 0 0 25 0 1 0 163514092 46870528 11069 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629267 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11443 11069 227 40 0 10860 0
Current children cumulated CPU time (s) 1788.59
Current children cumulated vsize (Kb) 45772

[startup+1790.12 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459848/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=45796 CPUtime=1789.6
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 991912 0 0 0 178355 605 0 0 25 0 1 0 163514092 46895104 11075 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543011 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11449 11075 227 40 0 10866 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (Kb) 45796

[startup+1791.12 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459784/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=45828 CPUtime=1790.6
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 992823 0 0 0 178455 605 0 0 25 0 1 0 163514092 46927872 11083 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629267 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11457 11083 227 40 0 10874 0
Current children cumulated CPU time (s) 1790.6
Current children cumulated vsize (Kb) 45828

[startup+1792.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459784/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=45868 CPUtime=1791.61
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 993696 0 0 0 178555 606 0 0 25 0 1 0 163514092 46968832 11093 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11467 11093 227 40 0 10884 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (Kb) 45868

[startup+1793.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459720/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=46020 CPUtime=1792.61
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 994386 0 0 0 178655 606 0 0 25 0 1 0 163514092 47124480 11105 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11505 11105 227 40 0 10922 0
Current children cumulated CPU time (s) 1792.61
Current children cumulated vsize (Kb) 46020

[startup+1794.14 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459720/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=46052 CPUtime=1793.62
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 994944 0 0 0 178756 606 0 0 25 0 1 0 163514092 47157248 11109 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12146299 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11513 11109 227 40 0 10930 0
Current children cumulated CPU time (s) 1793.62
Current children cumulated vsize (Kb) 46052

[startup+1795.14 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459720/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=45936 CPUtime=1794.62
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 995757 0 0 0 178855 607 0 0 25 0 1 0 163514092 47038464 11110 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11484 11110 227 40 0 10901 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (Kb) 45936

[startup+1796.15 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459656/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=45968 CPUtime=1795.63
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 996507 0 0 0 178955 608 0 0 25 0 1 0 163514092 47071232 11118 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632922 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11492 11118 227 40 0 10909 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (Kb) 45968

[startup+1797.15 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459656/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=45992 CPUtime=1796.63
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 997094 0 0 0 179055 608 0 0 25 0 1 0 163514092 47095808 11124 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11498 11124 227 40 0 10915 0
Current children cumulated CPU time (s) 1796.63
Current children cumulated vsize (Kb) 45992

[startup+1798.16 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459592/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=46016 CPUtime=1797.64
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 997765 0 0 0 179155 609 0 0 25 0 1 0 163514092 47120384 11130 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534903 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11504 11130 227 40 0 10921 0
Current children cumulated CPU time (s) 1797.64
Current children cumulated vsize (Kb) 46016

[startup+1799.16 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459592/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=46032 CPUtime=1798.64
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 998238 0 0 0 179255 609 0 0 25 0 1 0 163514092 47136768 11134 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629115 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11508 11134 227 40 0 10925 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (Kb) 46032

[startup+1800.17 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459592/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=46180 CPUtime=1799.64
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 998693 0 0 0 179355 609 0 0 25 0 1 0 163514092 47288320 11140 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 12146299 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11545 11140 227 40 0 10962 0
Current children cumulated CPU time (s) 1799.64
Current children cumulated vsize (Kb) 46180

[startup+1801.17 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459528/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=46080 CPUtime=1800.65
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 999305 0 0 0 179455 610 0 0 25 0 1 0 163514092 47185920 11146 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632709 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11520 11146 227 40 0 10937 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 46080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.18 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 23176
/proc/meminfo: memFree=1459528/2055920 swapFree=4181624/4192956
[pid=22978] ppid=22976 vsize=46080 CPUtime=1800.65
/proc/22978/stat : 22978 (glpPBv3) R 22976 22978 22929 0 -1 0 999311 0 0 0 179455 610 0 0 25 0 1 0 163514092 47185920 11146 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22978/statm: 11520 11146 227 40 0 10937 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 46080

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.19
CPU time (s): 1800.67
CPU user time (s): 1794.56
CPU system time (s): 6.11207
CPU usage (%): 99.9713
Max. virtual memory (cumulated for all children) (Kb): 46180
The end

Launcher Data (download as text)

Begin job on node46 on Sat Jul 29 09:47:08 UTC 2006


FILE ID= 85189-1154166428

PBS_JOBID= 892963

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

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  3ddf6338b9f9cf35560b94c856457c56

RANDOM SEED= 932624490

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.224
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.224
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:       1503880 kB
Buffers:         29912 kB
Cached:         453492 kB
SwapCached:       5040 kB
Active:          85536 kB
Inactive:       407972 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1503880 kB
SwapTotal:     4192956 kB
SwapFree:      4181624 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14540 kB
Slab:            44628 kB
Committed_AS:   741832 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node46 on Sat Jul 29 10:17:09 UTC 2006