Trace number 36611

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

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-rd-rplusc-21.opb
MD5SUM3de80c0560622133ffefa60f8e73d039
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 variables3616
Total number of constraints125707
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)44
Number of constraints which are nor clauses,nor cardinality constraints125663
Minimum length of a constraint5
Maximum length of a constraint189
Number of terms in the objective function 48
Biggest coefficient in the objective function 260554
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 524316
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 524424
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
34.95	c starting to Solve
34.95	c #variables read: 3616 - #constraints read: 125845

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/node14/watcher-36611-1149265227 -o ROOT/results/node14/solver-36611-1149265227 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node14/36611-1149265227/instance-36611-1149265227.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=1189736/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=172 CPUtime=0
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 38 0 0 0 0 0 0 0 18 0 1 0 192185796 176128 23 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 6927140 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 229 26 19 16 0 8 0

[startup+10.0015 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=1134384/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=57988 CPUtime=9.98
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 14141 0 0 0 991 7 0 0 25 0 1 0 192185796 59379712 14112 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7392983 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 14497 14112 199 16 0 13938 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 57988

[startup+20.0074 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=1080760/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=111672 CPUtime=19.99
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 27564 0 0 0 1982 17 0 0 25 0 1 0 192185796 114352128 27535 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7386896 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 27918 27535 199 16 0 27359 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 111672

[startup+30.0133 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=1012536/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=179932 CPUtime=29.99
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 44606 0 0 0 2974 25 0 0 25 0 1 0 192185796 184250368 44577 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7362171 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 44983 44578 203 16 0 44424 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 179932

[startup+40.0193 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=838840/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=353584 CPUtime=39.99
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 87911 0 0 0 3958 41 0 0 25 0 1 0 192185796 362070016 87882 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 88396 87882 206 16 0 87837 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 353584

[startup+50.0262 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=815608/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=395056 CPUtime=50
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 96107 0 0 0 4956 44 0 0 25 0 1 0 192185796 404537344 93622 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527769 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 98764 93622 206 16 0 98205 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 395056

[startup+60.0322 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=803896/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=398128 CPUtime=60
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 101908 0 0 0 5954 46 0 0 25 0 1 0 192185796 407683072 96613 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 99532 96613 206 16 0 98973 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 398128

[startup+70.0381 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=798008/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=402736 CPUtime=70.01
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 103867 0 0 0 6953 48 0 0 25 0 1 0 192185796 412401664 98073 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527205 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 100684 98073 206 16 0 100125 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 402736

[startup+80.0441 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=794744/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=403248 CPUtime=80
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 105349 0 0 0 7952 48 0 0 25 0 1 0 192185796 412925952 98854 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527572 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 100812 98854 206 16 0 100253 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 403248

[startup+90.05 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=795640/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=404272 CPUtime=90.01
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 106125 0 0 0 8953 48 0 0 25 0 1 0 192185796 413974528 98638 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 101068 98638 206 16 0 100509 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 404272

[startup+100.056 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=788600/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=408880 CPUtime=100.02
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 115517 0 0 0 9948 54 0 0 25 0 1 0 192185796 418693120 100396 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 102220 100396 206 16 0 101661 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 408880

[startup+110.062 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=793592/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=402736 CPUtime=110.02
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 120100 0 0 0 10945 57 0 0 25 0 1 0 192185796 412401664 99148 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527097 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 100684 99148 206 16 0 100125 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 402736

[startup+120.068 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=799928/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=395568 CPUtime=120.02
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 122013 0 0 0 11943 59 0 0 25 0 1 0 192185796 405061632 97546 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 98892 97546 206 16 0 98333 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 395568

[startup+130.073 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=798712/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=398640 CPUtime=130.02
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 123505 0 0 0 12942 60 0 0 25 0 1 0 192185796 408207360 97901 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 99660 97901 206 16 0 99101 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 398640

[startup+140.079 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=793528/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=405296 CPUtime=140.03
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 127538 0 0 0 13940 63 0 0 25 0 1 0 192185796 415023104 99200 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 101324 99200 206 16 0 100765 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 405296

[startup+150.085 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=793464/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=407344 CPUtime=150.03
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 130360 0 0 0 14938 65 0 0 25 0 1 0 192185796 417120256 99201 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 101836 99201 206 16 0 101277 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 407344

[startup+160.091 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=794296/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=403760 CPUtime=160.03
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 133349 0 0 0 15936 67 0 0 25 0 1 0 192185796 413450240 99008 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 100940 99008 206 16 0 100381 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 403760

[startup+170.097 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=798520/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=398128 CPUtime=170.03
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 134638 0 0 0 16936 67 0 0 25 0 1 0 192185796 407683072 97955 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 99532 97955 206 16 0 98973 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 398128

[startup+180.104 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=796920/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=402224 CPUtime=180.04
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 136072 0 0 0 17936 68 0 0 25 0 1 0 192185796 411877376 98358 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 100556 98358 206 16 0 99997 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 402224

[startup+190.109 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=812536/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=382768 CPUtime=190.04
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138005 0 0 0 18934 70 0 0 25 0 1 0 192185796 391954432 94399 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527769 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 95692 94399 206 16 0 95133 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 382768

[startup+200.114 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=814968/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=380208 CPUtime=200.04
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138033 0 0 0 19934 70 0 0 25 0 1 0 192185796 389332992 93805 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 95052 93805 206 16 0 94493 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 380208

[startup+210.12 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24441
/proc/meminfo: memFree=826360/2055920 swapFree=4181448/4192956

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

/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138598 0 0 0 178085 73 0 0 25 0 1 0 192185796 366788608 88932 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557517 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88932 206 16 0 88989 0
Current children cumulated CPU time (s) 1781.58
Current children cumulated vsize (Kb) 358192

[startup+1783.05 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834424/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1782.59
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138598 0 0 0 178186 73 0 0 25 0 1 0 192185796 366788608 88932 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88932 206 16 0 88989 0
Current children cumulated CPU time (s) 1782.59
Current children cumulated vsize (Kb) 358192

[startup+1784.06 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834424/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1783.59
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138598 0 0 0 178286 73 0 0 25 0 1 0 192185796 366788608 88932 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88932 206 16 0 88989 0
Current children cumulated CPU time (s) 1783.59
Current children cumulated vsize (Kb) 358192

[startup+1785.06 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834424/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1784.6
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138598 0 0 0 178387 73 0 0 25 0 1 0 192185796 366788608 88932 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88932 206 16 0 88989 0
Current children cumulated CPU time (s) 1784.6
Current children cumulated vsize (Kb) 358192

[startup+1786.07 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834424/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1785.6
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138598 0 0 0 178487 73 0 0 25 0 1 0 192185796 366788608 88932 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88932 206 16 0 88989 0
Current children cumulated CPU time (s) 1785.6
Current children cumulated vsize (Kb) 358192

[startup+1787.07 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834424/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1786.61
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138598 0 0 0 178588 73 0 0 25 0 1 0 192185796 366788608 88932 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88932 206 16 0 88989 0
Current children cumulated CPU time (s) 1786.61
Current children cumulated vsize (Kb) 358192

[startup+1788.08 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1787.61
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138598 0 0 0 178688 73 0 0 25 0 1 0 192185796 366788608 88932 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88932 206 16 0 88989 0
Current children cumulated CPU time (s) 1787.61
Current children cumulated vsize (Kb) 358192

[startup+1789.08 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1788.62
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138602 0 0 0 178789 73 0 0 25 0 1 0 192185796 366788608 88936 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88936 206 16 0 88989 0
Current children cumulated CPU time (s) 1788.62
Current children cumulated vsize (Kb) 358192

[startup+1790.09 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1789.62
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138603 0 0 0 178889 73 0 0 25 0 1 0 192185796 366788608 88937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528547 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88937 206 16 0 88989 0
Current children cumulated CPU time (s) 1789.62
Current children cumulated vsize (Kb) 358192

[startup+1791.09 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1790.63
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138603 0 0 0 178990 73 0 0 25 0 1 0 192185796 366788608 88937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88937 206 16 0 88989 0
Current children cumulated CPU time (s) 1790.63
Current children cumulated vsize (Kb) 358192

[startup+1792.1 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1791.63
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138603 0 0 0 179090 73 0 0 25 0 1 0 192185796 366788608 88937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88937 206 16 0 88989 0
Current children cumulated CPU time (s) 1791.63
Current children cumulated vsize (Kb) 358192

[startup+1793.1 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1792.64
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138603 0 0 0 179191 73 0 0 25 0 1 0 192185796 366788608 88937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88937 206 16 0 88989 0
Current children cumulated CPU time (s) 1792.64
Current children cumulated vsize (Kb) 358192

[startup+1794.11 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1793.64
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138603 0 0 0 179291 73 0 0 25 0 1 0 192185796 366788608 88937 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88937 206 16 0 88989 0
Current children cumulated CPU time (s) 1793.64
Current children cumulated vsize (Kb) 358192

[startup+1795.11 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1794.65
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138604 0 0 0 179392 73 0 0 25 0 1 0 192185796 366788608 88938 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88938 206 16 0 88989 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (Kb) 358192

[startup+1796.12 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1795.65
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138604 0 0 0 179492 73 0 0 25 0 1 0 192185796 366788608 88938 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559575 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88938 206 16 0 88989 0
Current children cumulated CPU time (s) 1795.65
Current children cumulated vsize (Kb) 358192

[startup+1797.12 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1796.66
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138604 0 0 0 179593 73 0 0 25 0 1 0 192185796 366788608 88938 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88938 206 16 0 88989 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (Kb) 358192

[startup+1798.13 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1797.66
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138605 0 0 0 179693 73 0 0 25 0 1 0 192185796 366788608 88939 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88939 206 16 0 88989 0
Current children cumulated CPU time (s) 1797.66
Current children cumulated vsize (Kb) 358192

[startup+1799.13 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1798.66
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138605 0 0 0 179793 73 0 0 25 0 1 0 192185796 366788608 88939 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88939 206 16 0 88989 0
Current children cumulated CPU time (s) 1798.66
Current children cumulated vsize (Kb) 358192

[startup+1800.13 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1799.67
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138607 0 0 0 179894 73 0 0 25 0 1 0 192185796 366788608 88941 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88941 206 16 0 88989 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (Kb) 358192

[startup+1801.14 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1800.67
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138607 0 0 0 179994 73 0 0 25 0 1 0 192185796 366788608 88941 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88941 206 16 0 88989 0
Current children cumulated CPU time (s) 1800.67
Current children cumulated vsize (Kb) 358192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.14 s]
/proc/loadavg: 1.00 0.97 0.93 2/64 24443
/proc/meminfo: memFree=834360/2055920 swapFree=4181448/4192956
[pid=24441] ppid=24439 vsize=358192 CPUtime=1800.68
/proc/24441/stat : 24441 (Pueblo) R 24439 24441 24395 0 -1 4194304 138607 0 0 0 179995 73 0 0 25 0 1 0 192185796 366788608 88941 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/24441/statm: 89548 88941 206 16 0 88989 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (Kb) 358192

Sending SIGTERM to -24441
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.2
CPU time (s): 1800.75
CPU user time (s): 1799.95
CPU system time (s): 0.794879
CPU usage (%): 99.9746
Max. virtual memory (cumulated for all children) (Kb): 408880
The end

Launcher Data (download as text)

Begin job on node14 on Fri Jun  2 16:20:29 UTC 2006


FILE ID= 36611-1149265227

PBS_JOBID= 301404

BENCH NAME= ROOT/tmp/node14/36611-1149265227/instance-36611-1149265227.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node14/36611-1149265227/instance-36611-1149265227.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node14/watcher-36611-1149265227 -o ROOT/results/node14/solver-36611-1149265227 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node14/36611-1149265227/instance-36611-1149265227.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  3de80c0560622133ffefa60f8e73d039

RANDOM SEED= 695799880


/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.241
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.241
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:       1189944 kB
Buffers:         31456 kB
Cached:         761708 kB
SwapCached:       3320 kB
Active:         342300 kB
Inactive:       459740 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1189944 kB
SwapTotal:     4192956 kB
SwapFree:      4181448 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            49860 kB
Committed_AS:   278312 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node14 on Fri Jun  2 16:50:32 UTC 2006