Trace number 36394

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.4Signal 754.598 754.824

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-reduced-mps-v2-20-10-mkc1.opb
MD5SUMfcdcb6b6d92f8975c7c03a825b19d25c
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-2626
Best CPU time to get the best result obtained on this benchmark1800.69
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -2739
Optimality of the best value was proved NO
Number of variables27743
Total number of constraints5584
Number of constraints which are clauses712
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints4848
Minimum length of a constraint2
Maximum length of a constraint25072
Number of terms in the objective function 25306
Biggest coefficient in the objective function 191
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 537745
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 249195
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 543330
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
1.00	c starting to Solve
1.00	c #variables read: 27743 - #constraints read: 5587
7.55	o 531500
8.69	o 531493
9.81	o 531471
10.92	o 531460
11.97	o 531455
13.11	o 531454
15.82	o 531453
17.23	o 531452
754.55	Pueblo: Global.h:70: T* xrealloc(T*, unsigned int) [with T = Lit]: Assertion `size == 0 || tmp != __null' failed.

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.93 2/64 599
/proc/meminfo: memFree=1297032/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=2572 CPUtime=0
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 191634319 2633728 231 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 2981591 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 643 231 193 16 0 84 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.97 0.93 2/64 599
/proc/meminfo: memFree=1277840/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=22036 CPUtime=9.99
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 5110 0 0 0 997 2 0 0 25 0 1 0 191634319 22564864 5010 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134530538 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 5509 5010 206 16 0 4950 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 22036

[startup+20.0078 s]
/proc/loadavg: 0.94 0.97 0.93 2/64 599
/proc/meminfo: memFree=1266384/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=33508 CPUtime=19.99
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 8340 0 0 0 1996 3 0 0 25 0 1 0 191634319 34312192 7909 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 8377 7909 206 16 0 7818 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 33508

[startup+30.0136 s]
/proc/loadavg: 0.95 0.97 0.93 2/64 599
/proc/meminfo: memFree=1250640/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=49240 CPUtime=30
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 12393 0 0 0 2994 6 0 0 25 0 1 0 191634319 50421760 11843 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 12310 11843 206 16 0 11751 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 49240

[startup+40.0195 s]
/proc/loadavg: 0.95 0.97 0.93 2/64 599
/proc/meminfo: memFree=1226512/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=73332 CPUtime=40
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 18569 0 0 0 3990 10 0 0 25 0 1 0 191634319 75091968 17859 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 18333 17859 206 16 0 17774 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 73332

[startup+50.0253 s]
/proc/loadavg: 0.96 0.97 0.93 2/64 599
/proc/meminfo: memFree=1191696/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=108072 CPUtime=50
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 27539 0 0 0 4986 14 0 0 25 0 1 0 191634319 110665728 26551 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 27018 26551 206 16 0 26459 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 108072

[startup+60.0311 s]
/proc/loadavg: 0.97 0.97 0.93 2/64 599
/proc/meminfo: memFree=1144208/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=155660 CPUtime=60
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 39881 0 0 0 5980 20 0 0 25 0 1 0 191634319 159395840 38409 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517864 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 38915 38409 206 16 0 38356 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 155660

[startup+70.0369 s]
/proc/loadavg: 0.97 0.97 0.93 2/64 599
/proc/meminfo: memFree=1103184/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=196432 CPUtime=70.01
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 50574 0 0 0 6975 26 0 0 25 0 1 0 191634319 201146368 48641 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 49108 48641 206 16 0 48549 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 196432

[startup+80.0428 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 599
/proc/meminfo: memFree=1057808/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=241724 CPUtime=80.02
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 62190 0 0 0 7969 33 0 0 25 0 1 0 191634319 247525376 59964 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 60431 59964 206 16 0 59872 0
Current children cumulated CPU time (s) 80.02
Current children cumulated vsize (Kb) 241724

[startup+90.0486 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 599
/proc/meminfo: memFree=986064/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=313500 CPUtime=90.02
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 80583 0 0 0 8960 42 0 0 25 0 1 0 191634319 321024000 77894 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 78375 77894 206 16 0 77816 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 313500

[startup+100.054 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 599
/proc/meminfo: memFree=934992/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=364352 CPUtime=100.02
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 93618 0 0 0 9954 48 0 0 25 0 1 0 191634319 373096448 90621 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 91088 90621 206 16 0 90529 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 364352

[startup+110.06 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 599
/proc/meminfo: memFree=836816/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=462284 CPUtime=110.02
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 118664 0 0 0 10944 58 0 0 25 0 1 0 191634319 473378816 115104 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557302 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 115571 115104 206 16 0 115012 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 462284

[startup+120.066 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=749072/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=549856 CPUtime=120.03
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 141090 0 0 0 11935 68 0 0 25 0 1 0 191634319 563052544 136997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 137464 136997 206 16 0 136905 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 549856

[startup+130.072 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=749072/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=549856 CPUtime=130.03
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 141090 0 0 0 12934 69 0 0 25 0 1 0 191634319 563052544 136997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517807 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 137464 136997 206 16 0 136905 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 549856

[startup+140.078 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=749072/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=549856 CPUtime=140.03
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 141090 0 0 0 13934 69 0 0 25 0 1 0 191634319 563052544 136997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 137464 136997 206 16 0 136905 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 549856

[startup+150.084 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=749072/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=549856 CPUtime=150.03
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 141090 0 0 0 14934 69 0 0 25 0 1 0 191634319 563052544 136997 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 137464 136997 206 16 0 136905 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 549856

[startup+160.089 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=743632/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=555264 CPUtime=160.03
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 142514 0 0 0 15933 70 0 0 25 0 1 0 191634319 568590336 138342 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 138816 138342 206 16 0 138257 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 555264

[startup+170.095 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=743632/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=555264 CPUtime=170.04
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 142514 0 0 0 16933 71 0 0 25 0 1 0 191634319 568590336 138342 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528563 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 138816 138342 206 16 0 138257 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 555264

[startup+180.101 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=743632/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=555264 CPUtime=180.05
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 142514 0 0 0 17933 72 0 0 25 0 1 0 191634319 568590336 138342 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134529013 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 138816 138342 206 16 0 138257 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 555264

[startup+190.107 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=694672/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=604136 CPUtime=190.05
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 155032 0 0 0 18928 77 0 0 25 0 1 0 191634319 618635264 150567 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 151034 150567 206 16 0 150475 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 604136

[startup+200.113 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=616848/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=681864 CPUtime=200.05
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 174969 0 0 0 19919 86 0 0 25 0 1 0 191634319 698228736 169993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 170466 169993 206 16 0 169907 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 681864

[startup+210.118 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=616848/2055920 swapFree=4181416/4192956

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

Current children cumulated CPU time (s) 540.16
Current children cumulated vsize (Kb) 1656912

[startup+550.326 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17040/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=550.16
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 54819 197 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520070 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 550.16
Current children cumulated vsize (Kb) 1656912

[startup+560.331 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17040/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=560.16
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 55819 197 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 560.16
Current children cumulated vsize (Kb) 1656912

[startup+570.337 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17040/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=570.16
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 56819 197 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520196 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 570.16
Current children cumulated vsize (Kb) 1656912

[startup+580.342 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17104/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=580.17
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 57819 198 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 580.17
Current children cumulated vsize (Kb) 1656912

[startup+590.348 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17104/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=590.17
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 58819 198 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527665 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 590.17
Current children cumulated vsize (Kb) 1656912

[startup+600.354 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17104/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=600.18
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 59819 199 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557319 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 600.18
Current children cumulated vsize (Kb) 1656912

[startup+610.359 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17104/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=610.18
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 60819 199 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527815 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 610.18
Current children cumulated vsize (Kb) 1656912

[startup+620.365 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17104/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=620.18
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 61819 199 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528792 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 620.18
Current children cumulated vsize (Kb) 1656912

[startup+630.371 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17104/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=630.18
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 62819 199 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528572 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 630.18
Current children cumulated vsize (Kb) 1656912

[startup+640.376 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17104/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=640.18
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 63819 199 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 640.18
Current children cumulated vsize (Kb) 1656912

[startup+650.382 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17104/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=650.19
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 64819 200 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 650.19
Current children cumulated vsize (Kb) 1656912

[startup+660.388 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17104/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=660.19
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 65819 200 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528560 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 660.19
Current children cumulated vsize (Kb) 1656912

[startup+670.393 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17040/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=670.19
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 66819 200 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 670.19
Current children cumulated vsize (Kb) 1656912

[startup+680.399 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17040/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=680.2
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 67820 200 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134558602 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 680.2
Current children cumulated vsize (Kb) 1656912

[startup+690.405 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17040/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=690.2
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 68820 200 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528066 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 690.2
Current children cumulated vsize (Kb) 1656912

[startup+700.41 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17040/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=700.2
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 69820 200 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528351 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 700.2
Current children cumulated vsize (Kb) 1656912

[startup+710.416 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17040/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=710.21
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 70820 201 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 710.21
Current children cumulated vsize (Kb) 1656912

[startup+720.422 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17040/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=720.21
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 71820 201 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528357 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 720.21
Current children cumulated vsize (Kb) 1656912

[startup+730.427 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=17040/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1656912 CPUtime=730.22
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 426593 0 0 0 72821 201 0 0 25 0 1 0 191634319 1696677888 413761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 414228 413761 206 16 0 413669 0
Current children cumulated CPU time (s) 730.22
Current children cumulated vsize (Kb) 1656912

[startup+740.433 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=15568/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1725612 CPUtime=740.22
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 444251 0 0 0 73813 209 0 0 25 0 1 0 191634319 1767026688 430936 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517605 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 431403 430936 206 16 0 430844 0
Current children cumulated CPU time (s) 740.22
Current children cumulated vsize (Kb) 1725612

[startup+750.44 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 599
/proc/meminfo: memFree=15888/2055920 swapFree=4181416/4192956
[pid=599] ppid=597 vsize=1804284 CPUtime=750.22
/proc/599/stat : 599 (Pueblo) R 597 599 553 0 -1 4194304 464398 0 0 0 74805 217 0 0 25 0 1 0 191634319 1847586816 450570 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/599/statm: 451071 450570 206 16 0 450512 0
Current children cumulated CPU time (s) 750.22
Current children cumulated vsize (Kb) 1804284

Child ended because it received signal 6 (SIGABRT)
Real time (s): 754.824
CPU time (s): 754.598
CPU user time (s): 752.101
CPU system time (s): 2.49762
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (Kb): 1804284
The end

Launcher Data (download as text)

Begin job on node49 on Fri Jun  2 14:47:52 UTC 2006


FILE ID= 36394-1149259672

PBS_JOBID= 298586

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  fcdcb6b6d92f8975c7c03a825b19d25c

RANDOM SEED= 472332269


/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.216
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.216
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:       1297240 kB
Buffers:         14376 kB
Cached:         673872 kB
SwapCached:       3244 kB
Active:          59900 kB
Inactive:       637012 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1297240 kB
SwapTotal:     4192956 kB
SwapFree:      4181416 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14908 kB
Slab:            47724 kB
Committed_AS:   261960 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 node49 on Fri Jun  2 15:00:27 UTC 2006