Trace number 37453

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.3Signal 1726.81 1727.5

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos9.opb
MD5SUM9b565ffd2f62b11d1859d685ea38235b
Bench CategoryOPT-MEDINT (optimisation, medium 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 variables874498
Total number of constraints110909
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)87
Number of constraints which are nor clauses,nor cardinality constraints110822
Minimum length of a constraint11
Maximum length of a constraint14080
Number of terms in the objective function 198658
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 38727219
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 30720
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 38727219
Number of bits of the biggest sum of numbers26
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.03	c Pueblo version 1.4 (September 2005)
0.03	c Developed @ University of Michigan, Ann Arbor, MI
0.03	c  by Hossein Sheini
612.28	c starting to Solve
612.29	c #variables read: 874498 - #constraints read: 118638
1727.20	Pueblo13: Global.h:70: T* xrealloc(T*, unsigned int) [with T = Lit]: Assertion `size == 0 || tmp != __null' failed.

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/node48/watcher-37453-1149322175 -o ROOT/results/node48/solver-37453-1149322175 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node48/37453-1149322175/instance-37453-1149322175.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.35 0.72 0.84 2/64 24882
/proc/meminfo: memFree=1363496/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=18540 CPUtime=0
/proc/24882/stat : 24882 (runsolver) D 24880 24882 24836 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 197887213 18984960 279 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 255539604775 0 2147483391 4096 24578 18446744072099781622 0 0 17 0 0 0
/proc/24882/statm: 4635 279 243 16 0 2626 0

[startup+10.0025 s]
/proc/loadavg: 0.45 0.73 0.84 2/64 24882
/proc/meminfo: memFree=1233832/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=131784 CPUtime=9.96
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 32577 0 0 0 980 16 0 0 25 0 1 0 197887213 134946816 32548 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134546705 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 32946 32548 199 16 0 32387 0
Current children cumulated CPU time (s) 9.96
Current children cumulated vsize (Kb) 131784

[startup+20.0122 s]
/proc/loadavg: 0.54 0.74 0.84 2/64 24882
/proc/meminfo: memFree=1126696/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=257568 CPUtime=19.96
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 828881 0 0 0 1674 322 0 0 25 0 1 0 197887213 263749632 59955 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 64392 59955 280 16 0 63833 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 257568

[startup+30.0199 s]
/proc/loadavg: 0.61 0.75 0.84 2/64 24882
/proc/meminfo: memFree=1125416/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=257568 CPUtime=29.97
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 2554503 0 0 0 2026 971 0 0 25 0 1 0 197887213 263749632 59332 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 64392 59341 204 16 0 63833 0
Current children cumulated CPU time (s) 29.97
Current children cumulated vsize (Kb) 257568

[startup+40.0256 s]
/proc/loadavg: 0.67 0.76 0.84 2/64 24882
/proc/meminfo: memFree=1125992/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=257568 CPUtime=39.97
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 4272036 0 0 0 2388 1609 0 0 25 0 1 0 197887213 263749632 59171 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 64392 59180 204 16 0 63833 0
Current children cumulated CPU time (s) 39.97
Current children cumulated vsize (Kb) 257568

[startup+50.0323 s]
/proc/loadavg: 0.72 0.77 0.84 2/64 24882
/proc/meminfo: memFree=1126376/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=257568 CPUtime=49.97
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 5998211 0 0 0 2747 2250 0 0 25 0 1 0 197887213 263749632 59955 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 64392 59955 882 16 0 63833 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 257568

[startup+60.0381 s]
/proc/loadavg: 0.76 0.77 0.84 2/64 24882
/proc/meminfo: memFree=1125352/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=257568 CPUtime=59.97
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 7715281 0 0 0 3100 2897 0 0 25 0 1 0 197887213 263749632 59331 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 64392 59340 204 16 0 63833 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 257568

[startup+70.0448 s]
/proc/loadavg: 0.80 0.78 0.84 2/64 24882
/proc/meminfo: memFree=1122984/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=259284 CPUtime=69.98
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 9383135 0 0 0 3426 3572 0 0 25 0 1 0 197887213 265506816 59934 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 64821 59940 204 16 0 64262 0
Current children cumulated CPU time (s) 69.98
Current children cumulated vsize (Kb) 259284

[startup+80.0515 s]
/proc/loadavg: 0.83 0.79 0.85 2/64 24882
/proc/meminfo: memFree=1119016/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=262716 CPUtime=79.98
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 11077992 0 0 0 3762 4236 0 0 25 0 1 0 197887213 269021184 61036 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 65679 61042 204 16 0 65120 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 262716

[startup+90.0572 s]
/proc/loadavg: 0.85 0.79 0.85 2/64 24882
/proc/meminfo: memFree=1116328/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=266148 CPUtime=89.98
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 12798854 0 0 0 4115 4883 0 0 25 0 1 0 197887213 272535552 61638 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 66537 61646 205 16 0 65978 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 266148

[startup+100.063 s]
/proc/loadavg: 0.88 0.80 0.85 2/64 24882
/proc/meminfo: memFree=1112720/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=269712 CPUtime=99.99
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 14510926 0 0 0 4470 5529 0 0 25 0 1 0 197887213 276185088 62855 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 67428 62861 204 16 0 66869 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 269712

[startup+110.07 s]
/proc/loadavg: 0.89 0.81 0.85 2/64 24882
/proc/meminfo: memFree=1108520/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=273144 CPUtime=109.99
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 16231105 0 0 0 4823 6176 0 0 25 0 1 0 197887213 279699456 63629 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 68286 63637 204 16 0 67727 0
Current children cumulated CPU time (s) 109.99
Current children cumulated vsize (Kb) 273144

[startup+120.075 s]
/proc/loadavg: 0.91 0.81 0.85 2/64 24882
/proc/meminfo: memFree=1107432/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=276708 CPUtime=119.99
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 17943890 0 0 0 5171 6828 0 0 25 0 1 0 197887213 283348992 64704 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 69177 64704 710 16 0 68618 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 276708

[startup+130.081 s]
/proc/loadavg: 0.92 0.82 0.85 2/64 24882
/proc/meminfo: memFree=1102120/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=280140 CPUtime=130
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 19663783 0 0 0 5515 7485 0 0 25 0 1 0 197887213 286863360 65192 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 70035 65200 204 16 0 69476 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 280140

[startup+140.087 s]
/proc/loadavg: 0.93 0.82 0.85 2/64 24882
/proc/meminfo: memFree=1100328/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=283572 CPUtime=139.99
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 21376748 0 0 0 5883 8116 0 0 25 0 1 0 197887213 290377728 66447 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 70893 66447 710 16 0 70334 0
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 283572

[startup+150.092 s]
/proc/loadavg: 0.94 0.83 0.85 2/64 24882
/proc/meminfo: memFree=1097384/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=287136 CPUtime=150
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 23096129 0 0 0 6235 8765 0 0 25 0 1 0 197887213 294027264 67278 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 71784 67283 204 16 0 71225 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 287136

[startup+160.098 s]
/proc/loadavg: 0.95 0.83 0.85 2/64 24882
/proc/meminfo: memFree=1093416/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=290568 CPUtime=160
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 24808752 0 0 0 6600 9400 0 0 25 0 1 0 197887213 297541632 68191 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 72642 68191 710 16 0 72083 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 290568

[startup+170.104 s]
/proc/loadavg: 0.96 0.84 0.85 2/64 24882
/proc/meminfo: memFree=1088232/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=294132 CPUtime=170.01
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 26529468 0 0 0 6960 10041 0 0 25 0 1 0 197887213 301191168 68647 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 73533 68654 204 16 0 72974 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 294132

[startup+180.11 s]
/proc/loadavg: 0.96 0.84 0.85 2/64 24882
/proc/meminfo: memFree=1084008/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=297688 CPUtime=180
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 28242278 0 0 0 7297 10703 0 0 25 0 1 0 197887213 304832512 69747 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 74422 69752 204 16 0 73863 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 297688

[startup+190.115 s]
/proc/loadavg: 0.97 0.85 0.86 2/64 24882
/proc/meminfo: memFree=1081000/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=301120 CPUtime=190.01
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 29957246 0 0 0 7654 11347 0 0 25 0 1 0 197887213 308346880 70441 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 75280 70448 204 16 0 74721 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 301120

[startup+200.121 s]
/proc/loadavg: 0.97 0.85 0.86 2/64 24882
/proc/meminfo: memFree=1079592/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=304552 CPUtime=200.02
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 31664149 0 0 0 8005 11997 0 0 25 0 1 0 197887213 311861248 71619 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 76138 71625 204 16 0 75579 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 304552

[startup+210.127 s]
/proc/loadavg: 0.98 0.86 0.86 2/64 24882
/proc/meminfo: memFree=1073832/2055920 swapFree=4181440/4192956

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

Current children cumulated CPU time (s) 1510.36
Current children cumulated vsize (Kb) 1172384

[startup+1520.9 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24884
/proc/meminfo: memFree=181552/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1197732 CPUtime=1520.36
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101731233 0 0 0 113477 38559 0 0 25 0 1 0 197887213 1226477568 295073 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557250 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 299433 295073 206 16 0 298874 0
Current children cumulated CPU time (s) 1520.36
Current children cumulated vsize (Kb) 1197732

[startup+1530.9 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24884
/proc/meminfo: memFree=146096/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1233012 CPUtime=1530.36
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101740086 0 0 0 114473 38563 0 0 25 0 1 0 197887213 1262604288 303926 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528545 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 308253 303926 206 16 0 307694 0
Current children cumulated CPU time (s) 1530.36
Current children cumulated vsize (Kb) 1233012

[startup+1540.91 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24884
/proc/meminfo: memFree=112048/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1267008 CPUtime=1540.36
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101748571 0 0 0 115470 38566 0 0 25 0 1 0 197887213 1297416192 312411 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528545 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 316752 312411 206 16 0 316193 0
Current children cumulated CPU time (s) 1540.36
Current children cumulated vsize (Kb) 1267008

[startup+1550.91 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24884
/proc/meminfo: memFree=80112/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1298928 CPUtime=1550.37
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101756551 0 0 0 116466 38571 0 0 25 0 1 0 197887213 1330102272 320391 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528681 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 324732 320391 206 16 0 324173 0
Current children cumulated CPU time (s) 1550.37
Current children cumulated vsize (Kb) 1298928

[startup+1560.92 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24884
/proc/meminfo: memFree=50928/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1328040 CPUtime=1560.37
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101763830 0 0 0 117464 38573 0 0 25 0 1 0 197887213 1359912960 327670 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528531 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 332010 327670 206 16 0 331451 0
Current children cumulated CPU time (s) 1560.37
Current children cumulated vsize (Kb) 1328040

[startup+1570.92 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24884
/proc/meminfo: memFree=26224/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1352660 CPUtime=1570.37
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101769985 0 0 0 118460 38577 0 0 25 0 1 0 197887213 1385123840 333825 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557270 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 338165 333825 206 16 0 337606 0
Current children cumulated CPU time (s) 1570.37
Current children cumulated vsize (Kb) 1352660

[startup+1580.93 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24884
/proc/meminfo: memFree=15664/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1383400 CPUtime=1580.36
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101777639 0 0 0 119456 38580 0 0 25 0 1 0 197887213 1416601600 341479 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532089 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 345850 341479 206 16 0 345291 0
Current children cumulated CPU time (s) 1580.36
Current children cumulated vsize (Kb) 1383400

[startup+1590.94 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24884
/proc/meminfo: memFree=15664/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1420036 CPUtime=1590.37
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101786831 0 0 0 120452 38585 0 0 25 0 1 0 197887213 1454116864 350671 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528600 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 355009 350671 206 16 0 354450 0
Current children cumulated CPU time (s) 1590.37
Current children cumulated vsize (Kb) 1420036

[startup+1600.94 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24884
/proc/meminfo: memFree=16048/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1455052 CPUtime=1600.36
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101795553 0 0 0 121447 38589 0 0 25 0 1 0 197887213 1489973248 359393 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528512 0 0 4096 0 0 0 0 17 0 0 0
/proc/24882/statm: 363763 359393 206 16 0 363204 0
Current children cumulated CPU time (s) 1600.36
Current children cumulated vsize (Kb) 1455052

[startup+1610.95 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24884
/proc/meminfo: memFree=15728/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1487592 CPUtime=1610.36
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101803689 0 0 0 122445 38591 0 0 25 0 1 0 197887213 1523294208 367529 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528528 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 371898 367529 206 16 0 371339 0
Current children cumulated CPU time (s) 1610.36
Current children cumulated vsize (Kb) 1487592

[startup+1620.95 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24884
/proc/meminfo: memFree=15472/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1515468 CPUtime=1620.35
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101810690 0 0 0 123442 38593 0 0 25 0 1 0 197887213 1551839232 374530 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528554 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 378867 374530 206 16 0 378308 0
Current children cumulated CPU time (s) 1620.35
Current children cumulated vsize (Kb) 1515468

[startup+1630.96 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 24884
/proc/meminfo: memFree=15856/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1541828 CPUtime=1630.33
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101817249 0 0 0 124438 38595 0 0 25 0 1 0 197887213 1578831872 381089 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557380 0 0 4096 0 0 0 0 17 0 0 0
/proc/24882/statm: 385457 381089 206 16 0 384898 0
Current children cumulated CPU time (s) 1630.33
Current children cumulated vsize (Kb) 1541828

[startup+1640.96 s]
/proc/loadavg: 1.07 0.99 0.91 2/64 24884
/proc/meminfo: memFree=15600/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1579196 CPUtime=1640.33
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101826624 0 0 0 125434 38599 0 0 25 0 1 0 197887213 1617096704 390464 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528626 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 394799 390464 206 16 0 394240 0
Current children cumulated CPU time (s) 1640.33
Current children cumulated vsize (Kb) 1579196

[startup+1650.97 s]
/proc/loadavg: 1.06 0.99 0.91 2/64 24884
/proc/meminfo: memFree=15984/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1615044 CPUtime=1650.34
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101835554 0 0 0 126430 38604 0 0 25 0 1 0 197887213 1653805056 399394 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517649 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 403761 399394 206 16 0 403202 0
Current children cumulated CPU time (s) 1650.34
Current children cumulated vsize (Kb) 1615044

[startup+1660.98 s]
/proc/loadavg: 1.05 0.99 0.91 2/64 24884
/proc/meminfo: memFree=14896/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1648628 CPUtime=1660.33
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101843951 0 0 0 127426 38607 0 0 25 0 1 0 197887213 1688195072 407791 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528626 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 412157 407791 206 16 0 411598 0
Current children cumulated CPU time (s) 1660.33
Current children cumulated vsize (Kb) 1648628

[startup+1670.98 s]
/proc/loadavg: 1.04 0.99 0.91 2/64 24884
/proc/meminfo: memFree=15472/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1676296 CPUtime=1670.31
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101850900 0 0 0 128421 38610 0 0 25 0 1 0 197887213 1716527104 414740 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557380 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 419074 414740 206 16 0 418515 0
Current children cumulated CPU time (s) 1670.31
Current children cumulated vsize (Kb) 1676296

[startup+1680.99 s]
/proc/loadavg: 1.04 0.99 0.91 2/64 24884
/proc/meminfo: memFree=15024/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1698396 CPUtime=1680.31
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101856394 0 0 0 129419 38612 0 0 25 0 1 0 197887213 1739157504 420234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528524 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 424599 420234 206 16 0 424040 0
Current children cumulated CPU time (s) 1680.31
Current children cumulated vsize (Kb) 1698396

[startup+1691 s]
/proc/loadavg: 1.03 0.99 0.91 2/64 24884
/proc/meminfo: memFree=15088/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1733572 CPUtime=1690.32
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101865220 0 0 0 130416 38616 0 0 25 0 1 0 197887213 1775177728 429060 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557250 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 433393 429060 206 16 0 432834 0
Current children cumulated CPU time (s) 1690.32
Current children cumulated vsize (Kb) 1733572

[startup+1701 s]
/proc/loadavg: 1.03 0.99 0.91 2/64 24884
/proc/meminfo: memFree=15664/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1766840 CPUtime=1700.32
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101873538 0 0 0 131413 38619 0 0 25 0 1 0 197887213 1809244160 437378 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528545 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 441710 437378 206 16 0 441151 0
Current children cumulated CPU time (s) 1700.32
Current children cumulated vsize (Kb) 1766840

[startup+1711.01 s]
/proc/loadavg: 1.02 0.99 0.91 2/64 24884
/proc/meminfo: memFree=16112/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1798964 CPUtime=1710.32
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101881570 0 0 0 132409 38623 0 0 25 0 1 0 197887213 1842139136 445410 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557270 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 449741 445410 206 16 0 449182 0
Current children cumulated CPU time (s) 1710.32
Current children cumulated vsize (Kb) 1798964

[startup+1721.02 s]
/proc/loadavg: 1.02 0.99 0.91 2/64 24884
/proc/meminfo: memFree=15344/2055920 swapFree=4181440/4192956
[pid=24882] ppid=24880 vsize=1827932 CPUtime=1720.33
/proc/24882/stat : 24882 (Pueblo13) R 24880 24882 24836 0 -1 4194304 101888780 0 0 0 133406 38627 0 0 25 0 1 0 197887213 1871802368 452620 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528572 0 0 4096 0 0 0 0 17 1 0 0
/proc/24882/statm: 456983 452620 206 16 0 456424 0
Current children cumulated CPU time (s) 1720.33
Current children cumulated vsize (Kb) 1827932

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1727.5
CPU time (s): 1726.81
CPU user time (s): 1340.25
CPU system time (s): 386.567
CPU usage (%): 99.9603
Max. virtual memory (cumulated for all children) (Kb): 1827932
The end

Launcher Data (download as text)

Begin job on node48 on Sat Jun  3 08:09:49 UTC 2006


FILE ID= 37453-1149322175

PBS_JOBID= 309386

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos9.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node48/37453-1149322175/instance-37453-1149322175.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node48/watcher-37453-1149322175 -o ROOT/results/node48/solver-37453-1149322175 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node48/37453-1149322175/instance-37453-1149322175.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  9b565ffd2f62b11d1859d685ea38235b

RANDOM SEED= 556847370


/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.259
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.259
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:       1363376 kB
Buffers:         30016 kB
Cached:         590364 kB
SwapCached:       3180 kB
Active:          93284 kB
Inactive:       535760 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1363376 kB
SwapTotal:     4192956 kB
SwapFree:      4181440 kB
Dirty:             228 kB
Writeback:           0 kB
Mapped:          14868 kB
Slab:            49452 kB
Committed_AS:   291680 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node48 on Sat Jun  3 08:38:49 UTC 2006