Trace number 36360

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.4? (TO) 1800.77 1801.27

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/fctp/normalized-reduced-mps-v2-20-10-n3708.opb
MD5SUMd44ccf8fb2d5e43b368613290c78fd1e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark8.84366
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables155000
Total number of constraints5150
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints5150
Minimum length of a constraint31
Maximum length of a constraint3000
Number of terms in the objective function 155000
Biggest coefficient in the objective function 76
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 655014
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 655014
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
7.05	c starting to Solve
7.05	c #variables read: 155000 - #constraints read: 5301

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node50/watcher-36360-1149251631 -o ROOT/results/node50/solver-36360-1149251631 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node50/36360-1149251631/instance-36360-1149251631.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1317392/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=1136 CPUtime=0
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 59 0 0 0 0 0 0 0 18 0 1 0 190830247 1163264 43 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7918372 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 284 43 33 16 0 8 0

[startup+10.0029 s]
/proc/loadavg: 0.93 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1242200/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=87260 CPUtime=9.99
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 825295 0 0 0 761 238 0 0 25 0 1 0 190830247 89354240 18958 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 21815 18958 206 16 0 21256 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 87260

[startup+20.0098 s]
/proc/loadavg: 0.94 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1242392/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=87260 CPUtime=19.99
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 825295 0 0 0 1761 238 0 0 25 0 1 0 190830247 89354240 18958 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 21815 18958 206 16 0 21256 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 87260

[startup+30.0157 s]
/proc/loadavg: 0.95 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1242456/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=87260 CPUtime=29.99
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 825295 0 0 0 2761 238 0 0 25 0 1 0 190830247 89354240 18958 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 21815 18958 206 16 0 21256 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 87260

[startup+40.0216 s]
/proc/loadavg: 0.96 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1242520/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=87260 CPUtime=40
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 825295 0 0 0 3762 238 0 0 25 0 1 0 190830247 89354240 18958 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 21815 18958 206 16 0 21256 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 87260

[startup+50.0275 s]
/proc/loadavg: 0.96 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1241560/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=88412 CPUtime=50
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 825583 0 0 0 4762 238 0 0 25 0 1 0 190830247 90533888 19246 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 22103 19246 206 16 0 21544 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 88412

[startup+60.0334 s]
/proc/loadavg: 0.97 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1239704/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=90188 CPUtime=60.01
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 826045 0 0 0 5762 239 0 0 25 0 1 0 190830247 92352512 19708 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 8356813 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 22547 19708 206 16 0 21988 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 90188

[startup+70.0393 s]
/proc/loadavg: 0.97 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1237528/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=92372 CPUtime=70.01
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 826584 0 0 0 6762 239 0 0 25 0 1 0 190830247 94588928 20247 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527939 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 23093 20247 206 16 0 22534 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 92372

[startup+80.0452 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1234520/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=95336 CPUtime=80.02
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 827332 0 0 0 7762 240 0 0 25 0 1 0 190830247 97624064 20995 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 23834 20995 206 16 0 23275 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 95336

[startup+90.0511 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1230424/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=99408 CPUtime=90.02
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 828349 0 0 0 8761 241 0 0 25 0 1 0 190830247 101793792 22012 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527812 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 24852 22012 206 16 0 24293 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 99408

[startup+100.057 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1225880/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=103952 CPUtime=100.02
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 829482 0 0 0 9761 241 0 0 25 0 1 0 190830247 106446848 23145 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 25988 23145 206 16 0 25429 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 103952

[startup+110.063 s]
/proc/loadavg: 0.98 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1220440/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=109380 CPUtime=110.03
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 830854 0 0 0 10761 242 0 0 25 0 1 0 190830247 112005120 24517 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 27378 24518 206 16 0 26819 0
Current children cumulated CPU time (s) 110.03
Current children cumulated vsize (Kb) 109380

[startup+120.069 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1217240/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=112620 CPUtime=120.03
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 831642 0 0 0 11761 242 0 0 25 0 1 0 190830247 115322880 25305 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528344 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 28155 25305 206 16 0 27596 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 112620

[startup+130.075 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1214744/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=115056 CPUtime=130.03
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 832266 0 0 0 12760 243 0 0 25 0 1 0 190830247 117817344 25929 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 28764 25929 206 16 0 28205 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 115056

[startup+140.08 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1212888/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=116956 CPUtime=140.03
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 832731 0 0 0 13760 243 0 0 25 0 1 0 190830247 119762944 26394 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 29239 26394 206 16 0 28680 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 116956

[startup+150.085 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1211096/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=118692 CPUtime=150.03
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 833175 0 0 0 14760 243 0 0 25 0 1 0 190830247 121540608 26838 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 29673 26838 206 16 0 29114 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 118692

[startup+160.091 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1207384/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=122424 CPUtime=160.04
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 834095 0 0 0 15760 244 0 0 25 0 1 0 190830247 125362176 27758 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527762 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 30606 27758 206 16 0 30047 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 122424

[startup+170.097 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1202840/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=126912 CPUtime=170.05
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 835230 0 0 0 16760 245 0 0 25 0 1 0 190830247 129957888 28893 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 31728 28893 206 16 0 31169 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 126912

[startup+180.103 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1198104/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=131656 CPUtime=180.05
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 836400 0 0 0 17759 246 0 0 25 0 1 0 190830247 134815744 30063 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 32914 30063 206 16 0 32355 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 131656

[startup+190.109 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1193496/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=136240 CPUtime=190.05
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 837562 0 0 0 18758 247 0 0 25 0 1 0 190830247 139509760 31225 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 34060 31225 206 16 0 33501 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 136240

[startup+200.114 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1188760/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=141028 CPUtime=200.05
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 838749 0 0 0 19758 247 0 0 25 0 1 0 190830247 144412672 32412 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527718 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 35257 32412 206 16 0 34698 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 141028

[startup+210.12 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32518
/proc/meminfo: memFree=1186008/2055920 swapFree=4181340/4192956

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

/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 921706 0 0 0 177860 300 0 0 25 0 1 0 190830247 510271488 115365 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 124578 115365 206 16 0 124019 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (Kb) 498312

[startup+1783.1 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=855064/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=499464 CPUtime=1782.6
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 921883 0 0 0 177960 300 0 0 25 0 1 0 190830247 511451136 115542 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 124866 115542 206 16 0 124307 0
Current children cumulated CPU time (s) 1782.6
Current children cumulated vsize (Kb) 499464

[startup+1784.1 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=854296/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=500424 CPUtime=1783.6
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 922070 0 0 0 178060 300 0 0 25 0 1 0 190830247 512434176 115729 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 125106 115729 206 16 0 124547 0
Current children cumulated CPU time (s) 1783.6
Current children cumulated vsize (Kb) 500424

[startup+1785.1 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=853528/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=501572 CPUtime=1784.62
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 922258 0 0 0 178161 301 0 0 25 0 1 0 190830247 513609728 115917 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 125393 115917 206 16 0 124834 0
Current children cumulated CPU time (s) 1784.62
Current children cumulated vsize (Kb) 501572

[startup+1786.11 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=852824/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=502532 CPUtime=1785.62
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 922445 0 0 0 178261 301 0 0 25 0 1 0 190830247 514592768 116104 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 125633 116104 206 16 0 125074 0
Current children cumulated CPU time (s) 1785.62
Current children cumulated vsize (Kb) 502532

[startup+1787.11 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=852120/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=503684 CPUtime=1786.62
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 922620 0 0 0 178361 301 0 0 25 0 1 0 190830247 515772416 116279 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 125921 116279 206 16 0 125362 0
Current children cumulated CPU time (s) 1786.62
Current children cumulated vsize (Kb) 503684

[startup+1788.12 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=851416/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=504644 CPUtime=1787.62
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 922797 0 0 0 178461 301 0 0 25 0 1 0 190830247 516755456 116456 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 126161 116456 206 16 0 125602 0
Current children cumulated CPU time (s) 1787.62
Current children cumulated vsize (Kb) 504644

[startup+1789.12 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=850648/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=505792 CPUtime=1788.63
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 922989 0 0 0 178562 301 0 0 25 0 1 0 190830247 517931008 116648 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 126448 116648 206 16 0 125889 0
Current children cumulated CPU time (s) 1788.63
Current children cumulated vsize (Kb) 505792

[startup+1790.13 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=849880/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=506752 CPUtime=1789.63
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923173 0 0 0 178662 301 0 0 25 0 1 0 190830247 518914048 116832 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 126688 116832 206 16 0 126129 0
Current children cumulated CPU time (s) 1789.63
Current children cumulated vsize (Kb) 506752

[startup+1791.13 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=849240/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=507712 CPUtime=1790.64
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923337 0 0 0 178762 302 0 0 25 0 1 0 190830247 519897088 116996 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520067 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 126928 116996 206 16 0 126369 0
Current children cumulated CPU time (s) 1790.64
Current children cumulated vsize (Kb) 507712

[startup+1792.14 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=848600/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=508672 CPUtime=1791.65
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923500 0 0 0 178863 302 0 0 25 0 1 0 190830247 520880128 117159 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 127168 117159 206 16 0 126609 0
Current children cumulated CPU time (s) 1791.65
Current children cumulated vsize (Kb) 508672

[startup+1793.14 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=847960/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=509632 CPUtime=1792.65
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923656 0 0 0 178963 302 0 0 25 0 1 0 190830247 521863168 117315 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 127408 117315 206 16 0 126849 0
Current children cumulated CPU time (s) 1792.65
Current children cumulated vsize (Kb) 509632

[startup+1794.15 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=847320/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=510396 CPUtime=1793.65
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923816 0 0 0 179063 302 0 0 25 0 1 0 190830247 522645504 117475 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 127599 117475 206 16 0 127040 0
Current children cumulated CPU time (s) 1793.65
Current children cumulated vsize (Kb) 510396

[startup+1795.15 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=846936/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=510972 CPUtime=1794.66
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923912 0 0 0 179164 302 0 0 25 0 1 0 190830247 523235328 117571 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 127743 117571 206 16 0 127184 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (Kb) 510972

[startup+1796.16 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=846936/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=510972 CPUtime=1795.66
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923912 0 0 0 179264 302 0 0 25 0 1 0 190830247 523235328 117571 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 127743 117571 206 16 0 127184 0
Current children cumulated CPU time (s) 1795.66
Current children cumulated vsize (Kb) 510972

[startup+1797.16 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=846936/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=510972 CPUtime=1796.67
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923912 0 0 0 179365 302 0 0 25 0 1 0 190830247 523235328 117571 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527765 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 127743 117571 206 16 0 127184 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (Kb) 510972

[startup+1798.17 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=846744/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=511088 CPUtime=1797.67
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923952 0 0 0 179465 302 0 0 25 0 1 0 190830247 523354112 117611 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520204 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 127772 117611 206 16 0 127213 0
Current children cumulated CPU time (s) 1797.67
Current children cumulated vsize (Kb) 511088

[startup+1799.17 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=846616/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=511344 CPUtime=1798.68
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923991 0 0 0 179566 302 0 0 25 0 1 0 190830247 523616256 117650 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 127836 117650 206 16 0 127277 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (Kb) 511344

[startup+1800.18 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=846552/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=511344 CPUtime=1799.68
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 923991 0 0 0 179666 302 0 0 25 0 1 0 190830247 523616256 117650 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528360 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 127836 117650 206 16 0 127277 0
Current children cumulated CPU time (s) 1799.68
Current children cumulated vsize (Kb) 511344

[startup+1801.18 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=846232/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=511740 CPUtime=1800.68
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 924079 0 0 0 179766 302 0 0 25 0 1 0 190830247 524021760 117738 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 127935 117738 206 16 0 127376 0
Current children cumulated CPU time (s) 1800.68
Current children cumulated vsize (Kb) 511740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1801.19 s]
/proc/loadavg: 0.99 0.98 0.97 2/64 32713
/proc/meminfo: memFree=846232/2055920 swapFree=4181340/4192956
[pid=32518] ppid=32516 vsize=511740 CPUtime=1800.69
/proc/32518/stat : 32518 (Pueblo) R 32516 32518 32472 0 -1 4194304 924081 0 0 0 179767 302 0 0 25 0 1 0 190830247 524021760 117740 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/32518/statm: 127935 117740 206 16 0 127376 0
Current children cumulated CPU time (s) 1800.69
Current children cumulated vsize (Kb) 511740

Sending SIGTERM to -32518
Sleeping 2 seconds

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1801.27
CPU time (s): 1800.77
CPU user time (s): 1797.67
CPU system time (s): 3.10153
CPU usage (%): 99.9727
Max. virtual memory (cumulated for all children) (Kb): 511740
The end

Launcher Data (download as text)

Begin job on node50 on Fri Jun  2 12:33:51 UTC 2006


FILE ID= 36360-1149251631

PBS_JOBID= 298142

BENCH NAME= ROOT/tmp/node50/36360-1149251631/instance-36360-1149251631.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node50/36360-1149251631/instance-36360-1149251631.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-36360-1149251631 -o ROOT/results/node50/solver-36360-1149251631 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node50/36360-1149251631/instance-36360-1149251631.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  d44ccf8fb2d5e43b368613290c78fd1e

RANDOM SEED= 382973118


/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.238
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.238
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:       1317600 kB
Buffers:         31112 kB
Cached:         634304 kB
SwapCached:       3432 kB
Active:          61564 kB
Inactive:       612792 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1317600 kB
SwapTotal:     4192956 kB
SwapFree:      4181340 kB
Dirty:             212 kB
Writeback:           0 kB
Mapped:          14928 kB
Slab:            49976 kB
Committed_AS:   239780 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node50 on Fri Jun  2 13:03:52 UTC 2006