Trace number 85388

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.44 1801.17

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/primes-dimacs-cnf/normalized-ii32b1.opb
MD5SUMeb2e849a72ed563d78cdb83a394edb27
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark191
Best CPU time to get the best result obtained on this benchmark32.0321
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 191
Optimality of the best value was proved YES
Number of variables456
Total number of constraints1602
Number of constraints which are clauses1602
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 456
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 456
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 456
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/node7/watcher-85388-1154170409 -o ROOT/results/node7/solver-85388-1154170409 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/glpPBv3 ROOT/tmp/node7/85388-1154170409/instance-85388-1154170409.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/64 12710
/proc/meminfo: memFree=1922616/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=2424 CPUtime=0
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 147 0 0 0 0 0 0 0 18 0 1 0 163902280 2482176 127 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 10381108 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 606 127 108 40 0 11 0

[startup+10.0015 s]
/proc/loadavg: 0.93 0.95 0.90 2/64 12710
/proc/meminfo: memFree=1919672/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=5312 CPUtime=9.99
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 1055 0 0 0 998 1 0 0 25 0 1 0 163902280 5439488 948 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1328 948 227 40 0 745 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 5312

[startup+20.0084 s]
/proc/loadavg: 0.94 0.96 0.91 2/64 12710
/proc/meminfo: memFree=1919608/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=5312 CPUtime=19.99
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 1767 0 0 0 1995 4 0 0 25 0 1 0 163902280 5439488 954 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134629280 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1328 954 227 40 0 745 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 5312

[startup+30.0152 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 12710
/proc/meminfo: memFree=1919480/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=5556 CPUtime=29.99
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 9139 0 0 0 2990 9 0 0 25 0 1 0 163902280 5689344 994 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1389 994 227 40 0 806 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 5556

[startup+40.0211 s]
/proc/loadavg: 0.95 0.96 0.91 2/64 12710
/proc/meminfo: memFree=1919480/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=5580 CPUtime=40
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 19169 0 0 0 3983 17 0 0 25 0 1 0 163902280 5713920 1000 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134591084 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1395 1000 227 40 0 812 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 5580

[startup+50.0279 s]
/proc/loadavg: 0.96 0.96 0.91 2/64 12710
/proc/meminfo: memFree=1919416/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=5328 CPUtime=50
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 32801 0 0 0 4976 24 0 0 25 0 1 0 163902280 5455872 958 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134632402 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1332 958 227 40 0 749 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 5328

[startup+60.0338 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 12710
/proc/meminfo: memFree=1919352/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=5432 CPUtime=60
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 48169 0 0 0 5969 31 0 0 25 0 1 0 163902280 5562368 984 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134643691 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1358 984 227 40 0 775 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 5432

[startup+70.0406 s]
/proc/loadavg: 0.97 0.96 0.91 2/64 12710
/proc/meminfo: memFree=1919224/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=5812 CPUtime=70.01
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 62947 0 0 0 6963 38 0 0 25 0 1 0 163902280 5951488 1062 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1453 1062 227 40 0 870 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 5812

[startup+80.0475 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 12710
/proc/meminfo: memFree=1919096/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=5912 CPUtime=80.01
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 78049 0 0 0 7957 44 0 0 25 0 1 0 163902280 6053888 1088 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1478 1088 227 40 0 895 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 5912

[startup+90.0533 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 12710
/proc/meminfo: memFree=1918968/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=5752 CPUtime=90.01
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 93427 0 0 0 8950 51 0 0 25 0 1 0 163902280 5890048 1064 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134628964 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1438 1064 227 40 0 855 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 5752

[startup+100.059 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 12710
/proc/meminfo: memFree=1918904/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=5840 CPUtime=100.01
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 107963 0 0 0 9943 58 0 0 25 0 1 0 163902280 5980160 1086 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134542173 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1460 1086 227 40 0 877 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 5840

[startup+110.065 s]
/proc/loadavg: 0.98 0.96 0.91 2/64 12710
/proc/meminfo: memFree=1918776/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=6196 CPUtime=110.02
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 122988 0 0 0 10938 64 0 0 25 0 1 0 163902280 6344704 1158 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1549 1158 227 40 0 966 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 6196

[startup+120.071 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12710
/proc/meminfo: memFree=1918648/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=6100 CPUtime=120.01
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 137704 0 0 0 11930 71 0 0 25 0 1 0 163902280 6246400 1151 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134626408 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1525 1151 227 40 0 942 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 6100

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12710
/proc/meminfo: memFree=1918584/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=6148 CPUtime=130.02
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 151731 0 0 0 12925 77 0 0 25 0 1 0 163902280 6295552 1163 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134626435 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1537 1163 227 40 0 954 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 6148

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12710
/proc/meminfo: memFree=1918456/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=6248 CPUtime=140.02
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 166923 0 0 0 13920 82 0 0 25 0 1 0 163902280 6397952 1188 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134629267 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1562 1188 227 40 0 979 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 6248

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12710
/proc/meminfo: memFree=1918392/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=6596 CPUtime=150.02
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 181742 0 0 0 14912 90 0 0 25 0 1 0 163902280 6754304 1259 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1649 1259 227 40 0 1066 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 6596

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12710
/proc/meminfo: memFree=1918264/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=6684 CPUtime=160.03
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 196496 0 0 0 15906 97 0 0 25 0 1 0 163902280 6844416 1280 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1671 1280 227 40 0 1088 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 6684

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12710
/proc/meminfo: memFree=1918200/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=6516 CPUtime=170.03
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 211247 0 0 0 16899 104 0 0 25 0 1 0 163902280 6672384 1255 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134626406 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1629 1255 227 40 0 1046 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 6516

[startup+180.106 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12710
/proc/meminfo: memFree=1918072/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=6616 CPUtime=180.03
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 226391 0 0 0 17892 111 0 0 25 0 1 0 163902280 6774784 1280 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1654 1280 227 40 0 1071 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 6616

[startup+190.112 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12710
/proc/meminfo: memFree=1918008/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=6696 CPUtime=190.03
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 241130 0 0 0 18886 117 0 0 25 0 1 0 163902280 6856704 1300 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1674 1300 227 40 0 1091 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 6696

[startup+200.118 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12710
/proc/meminfo: memFree=1917880/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=7072 CPUtime=200.04
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 256408 0 0 0 19881 123 0 0 25 0 1 0 163902280 7241728 1368 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134636932 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 1768 1368 227 40 0 1185 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 7072

[startup+210.124 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12710

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

/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2726060 0 0 0 176785 1348 0 0 25 0 1 0 163902280 19447808 4374 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134626352 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4748 4374 227 40 0 4165 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (Kb) 18992

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1905024/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19008 CPUtime=1782.34
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2727779 0 0 0 176885 1349 0 0 25 0 1 0 163902280 19464192 4378 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134632402 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4752 4378 227 40 0 4169 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (Kb) 19008

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1905024/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19280 CPUtime=1783.35
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2729408 0 0 0 176985 1350 0 0 25 0 1 0 163902280 19742720 4421 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134636092 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4820 4421 227 40 0 4237 0
Current children cumulated CPU time (s) 1783.35
Current children cumulated vsize (Kb) 19280

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1905024/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19032 CPUtime=1784.35
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2731002 0 0 0 177084 1351 0 0 25 0 1 0 163902280 19488768 4384 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134626360 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4758 4384 227 40 0 4175 0
Current children cumulated CPU time (s) 1784.35
Current children cumulated vsize (Kb) 19032

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1905024/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19040 CPUtime=1785.35
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2732560 0 0 0 177184 1351 0 0 25 0 1 0 163902280 19496960 4386 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134632405 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4760 4386 227 40 0 4177 0
Current children cumulated CPU time (s) 1785.35
Current children cumulated vsize (Kb) 19040

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1904960/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19048 CPUtime=1786.36
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2734118 0 0 0 177284 1352 0 0 25 0 1 0 163902280 19505152 4388 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134643697 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4762 4388 227 40 0 4179 0
Current children cumulated CPU time (s) 1786.36
Current children cumulated vsize (Kb) 19048

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1904960/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19064 CPUtime=1787.36
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2735678 0 0 0 177383 1353 0 0 25 0 1 0 163902280 19521536 4392 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134629280 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4766 4392 227 40 0 4183 0
Current children cumulated CPU time (s) 1787.36
Current children cumulated vsize (Kb) 19064

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1904960/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19324 CPUtime=1788.37
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2737234 0 0 0 177483 1354 0 0 25 0 1 0 163902280 19787776 4440 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4831 4440 227 40 0 4248 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (Kb) 19324

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1904960/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19084 CPUtime=1789.38
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2738761 0 0 0 177583 1355 0 0 25 0 1 0 163902280 19542016 4397 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134543497 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4771 4397 227 40 0 4188 0
Current children cumulated CPU time (s) 1789.38
Current children cumulated vsize (Kb) 19084

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1904960/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19092 CPUtime=1790.38
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2740351 0 0 0 177682 1356 0 0 25 0 1 0 163902280 19550208 4399 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134543006 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4773 4399 227 40 0 4190 0
Current children cumulated CPU time (s) 1790.38
Current children cumulated vsize (Kb) 19092

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1904896/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19108 CPUtime=1791.38
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2741943 0 0 0 177782 1356 0 0 25 0 1 0 163902280 19566592 4403 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4777 4403 227 40 0 4194 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (Kb) 19108

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1904896/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19116 CPUtime=1792.38
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2743571 0 0 0 177881 1357 0 0 25 0 1 0 163902280 19574784 4405 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134605782 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4779 4405 227 40 0 4196 0
Current children cumulated CPU time (s) 1792.38
Current children cumulated vsize (Kb) 19116

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1904896/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19116 CPUtime=1793.39
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2745237 0 0 0 177981 1358 0 0 25 0 1 0 163902280 19574784 4405 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134643694 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4779 4405 227 40 0 4196 0
Current children cumulated CPU time (s) 1793.39
Current children cumulated vsize (Kb) 19116

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1904896/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19400 CPUtime=1794.39
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2746878 0 0 0 178081 1358 0 0 25 0 1 0 163902280 19865600 4460 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4850 4460 227 40 0 4267 0
Current children cumulated CPU time (s) 1794.39
Current children cumulated vsize (Kb) 19400

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1904896/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19408 CPUtime=1795.4
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2748466 0 0 0 178181 1359 0 0 25 0 1 0 163902280 19873792 4462 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4852 4462 227 40 0 4269 0
Current children cumulated CPU time (s) 1795.4
Current children cumulated vsize (Kb) 19408

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1904832/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19164 CPUtime=1796.41
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2749958 0 0 0 178281 1360 0 0 25 0 1 0 163902280 19623936 4417 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134542138 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4791 4417 227 40 0 4208 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (Kb) 19164

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1904832/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19172 CPUtime=1797.41
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2751546 0 0 0 178381 1360 0 0 25 0 1 0 163902280 19632128 4419 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134569962 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4793 4419 227 40 0 4210 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (Kb) 19172

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1904832/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19172 CPUtime=1798.41
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2753172 0 0 0 178480 1361 0 0 25 0 1 0 163902280 19632128 4419 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134629264 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4793 4419 227 40 0 4210 0
Current children cumulated CPU time (s) 1798.41
Current children cumulated vsize (Kb) 19172

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1904832/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19196 CPUtime=1799.41
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2754675 0 0 0 178580 1361 0 0 25 0 1 0 163902280 19656704 4425 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134643302 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4799 4425 227 40 0 4216 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (Kb) 19196

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1904832/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19204 CPUtime=1800.42
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2756343 0 0 0 178680 1362 0 0 25 0 1 0 163902280 19664896 4427 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134629283 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4801 4427 227 40 0 4218 0
Current children cumulated CPU time (s) 1800.42
Current children cumulated vsize (Kb) 19204



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 12908
/proc/meminfo: memFree=1904832/2055920 swapFree=4183084/4192956
[pid=12710] ppid=12708 vsize=19204 CPUtime=1800.43
/proc/12710/stat : 12710 (glpPBv3) R 12708 12710 12661 0 -1 0 2756343 0 0 0 178681 1362 0 0 25 0 1 0 163902280 19664896 4427 18446744073709551615 134512640 134678228 4294956688 18446744073709551615 134626360 0 0 4096 0 0 0 0 17 1 0 0
/proc/12710/statm: 4801 4427 227 40 0 4218 0
Current children cumulated CPU time (s) 1800.43
Current children cumulated vsize (Kb) 19204

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.17
CPU time (s): 1800.44
CPU user time (s): 1786.81
CPU system time (s): 13.6259
CPU usage (%): 99.9595
Max. virtual memory (cumulated for all children) (Kb): 19408
The end

Launcher Data (download as text)

Begin job on node7 on Sat Jul 29 10:53:29 UTC 2006


FILE ID= 85388-1154170409

PBS_JOBID= 893162

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

MD5SUM SOLVER= 29ce95346658d7502ba983059bfb8cff
MD5SUM BENCH=  eb2e849a72ed563d78cdb83a394edb27

RANDOM SEED= 592065118

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.281
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.281
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:       1922824 kB
Buffers:          4344 kB
Cached:          67752 kB
SwapCached:       3520 kB
Active:          23136 kB
Inactive:        57380 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1922824 kB
SwapTotal:     4192956 kB
SwapFree:      4183084 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14428 kB
Slab:            38608 kB
Committed_AS:   741836 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node7 on Sat Jul 29 11:23:30 UTC 2006