Trace number 37749

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.3SAT0 1783.13 1783.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb
MD5SUM11ee19baa608345f86d8483767b8a181
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2
Best CPU time to get the best result obtained on this benchmark1804.54
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2
Optimality of the best value was proved NO
Number of variables309773
Total number of constraints5980
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)16
Number of constraints which are nor clauses,nor cardinality constraints5964
Minimum length of a constraint6
Maximum length of a constraint24690
Number of terms in the objective function 212680
Biggest coefficient in the objective function 244
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 711535
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 711535
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)

Sorry, but this trace is too large and cannot be obtained.

Verifier Data (download as text)

OK	0

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 2/64 12993
/proc/meminfo: memFree=1731368/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=2572 CPUtime=0
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 201887262 2633728 231 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7950039 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 643 231 193 16 0 84 0

[startup+10.0022 s]
/proc/loadavg: 0.93 0.95 0.98 2/64 12993
/proc/meminfo: memFree=1639680/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=114652 CPUtime=9.98
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 1309365 0 0 0 641 357 0 0 25 0 1 0 201887262 117403648 23199 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 28663 23207 205 16 0 28104 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 114652

[startup+20.0092 s]
/proc/loadavg: 0.94 0.96 0.98 2/64 12993
/proc/meminfo: memFree=1592080/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=161636 CPUtime=20
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171134 0 0 0 1100 900 0 0 25 0 1 0 201887262 165515264 35040 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 7918271 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 40409 35040 206 16 0 39850 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 161636

[startup+30.0153 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 12993
/proc/meminfo: memFree=1590352/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=164708 CPUtime=29.99
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171598 0 0 0 2099 900 0 0 25 0 1 0 201887262 168660992 35504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 41177 35504 206 16 0 40618 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 164708

[startup+40.0214 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 12993
/proc/meminfo: memFree=1590352/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=164708 CPUtime=40
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171598 0 0 0 3100 900 0 0 25 0 1 0 201887262 168660992 35504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 41177 35504 206 16 0 40618 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 164708

[startup+50.0275 s]
/proc/loadavg: 0.96 0.96 0.98 2/64 12993
/proc/meminfo: memFree=1590416/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=164708 CPUtime=50
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171598 0 0 0 4100 900 0 0 25 0 1 0 201887262 168660992 35504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 41177 35504 206 16 0 40618 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 164708

[startup+60.0336 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 12993
/proc/meminfo: memFree=1590416/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=164708 CPUtime=60
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171598 0 0 0 5100 900 0 0 25 0 1 0 201887262 168660992 35504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 41177 35504 206 16 0 40618 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 164708

[startup+70.0397 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 12993
/proc/meminfo: memFree=1590416/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=164708 CPUtime=70
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171598 0 0 0 6100 900 0 0 25 0 1 0 201887262 168660992 35504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 41177 35504 206 16 0 40618 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 164708

[startup+80.0458 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 12993
/proc/meminfo: memFree=1590416/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=164708 CPUtime=80.01
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171598 0 0 0 7101 900 0 0 25 0 1 0 201887262 168660992 35504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 41177 35504 206 16 0 40618 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 164708

[startup+90.0519 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 12993
/proc/meminfo: memFree=1590416/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=164708 CPUtime=90.01
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171598 0 0 0 8101 900 0 0 25 0 1 0 201887262 168660992 35504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 41177 35504 206 16 0 40618 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 164708

[startup+100.058 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 12993
/proc/meminfo: memFree=1590416/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=164708 CPUtime=100.02
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171598 0 0 0 9102 900 0 0 25 0 1 0 201887262 168660992 35504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527947 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 41177 35504 206 16 0 40618 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 164708

[startup+110.064 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 12993
/proc/meminfo: memFree=1590096/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=165072 CPUtime=110.02
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171688 0 0 0 10101 901 0 0 25 0 1 0 201887262 169033728 35594 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 41268 35594 206 16 0 40709 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 165072

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12993
/proc/meminfo: memFree=1589072/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=165948 CPUtime=120.03
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3171939 0 0 0 11102 901 0 0 25 0 1 0 201887262 169930752 35845 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528537 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 41487 35845 206 16 0 40928 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 165948

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12993
/proc/meminfo: memFree=1588112/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=166892 CPUtime=130.03
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3172175 0 0 0 12102 901 0 0 25 0 1 0 201887262 170897408 36081 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 41723 36081 206 16 0 41164 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 166892

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12993
/proc/meminfo: memFree=1587088/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=168024 CPUtime=140.03
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3172426 0 0 0 13102 901 0 0 25 0 1 0 201887262 172056576 36332 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 42006 36332 206 16 0 41447 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 168024

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12993
/proc/meminfo: memFree=1586192/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=168968 CPUtime=150.03
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3172661 0 0 0 14102 901 0 0 25 0 1 0 201887262 173023232 36567 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 42242 36567 206 16 0 41683 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 168968

[startup+160.095 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12993
/proc/meminfo: memFree=1585552/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=169488 CPUtime=160.04
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3172809 0 0 0 15102 902 0 0 25 0 1 0 201887262 173555712 36715 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 42372 36715 206 16 0 41813 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 169488

[startup+170.102 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12993
/proc/meminfo: memFree=1584656/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=170316 CPUtime=170.04
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3173141 0 0 0 16102 902 0 0 25 0 1 0 201887262 174403584 36936 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 42579 36936 206 16 0 42020 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 170316

[startup+180.108 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12993
/proc/meminfo: memFree=1582736/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=172272 CPUtime=180.05
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3174058 0 0 0 17102 903 0 0 25 0 1 0 201887262 176406528 37393 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 43068 37393 206 16 0 42509 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 172272

[startup+190.114 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12993
/proc/meminfo: memFree=1581712/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=173264 CPUtime=190.05
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3174450 0 0 0 18102 903 0 0 25 0 1 0 201887262 177422336 37674 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 43316 37674 206 16 0 42757 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 173264

[startup+200.12 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12993
/proc/meminfo: memFree=1580496/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=174328 CPUtime=200.05
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3174776 0 0 0 19102 903 0 0 25 0 1 0 201887262 178511872 37939 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 43582 37939 206 16 0 43023 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 174328

[startup+210.126 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 12993
/proc/meminfo: memFree=1578576/2055920 swapFree=4181416/4192956

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

/proc/12993/statm: 226168 220497 206 16 0 225609 0
Current children cumulated CPU time (s) 1590.59
Current children cumulated vsize (Kb) 904672

[startup+1601.07 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=834648/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=918416 CPUtime=1600.59
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3386598 0 0 0 159048 1011 0 0 25 0 1 0 201887262 940457984 223953 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527966 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 229604 223953 206 16 0 229045 0
Current children cumulated CPU time (s) 1600.59
Current children cumulated vsize (Kb) 918416

[startup+1611.07 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=820568/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=932480 CPUtime=1610.6
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3390115 0 0 0 160048 1012 0 0 25 0 1 0 201887262 954859520 227470 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528554 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 233120 227470 206 16 0 232561 0
Current children cumulated CPU time (s) 1610.6
Current children cumulated vsize (Kb) 932480

[startup+1621.08 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=806168/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=946904 CPUtime=1620.61
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3393703 0 0 0 161047 1014 0 0 25 0 1 0 201887262 969629696 231058 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 236726 231058 206 16 0 236167 0
Current children cumulated CPU time (s) 1620.61
Current children cumulated vsize (Kb) 946904

[startup+1631.09 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=788952/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=964136 CPUtime=1630.61
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3398014 0 0 0 162045 1016 0 0 25 0 1 0 201887262 987275264 235369 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 241034 235369 206 16 0 240475 0
Current children cumulated CPU time (s) 1630.61
Current children cumulated vsize (Kb) 964136

[startup+1641.09 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=770968/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=981972 CPUtime=1640.61
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3402489 0 0 0 163044 1017 0 0 25 0 1 0 201887262 1005539328 239844 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 245493 239844 206 16 0 244934 0
Current children cumulated CPU time (s) 1640.61
Current children cumulated vsize (Kb) 981972

[startup+1651.1 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=754264/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=998764 CPUtime=1650.61
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3406902 0 0 0 164042 1019 0 0 25 0 1 0 201887262 1022734336 244024 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 249691 244024 206 16 0 249132 0
Current children cumulated CPU time (s) 1650.61
Current children cumulated vsize (Kb) 998764

[startup+1661.11 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=738392/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=1014524 CPUtime=1660.61
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3410920 0 0 0 165040 1021 0 0 25 0 1 0 201887262 1038872576 247982 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 253631 247982 206 16 0 253072 0
Current children cumulated CPU time (s) 1660.61
Current children cumulated vsize (Kb) 1014524

[startup+1671.11 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=722776/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=1030112 CPUtime=1670.62
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3414817 0 0 0 166039 1023 0 0 25 0 1 0 201887262 1054834688 251879 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 257528 251879 206 16 0 256969 0
Current children cumulated CPU time (s) 1670.62
Current children cumulated vsize (Kb) 1030112

[startup+1681.12 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=706584/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=1046316 CPUtime=1680.62
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3418849 0 0 0 167037 1025 0 0 25 0 1 0 201887262 1071427584 255911 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 261579 255911 206 16 0 261020 0
Current children cumulated CPU time (s) 1680.62
Current children cumulated vsize (Kb) 1046316

[startup+1691.12 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=688792/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=1064028 CPUtime=1690.62
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3423279 0 0 0 168036 1026 0 0 25 0 1 0 201887262 1089564672 260341 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 266007 260341 206 16 0 265448 0
Current children cumulated CPU time (s) 1690.62
Current children cumulated vsize (Kb) 1064028

[startup+1701.13 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=670808/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=1081968 CPUtime=1700.62
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3427767 0 0 0 169034 1028 0 0 25 0 1 0 201887262 1107935232 264829 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528314 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 270492 264829 206 16 0 269933 0
Current children cumulated CPU time (s) 1700.62
Current children cumulated vsize (Kb) 1081968

[startup+1711.14 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=652696/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=1100108 CPUtime=1710.63
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3432359 0 0 0 170032 1031 0 0 25 0 1 0 201887262 1126510592 269361 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528528 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 275027 269361 206 16 0 274468 0
Current children cumulated CPU time (s) 1710.63
Current children cumulated vsize (Kb) 1100108

[startup+1721.14 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=635800/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=1116868 CPUtime=1720.63
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3436553 0 0 0 171031 1032 0 0 25 0 1 0 201887262 1143672832 273555 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 279217 273555 206 16 0 278658 0
Current children cumulated CPU time (s) 1720.63
Current children cumulated vsize (Kb) 1116868

[startup+1731.15 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=618584/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=1133996 CPUtime=1730.64
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3440850 0 0 0 172030 1034 0 0 25 0 1 0 201887262 1161211904 277852 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 283499 277852 206 16 0 282940 0
Current children cumulated CPU time (s) 1730.64
Current children cumulated vsize (Kb) 1133996

[startup+1741.15 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=600728/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=1151832 CPUtime=1740.64
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3445309 0 0 0 173028 1036 0 0 25 0 1 0 201887262 1179475968 282311 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528537 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 287958 282311 206 16 0 287399 0
Current children cumulated CPU time (s) 1740.64
Current children cumulated vsize (Kb) 1151832

[startup+1751.16 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=582552/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=1169980 CPUtime=1750.64
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3449846 0 0 0 174026 1038 0 0 25 0 1 0 201887262 1198059520 286848 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 292495 286848 206 16 0 291936 0
Current children cumulated CPU time (s) 1750.64
Current children cumulated vsize (Kb) 1169980

[startup+1761.17 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=566104/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=1186400 CPUtime=1760.64
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3453951 0 0 0 175024 1040 0 0 25 0 1 0 201887262 1214873600 290953 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 296600 290953 206 16 0 296041 0
Current children cumulated CPU time (s) 1760.64
Current children cumulated vsize (Kb) 1186400

[startup+1771.17 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=548696/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=1203800 CPUtime=1770.65
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3458286 0 0 0 176023 1042 0 0 25 0 1 0 201887262 1232691200 295288 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527737 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 300950 295288 206 16 0 300391 0
Current children cumulated CPU time (s) 1770.65
Current children cumulated vsize (Kb) 1203800

[startup+1781.18 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=530776/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=1221752 CPUtime=1780.65
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3462774 0 0 0 177021 1044 0 0 25 0 1 0 201887262 1251074048 299776 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528592 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 305438 299776 206 16 0 304879 0
Current children cumulated CPU time (s) 1780.65
Current children cumulated vsize (Kb) 1221752

[startup+1782.18 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=529176/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=1223288 CPUtime=1781.65
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3463158 0 0 0 177121 1044 0 0 25 0 1 0 201887262 1252646912 300160 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528328 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 305822 300160 206 16 0 305263 0
Current children cumulated CPU time (s) 1781.65
Current children cumulated vsize (Kb) 1223288

[startup+1783.19 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 12995
/proc/meminfo: memFree=527320/2055920 swapFree=4181416/4192956
[pid=12993] ppid=12991 vsize=1225180 CPUtime=1782.66
/proc/12993/stat : 12993 (Pueblo13) R 12991 12993 12947 0 -1 4194304 3463631 0 0 0 177222 1044 0 0 25 0 1 0 201887262 1254584320 300633 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528592 0 0 4096 0 0 0 0 17 1 0 0
/proc/12993/statm: 306295 300633 206 16 0 305736 0
Current children cumulated CPU time (s) 1782.66
Current children cumulated vsize (Kb) 1225180

Child status: 10
Real time (s): 1783.65
CPU time (s): 1783.13
CPU user time (s): 1772.46
CPU system time (s): 10.6634
CPU usage (%): 99.9706
Max. virtual memory (cumulated for all children) (Kb): 1225180

Launcher Data (download as text)

Begin job on node19 on Sat Jun  3 19:17:22 UTC 2006


FILE ID= 37749-1149362242

PBS_JOBID= 311582

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-mod011.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node19/37749-1149362242/instance-37749-1149362242.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node19/watcher-37749-1149362242 -o ROOT/results/node19/solver-37749-1149362242 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node19/37749-1149362242/instance-37749-1149362242.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  11ee19baa608345f86d8483767b8a181

RANDOM SEED= 762176646


/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.236
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.236
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:       1731576 kB
Buffers:          4120 kB
Cached:         259540 kB
SwapCached:       3104 kB
Active:          31632 kB
Inactive:       240612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1731576 kB
SwapTotal:     4192956 kB
SwapFree:      4181416 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          14732 kB
Slab:            38064 kB
Committed_AS:   394432 kB
PageTables:       1488 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node19 on Sat Jun  3 19:47:06 UTC 2006