Trace number 85406

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.14

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
MD5SUM10cfce36a090e62566639770833f1068
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark207
Best CPU time to get the best result obtained on this benchmark176.905
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 207
Optimality of the best value was proved YES
Number of variables498
Total number of constraints2431
Number of constraints which are clauses2431
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint32
Number of terms in the objective function 498
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 498
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 498
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/node48/watcher-85406-1154171238 -o ROOT/results/node48/solver-85406-1154171238 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node48/85406-1154171238/instance-85406-1154171238.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.91 2/64 4254
/proc/meminfo: memFree=831944/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=2664 CPUtime=0
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 259 0 0 0 0 0 0 0 18 0 1 0 163994581 2727936 229 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 3997399 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 666 229 192 40 0 83 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.97 0.91 2/64 4254
/proc/meminfo: memFree=827656/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=6712 CPUtime=9.99
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 1450 0 0 0 998 1 0 0 25 0 1 0 163994581 6873088 1294 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1678 1294 227 40 0 1095 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 6712

[startup+20.0079 s]
/proc/loadavg: 0.94 0.97 0.91 2/64 4254
/proc/meminfo: memFree=827592/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=6712 CPUtime=20
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 1580 0 0 0 1998 2 0 0 25 0 1 0 163994581 6873088 1304 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643344 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1678 1304 227 40 0 1095 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 6712

[startup+30.0139 s]
/proc/loadavg: 0.95 0.97 0.91 2/64 4254
/proc/meminfo: memFree=827464/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=6916 CPUtime=29.99
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3553 0 0 0 2996 3 0 0 25 0 1 0 163994581 7081984 1340 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1729 1340 227 40 0 1146 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 6916

[startup+40.0198 s]
/proc/loadavg: 0.95 0.97 0.91 2/64 4254
/proc/meminfo: memFree=827464/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=6712 CPUtime=40
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 9062 0 0 0 3994 6 0 0 25 0 1 0 163994581 6873088 1304 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1678 1304 227 40 0 1095 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 6712

[startup+50.0257 s]
/proc/loadavg: 0.96 0.97 0.91 2/64 4254
/proc/meminfo: memFree=827336/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=7080 CPUtime=50.01
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 18094 0 0 0 4990 11 0 0 25 0 1 0 163994581 7249920 1380 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1770 1380 227 40 0 1187 0
Current children cumulated CPU time (s) 50.01
Current children cumulated vsize (Kb) 7080

[startup+60.0306 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 4254
/proc/meminfo: memFree=827272/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=7160 CPUtime=60
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 30585 0 0 0 5984 16 0 0 25 0 1 0 163994581 7331840 1403 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1790 1403 227 40 0 1207 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 7160

[startup+70.0366 s]
/proc/loadavg: 0.97 0.97 0.91 2/64 4254
/proc/meminfo: memFree=827464/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=6712 CPUtime=70
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 47394 0 0 0 6976 24 0 0 25 0 1 0 163994581 6873088 1304 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 3997399 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1678 1304 227 40 0 1095 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 6712

[startup+80.0425 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 4254
/proc/meminfo: memFree=827272/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=7172 CPUtime=80.01
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 64353 0 0 0 7968 33 0 0 25 0 1 0 163994581 7344128 1414 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1793 1414 227 40 0 1210 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 7172

[startup+90.0484 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 4254
/proc/meminfo: memFree=827400/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=6780 CPUtime=90.02
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 82884 0 0 0 8961 41 0 0 25 0 1 0 163994581 6942720 1321 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569447 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1695 1321 227 40 0 1112 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 6780

[startup+100.054 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 4254
/proc/meminfo: memFree=827016/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=7008 CPUtime=100.01
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 99013 0 0 0 9953 48 0 0 25 0 1 0 163994581 7176192 1369 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 3997399 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1752 1369 227 40 0 1169 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 7008

[startup+110.06 s]
/proc/loadavg: 0.98 0.97 0.91 2/64 4254
/proc/meminfo: memFree=827208/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=6940 CPUtime=110.02
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 116589 0 0 0 10946 56 0 0 25 0 1 0 163994581 7106560 1361 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629073 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1735 1361 227 40 0 1152 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 6940

[startup+120.065 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=827144/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=6996 CPUtime=120.02
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 132657 0 0 0 11938 64 0 0 25 0 1 0 163994581 7163904 1375 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626340 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1749 1375 227 40 0 1166 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 6996

[startup+130.071 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=827080/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=7064 CPUtime=130.03
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 150741 0 0 0 12930 73 0 0 25 0 1 0 163994581 7233536 1392 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629287 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1766 1392 227 40 0 1183 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 7064

[startup+140.077 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=826888/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=7120 CPUtime=140.03
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 168751 0 0 0 13923 80 0 0 25 0 1 0 163994581 7290880 1406 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1780 1406 227 40 0 1197 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 7120

[startup+150.083 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=827016/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=7612 CPUtime=150.03
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 186112 0 0 0 14917 86 0 0 25 0 1 0 163994581 7794688 1520 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134636804 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1903 1520 227 40 0 1320 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 7612

[startup+160.089 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=826952/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=7228 CPUtime=160.03
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 204437 0 0 0 15909 94 0 0 25 0 1 0 163994581 7401472 1433 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1807 1433 227 40 0 1224 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 7228

[startup+170.096 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=826888/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=7696 CPUtime=170.04
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 221659 0 0 0 16902 102 0 0 25 0 1 0 163994581 7880704 1542 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134639269 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1924 1542 227 40 0 1341 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 7696

[startup+180.101 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=826824/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=7332 CPUtime=180.04
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 240079 0 0 0 17894 110 0 0 25 0 1 0 163994581 7507968 1459 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542146 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1833 1459 227 40 0 1250 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 7332

[startup+190.107 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=826760/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=7384 CPUtime=190.04
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 258632 0 0 0 18886 118 0 0 25 0 1 0 163994581 7561216 1472 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542156 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1846 1472 227 40 0 1263 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 7384

[startup+200.113 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=826440/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=7852 CPUtime=200.05
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 277135 0 0 0 19878 127 0 0 25 0 1 0 163994581 8040448 1585 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 3997399 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 1963 1585 227 40 0 1380 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 7852

[startup+210.119 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254

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

/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3471072 0 0 0 176606 1549 0 0 25 0 1 0 163994581 19091456 4287 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134643520 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4661 4287 227 40 0 4078 0
Current children cumulated CPU time (s) 1781.55
Current children cumulated vsize (Kb) 18644

[startup+1783.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815432/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=18668 CPUtime=1782.56
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3473073 0 0 0 176706 1550 0 0 25 0 1 0 163994581 19116032 4293 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542970 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4667 4293 227 40 0 4084 0
Current children cumulated CPU time (s) 1782.56
Current children cumulated vsize (Kb) 18668

[startup+1784.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815432/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=18676 CPUtime=1783.56
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3475153 0 0 0 176806 1550 0 0 25 0 1 0 163994581 19124224 4295 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626410 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4669 4295 227 40 0 4086 0
Current children cumulated CPU time (s) 1783.56
Current children cumulated vsize (Kb) 18676

[startup+1785.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815176/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=19092 CPUtime=1784.57
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3477347 0 0 0 176905 1552 0 0 25 0 1 0 163994581 19550208 4399 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4773 4399 227 40 0 4190 0
Current children cumulated CPU time (s) 1784.57
Current children cumulated vsize (Kb) 19092

[startup+1786.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815432/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=18688 CPUtime=1785.57
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3479344 0 0 0 177004 1553 0 0 25 0 1 0 163994581 19136512 4298 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629114 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4672 4298 227 40 0 4089 0
Current children cumulated CPU time (s) 1785.57
Current children cumulated vsize (Kb) 18688

[startup+1787.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815432/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=18688 CPUtime=1786.57
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3481358 0 0 0 177104 1553 0 0 25 0 1 0 163994581 19136512 4298 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134629264 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4672 4298 227 40 0 4089 0
Current children cumulated CPU time (s) 1786.57
Current children cumulated vsize (Kb) 18688

[startup+1788.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815368/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=18704 CPUtime=1787.58
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3483479 0 0 0 177204 1554 0 0 25 0 1 0 163994581 19152896 4302 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626419 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4676 4302 227 40 0 4093 0
Current children cumulated CPU time (s) 1787.58
Current children cumulated vsize (Kb) 18704

[startup+1789.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815176/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=19124 CPUtime=1788.59
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3485476 0 0 0 177304 1555 0 0 25 0 1 0 163994581 19582976 4407 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4781 4407 227 40 0 4198 0
Current children cumulated CPU time (s) 1788.59
Current children cumulated vsize (Kb) 19124

[startup+1790.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815176/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=19124 CPUtime=1789.59
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3487821 0 0 0 177403 1556 0 0 25 0 1 0 163994581 19582976 4407 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134591169 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4781 4407 227 40 0 4198 0
Current children cumulated CPU time (s) 1789.59
Current children cumulated vsize (Kb) 19124

[startup+1791.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815176/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=19132 CPUtime=1790.59
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3490225 0 0 0 177502 1557 0 0 25 0 1 0 163994581 19591168 4409 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134585311 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4783 4409 227 40 0 4200 0
Current children cumulated CPU time (s) 1790.59
Current children cumulated vsize (Kb) 19132

[startup+1792.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815048/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=19260 CPUtime=1791.6
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3492562 0 0 0 177601 1559 0 0 25 0 1 0 163994581 19722240 4428 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4815 4428 227 40 0 4232 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (Kb) 19260

[startup+1793.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815368/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=18720 CPUtime=1792.6
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3494484 0 0 0 177700 1560 0 0 25 0 1 0 163994581 19169280 4306 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134569728 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4680 4306 227 40 0 4097 0
Current children cumulated CPU time (s) 1792.6
Current children cumulated vsize (Kb) 18720

[startup+1794.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815368/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=18720 CPUtime=1793.61
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3496582 0 0 0 177800 1561 0 0 25 0 1 0 163994581 19169280 4306 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542140 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4680 4306 227 40 0 4097 0
Current children cumulated CPU time (s) 1793.61
Current children cumulated vsize (Kb) 18720

[startup+1795.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815112/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=19140 CPUtime=1794.62
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3498617 0 0 0 177900 1562 0 0 25 0 1 0 163994581 19599360 4411 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4785 4411 227 40 0 4202 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (Kb) 19140

[startup+1796.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815368/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=18736 CPUtime=1795.61
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3500530 0 0 0 177999 1562 0 0 25 0 1 0 163994581 19185664 4310 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4684 4310 227 40 0 4101 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (Kb) 18736

[startup+1797.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815112/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=19156 CPUtime=1796.62
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3502508 0 0 0 178099 1563 0 0 25 0 1 0 163994581 19615744 4415 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4789 4415 227 40 0 4206 0
Current children cumulated CPU time (s) 1796.62
Current children cumulated vsize (Kb) 19156

[startup+1798.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815304/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=18760 CPUtime=1797.63
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3504217 0 0 0 178199 1564 0 0 25 0 1 0 163994581 19210240 4316 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4690 4316 227 40 0 4107 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (Kb) 18760

[startup+1799.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815112/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=18768 CPUtime=1798.63
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3506008 0 0 0 178299 1564 0 0 25 0 1 0 163994581 19218432 4318 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134543012 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4692 4318 227 40 0 4109 0
Current children cumulated CPU time (s) 1798.63
Current children cumulated vsize (Kb) 18768

[startup+1800.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815304/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=18776 CPUtime=1799.63
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3507967 0 0 0 178398 1565 0 0 25 0 1 0 163994581 19226624 4320 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134626346 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4694 4320 227 40 0 4111 0
Current children cumulated CPU time (s) 1799.63
Current children cumulated vsize (Kb) 18776

[startup+1801.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815304/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=18784 CPUtime=1800.64
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3509655 0 0 0 178498 1566 0 0 25 0 1 0 163994581 19234816 4322 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134605458 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4696 4322 227 40 0 4113 0
Current children cumulated CPU time (s) 1800.64
Current children cumulated vsize (Kb) 18784



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 4254
/proc/meminfo: memFree=815304/2055920 swapFree=4182820/4192956
[pid=4254] ppid=4252 vsize=18784 CPUtime=1800.65
/proc/4254/stat : 4254 (glpPBv3) R 4252 4254 4205 0 -1 0 3509655 0 0 0 178499 1566 0 0 25 0 1 0 163994581 19234816 4322 18446744073709551615 134512640 134678228 4294956672 18446744073709551615 134542961 0 0 4096 0 0 0 0 17 1 0 0
/proc/4254/statm: 4696 4322 227 40 0 4113 0
Current children cumulated CPU time (s) 1800.65
Current children cumulated vsize (Kb) 18784

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.14
CPU time (s): 1800.66
CPU user time (s): 1784.99
CPU system time (s): 15.6636
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (Kb): 19260
The end

Launcher Data (download as text)

Begin job on node48 on Sat Jul 29 11:07:18 UTC 2006


FILE ID= 85406-1154171238

PBS_JOBID= 893180

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii32c2.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node48/85406-1154171238/instance-85406-1154171238.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-85406-1154171238 -o ROOT/results/node48/solver-85406-1154171238 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node48/85406-1154171238/instance-85406-1154171238.opb

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  10cfce36a090e62566639770833f1068

RANDOM SEED= 923781030

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:        832152 kB
Buffers:         46004 kB
Cached:        1094712 kB
SwapCached:       4676 kB
Active:         108640 kB
Inactive:      1041640 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        832152 kB
SwapTotal:     4192956 kB
SwapFree:      4182820 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14444 kB
Slab:            59444 kB
Committed_AS:   677996 kB
PageTables:       1408 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node48 on Sat Jul 29 11:37:19 UTC 2006