Trace number 37487

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.3? (TO) 1800.26 1801.29

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-n370e.opb
MD5SUMec90eecae558bb98c83f0a39ee76567f
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.91364
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 654958
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 654958
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.58	c starting to Solve
6.58	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/node87/watcher-37487-1149247000 -o ROOT/results/node87/solver-37487-1149247000 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node87/37487-1149247000/instance-37487-1149247000.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1673392/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=2576 CPUtime=0
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 263 0 0 0 0 0 0 0 19 0 1 0 190339127 2637824 235 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11706807 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 644 235 191 16 0 84 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1598344/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=86772 CPUtime=9.98
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 825229 0 0 0 778 220 0 0 25 0 1 0 190339127 88854528 18893 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557683 0 0 4096 0 0 0 0 17 1 0 0
/proc/21874/statm: 21693 18893 206 16 0 21133 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 86772

[startup+20.0087 s]
/proc/loadavg: 0.94 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1595080/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=90296 CPUtime=19.99
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 826125 0 0 0 1778 221 0 0 25 0 1 0 190339127 92463104 19789 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134563500 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 22574 19789 206 16 0 22014 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 90296

[startup+30.0148 s]
/proc/loadavg: 0.95 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1587848/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=97928 CPUtime=29.99
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 828015 0 0 0 2777 222 0 0 25 0 1 0 190339127 100278272 21679 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528325 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 24482 21679 206 16 0 23922 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 97928

[startup+40.021 s]
/proc/loadavg: 0.96 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1579848/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=105884 CPUtime=39.99
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 830008 0 0 0 3775 224 0 0 25 0 1 0 190339127 108425216 23672 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 26471 23672 206 16 0 25911 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 105884

[startup+50.0262 s]
/proc/loadavg: 0.96 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1571528/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=114176 CPUtime=49.99
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 832095 0 0 0 4774 225 0 0 25 0 1 0 190339127 116916224 25759 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 28544 25759 206 16 0 27984 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 114176

[startup+60.0324 s]
/proc/loadavg: 0.97 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1563464/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=122216 CPUtime=59.98
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 834098 0 0 0 5772 226 0 0 25 0 1 0 190339127 125149184 27762 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559129 0 0 4096 0 0 0 0 17 1 0 0
/proc/21874/statm: 30554 27762 206 16 0 29994 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 122216

[startup+70.0385 s]
/proc/loadavg: 0.97 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1554312/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=131296 CPUtime=69.98
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 836369 0 0 0 6770 228 0 0 25 0 1 0 190339127 134447104 30033 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 32824 30033 206 16 0 32264 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 131296

[startup+80.0447 s]
/proc/loadavg: 0.98 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1545160/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=140496 CPUtime=79.98
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 838651 0 0 0 7769 229 0 0 25 0 1 0 190339127 143867904 32315 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 35124 32315 206 16 0 34564 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 140496

[startup+90.0508 s]
/proc/loadavg: 0.98 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1536456/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=149112 CPUtime=89.99
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 840823 0 0 0 8769 230 0 0 25 0 1 0 190339127 152690688 34487 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 37278 34487 206 16 0 36718 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 149112

[startup+100.057 s]
/proc/loadavg: 0.98 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1527112/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=158428 CPUtime=99.99
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 843159 0 0 0 9767 232 0 0 25 0 1 0 190339127 162230272 36823 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 39607 36823 206 16 0 39047 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 158428

[startup+110.063 s]
/proc/loadavg: 0.98 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1517832/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=167828 CPUtime=109.99
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 845485 0 0 0 10765 234 0 0 25 0 1 0 190339127 171855872 39149 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11679101 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 41957 39149 206 16 0 41397 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 167828

[startup+120.068 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1508104/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=177504 CPUtime=119.99
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 847910 0 0 0 11763 236 0 0 25 0 1 0 190339127 181764096 41574 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 44376 41574 206 16 0 43816 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 177504

[startup+130.074 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1499144/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=186408 CPUtime=129.99
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 850143 0 0 0 12761 238 0 0 25 0 1 0 190339127 190881792 43807 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528224 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 46602 43807 206 16 0 46042 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 186408

[startup+140.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1490184/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=195360 CPUtime=140
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 852390 0 0 0 13760 240 0 0 25 0 1 0 190339127 200048640 46054 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 48840 46054 206 16 0 48280 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 195360

[startup+150.086 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1480840/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=204692 CPUtime=150
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 854706 0 0 0 14759 241 0 0 25 0 1 0 190339127 209604608 48370 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 51173 48370 206 16 0 50613 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 204692

[startup+160.092 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1470792/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=214668 CPUtime=160
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 857196 0 0 0 15758 242 0 0 25 0 1 0 190339127 219820032 50860 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 53667 50860 206 16 0 53107 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 214668

[startup+170.098 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1461192/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=224288 CPUtime=170.01
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 859605 0 0 0 16757 244 0 0 25 0 1 0 190339127 229670912 53269 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528626 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 56072 53269 206 16 0 55512 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 224288

[startup+180.103 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1452104/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=233576 CPUtime=180.01
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 861870 0 0 0 17756 245 0 0 25 0 1 0 190339127 239181824 55534 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 58394 55534 206 16 0 57834 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 233576

[startup+190.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1445960/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=239720 CPUtime=190
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 863410 0 0 0 18754 246 0 0 25 0 1 0 190339127 245473280 57074 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 59930 57074 206 16 0 59370 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 239720

[startup+200.116 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1438600/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=247088 CPUtime=200.01
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 865240 0 0 0 19753 248 0 0 25 0 1 0 190339127 253018112 58904 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527939 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 61772 58904 206 16 0 61212 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 247088

[startup+210.122 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21874
/proc/meminfo: memFree=1431432/2055888 swapFree=4085412/4096564

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

/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 177772 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1781.05
Current children cumulated vsize (Kb) 779192

[startup+1783.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1782.06
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 177873 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528217 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1782.06
Current children cumulated vsize (Kb) 779192

[startup+1784.08 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1783.06
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 177973 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528051 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1783.06
Current children cumulated vsize (Kb) 779192

[startup+1785.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1784.07
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178074 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528224 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1784.07
Current children cumulated vsize (Kb) 779192

[startup+1786.09 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1785.07
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178174 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1785.07
Current children cumulated vsize (Kb) 779192

[startup+1787.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1786.08
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178275 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528220 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1786.08
Current children cumulated vsize (Kb) 779192

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1787.08
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178375 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1787.08
Current children cumulated vsize (Kb) 779192

[startup+1789.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1788.09
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178476 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528312 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1788.09
Current children cumulated vsize (Kb) 779192

[startup+1790.11 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1789.09
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178576 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1789.09
Current children cumulated vsize (Kb) 779192

[startup+1791.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1790.1
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178677 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1790.1
Current children cumulated vsize (Kb) 779192

[startup+1792.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1791.1
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178777 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1791.1
Current children cumulated vsize (Kb) 779192

[startup+1793.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1792.11
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178878 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1792.11
Current children cumulated vsize (Kb) 779192

[startup+1794.13 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1793.11
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 178978 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559314 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1793.11
Current children cumulated vsize (Kb) 779192

[startup+1795.14 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1794.11
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 179078 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1794.11
Current children cumulated vsize (Kb) 779192

[startup+1796.14 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1795.12
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 179179 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1795.12
Current children cumulated vsize (Kb) 779192

[startup+1797.15 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1796.12
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 179279 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1796.12
Current children cumulated vsize (Kb) 779192

[startup+1798.15 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1797.12
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 179379 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1797.12
Current children cumulated vsize (Kb) 779192

[startup+1799.16 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1798.13
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 179480 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527830 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1798.13
Current children cumulated vsize (Kb) 779192

[startup+1800.16 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1799.13
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 179580 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1799.13
Current children cumulated vsize (Kb) 779192

[startup+1801.17 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1800.13
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 179680 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1800.13
Current children cumulated vsize (Kb) 779192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.17 s]
/proc/loadavg: 0.99 0.97 0.98 2/67 21876
/proc/meminfo: memFree=910984/2055888 swapFree=4085412/4096564
[pid=21874] ppid=21872 vsize=779192 CPUtime=1800.14
/proc/21874/stat : 21874 (Pueblo13) R 21872 21874 21828 0 -1 4194304 996793 0 0 0 179681 333 0 0 25 0 1 0 190339127 797892608 190457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 0 0 0
/proc/21874/statm: 194798 190457 206 16 0 194238 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (Kb) 779192

Sending SIGTERM to -21874
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.29
CPU time (s): 1800.26
CPU user time (s): 1796.81
CPU system time (s): 3.44648
CPU usage (%): 99.9429
Max. virtual memory (cumulated for all children) (Kb): 779192
The end

Launcher Data (download as text)

Begin job on node87 on Fri Jun  2 11:16:40 UTC 2006


FILE ID= 37487-1149247000

PBS_JOBID= 297843

BENCH NAME= ROOT/tmp/node87/37487-1149247000/instance-37487-1149247000.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node87/37487-1149247000/instance-37487-1149247000.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node87/watcher-37487-1149247000 -o ROOT/results/node87/solver-37487-1149247000 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node87/37487-1149247000/instance-37487-1149247000.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  ec90eecae558bb98c83f0a39ee76567f

RANDOM SEED= 356016340


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


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1673600 kB
Buffers:         29788 kB
Cached:         278188 kB
SwapCached:       2512 kB
Active:          99204 kB
Inactive:       217548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1673600 kB
SwapTotal:     4096564 kB
SwapFree:      4085412 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          16816 kB
Slab:            52236 kB
Committed_AS:   215288 kB
PageTables:       1280 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node87 on Fri Jun  2 11:46:41 UTC 2006