Trace number 85179

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.66 1801.2

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_17.opb.PB06.opb
MD5SUM90154dd1b8a90675a35ad37cbef52f77
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark191
Best CPU time to get the best result obtained on this benchmark1800.46
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 189
Optimality of the best value was proved NO
Number of variables481
Total number of constraints481
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 constraints481
Minimum length of a constraint3
Maximum length of a constraint19
Number of terms in the objective function 481
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 481
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 481
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/node58/watcher-85179-1154166094 -o ROOT/results/node58/solver-85179-1154166094 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node58/85179-1154166094/instance-85179-1154166094.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 0.99 0.91 3/64 1524
/proc/meminfo: memFree=1885432/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=2632 CPUtime=0
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 237 0 0 0 0 0 0 0 18 0 1 0 163479307 2695168 207 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134524044 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 658 210 185 40 0 75 0

[startup+10.0028 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1883144/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=4736 CPUtime=9.99
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 958 0 0 0 999 0 0 0 25 0 1 0 163479307 4849664 810 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643335 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 1184 810 227 40 0 601 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 4736

[startup+20.0089 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1883088/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=4760 CPUtime=19.99
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 2205 0 0 0 1997 2 0 0 25 0 1 0 163479307 4874240 816 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626419 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 1190 816 227 40 0 607 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 4760

[startup+30.015 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1882960/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=4876 CPUtime=30
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 4677 0 0 0 2997 3 0 0 25 0 1 0 163479307 4993024 845 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632922 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 1219 845 227 40 0 636 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 4876

[startup+40.021 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1882832/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=4984 CPUtime=40
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 7391 0 0 0 3995 5 0 0 25 0 1 0 163479307 5103616 872 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542153 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 1246 872 227 40 0 663 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 4984

[startup+50.0271 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1882704/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=5268 CPUtime=50
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 10361 0 0 0 4993 7 0 0 25 0 1 0 163479307 5394432 917 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 1317 917 227 40 0 734 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 5268

[startup+60.0332 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1882512/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=5316 CPUtime=60
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 16346 0 0 0 5990 10 0 0 25 0 1 0 163479307 5443584 955 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 1329 955 227 40 0 746 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 5316

[startup+70.0403 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1882256/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=5560 CPUtime=70.02
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 22308 0 0 0 6988 14 0 0 25 0 1 0 163479307 5693440 1016 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629078 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 1390 1016 227 40 0 807 0
Current children cumulated CPU time (s) 70.02
Current children cumulated vsize (Kb) 5560

[startup+80.0464 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1882064/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=5756 CPUtime=80.02
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 28820 0 0 0 7985 17 0 0 25 0 1 0 163479307 5894144 1065 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629264 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 1439 1065 227 40 0 856 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 5756

[startup+90.0525 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1881872/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=6084 CPUtime=90.02
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 35159 0 0 0 8982 20 0 0 25 0 1 0 163479307 6230016 1119 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 5305979 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 1521 1121 227 40 0 938 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 6084

[startup+100.059 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1881552/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=6264 CPUtime=100.02
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 40430 0 0 0 9980 22 0 0 25 0 1 0 163479307 6414336 1192 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632402 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 1566 1192 227 40 0 983 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 6264

[startup+110.065 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1881296/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=6492 CPUtime=110.02
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 48835 0 0 0 10976 26 0 0 25 0 1 0 163479307 6647808 1249 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632402 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 1623 1249 227 40 0 1040 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 6492

[startup+120.071 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1881040/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=6780 CPUtime=120.02
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 58849 0 0 0 11971 31 0 0 25 0 1 0 163479307 6942720 1321 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543009 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 1695 1321 227 40 0 1112 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 6780

[startup+130.077 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1880784/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=7000 CPUtime=130.04
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 66635 0 0 0 12968 36 0 0 25 0 1 0 163479307 7168000 1376 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543278 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 1750 1376 227 40 0 1167 0
Current children cumulated CPU time (s) 130.04
Current children cumulated vsize (Kb) 7000

[startup+140.082 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1880528/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=7252 CPUtime=140.04
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 75055 0 0 0 13964 40 0 0 25 0 1 0 163479307 7426048 1439 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629267 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 1813 1439 227 40 0 1230 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 7252

[startup+150.088 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1880080/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=7584 CPUtime=150.04
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 82126 0 0 0 14960 44 0 0 25 0 1 0 163479307 7766016 1522 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626354 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 1896 1522 227 40 0 1313 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 7584

[startup+160.094 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1879952/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=7836 CPUtime=160.04
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 90473 0 0 0 15956 48 0 0 25 0 1 0 163479307 8024064 1585 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543012 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 1959 1585 227 40 0 1376 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 7836

[startup+170.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1879632/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=8180 CPUtime=170.05
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 103363 0 0 0 16951 54 0 0 25 0 1 0 163479307 8376320 1671 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 2045 1671 227 40 0 1462 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 8180

[startup+180.106 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1879504/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=8256 CPUtime=180.05
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 106284 0 0 0 17949 56 0 0 25 0 1 0 163479307 8454144 1690 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 2064 1690 227 40 0 1481 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 8256

[startup+190.112 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1879376/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=8416 CPUtime=190.05
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 110421 0 0 0 18947 58 0 0 25 0 1 0 163479307 8617984 1730 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 2104 1730 227 40 0 1521 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 8416

[startup+200.117 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524
/proc/meminfo: memFree=1879184/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=8588 CPUtime=200.06
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 115120 0 0 0 19944 62 0 0 25 0 1 0 163479307 8794112 1773 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629264 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 2147 1773 227 40 0 1564 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 8588

[startup+210.123 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1524

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

/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1529557 0 0 0 177372 782 0 0 25 0 1 0 163479307 57319424 13620 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643512 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 13994 13620 227 40 0 13411 0
Current children cumulated CPU time (s) 1781.54
Current children cumulated vsize (Kb) 55976

[startup+1783.09 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1831128/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56008 CPUtime=1782.55
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1530538 0 0 0 177472 783 0 0 25 0 1 0 163479307 57352192 13628 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626419 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14002 13628 227 40 0 13419 0
Current children cumulated CPU time (s) 1782.55
Current children cumulated vsize (Kb) 56008

[startup+1784.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1831128/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56036 CPUtime=1783.55
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1531638 0 0 0 177572 783 0 0 25 0 1 0 163479307 57380864 13635 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14009 13635 227 40 0 13426 0
Current children cumulated CPU time (s) 1783.55
Current children cumulated vsize (Kb) 56036

[startup+1785.1 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1831064/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56068 CPUtime=1784.56
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1532710 0 0 0 177672 784 0 0 25 0 1 0 163479307 57413632 13643 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632414 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14017 13643 227 40 0 13434 0
Current children cumulated CPU time (s) 1784.56
Current children cumulated vsize (Kb) 56068

[startup+1786.11 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1831064/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56092 CPUtime=1785.56
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1533492 0 0 0 177771 785 0 0 25 0 1 0 163479307 57438208 13649 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569838 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14023 13649 227 40 0 13440 0
Current children cumulated CPU time (s) 1785.56
Current children cumulated vsize (Kb) 56092

[startup+1787.11 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1831000/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56108 CPUtime=1786.56
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1534272 0 0 0 177871 785 0 0 25 0 1 0 163479307 57454592 13653 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632412 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14027 13653 227 40 0 13444 0
Current children cumulated CPU time (s) 1786.56
Current children cumulated vsize (Kb) 56108

[startup+1788.12 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1831000/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56140 CPUtime=1787.57
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1535081 0 0 0 177971 786 0 0 25 0 1 0 163479307 57487360 13661 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643505 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14035 13661 227 40 0 13452 0
Current children cumulated CPU time (s) 1787.57
Current children cumulated vsize (Kb) 56140

[startup+1789.12 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1830936/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56164 CPUtime=1788.58
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1535913 0 0 0 178071 787 0 0 25 0 1 0 163479307 57511936 13667 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134628982 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14041 13667 227 40 0 13458 0
Current children cumulated CPU time (s) 1788.58
Current children cumulated vsize (Kb) 56164

[startup+1790.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1830936/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56196 CPUtime=1789.58
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1536663 0 0 0 178171 787 0 0 25 0 1 0 163479307 57544704 13675 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632414 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14049 13675 227 40 0 13466 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (Kb) 56196

[startup+1791.13 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1830936/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56216 CPUtime=1790.59
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1537508 0 0 0 178271 788 0 0 25 0 1 0 163479307 57565184 13680 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632685 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14054 13680 227 40 0 13471 0
Current children cumulated CPU time (s) 1790.59
Current children cumulated vsize (Kb) 56216

[startup+1792.14 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1830872/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56248 CPUtime=1791.59
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1538468 0 0 0 178370 789 0 0 25 0 1 0 163479307 57597952 13688 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542150 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14062 13688 227 40 0 13479 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (Kb) 56248

[startup+1793.14 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1830872/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56280 CPUtime=1792.59
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1539500 0 0 0 178470 789 0 0 25 0 1 0 163479307 57630720 13696 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643694 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14070 13696 227 40 0 13487 0
Current children cumulated CPU time (s) 1792.59
Current children cumulated vsize (Kb) 56280

[startup+1794.15 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1830808/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56296 CPUtime=1793.6
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1540296 0 0 0 178570 790 0 0 25 0 1 0 163479307 57647104 13700 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542185 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14074 13700 227 40 0 13491 0
Current children cumulated CPU time (s) 1793.6
Current children cumulated vsize (Kb) 56296

[startup+1795.15 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1830808/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56460 CPUtime=1794.6
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1541413 0 0 0 178670 790 0 0 25 0 1 0 163479307 57815040 13715 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14115 13715 227 40 0 13532 0
Current children cumulated CPU time (s) 1794.6
Current children cumulated vsize (Kb) 56460

[startup+1796.16 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1830744/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56352 CPUtime=1795.61
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1542077 0 0 0 178770 791 0 0 25 0 1 0 163479307 57704448 13714 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643284 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14088 13714 227 40 0 13505 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 56352

[startup+1797.16 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1830744/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56376 CPUtime=1796.61
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1542846 0 0 0 178870 791 0 0 25 0 1 0 163479307 57729024 13720 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643494 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14094 13720 227 40 0 13511 0
Current children cumulated CPU time (s) 1796.61
Current children cumulated vsize (Kb) 56376

[startup+1798.17 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1830744/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56404 CPUtime=1797.62
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1543853 0 0 0 178970 792 0 0 25 0 1 0 163479307 57757696 13727 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14101 13727 227 40 0 13518 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (Kb) 56404

[startup+1799.17 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1830680/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56436 CPUtime=1798.63
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1544861 0 0 0 179070 793 0 0 25 0 1 0 163479307 57790464 13735 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134633013 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14109 13735 227 40 0 13526 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (Kb) 56436

[startup+1800.18 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1830680/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56468 CPUtime=1799.63
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1545877 0 0 0 179170 793 0 0 25 0 1 0 163479307 57823232 13743 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14117 13743 227 40 0 13534 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (Kb) 56468

[startup+1801.18 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1830616/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56484 CPUtime=1800.63
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1546537 0 0 0 179270 793 0 0 25 0 1 0 163479307 57839616 13747 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643521 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14121 13747 227 40 0 13538 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 56484



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.19 s]
/proc/loadavg: 1.00 0.99 0.91 2/64 1726
/proc/meminfo: memFree=1830616/2055920 swapFree=4182948/4192956
[pid=1524] ppid=1522 vsize=56484 CPUtime=1800.63
/proc/1524/stat : 1524 (glpPBv3) R 1522 1524 1475 0 -1 0 1546537 0 0 0 179270 793 0 0 25 0 1 0 163479307 57839616 13747 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134534317 0 0 4096 0 0 0 0 17 1 0 0
/proc/1524/statm: 14121 13747 227 40 0 13538 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (Kb) 56484

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.2
CPU time (s): 1800.66
CPU user time (s): 1792.71
CPU system time (s): 7.94879
CPU usage (%): 99.9697
Max. virtual memory (cumulated for all children) (Kb): 56484
The end

Launcher Data (download as text)

Begin job on node58 on Sat Jul 29 09:41:34 UTC 2006


FILE ID= 85179-1154166094

PBS_JOBID= 892953

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

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  90154dd1b8a90675a35ad37cbef52f77

RANDOM SEED= 593637180

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:       1885640 kB
Buffers:         15064 kB
Cached:          82828 kB
SwapCached:       3836 kB
Active:          18428 kB
Inactive:        88100 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1885640 kB
SwapTotal:     4192956 kB
SwapFree:      4182948 kB
Dirty:             128 kB
Writeback:           0 kB
Mapped:          14720 kB
Slab:            49792 kB
Committed_AS:  1128856 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 10:11:35 UTC 2006