Trace number 36764

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 1666.58 1667.14

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
MD5SUM751aa23355f7a016eeb9009a33a863ac
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark469
Best CPU time to get the best result obtained on this benchmark1800.68
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 436
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494314
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494314
Number of bits of the biggest sum of numbers19
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
17.44	c starting to Solve
17.44	c #variables read: 10000 - #constraints read: 656901
23.37	o 6390
23.57	o 6316
24.88	o 6313
25.18	o 6161
34.27	o 6141
34.43	o 6140
34.59	o 6101
34.75	o 6100
34.90	o 6099
35.05	o 6057
35.20	o 6043
35.35	o 6001
35.80	o 5991
35.95	o 5984
36.11	o 5973
36.30	o 5971
37.26	o 5955
37.41	o 5949
37.73	o 5937
37.88	o 5931
38.62	o 5927
51.19	o 5915
52.60	o 5912
52.75	o 5908
52.90	o 5878
53.14	o 5863
53.39	o 5836
53.55	o 5828
53.71	o 5796
53.99	o 5795
54.19	o 5769
54.33	o 5767
54.47	o 5729
61.32	o 5576
84.11	o 5572
84.25	o 5519
1520.57	o 5511
1520.71	o 5504
1520.87	o 5495
1573.84	o 5467
1666.87	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/node77/watcher-36764-1149389925 -o ROOT/results/node77/solver-36764-1149389925 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node77/36764-1149389925/instance-36764-1149389925.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 1.00 1.00 2/67 16096
/proc/meminfo: memFree=1151640/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=2336 CPUtime=0
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 204631795 2392064 130 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 1432472 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 584 130 111 16 0 11 0

[startup+10.0025 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16096
/proc/meminfo: memFree=1070296/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=84476 CPUtime=9.98
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 20637 0 0 0 989 9 0 0 25 0 1 0 204631795 86503424 20609 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532045 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 21119 20609 203 16 0 20559 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 84476

[startup+20.0087 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16096
/proc/meminfo: memFree=1060888/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=95472 CPUtime=19.98
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 23021 0 0 0 1988 10 0 0 25 0 1 0 204631795 97763328 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559555 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 23868 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 95472

[startup+30.015 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16096
/proc/meminfo: memFree=1060952/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=95472 CPUtime=29.99
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 23021 0 0 0 2988 11 0 0 25 0 1 0 204631795 97763328 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 23868 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 95472

[startup+40.0202 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16096
/proc/meminfo: memFree=1060952/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=95472 CPUtime=40
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 23021 0 0 0 3988 12 0 0 25 0 1 0 204631795 97763328 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 23868 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 95472

[startup+50.0265 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16096
/proc/meminfo: memFree=1060952/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=95472 CPUtime=49.99
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 23021 0 0 0 4987 12 0 0 25 0 1 0 204631795 97763328 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 23868 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 95472

[startup+60.0327 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16096
/proc/meminfo: memFree=1061016/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=95472 CPUtime=60
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 23021 0 0 0 5987 13 0 0 25 0 1 0 204631795 97763328 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 23868 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 95472

[startup+70.0389 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16096
/proc/meminfo: memFree=1050264/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=106312 CPUtime=70.01
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 25709 0 0 0 6987 14 0 0 25 0 1 0 204631795 108863488 25681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 26578 25681 206 16 0 26018 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 106312

[startup+80.0452 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16096
/proc/meminfo: memFree=1037720/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=118792 CPUtime=80.01
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 28829 0 0 0 7985 16 0 0 25 0 1 0 204631795 121643008 28801 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 29698 28801 206 16 0 29138 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 118792

[startup+90.0514 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16096
/proc/meminfo: memFree=1028056/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=128424 CPUtime=90.02
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 31255 0 0 0 8985 17 0 0 25 0 1 0 204631795 131506176 31227 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 32106 31227 206 16 0 31546 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 128424

[startup+100.057 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16096
/proc/meminfo: memFree=1022232/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=134232 CPUtime=100.01
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 32698 0 0 0 9984 17 0 0 25 0 1 0 204631795 137453568 32670 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 33558 32670 206 16 0 32998 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 134232

[startup+110.063 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16096
/proc/meminfo: memFree=1016728/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=139760 CPUtime=110.02
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 34071 0 0 0 10984 18 0 0 25 0 1 0 204631795 143114240 34043 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 34940 34043 206 16 0 34380 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 139760

[startup+120.069 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16096
/proc/meminfo: memFree=1005784/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=150676 CPUtime=120.02
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 36811 0 0 0 11982 20 0 0 25 0 1 0 204631795 154292224 36783 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 37669 36783 206 16 0 37109 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 150676

[startup+130.075 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16096
/proc/meminfo: memFree=994520/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=161912 CPUtime=130.03
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 39618 0 0 0 12981 22 0 0 25 0 1 0 204631795 165797888 39590 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 40478 39590 206 16 0 39918 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 161912

[startup+140.082 s]
/proc/loadavg: 0.99 1.00 1.00 2/73 16151
/proc/meminfo: memFree=984232/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=170972 CPUtime=140.01
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 41896 0 0 0 13978 23 0 0 25 0 1 0 204631795 175075328 41868 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 42743 41868 206 16 0 42183 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 170972

[startup+150.089 s]
/proc/loadavg: 0.99 1.00 1.00 2/73 16209
/proc/meminfo: memFree=975064/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=180084 CPUtime=149.98
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 44157 0 0 0 14973 25 0 0 25 0 1 0 204631795 184406016 44129 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520065 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 45021 44129 206 16 0 44461 0
Current children cumulated CPU time (s) 149.98
Current children cumulated vsize (Kb) 180084

[startup+160.095 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=958152/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=198056 CPUtime=159.96
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 48623 0 0 0 15967 29 0 0 25 0 1 0 204631795 202809344 48595 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 49514 48595 206 16 0 48954 0
Current children cumulated CPU time (s) 159.96
Current children cumulated vsize (Kb) 198056

[startup+170.101 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=943248/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=212876 CPUtime=169.96
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 52357 0 0 0 16965 31 0 0 25 0 1 0 204631795 217985024 52329 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 53219 52329 206 16 0 52659 0
Current children cumulated CPU time (s) 169.96
Current children cumulated vsize (Kb) 212876

[startup+180.108 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=927000/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=229060 CPUtime=179.96
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 56402 0 0 0 17964 32 0 0 25 0 1 0 204631795 234557440 56374 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 57265 56374 206 16 0 56705 0
Current children cumulated CPU time (s) 179.96
Current children cumulated vsize (Kb) 229060

[startup+190.114 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=914840/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=241232 CPUtime=189.97
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 59441 0 0 0 18963 34 0 0 25 0 1 0 204631795 247021568 59413 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 60308 59413 206 16 0 59748 0
Current children cumulated CPU time (s) 189.97
Current children cumulated vsize (Kb) 241232

[startup+200.12 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=904728/2055892 swapFree=4085336/4096564
[pid=16096] ppid=16094 vsize=251300 CPUtime=199.97
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 61959 0 0 0 19962 35 0 0 25 0 1 0 204631795 257331200 61931 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 62825 61931 206 16 0 62265 0
Current children cumulated CPU time (s) 199.97
Current children cumulated vsize (Kb) 251300

[startup+210.125 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=893464/2055892 swapFree=4085336/4096564

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

Current children cumulated CPU time (s) 1450.38
Current children cumulated vsize (Kb) 1653208

[startup+1460.88 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=15576/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1661704 CPUtime=1460.39
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 414227 0 0 0 145810 229 0 0 25 0 1 0 204631795 1701584896 414199 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 415426 414199 206 16 0 414866 0
Current children cumulated CPU time (s) 1460.39
Current children cumulated vsize (Kb) 1661704

[startup+1470.89 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=15384/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1669500 CPUtime=1470.39
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 416178 0 0 0 146809 230 0 0 25 0 1 0 204631795 1709568000 416150 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 417375 416150 206 16 0 416815 0
Current children cumulated CPU time (s) 1470.39
Current children cumulated vsize (Kb) 1669500

[startup+1480.9 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=16280/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1677860 CPUtime=1480.4
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 418272 0 0 0 147809 231 0 0 25 0 1 0 204631795 1718128640 418244 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 419465 418244 206 16 0 418905 0
Current children cumulated CPU time (s) 1480.4
Current children cumulated vsize (Kb) 1677860

[startup+1490.9 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=15192/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1686624 CPUtime=1490.4
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 420454 0 0 0 148808 232 0 0 25 0 1 0 204631795 1727102976 420426 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520078 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 421656 420426 206 16 0 421096 0
Current children cumulated CPU time (s) 1490.4
Current children cumulated vsize (Kb) 1686624

[startup+1500.91 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=15704/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1695324 CPUtime=1500.41
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 422640 0 0 0 149808 233 0 0 25 0 1 0 204631795 1736011776 422612 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 423831 422612 206 16 0 423271 0
Current children cumulated CPU time (s) 1500.41
Current children cumulated vsize (Kb) 1695324

[startup+1510.92 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=15064/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1703572 CPUtime=1510.4
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 424702 0 0 0 150806 234 0 0 25 0 1 0 204631795 1744457728 424674 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 425893 424674 206 16 0 425333 0
Current children cumulated CPU time (s) 1510.4
Current children cumulated vsize (Kb) 1703572

[startup+1520.92 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=16280/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1711664 CPUtime=1520.41
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 426725 0 0 0 151806 235 0 0 25 0 1 0 204631795 1752743936 426697 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 427916 426697 206 16 0 427356 0
Current children cumulated CPU time (s) 1520.41
Current children cumulated vsize (Kb) 1711664

[startup+1530.93 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=15256/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1720344 CPUtime=1530.41
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 428907 0 0 0 152805 236 0 0 25 0 1 0 204631795 1761632256 428877 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 430086 428877 206 16 0 429526 0
Current children cumulated CPU time (s) 1530.41
Current children cumulated vsize (Kb) 1720344

[startup+1540.93 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=15896/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1729008 CPUtime=1540.41
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 431068 0 0 0 153804 237 0 0 25 0 1 0 204631795 1770504192 431038 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 432252 431038 206 16 0 431692 0
Current children cumulated CPU time (s) 1540.41
Current children cumulated vsize (Kb) 1729008

[startup+1550.94 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=14872/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1737768 CPUtime=1550.42
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 433235 0 0 0 154803 239 0 0 25 0 1 0 204631795 1779474432 433205 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 434442 433205 206 16 0 433882 0
Current children cumulated CPU time (s) 1550.42
Current children cumulated vsize (Kb) 1737768

[startup+1560.95 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=15320/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1746472 CPUtime=1560.42
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 435412 0 0 0 155802 240 0 0 25 0 1 0 204631795 1788387328 435382 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 436618 435382 206 16 0 436058 0
Current children cumulated CPU time (s) 1560.42
Current children cumulated vsize (Kb) 1746472

[startup+1570.95 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=16088/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1754832 CPUtime=1570.42
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 437528 0 0 0 156801 241 0 0 25 0 1 0 204631795 1796947968 437498 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 438708 437498 206 16 0 438148 0
Current children cumulated CPU time (s) 1570.42
Current children cumulated vsize (Kb) 1754832

[startup+1580.96 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=14872/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1763756 CPUtime=1580.43
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 439752 0 0 0 157801 242 0 0 25 0 1 0 204631795 1806086144 439722 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 440939 439722 206 16 0 440379 0
Current children cumulated CPU time (s) 1580.43
Current children cumulated vsize (Kb) 1763756

[startup+1590.97 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=15064/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1772052 CPUtime=1590.43
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 441815 0 0 0 158800 243 0 0 25 0 1 0 204631795 1814581248 441785 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 443013 441785 206 16 0 442453 0
Current children cumulated CPU time (s) 1590.43
Current children cumulated vsize (Kb) 1772052

[startup+1600.97 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=16088/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1780352 CPUtime=1600.43
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 443884 0 0 0 159799 244 0 0 25 0 1 0 204631795 1823080448 443854 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 445088 443854 206 16 0 444528 0
Current children cumulated CPU time (s) 1600.43
Current children cumulated vsize (Kb) 1780352

[startup+1610.98 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=15000/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1789148 CPUtime=1610.44
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 446111 0 0 0 160799 245 0 0 25 0 1 0 204631795 1832087552 446080 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 447287 446080 206 16 0 446727 0
Current children cumulated CPU time (s) 1610.44
Current children cumulated vsize (Kb) 1789148

[startup+1620.99 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=15832/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1799288 CPUtime=1620.45
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 448654 0 0 0 161798 247 0 0 25 0 1 0 204631795 1842470912 448623 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 449822 448623 206 16 0 449262 0
Current children cumulated CPU time (s) 1620.45
Current children cumulated vsize (Kb) 1799288

[startup+1630.99 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=15832/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1808600 CPUtime=1630.45
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 450956 0 0 0 162797 248 0 0 25 0 1 0 204631795 1852006400 450925 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 452150 450925 206 16 0 451590 0
Current children cumulated CPU time (s) 1630.45
Current children cumulated vsize (Kb) 1808600

[startup+1641 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=15192/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1818972 CPUtime=1640.45
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 453564 0 0 0 163795 250 0 0 25 0 1 0 204631795 1862627328 453533 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 454743 453533 206 16 0 454183 0
Current children cumulated CPU time (s) 1640.45
Current children cumulated vsize (Kb) 1818972

[startup+1651 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=15512/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1828020 CPUtime=1650.45
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 455821 0 0 0 164794 251 0 0 25 0 1 0 204631795 1871892480 455790 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520057 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 457005 455790 206 16 0 456445 0
Current children cumulated CPU time (s) 1650.45
Current children cumulated vsize (Kb) 1828020

[startup+1661.01 s]
/proc/loadavg: 0.99 1.00 1.00 2/67 16291
/proc/meminfo: memFree=15704/2055892 swapFree=4085328/4096564
[pid=16096] ppid=16094 vsize=1837380 CPUtime=1660.46
/proc/16096/stat : 16096 (Pueblo) R 16094 16096 16050 0 -1 4194304 458155 0 0 0 165793 253 0 0 25 0 1 0 204631795 1881477120 458124 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16096/statm: 459345 458124 206 16 0 458785 0
Current children cumulated CPU time (s) 1660.46
Current children cumulated vsize (Kb) 1837380

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1667.14
CPU time (s): 1666.58
CPU user time (s): 1663.76
CPU system time (s): 2.81157
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (Kb): 1837380
The end

Launcher Data (download as text)

Begin job on node77 on Sun Jun  4 02:58:46 UTC 2006


FILE ID= 36764-1149389925

PBS_JOBID= 313394

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_2.opb.PB06.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node77/36764-1149389925/instance-36764-1149389925.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node77/watcher-36764-1149389925 -o ROOT/results/node77/solver-36764-1149389925 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node77/36764-1149389925/instance-36764-1149389925.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  751aa23355f7a016eeb9009a33a863ac

RANDOM SEED= 63947777


/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	: 6006.16
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1152040 kB
Buffers:         42392 kB
Cached:         786740 kB
SwapCached:       2644 kB
Active:         174976 kB
Inactive:       663040 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1152040 kB
SwapTotal:     4096564 kB
SwapFree:      4085336 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:          16132 kB
Slab:            52532 kB
Committed_AS:   399188 kB
PageTables:       1276 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node77 on Sun Jun  4 03:26:33 UTC 2006