Trace number 36352

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.61 1801.27

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb
MD5SUMc00448b3bb1fb54d1d5ecdb2bc9f967d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.44072
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables155000
Total number of constraints5150
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 constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 76
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 654121
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262143
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 654121
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
6.78	c starting to Solve
6.78	c #variables read: 155000 - #constraints read: 5301

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.90 2/68 14707
/proc/meminfo: memFree=1652824/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=172 CPUtime=0
/proc/14707/stat : 14707 (Pueblo) D 14705 14707 14661 0 -1 4194304 37 0 0 0 0 0 0 0 19 0 1 0 190659268 176128 23 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 9405364 0 2147483391 4096 0 18446744072100015398 0 0 17 1 0 0
/proc/14707/statm: 43 23 18 16 0 2 0

[startup+10.0017 s]
/proc/loadavg: 0.93 0.95 0.90 2/68 14707
/proc/meminfo: memFree=1578008/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=86656 CPUtime=9.98
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 825203 0 0 0 777 221 0 0 25 0 1 0 190659268 88735744 18867 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 21664 18867 206 16 0 21104 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 86656

[startup+20.0076 s]
/proc/loadavg: 0.94 0.96 0.91 2/68 14707
/proc/meminfo: memFree=1577816/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=87376 CPUtime=19.99
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 825331 0 0 0 1778 221 0 0 25 0 1 0 190659268 89473024 18995 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 21844 18995 206 16 0 21284 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 87376

[startup+30.0134 s]
/proc/loadavg: 0.95 0.96 0.91 2/68 14707
/proc/meminfo: memFree=1573464/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=91740 CPUtime=29.99
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 826429 0 0 0 2777 222 0 0 25 0 1 0 190659268 93941760 20093 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 22935 20093 206 16 0 22375 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 91740

[startup+40.0193 s]
/proc/loadavg: 0.95 0.96 0.91 2/68 14707
/proc/meminfo: memFree=1568984/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=96148 CPUtime=40
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 827553 0 0 0 3777 223 0 0 25 0 1 0 190659268 98455552 21217 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527937 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 24037 21217 206 16 0 23477 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 96148

[startup+50.0252 s]
/proc/loadavg: 0.96 0.96 0.91 2/68 14707
/proc/meminfo: memFree=1564696/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=100508 CPUtime=49.99
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 828621 0 0 0 4776 223 0 0 25 0 1 0 190659268 102920192 22285 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 25127 22285 206 16 0 24567 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 100508

[startup+60.031 s]
/proc/loadavg: 0.97 0.96 0.91 2/68 14707
/proc/meminfo: memFree=1561176/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=104008 CPUtime=60
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 829499 0 0 0 5776 224 0 0 25 0 1 0 190659268 106504192 23163 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 26002 23163 206 16 0 25442 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 104008

[startup+70.0369 s]
/proc/loadavg: 0.97 0.96 0.91 2/68 14707
/proc/meminfo: memFree=1559704/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=105412 CPUtime=70
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 829873 0 0 0 6776 224 0 0 25 0 1 0 190659268 107941888 23537 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 26353 23537 206 16 0 25793 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 105412

[startup+80.0428 s]
/proc/loadavg: 0.98 0.96 0.91 2/68 14707
/proc/meminfo: memFree=1559256/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=105868 CPUtime=80
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 829982 0 0 0 7776 224 0 0 25 0 1 0 190659268 108408832 23646 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 26467 23646 206 16 0 25907 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 105868

[startup+90.0486 s]
/proc/loadavg: 0.98 0.96 0.91 2/68 14707
/proc/meminfo: memFree=1558872/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=106392 CPUtime=90
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 830090 0 0 0 8776 224 0 0 25 0 1 0 190659268 108945408 23754 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 26598 23754 206 16 0 26038 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 106392

[startup+100.054 s]
/proc/loadavg: 0.98 0.96 0.91 2/68 14707
/proc/meminfo: memFree=1558424/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=106720 CPUtime=100
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 830198 0 0 0 9776 224 0 0 25 0 1 0 190659268 109281280 23862 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 26680 23862 206 16 0 26120 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 106720

[startup+110.061 s]
/proc/loadavg: 0.98 0.96 0.91 2/68 14707
/proc/meminfo: memFree=1558040/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=107164 CPUtime=110.01
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 830303 0 0 0 10777 224 0 0 25 0 1 0 190659268 109735936 23967 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528249 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 26791 23967 206 16 0 26231 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 107164

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=1557592/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=107588 CPUtime=120.01
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 830402 0 0 0 11777 224 0 0 25 0 1 0 190659268 110170112 24066 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528256 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 26897 24066 206 16 0 26337 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 107588

[startup+130.073 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=1557208/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=108004 CPUtime=130.01
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 830510 0 0 0 12777 224 0 0 25 0 1 0 190659268 110596096 24174 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 27001 24174 206 16 0 26441 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 108004

[startup+140.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=1556760/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=108424 CPUtime=140.01
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 830612 0 0 0 13777 224 0 0 25 0 1 0 190659268 111026176 24276 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 27106 24276 206 16 0 26546 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 108424

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=1556376/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=108848 CPUtime=150.02
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 830710 0 0 0 14777 225 0 0 25 0 1 0 190659268 111460352 24374 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 27212 24374 206 16 0 26652 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 108848

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=1555928/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=109264 CPUtime=160.02
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 830814 0 0 0 15777 225 0 0 25 0 1 0 190659268 111886336 24478 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 27316 24478 206 16 0 26756 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 109264

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=1554328/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=110788 CPUtime=170.02
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 831217 0 0 0 16777 225 0 0 25 0 1 0 190659268 113446912 24881 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 27697 24881 206 16 0 27137 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 110788

[startup+180.103 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=1552728/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=112392 CPUtime=180.02
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 831618 0 0 0 17777 225 0 0 25 0 1 0 190659268 115089408 25282 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 28098 25282 206 16 0 27538 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 112392

[startup+190.109 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=1552344/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=112808 CPUtime=190.03
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 831713 0 0 0 18778 225 0 0 25 0 1 0 190659268 115515392 25377 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 28202 25377 206 16 0 27642 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 112808

[startup+200.115 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=1551960/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=113196 CPUtime=200.03
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 831812 0 0 0 19778 225 0 0 25 0 1 0 190659268 115912704 25476 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 28299 25476 206 16 0 27739 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 113196

[startup+210.121 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=1551576/2055892 swapFree=4085360/4096564

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

/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1007629 0 0 0 177815 324 0 0 25 0 1 0 190659268 841641984 201293 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 205479 201293 206 16 0 204919 0
Current children cumulated CPU time (s) 1781.39
Current children cumulated vsize (Kb) 821916

[startup+1783.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=846488/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=822436 CPUtime=1782.39
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1007749 0 0 0 177915 324 0 0 25 0 1 0 190659268 842174464 201413 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 205609 201413 206 16 0 205049 0
Current children cumulated CPU time (s) 1782.39
Current children cumulated vsize (Kb) 822436

[startup+1784.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=846040/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=822852 CPUtime=1783.4
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1007867 0 0 0 178016 324 0 0 25 0 1 0 190659268 842600448 201531 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 205713 201531 206 16 0 205153 0
Current children cumulated CPU time (s) 1783.4
Current children cumulated vsize (Kb) 822852

[startup+1785.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=845528/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=823364 CPUtime=1784.4
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1007986 0 0 0 178116 324 0 0 25 0 1 0 190659268 843124736 201650 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527978 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 205841 201650 206 16 0 205281 0
Current children cumulated CPU time (s) 1784.4
Current children cumulated vsize (Kb) 823364

[startup+1786.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=845080/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=823880 CPUtime=1785.41
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1008104 0 0 0 178217 324 0 0 25 0 1 0 190659268 843653120 201768 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528346 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 205970 201768 206 16 0 205410 0
Current children cumulated CPU time (s) 1785.41
Current children cumulated vsize (Kb) 823880

[startup+1787.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=844568/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=824268 CPUtime=1786.41
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1008219 0 0 0 178317 324 0 0 25 0 1 0 190659268 844050432 201883 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527767 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 206067 201883 206 16 0 205507 0
Current children cumulated CPU time (s) 1786.41
Current children cumulated vsize (Kb) 824268

[startup+1788.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=844120/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=824780 CPUtime=1787.41
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1008341 0 0 0 178417 324 0 0 25 0 1 0 190659268 844574720 202005 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 206195 202005 206 16 0 205635 0
Current children cumulated CPU time (s) 1787.41
Current children cumulated vsize (Kb) 824780

[startup+1789.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=843608/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=825284 CPUtime=1788.42
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1008458 0 0 0 178518 324 0 0 25 0 1 0 190659268 845090816 202122 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 206321 202122 206 16 0 205761 0
Current children cumulated CPU time (s) 1788.42
Current children cumulated vsize (Kb) 825284

[startup+1790.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=843160/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=825700 CPUtime=1789.42
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1008575 0 0 0 178618 324 0 0 25 0 1 0 190659268 845516800 202239 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 206425 202239 206 16 0 205865 0
Current children cumulated CPU time (s) 1789.42
Current children cumulated vsize (Kb) 825700

[startup+1791.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=842776/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=826132 CPUtime=1790.43
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1008674 0 0 0 178719 324 0 0 25 0 1 0 190659268 845959168 202338 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 206533 202338 206 16 0 205973 0
Current children cumulated CPU time (s) 1790.43
Current children cumulated vsize (Kb) 826132

[startup+1792.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=842264/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=826648 CPUtime=1791.43
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1008798 0 0 0 178819 324 0 0 25 0 1 0 190659268 846487552 202462 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 206662 202462 206 16 0 206102 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (Kb) 826648

[startup+1793.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=841816/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=827060 CPUtime=1792.43
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1008917 0 0 0 178919 324 0 0 25 0 1 0 190659268 846909440 202581 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 206765 202581 206 16 0 206205 0
Current children cumulated CPU time (s) 1792.43
Current children cumulated vsize (Kb) 827060

[startup+1794.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=841304/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=827584 CPUtime=1793.45
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009035 0 0 0 179020 325 0 0 25 0 1 0 190659268 847446016 202699 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 206896 202699 206 16 0 206336 0
Current children cumulated CPU time (s) 1793.45
Current children cumulated vsize (Kb) 827584

[startup+1795.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=840856/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=827988 CPUtime=1794.45
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009156 0 0 0 179120 325 0 0 25 0 1 0 190659268 847859712 202820 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 206997 202820 206 16 0 206437 0
Current children cumulated CPU time (s) 1794.45
Current children cumulated vsize (Kb) 827988

[startup+1796.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=840344/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=828472 CPUtime=1795.45
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009275 0 0 0 179220 325 0 0 25 0 1 0 190659268 848355328 202939 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 207118 202939 206 16 0 206558 0
Current children cumulated CPU time (s) 1795.45
Current children cumulated vsize (Kb) 828472

[startup+1797.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=839896/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=829012 CPUtime=1796.46
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009392 0 0 0 179321 325 0 0 25 0 1 0 190659268 848908288 203056 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 207253 203056 206 16 0 206693 0
Current children cumulated CPU time (s) 1796.46
Current children cumulated vsize (Kb) 829012

[startup+1798.12 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=839384/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=829432 CPUtime=1797.46
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009511 0 0 0 179421 325 0 0 25 0 1 0 190659268 849338368 203175 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 207358 203175 206 16 0 206798 0
Current children cumulated CPU time (s) 1797.46
Current children cumulated vsize (Kb) 829432

[startup+1799.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=838936/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=829940 CPUtime=1798.46
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009622 0 0 0 179521 325 0 0 25 0 1 0 190659268 849858560 203286 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 207485 203286 206 16 0 206925 0
Current children cumulated CPU time (s) 1798.46
Current children cumulated vsize (Kb) 829940

[startup+1800.13 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=838488/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=830368 CPUtime=1799.47
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009743 0 0 0 179622 325 0 0 25 0 1 0 190659268 850296832 203407 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 207592 203407 206 16 0 207032 0
Current children cumulated CPU time (s) 1799.47
Current children cumulated vsize (Kb) 830368

[startup+1801.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=837976/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=830884 CPUtime=1800.47
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009865 0 0 0 179722 325 0 0 25 0 1 0 190659268 850825216 203529 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 207721 203529 206 16 0 207161 0
Current children cumulated CPU time (s) 1800.47
Current children cumulated vsize (Kb) 830884



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.14 s]
/proc/loadavg: 0.99 0.97 0.91 2/68 14707
/proc/meminfo: memFree=837976/2055892 swapFree=4085360/4096564
[pid=14707] ppid=14705 vsize=830884 CPUtime=1800.48
/proc/14707/stat : 14707 (Pueblo) R 14705 14707 14661 0 -1 4194304 1009865 0 0 0 179723 325 0 0 25 0 1 0 190659268 850825216 203529 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0
/proc/14707/statm: 207721 203529 206 16 0 207161 0
Current children cumulated CPU time (s) 1800.48
Current children cumulated vsize (Kb) 830884

Sending SIGTERM to -14707
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.27
CPU time (s): 1800.61
CPU user time (s): 1797.23
CPU system time (s): 3.37349
CPU usage (%): 99.9632
Max. virtual memory (cumulated for all children) (Kb): 830884
The end

Launcher Data (download as text)

Begin job on node89 on Fri Jun  2 12:10:02 UTC 2006


FILE ID= 36352-1149250202

PBS_JOBID= 298040

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  c00448b3bb1fb54d1d5ecdb2bc9f967d

RANDOM SEED= 117435224


/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.265
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	: 6006.16
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.265
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	: 5999.43
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1653160 kB
Buffers:         30312 kB
Cached:         301484 kB
SwapCached:       2560 kB
Active:         102824 kB
Inactive:       237812 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1653160 kB
SwapTotal:     4096564 kB
SwapFree:      4085360 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          16532 kB
Slab:            48624 kB
Committed_AS:   262360 kB
PageTables:       1300 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node89 on Fri Jun  2 12:40:04 UTC 2006