Trace number 36473

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
Pueblo 1.4? (TO) 1800.58 1801.17

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-standata.opb
MD5SUMc8622f62aab23c6f6a5a29143b44f7fa
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables30004
Total number of constraints455
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 constraints455
Minimum length of a constraint11
Maximum length of a constraint22350
Number of terms in the objective function 210
Biggest coefficient in the objective function 86232
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 524437
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 542229
Number of bits of the biggest sum of numbers20
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 Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.48	c starting to Solve
0.48	c #variables read: 30004 - #constraints read: 616

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
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node2/watcher-36473-1149331929 -o ROOT/results/node2/solver-36473-1149331929 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node2/36473-1149331929/instance-36473-1149331929.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1452768/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=1136 CPUtime=0
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 60 0 0 0 0 0 0 0 18 0 1 0 198854552 1163264 44 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10523072 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 581 48 37 16 0 10 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1438048/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=17232 CPUtime=9.99
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 3912 0 0 0 997 2 0 0 25 0 1 0 198854552 17645568 3883 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 4308 3883 206 16 0 3749 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 17232

[startup+20.0082 s]
/proc/loadavg: 0.94 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1437344/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=18000 CPUtime=19.99
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 4106 0 0 0 1997 2 0 0 25 0 1 0 198854552 18432000 4077 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 4500 4077 206 16 0 3941 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 18000

[startup+30.0142 s]
/proc/loadavg: 0.95 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1436768/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=18644 CPUtime=29.99
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 4258 0 0 0 2997 2 0 0 25 0 1 0 198854552 19091456 4229 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 4661 4229 206 16 0 4102 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 18644

[startup+40.0202 s]
/proc/loadavg: 0.95 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1435168/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=20304 CPUtime=40
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 4669 0 0 0 3997 3 0 0 25 0 1 0 198854552 20791296 4640 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 5076 4640 206 16 0 4517 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 20304

[startup+50.0263 s]
/proc/loadavg: 0.96 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1433952/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=21448 CPUtime=50
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 4962 0 0 0 4997 3 0 0 25 0 1 0 198854552 21962752 4933 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 5362 4933 206 16 0 4803 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 21448

[startup+60.0323 s]
/proc/loadavg: 0.97 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1432864/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=22736 CPUtime=60
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 5261 0 0 0 5997 3 0 0 25 0 1 0 198854552 23281664 5232 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 5684 5232 206 16 0 5125 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 22736

[startup+70.0384 s]
/proc/loadavg: 0.97 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1431520/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=23984 CPUtime=70
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 5591 0 0 0 6997 3 0 0 25 0 1 0 198854552 24559616 5562 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 5996 5562 206 16 0 5437 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 23984

[startup+80.0444 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1428960/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=26592 CPUtime=80.01
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 6228 0 0 0 7998 3 0 0 25 0 1 0 198854552 27230208 6199 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 6648 6199 206 16 0 6089 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 26592

[startup+90.0505 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1428320/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=27248 CPUtime=90.02
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 6388 0 0 0 8998 4 0 0 25 0 1 0 198854552 27901952 6359 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 6812 6359 206 16 0 6253 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 27248

[startup+100.057 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1428320/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=27248 CPUtime=100.02
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 6388 0 0 0 9998 4 0 0 25 0 1 0 198854552 27901952 6359 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 6812 6359 206 16 0 6253 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 27248

[startup+110.063 s]
/proc/loadavg: 0.98 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1428320/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=27248 CPUtime=110.03
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 6388 0 0 0 10999 4 0 0 25 0 1 0 198854552 27901952 6359 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 6812 6359 206 16 0 6253 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 27248

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1427680/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=27888 CPUtime=120.03
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 6553 0 0 0 11999 4 0 0 25 0 1 0 198854552 28557312 6524 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 6972 6524 206 16 0 6413 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 27888

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1426976/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=28528 CPUtime=130.03
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 6727 0 0 0 12999 4 0 0 25 0 1 0 198854552 29212672 6698 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 7132 6698 206 16 0 6573 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 28528

[startup+140.081 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1425888/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=29680 CPUtime=140.03
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 6993 0 0 0 13999 4 0 0 25 0 1 0 198854552 30392320 6964 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527956 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 7420 6964 206 16 0 6861 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 29680

[startup+150.087 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1424672/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=30816 CPUtime=150.03
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 7300 0 0 0 14999 4 0 0 25 0 1 0 198854552 31555584 7271 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 7704 7271 206 16 0 7145 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 30816

[startup+160.093 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1424608/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=30816 CPUtime=160.03
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 7300 0 0 0 15999 4 0 0 25 0 1 0 198854552 31555584 7271 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528351 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 7704 7271 206 16 0 7145 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 30816

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1424672/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=30816 CPUtime=170.04
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 7300 0 0 0 17000 4 0 0 25 0 1 0 198854552 31555584 7271 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 7704 7271 206 16 0 7145 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 30816

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1424672/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=30816 CPUtime=180.04
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 7300 0 0 0 18000 4 0 0 25 0 1 0 198854552 31555584 7271 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 7704 7271 206 16 0 7145 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 30816

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1424672/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=30816 CPUtime=190.04
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 7300 0 0 0 19000 4 0 0 25 0 1 0 198854552 31555584 7271 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 7704 7271 206 16 0 7145 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 30816

[startup+200.116 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1424672/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=30816 CPUtime=200.04
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 7300 0 0 0 20000 4 0 0 25 0 1 0 198854552 31555584 7271 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 7704 7271 206 16 0 7145 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 30816

[startup+210.122 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30697
/proc/meminfo: memFree=1424672/2055920 swapFree=4181512/4192956

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

/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 10862 0 0 0 178136 11 0 0 25 0 1 0 198854552 46256128 10833 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 11293 10833 206 16 0 10734 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (Kb) 45172

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1410088/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=45172 CPUtime=1782.47
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 10862 0 0 0 178236 11 0 0 25 0 1 0 198854552 46256128 10833 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519884 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 11293 10833 206 16 0 10734 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (Kb) 45172

[startup+1784.07 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1409832/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=45528 CPUtime=1783.48
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 10937 0 0 0 178337 11 0 0 25 0 1 0 198854552 46620672 10908 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 11382 10908 206 16 0 10823 0
Current children cumulated CPU time (s) 1783.48
Current children cumulated vsize (Kb) 45528

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1409256/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=46100 CPUtime=1784.48
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11080 0 0 0 178437 11 0 0 25 0 1 0 198854552 47206400 11051 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 11525 11051 206 16 0 10966 0
Current children cumulated CPU time (s) 1784.48
Current children cumulated vsize (Kb) 46100

[startup+1786.08 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1409256/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=46100 CPUtime=1785.48
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11080 0 0 0 178537 11 0 0 25 0 1 0 198854552 47206400 11051 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 11525 11051 206 16 0 10966 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (Kb) 46100

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1409256/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=46100 CPUtime=1786.49
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11080 0 0 0 178638 11 0 0 25 0 1 0 198854552 47206400 11051 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134519884 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 11525 11051 206 16 0 10966 0
Current children cumulated CPU time (s) 1786.49
Current children cumulated vsize (Kb) 46100

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1409192/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=46100 CPUtime=1787.49
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11086 0 0 0 178738 11 0 0 25 0 1 0 198854552 47206400 11057 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 11525 11057 206 16 0 10966 0
Current children cumulated CPU time (s) 1787.49
Current children cumulated vsize (Kb) 46100

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1409192/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=46100 CPUtime=1788.5
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11086 0 0 0 178839 11 0 0 25 0 1 0 198854552 47206400 11057 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520076 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 11525 11057 206 16 0 10966 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 46100

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1409192/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=46100 CPUtime=1789.5
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11086 0 0 0 178939 11 0 0 25 0 1 0 198854552 47206400 11057 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 11525 11057 206 16 0 10966 0
Current children cumulated CPU time (s) 1789.5
Current children cumulated vsize (Kb) 46100

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1409192/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=46100 CPUtime=1790.51
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11086 0 0 0 179040 11 0 0 25 0 1 0 198854552 47206400 11057 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 11525 11057 206 16 0 10966 0
Current children cumulated CPU time (s) 1790.51
Current children cumulated vsize (Kb) 46100

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1408936/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=46444 CPUtime=1791.51
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11161 0 0 0 179140 11 0 0 25 0 1 0 198854552 47558656 11132 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 11611 11132 206 16 0 11052 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 46444

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1408424/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=46896 CPUtime=1792.51
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11290 0 0 0 179240 11 0 0 25 0 1 0 198854552 48021504 11261 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 11724 11261 206 16 0 11165 0
Current children cumulated CPU time (s) 1792.51
Current children cumulated vsize (Kb) 46896

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1407336/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=47936 CPUtime=1793.53
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11556 0 0 0 179341 12 0 0 25 0 1 0 198854552 49086464 11527 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 11984 11527 206 16 0 11425 0
Current children cumulated CPU time (s) 1793.53
Current children cumulated vsize (Kb) 47936

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1407208/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=48156 CPUtime=1794.53
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11595 0 0 0 179441 12 0 0 25 0 1 0 198854552 49311744 11566 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 12039 11566 206 16 0 11480 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (Kb) 48156

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1406760/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=48564 CPUtime=1795.54
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11696 0 0 0 179542 12 0 0 25 0 1 0 198854552 49729536 11667 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 12141 11667 206 16 0 11582 0
Current children cumulated CPU time (s) 1795.54
Current children cumulated vsize (Kb) 48564

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1406440/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=48872 CPUtime=1796.54
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11779 0 0 0 179642 12 0 0 25 0 1 0 198854552 50044928 11750 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 12218 11750 206 16 0 11659 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (Kb) 48872

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1405992/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=49356 CPUtime=1797.54
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 11887 0 0 0 179742 12 0 0 25 0 1 0 198854552 50540544 11858 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 12339 11858 206 16 0 11780 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (Kb) 49356

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1405160/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=50088 CPUtime=1798.55
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 12097 0 0 0 179843 12 0 0 25 0 1 0 198854552 51290112 12068 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 12522 12068 206 16 0 11963 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 50088

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1404712/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=50620 CPUtime=1799.55
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 12211 0 0 0 179943 12 0 0 25 0 1 0 198854552 51834880 12182 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 12655 12182 206 16 0 12096 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (Kb) 50620

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1404200/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=51172 CPUtime=1800.56
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 12337 0 0 0 180044 12 0 0 25 0 1 0 198854552 52400128 12308 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 12793 12308 206 16 0 12234 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 51172



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.16 s]
/proc/loadavg: 0.99 0.97 0.94 2/64 30892
/proc/meminfo: memFree=1404200/2055920 swapFree=4181512/4192956
[pid=30697] ppid=30695 vsize=51144 CPUtime=1800.56
/proc/30697/stat : 30697 (Pueblo) R 30695 30697 30651 0 -1 4194304 12338 0 0 0 180044 12 0 0 25 0 1 0 198854552 52371456 12309 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30697/statm: 12786 12309 206 16 0 12227 0
Current children cumulated CPU time (s) 1800.56
Current children cumulated vsize (Kb) 51144

Sending SIGTERM to -30697
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.17
CPU time (s): 1800.58
CPU user time (s): 1800.45
CPU system time (s): 0.134979
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (Kb): 51172
The end

Launcher Data (download as text)

Begin job on node2 on Sat Jun  3 10:52:09 UTC 2006


FILE ID= 36473-1149331929

PBS_JOBID= 309944

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-standata.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node2/36473-1149331929/instance-36473-1149331929.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node2/watcher-36473-1149331929 -o ROOT/results/node2/solver-36473-1149331929 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node2/36473-1149331929/instance-36473-1149331929.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  c8622f62aab23c6f6a5a29143b44f7fa

RANDOM SEED= 277393575


/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.240
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.240
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:       1452976 kB
Buffers:         28720 kB
Cached:         503388 kB
SwapCached:       3392 kB
Active:          82164 kB
Inactive:       458888 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1452976 kB
SwapTotal:     4192956 kB
SwapFree:      4181512 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:          14936 kB
Slab:            47812 kB
Committed_AS:   294468 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node2 on Sat Jun  3 11:22:11 UTC 2006