Trace number 36599

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.4SAT0 1783.14 1783.72

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.98 3/64 10177
/proc/meminfo: memFree=1826856/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=2572 CPUtime=0
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 201903075 2633728 233 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7978711 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 643 233 193 16 0 84 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.95 0.98 2/64 10177
/proc/meminfo: memFree=1734576/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=114652 CPUtime=9.99
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 1317339 0 0 0 645 354 0 0 25 0 1 0 201903075 117403648 22992 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 28663 22992 205 16 0 28104 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 114652

[startup+20.0094 s]
/proc/loadavg: 0.94 0.96 0.98 2/64 10177
/proc/meminfo: memFree=1687280/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=161636 CPUtime=19.99
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3171194 0 0 0 1113 886 0 0 25 0 1 0 201903075 165515264 35100 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 40409 35100 206 16 0 39850 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 161636

[startup+30.0151 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 10177
/proc/meminfo: memFree=1685808/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=164708 CPUtime=29.99
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3171598 0 0 0 2113 886 0 0 25 0 1 0 201903075 168660992 35504 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 41177 35504 206 16 0 40618 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 164708

[startup+40.0208 s]
/proc/loadavg: 0.95 0.96 0.98 2/64 10177
/proc/meminfo: memFree=1685744/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=164708 CPUtime=40
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3171598 0 0 0 3114 886 0 0 25 0 1 0 201903075 168660992 35504 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 41177 35504 206 16 0 40618 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 164708

[startup+50.0265 s]
/proc/loadavg: 0.96 0.96 0.98 2/64 10177
/proc/meminfo: memFree=1685808/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=164708 CPUtime=50
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3171598 0 0 0 4114 886 0 0 25 0 1 0 201903075 168660992 35504 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 41177 35504 206 16 0 40618 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 164708

[startup+60.0323 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 10177
/proc/meminfo: memFree=1685808/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=164708 CPUtime=60
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3171598 0 0 0 5114 886 0 0 25 0 1 0 201903075 168660992 35504 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 41177 35504 206 16 0 40618 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 164708

[startup+70.038 s]
/proc/loadavg: 0.97 0.96 0.98 2/64 10177
/proc/meminfo: memFree=1685808/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=164708 CPUtime=70
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3171598 0 0 0 6114 886 0 0 25 0 1 0 201903075 168660992 35504 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 41177 35504 206 16 0 40618 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 164708

[startup+80.0437 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 10177
/proc/meminfo: memFree=1685808/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=164708 CPUtime=80.01
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3171598 0 0 0 7115 886 0 0 25 0 1 0 201903075 168660992 35504 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 41177 35504 206 16 0 40618 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 164708

[startup+90.0494 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 10177
/proc/meminfo: memFree=1685808/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=164708 CPUtime=90.01
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3171598 0 0 0 8115 886 0 0 25 0 1 0 201903075 168660992 35504 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 41177 35504 206 16 0 40618 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 164708

[startup+100.055 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 10177
/proc/meminfo: memFree=1685808/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=164708 CPUtime=100.01
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3171598 0 0 0 9115 886 0 0 25 0 1 0 201903075 168660992 35504 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532120 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 41177 35504 206 16 0 40618 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 164708

[startup+110.061 s]
/proc/loadavg: 0.98 0.96 0.98 2/64 10177
/proc/meminfo: memFree=1685488/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=165072 CPUtime=110.02
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3171688 0 0 0 10115 887 0 0 25 0 1 0 201903075 169033728 35594 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 41268 35594 206 16 0 40709 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 165072

[startup+120.067 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10177
/proc/meminfo: memFree=1684464/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=165948 CPUtime=120.01
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3171939 0 0 0 11114 887 0 0 25 0 1 0 201903075 169930752 35845 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 41487 35845 206 16 0 40928 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 165948

[startup+130.072 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10177
/proc/meminfo: memFree=1683504/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=166892 CPUtime=130.02
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3172175 0 0 0 12114 888 0 0 25 0 1 0 201903075 170897408 36081 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 41723 36081 206 16 0 41164 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 166892

[startup+140.078 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10177
/proc/meminfo: memFree=1682544/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=168024 CPUtime=140.03
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3172426 0 0 0 13115 888 0 0 25 0 1 0 201903075 172056576 36332 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 42006 36332 206 16 0 41447 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 168024

[startup+150.084 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10177
/proc/meminfo: memFree=1681520/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=168896 CPUtime=150.03
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3172676 0 0 0 14115 888 0 0 25 0 1 0 201903075 172949504 36582 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 42224 36582 206 16 0 41665 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 168896

[startup+160.089 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10177
/proc/meminfo: memFree=1680944/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=169488 CPUtime=160.03
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3172809 0 0 0 15114 889 0 0 25 0 1 0 201903075 173555712 36715 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 42372 36715 206 16 0 41813 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 169488

[startup+170.095 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10177
/proc/meminfo: memFree=1679600/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=170608 CPUtime=170.03
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3173559 0 0 0 16114 889 0 0 25 0 1 0 201903075 174702592 37010 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 42652 37010 206 16 0 42093 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 170608

[startup+180.1 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10177
/proc/meminfo: memFree=1678128/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=172272 CPUtime=180.03
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3174638 0 0 0 17113 890 0 0 25 0 1 0 201903075 176406528 37393 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 43068 37393 206 16 0 42509 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 172272

[startup+190.106 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10177
/proc/meminfo: memFree=1677040/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=173448 CPUtime=190.03
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3175086 0 0 0 18113 890 0 0 25 0 1 0 201903075 177610752 37688 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 43362 37688 206 16 0 42803 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 173448

[startup+200.112 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10177
/proc/meminfo: memFree=1675568/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=174876 CPUtime=200.03
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3175621 0 0 0 19113 890 0 0 25 0 1 0 201903075 179073024 38072 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 43719 38072 206 16 0 43160 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 174876

[startup+210.118 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10177
/proc/meminfo: memFree=1674096/2055920 swapFree=4181408/4192956

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

/proc/10177/statm: 226380 220703 206 16 0 225821 0
Current children cumulated CPU time (s) 1590.4
Current children cumulated vsize (Kb) 905520

[startup+1600.93 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=929328/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=919396 CPUtime=1600.4
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3394056 0 0 0 159031 1009 0 0 25 0 1 0 201903075 941461504 224180 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557374 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 229849 224180 206 16 0 229290 0
Current children cumulated CPU time (s) 1600.4
Current children cumulated vsize (Kb) 919396

[startup+1610.94 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=915504/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=933092 CPUtime=1610.4
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3397499 0 0 0 160030 1010 0 0 25 0 1 0 201903075 955486208 227623 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528572 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 233273 227623 206 16 0 232714 0
Current children cumulated CPU time (s) 1610.4
Current children cumulated vsize (Kb) 933092

[startup+1620.94 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=901168/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=947516 CPUtime=1620.41
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3401087 0 0 0 161029 1012 0 0 25 0 1 0 201903075 970256384 231211 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528604 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 236879 231211 206 16 0 236320 0
Current children cumulated CPU time (s) 1620.41
Current children cumulated vsize (Kb) 947516

[startup+1630.95 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=884144/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=964396 CPUtime=1630.41
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3405325 0 0 0 162027 1014 0 0 25 0 1 0 201903075 987541504 235449 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 241099 235449 206 16 0 240540 0
Current children cumulated CPU time (s) 1630.41
Current children cumulated vsize (Kb) 964396

[startup+1640.95 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=866416/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=982112 CPUtime=1640.41
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3409755 0 0 0 163025 1016 0 0 25 0 1 0 201903075 1005682688 239879 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 245528 239879 206 16 0 244969 0
Current children cumulated CPU time (s) 1640.41
Current children cumulated vsize (Kb) 982112

[startup+1650.96 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=849776/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=998788 CPUtime=1650.41
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3414189 0 0 0 164023 1018 0 0 25 0 1 0 201903075 1022758912 244029 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 249697 244029 206 16 0 249138 0
Current children cumulated CPU time (s) 1650.41
Current children cumulated vsize (Kb) 998788

[startup+1660.96 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=834160/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=1014312 CPUtime=1660.41
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3418135 0 0 0 165021 1020 0 0 25 0 1 0 201903075 1038655488 247914 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 253578 247914 206 16 0 253019 0
Current children cumulated CPU time (s) 1660.41
Current children cumulated vsize (Kb) 1014312

[startup+1670.97 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=818800/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=1029664 CPUtime=1670.42
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3421973 0 0 0 166020 1022 0 0 25 0 1 0 201903075 1054375936 251752 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 257416 251752 206 16 0 256857 0
Current children cumulated CPU time (s) 1670.42
Current children cumulated vsize (Kb) 1029664

[startup+1680.98 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=802800/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=1045612 CPUtime=1680.42
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3425961 0 0 0 167018 1024 0 0 25 0 1 0 201903075 1070706688 255740 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 261403 255740 206 16 0 260844 0
Current children cumulated CPU time (s) 1680.42
Current children cumulated vsize (Kb) 1045612

[startup+1690.98 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=785456/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=1062856 CPUtime=1690.42
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3430287 0 0 0 168016 1026 0 0 25 0 1 0 201903075 1088364544 260066 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 265714 260066 206 16 0 265155 0
Current children cumulated CPU time (s) 1690.42
Current children cumulated vsize (Kb) 1062856

[startup+1700.99 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=767600/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=1080692 CPUtime=1700.43
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3434746 0 0 0 169015 1028 0 0 25 0 1 0 201903075 1106628608 264525 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 270173 264525 206 16 0 269614 0
Current children cumulated CPU time (s) 1700.43
Current children cumulated vsize (Kb) 1080692

[startup+1710.99 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=749808/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=1098464 CPUtime=1710.43
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3439234 0 0 0 170013 1030 0 0 25 0 1 0 201903075 1124827136 268953 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527759 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 274616 268953 206 16 0 274057 0
Current children cumulated CPU time (s) 1710.43
Current children cumulated vsize (Kb) 1098464

[startup+1721 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=733104/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=1115132 CPUtime=1720.43
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3443399 0 0 0 171012 1031 0 0 25 0 1 0 201903075 1141895168 273118 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 278783 273118 206 16 0 278224 0
Current children cumulated CPU time (s) 1720.43
Current children cumulated vsize (Kb) 1115132

[startup+1731 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=716208/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=1132024 CPUtime=1730.43
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3447622 0 0 0 172010 1033 0 0 25 0 1 0 201903075 1159192576 277341 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 283006 277341 206 16 0 282447 0
Current children cumulated CPU time (s) 1730.43
Current children cumulated vsize (Kb) 1132024

[startup+1741.01 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=698864/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=1149256 CPUtime=1740.44
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3451948 0 0 0 173008 1036 0 0 25 0 1 0 201903075 1176838144 281667 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 287314 281667 206 16 0 286755 0
Current children cumulated CPU time (s) 1740.44
Current children cumulated vsize (Kb) 1149256

[startup+1751.02 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=680688/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=1167424 CPUtime=1750.44
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3456470 0 0 0 174006 1038 0 0 25 0 1 0 201903075 1195442176 286189 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 291856 286189 206 16 0 291297 0
Current children cumulated CPU time (s) 1750.44
Current children cumulated vsize (Kb) 1167424

[startup+1761.02 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=664112/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=1183960 CPUtime=1760.44
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3460604 0 0 0 175004 1040 0 0 25 0 1 0 201903075 1212375040 290323 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 295990 290323 206 16 0 295431 0
Current children cumulated CPU time (s) 1760.44
Current children cumulated vsize (Kb) 1183960

[startup+1771.03 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=647152/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=1200868 CPUtime=1770.45
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3464836 0 0 0 176003 1042 0 0 25 0 1 0 201903075 1229688832 294555 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134518196 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 300217 294555 206 16 0 299658 0
Current children cumulated CPU time (s) 1770.45
Current children cumulated vsize (Kb) 1200868

[startup+1781.03 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=629744/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=1218368 CPUtime=1780.45
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3469192 0 0 0 177001 1044 0 0 25 0 1 0 201903075 1247608832 298911 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 304592 298911 206 16 0 304033 0
Current children cumulated CPU time (s) 1780.45
Current children cumulated vsize (Kb) 1218368

[startup+1782.04 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=628080/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=1220000 CPUtime=1781.45
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3469620 0 0 0 177101 1044 0 0 25 0 1 0 201903075 1249280000 299339 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 305000 299339 206 16 0 304441 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (Kb) 1220000

[startup+1783.04 s]
/proc/loadavg: 0.99 0.97 0.98 2/64 10179
/proc/meminfo: memFree=626160/2055920 swapFree=4181408/4192956
[pid=10177] ppid=10175 vsize=1221892 CPUtime=1782.45
/proc/10177/stat : 10177 (Pueblo) R 10175 10177 10131 0 -1 4194304 3470093 0 0 0 177201 1044 0 0 25 0 1 0 201903075 1251217408 299812 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528609 0 0 4096 0 0 0 0 17 1 0 0
/proc/10177/statm: 305473 299812 206 16 0 304914 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 1221892

Child status: 10
Real time (s): 1783.72
CPU time (s): 1783.14
CPU user time (s): 1772.48
CPU system time (s): 10.6614
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (Kb): 1221892

Launcher Data (download as text)

Begin job on node15 on Sat Jun  3 19:20:03 UTC 2006


FILE ID= 36599-1149362403

PBS_JOBID= 311591

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/Pueblo ROOT/tmp/node15/36599-1149362403/instance-36599-1149362403.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node15/watcher-36599-1149362403 -o ROOT/results/node15/solver-36599-1149362403 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node15/36599-1149362403/instance-36599-1149362403.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  11ee19baa608345f86d8483767b8a181

RANDOM SEED= 317807733


/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.285
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.285
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:       1827128 kB
Buffers:         24228 kB
Cached:         132600 kB
SwapCached:       3176 kB
Active:          33236 kB
Inactive:       132208 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1827128 kB
SwapTotal:     4192956 kB
SwapFree:      4181408 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14692 kB
Slab:            49380 kB
Committed_AS:   360508 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 node15 on Sat Jun  3 19:49:47 UTC 2006