Trace number 40093

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
bsolo 2006/05? (TO) 1800.58 1801.3

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos19.opb
MD5SUM1ef5c8e94b66b7ed63dffc6923ecd901
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-3
Best CPU time to get the best result obtained on this benchmark1783.1
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -3
Optimality of the best value was proved NO
Number of variables1041679
Total number of constraints127860
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)80
Number of constraints which are nor clauses,nor cardinality constraints127780
Minimum length of a constraint2
Maximum length of a constraint275
Number of terms in the objective function 1611
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1611
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 24576
Number of bits of the biggest number in a constraint 15
Biggest sum of numbers in a constraint 98256
Number of bits of the biggest sum of numbers17
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 Time Limit set via PBTIMEOUT to 1800
0.02	c INFO: OSL Context initialized.
1801.24	c Caught signal: 15
1801.24	s UNKNOWN
1801.24	c Exit Code: 0

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/node36/watcher-40093-1149365845 -o ROOT/results/node36/solver-40093-1149365845 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/40093-1149365845/instance-40093-1149365845.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.94 0.97 2/64 6656
/proc/meminfo: memFree=1723552/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=2900 CPUtime=0
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 43 0 0 0 0 0 0 0 18 0 1 0 202250757 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1528612 0 0 4096 0 0 0 0 17 1 0 0
/proc/6656/statm: 725 27 19 55 0 38 0

[startup+10.0024 s]
/proc/loadavg: 0.87 0.94 0.97 2/64 6656
/proc/meminfo: memFree=1696632/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=31808 CPUtime=9.98
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 1922134 0 0 0 491 507 0 0 25 0 1 0 202250757 32571392 7051 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 7952 7060 281 55 0 6844 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 31808

[startup+20.0082 s]
/proc/loadavg: 0.89 0.94 0.97 2/64 6656
/proc/meminfo: memFree=1686968/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=42444 CPUtime=19.98
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 3917044 0 0 0 925 1073 0 0 25 0 1 0 202250757 43462656 9554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 10611 9562 280 55 0 9503 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 42444

[startup+30.014 s]
/proc/loadavg: 0.90 0.94 0.97 2/64 6656
/proc/meminfo: memFree=1676792/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=52368 CPUtime=29.98
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 5902732 0 0 0 1364 1634 0 0 25 0 1 0 202250757 53624832 12168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 13092 12172 376 55 0 11984 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 52368

[startup+40.0198 s]
/proc/loadavg: 0.92 0.94 0.97 2/64 6656
/proc/meminfo: memFree=1670264/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=58704 CPUtime=39.98
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 7867059 0 0 0 1796 2202 0 0 25 0 1 0 202250757 60112896 13811 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 14676 13819 281 55 0 13568 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 58704

[startup+50.0256 s]
/proc/loadavg: 0.93 0.94 0.97 2/64 6656
/proc/meminfo: memFree=1664440/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=66412 CPUtime=49.98
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 9835585 0 0 0 2232 2766 0 0 25 0 1 0 202250757 68005888 15223 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 16603 15230 280 55 0 15495 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 66412

[startup+60.0314 s]
/proc/loadavg: 0.94 0.95 0.97 2/64 6656
/proc/meminfo: memFree=1659512/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=71428 CPUtime=59.98
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 11757199 0 0 0 2657 3341 0 0 25 0 1 0 202250757 73142272 16583 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 17857 16587 337 55 0 16749 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 71428

[startup+70.0383 s]
/proc/loadavg: 0.95 0.95 0.97 2/64 6656
/proc/meminfo: memFree=1654776/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=75912 CPUtime=69.99
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 13657624 0 0 0 3090 3909 0 0 25 0 1 0 202250757 77733888 17664 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 18978 17671 280 55 0 17870 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 75912

[startup+80.0451 s]
/proc/loadavg: 0.96 0.95 0.97 2/64 6656
/proc/meminfo: memFree=1650360/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=80224 CPUtime=79.99
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 15542562 0 0 0 3529 4470 0 0 25 0 1 0 202250757 82149376 18735 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 20056 18743 280 55 0 18948 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 80224

[startup+90.0519 s]
/proc/loadavg: 0.96 0.95 0.97 2/64 6656
/proc/meminfo: memFree=1646264/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=84152 CPUtime=90
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 17410620 0 0 0 3962 5038 0 0 25 0 1 0 202250757 86171648 19865 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 21038 19872 280 55 0 19930 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 84152

[startup+100.058 s]
/proc/loadavg: 0.97 0.95 0.97 2/64 6656
/proc/meminfo: memFree=1642424/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=87948 CPUtime=99.99
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 19278046 0 0 0 4387 5612 0 0 25 0 1 0 202250757 90058752 20844 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 21987 20851 280 55 0 20879 0
Current children cumulated CPU time (s) 99.99
Current children cumulated vsize (Kb) 87948

[startup+110.065 s]
/proc/loadavg: 0.97 0.95 0.97 2/64 6656
/proc/meminfo: memFree=1638520/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=91320 CPUtime=110
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 21075848 0 0 0 4810 6190 0 0 25 0 1 0 202250757 93511680 21647 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 22830 21655 280 55 0 21722 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 91320

[startup+120.07 s]
/proc/loadavg: 0.98 0.95 0.97 2/64 6656
/proc/meminfo: memFree=1635192/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=94688 CPUtime=120
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 22875660 0 0 0 5229 6771 0 0 25 0 1 0 202250757 96960512 22467 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 23672 22476 280 55 0 22564 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 94688

[startup+130.076 s]
/proc/loadavg: 0.98 0.95 0.97 2/64 6656
/proc/meminfo: memFree=1626744/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=102732 CPUtime=130
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 24655092 0 0 0 5660 7340 0 0 25 0 1 0 202250757 105197568 24643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 25683 24650 280 55 0 24575 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 102732

[startup+140.083 s]
/proc/loadavg: 0.98 0.95 0.97 2/64 6656
/proc/meminfo: memFree=1624120/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=105724 CPUtime=140
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 26424106 0 0 0 6093 7907 0 0 25 0 1 0 202250757 108261376 25269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 26431 25278 280 55 0 25323 0
Current children cumulated CPU time (s) 140
Current children cumulated vsize (Kb) 105724

[startup+150.09 s]
/proc/loadavg: 0.98 0.95 0.97 2/64 6656
/proc/meminfo: memFree=1620536/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=108704 CPUtime=150.01
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 28168973 0 0 0 6521 8480 0 0 25 0 1 0 202250757 111312896 26117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 27176 26124 280 55 0 26068 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 108704

[startup+160.096 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 6656
/proc/meminfo: memFree=1617976/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=111560 CPUtime=160
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 29941961 0 0 0 6935 9065 0 0 25 0 1 0 202250757 114237440 26746 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 27890 26755 280 55 0 26782 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 111560

[startup+170.102 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 6656
/proc/meminfo: memFree=1614712/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=114136 CPUtime=170
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 31652133 0 0 0 7356 9644 0 0 25 0 1 0 202250757 116875264 27477 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 28534 27485 280 55 0 27426 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 114136

[startup+180.109 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 6656
/proc/meminfo: memFree=1611896/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=116852 CPUtime=180.01
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 33362026 0 0 0 7776 10225 0 0 25 0 1 0 202250757 119656448 28155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 29213 28163 280 55 0 28105 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 116852

[startup+190.115 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 6656
/proc/meminfo: memFree=1609528/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=123296 CPUtime=190.01
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 35046773 0 0 0 8199 10802 0 0 25 0 1 0 202250757 126255104 28993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 30824 28999 280 55 0 29716 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 123296

[startup+200.121 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 6656
/proc/meminfo: memFree=1606904/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=125736 CPUtime=200.01
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 36725376 0 0 0 8620 11381 0 0 25 0 1 0 202250757 128753664 29361 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 31165 29361 280 55 0 30057 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 125736

[startup+210.127 s]
/proc/loadavg: 0.99 0.96 0.97 2/64 6656
/proc/meminfo: memFree=1604472/2055920 swapFree=4181452/4192956

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

[pid=6656] ppid=6654 vsize=328204 CPUtime=1781.43
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 277624816 0 0 0 71907 106236 0 0 25 0 1 0 202250757 336080896 79609 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82051 79615 280 55 0 80943 0
Current children cumulated CPU time (s) 1781.43
Current children cumulated vsize (Kb) 328204

[startup+1783.15 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1405752/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=328204 CPUtime=1782.43
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 277774923 0 0 0 71946 106297 0 0 25 0 1 0 202250757 336080896 80105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82051 80111 280 55 0 80943 0
Current children cumulated CPU time (s) 1782.43
Current children cumulated vsize (Kb) 328204

[startup+1784.15 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1405432/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=328336 CPUtime=1783.44
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 277923849 0 0 0 71986 106358 0 0 25 0 1 0 202250757 336216064 80157 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82084 80157 724 55 0 80976 0
Current children cumulated CPU time (s) 1783.44
Current children cumulated vsize (Kb) 328336

[startup+1785.16 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1405240/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=328336 CPUtime=1784.44
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 278072742 0 0 0 72025 106419 0 0 25 0 1 0 202250757 336216064 80176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82084 80176 786 55 0 80976 0
Current children cumulated CPU time (s) 1784.44
Current children cumulated vsize (Kb) 328336

[startup+1786.17 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1405688/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=328480 CPUtime=1785.45
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 278221675 0 0 0 72067 106478 0 0 25 0 1 0 202250757 336363520 80077 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82120 80083 280 55 0 81012 0
Current children cumulated CPU time (s) 1785.45
Current children cumulated vsize (Kb) 328480

[startup+1787.17 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1403960/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=328612 CPUtime=1786.45
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 278370410 0 0 0 72104 106541 0 0 25 0 1 0 202250757 336498688 79737 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82153 79743 280 55 0 81045 0
Current children cumulated CPU time (s) 1786.45
Current children cumulated vsize (Kb) 328612

[startup+1788.17 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1404536/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=328612 CPUtime=1787.46
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 278519324 0 0 0 72145 106601 0 0 25 0 1 0 202250757 336498688 79575 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82153 79582 280 55 0 81045 0
Current children cumulated CPU time (s) 1787.46
Current children cumulated vsize (Kb) 328612

[startup+1789.18 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1405496/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=328744 CPUtime=1788.46
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 278668248 0 0 0 72181 106665 0 0 25 0 1 0 202250757 336633856 80160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82186 80165 280 55 0 81078 0
Current children cumulated CPU time (s) 1788.46
Current children cumulated vsize (Kb) 328744

[startup+1790.18 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1402872/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=328744 CPUtime=1789.46
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 278817160 0 0 0 72216 106730 0 0 25 0 1 0 202250757 336633856 79996 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82186 80002 280 55 0 81078 0
Current children cumulated CPU time (s) 1789.46
Current children cumulated vsize (Kb) 328744

[startup+1791.19 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1404216/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=328884 CPUtime=1790.47
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 278966047 0 0 0 72256 106791 0 0 25 0 1 0 202250757 336777216 79664 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82221 79671 280 55 0 81113 0
Current children cumulated CPU time (s) 1790.47
Current children cumulated vsize (Kb) 328884

[startup+1792.19 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1403256/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=328884 CPUtime=1791.48
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 279114825 0 0 0 72298 106850 0 0 25 0 1 0 202250757 336777216 79903 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82221 79909 280 55 0 81113 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (Kb) 328884

[startup+1793.2 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1402360/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=329020 CPUtime=1792.48
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 279263616 0 0 0 72337 106911 0 0 25 0 1 0 202250757 336916480 80156 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82255 80161 280 55 0 81147 0
Current children cumulated CPU time (s) 1792.48
Current children cumulated vsize (Kb) 329020

[startup+1794.2 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1404408/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=329152 CPUtime=1793.48
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 279413837 0 0 0 72377 106971 0 0 25 0 1 0 202250757 337051648 80359 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82288 79620 280 55 0 81180 0
Current children cumulated CPU time (s) 1793.48
Current children cumulated vsize (Kb) 329152

[startup+1795.21 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1403576/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=329152 CPUtime=1794.49
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 279564068 0 0 0 72415 107034 0 0 25 0 1 0 202250757 337051648 79834 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82288 79840 280 55 0 81180 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (Kb) 329152

[startup+1796.21 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1403256/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=329292 CPUtime=1795.49
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 279714306 0 0 0 72452 107097 0 0 25 0 1 0 202250757 337195008 79924 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82323 79930 280 55 0 81215 0
Current children cumulated CPU time (s) 1795.49
Current children cumulated vsize (Kb) 329292

[startup+1797.22 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1403384/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=329292 CPUtime=1796.5
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 279864480 0 0 0 72489 107161 0 0 25 0 1 0 202250757 337195008 79878 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82323 79884 280 55 0 81215 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (Kb) 329292

[startup+1798.22 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1402552/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=329424 CPUtime=1797.5
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 280014905 0 0 0 72528 107222 0 0 25 0 1 0 202250757 337330176 80083 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82356 80089 280 55 0 81248 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (Kb) 329424

[startup+1799.23 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1402232/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=329560 CPUtime=1798.51
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 280165199 0 0 0 72567 107284 0 0 25 0 1 0 202250757 337469440 80157 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82390 80163 280 55 0 81282 0
Current children cumulated CPU time (s) 1798.51
Current children cumulated vsize (Kb) 329560

[startup+1800.23 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1401976/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=329560 CPUtime=1799.51
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 280315488 0 0 0 72606 107345 0 0 25 0 1 0 202250757 337469440 80226 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82390 80231 280 55 0 81282 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (Kb) 329560

[startup+1801.24 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1402360/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=329700 CPUtime=1800.51
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 280465746 0 0 0 72644 107407 0 0 25 0 1 0 202250757 337612800 80142 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82425 80148 280 55 0 81317 0
Current children cumulated CPU time (s) 1800.51
Current children cumulated vsize (Kb) 329700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.24 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 6658
/proc/meminfo: memFree=1403000/2055920 swapFree=4181452/4192956
[pid=6656] ppid=6654 vsize=329700 CPUtime=1800.52
/proc/6656/stat : 6656 (bsolo) R 6654 6656 6610 0 -1 0 280466321 0 0 0 72645 107407 0 0 25 0 1 0 202250757 337612800 79976 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0
/proc/6656/statm: 82425 79982 280 55 0 81317 0
Current children cumulated CPU time (s) 1800.52
Current children cumulated vsize (Kb) 329700

Sending SIGTERM to -6656
Sleeping 2 seconds

Child status: 0
Real time (s): 1801.3
CPU time (s): 1800.58
CPU user time (s): 726.453
CPU system time (s): 1074.13
CPU usage (%): 99.9601
Max. virtual memory (cumulated for all children) (Kb): 329700

Launcher Data (download as text)

Begin job on node36 on Sat Jun  3 20:17:26 UTC 2006


FILE ID= 40093-1149365845

PBS_JOBID= 311819

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos19.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/40093-1149365845/instance-40093-1149365845.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node36/watcher-40093-1149365845 -o ROOT/results/node36/solver-40093-1149365845 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node36/40093-1149365845/instance-40093-1149365845.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  1ef5c8e94b66b7ed63dffc6923ecd901

RANDOM SEED= 970305046


/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.284
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.284
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:       1723952 kB
Buffers:         22988 kB
Cached:         242564 kB
SwapCached:       3320 kB
Active:          84236 kB
Inactive:       190096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1723952 kB
SwapTotal:     4192956 kB
SwapFree:      4181452 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          14932 kB
Slab:            43652 kB
Committed_AS:   318844 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node36 on Sat Jun  3 20:47:28 UTC 2006