Trace number 37911

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.3Signal 1585.45 1585.96

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_11.opb.PB06.opb
MD5SUMf8f4f876e372c51b5109e7995e83ce5e
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark487
Best CPU time to get the best result obtained on this benchmark1800.7
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 443
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 492823
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 492823
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
18.10	c starting to Solve
18.11	c #variables read: 10000 - #constraints read: 656901
24.51	o 7109
24.98	o 6647
25.13	o 6616
25.38	o 6569
25.55	o 6552
25.72	o 6544
48.64	o 6429
48.82	o 6409
48.99	o 6406
49.16	o 6386
49.33	o 6384
49.59	o 6374
49.77	o 6371
49.95	o 6332
50.12	o 6309
50.30	o 6308
51.15	o 6281
55.00	o 6274
55.17	o 6258
86.54	o 6239
86.75	o 6176
86.96	o 6133
87.22	o 6114
87.59	o 6111
87.80	o 6103
88.04	o 6097
88.26	o 6071
88.47	o 6034
88.74	o 6021
88.95	o 5974
89.33	o 5972
89.56	o 5932
89.92	o 5923
90.16	o 5873
105.34	o 5865
105.55	o 5864
105.75	o 5863
105.93	o 5855
106.08	o 5850
106.23	o 5845
106.39	o 5840
106.88	o 5829
107.02	o 5824
107.18	o 5813
107.33	o 5808
112.84	o 5785
112.99	o 5768
113.14	o 5740
113.30	o 5723
113.46	o 5700
113.61	o 5683
113.80	o 5671
113.96	o 5670
114.11	o 5653
114.33	o 5640
114.54	o 5575
114.68	o 5573
114.86	o 5562
115.01	o 5560
116.39	o 5557
116.79	o 5544
122.66	o 5539
122.81	o 5526
122.97	o 5513
123.64	o 5512
123.79	o 5499
1585.66	Pueblo13: 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/node56/watcher-37911-1149389108 -o ROOT/results/node56/solver-37911-1149389108 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node56/37911-1149389108/instance-37911-1149389108.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1447096/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=2572 CPUtime=0
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 204578399 2633728 231 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10493655 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 643 231 193 16 0 84 0

[startup+10.0022 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1365768/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=84472 CPUtime=9.99
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 20618 0 0 0 989 10 0 0 25 0 1 0 204578399 86499328 20589 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532412 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 21118 20589 204 16 0 20559 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 84472

[startup+20.0082 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1356168/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=95468 CPUtime=19.99
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 23022 0 0 0 1987 12 0 0 25 0 1 0 204578399 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 95468

[startup+30.0141 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1356232/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=95468 CPUtime=30
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 23022 0 0 0 2988 12 0 0 25 0 1 0 204578399 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 95468

[startup+40.0201 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1356296/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=95468 CPUtime=40
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 23022 0 0 0 3988 12 0 0 25 0 1 0 204578399 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 95468

[startup+50.0261 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1356296/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=95468 CPUtime=50
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 23022 0 0 0 4987 13 0 0 25 0 1 0 204578399 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134530532 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 95468

[startup+60.0321 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1356296/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=95468 CPUtime=60
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 23022 0 0 0 5987 13 0 0 25 0 1 0 204578399 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 95468

[startup+70.0381 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1352520/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=99272 CPUtime=70.01
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 23966 0 0 0 6987 14 0 0 25 0 1 0 204578399 101654528 23937 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 24818 23937 206 16 0 24259 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 99272

[startup+80.0441 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1339400/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=112420 CPUtime=80.01
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 27259 0 0 0 7986 15 0 0 25 0 1 0 204578399 115118080 27230 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 28105 27230 206 16 0 27546 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 112420

[startup+90.0501 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1332360/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=119496 CPUtime=90.01
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 29016 0 0 0 8985 16 0 0 25 0 1 0 204578399 122363904 28987 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134530532 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 29874 28987 206 16 0 29315 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 119496

[startup+100.056 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1316424/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=135404 CPUtime=100.02
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 32985 0 0 0 9982 20 0 0 25 0 1 0 204578399 138653696 32956 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 33851 32956 206 16 0 33292 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 135404

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1304584/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=147220 CPUtime=110.02
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 35944 0 0 0 10980 22 0 0 25 0 1 0 204578399 150753280 35915 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 36805 35915 206 16 0 36246 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 147220

[startup+120.069 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1288392/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=163292 CPUtime=120.02
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 39976 0 0 0 11978 24 0 0 25 0 1 0 204578399 167211008 39947 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 40823 39947 206 16 0 40264 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 163292

[startup+130.074 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1274504/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=177184 CPUtime=130.02
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 43449 0 0 0 12976 26 0 0 25 0 1 0 204578399 181436416 43420 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 44296 43420 206 16 0 43737 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 177184

[startup+140.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1258056/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=193536 CPUtime=140.03
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 47540 0 0 0 13974 29 0 0 25 0 1 0 204578399 198180864 47511 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 48384 47511 206 16 0 47825 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 193536

[startup+150.086 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1243336/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=208352 CPUtime=150.03
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 51216 0 0 0 14971 32 0 0 25 0 1 0 204578399 213352448 51187 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 52088 51187 206 16 0 51529 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 208352

[startup+160.092 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1226888/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=224736 CPUtime=160.04
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 55320 0 0 0 15969 35 0 0 25 0 1 0 204578399 230129664 55291 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 56184 55291 206 16 0 55625 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 224736

[startup+170.098 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1210440/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=241272 CPUtime=170.04
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 59444 0 0 0 16967 37 0 0 25 0 1 0 204578399 247062528 59415 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10466253 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 60318 59415 206 16 0 59759 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 241272

[startup+180.104 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1199560/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=252028 CPUtime=180.04
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 62145 0 0 0 17966 38 0 0 25 0 1 0 204578399 258076672 62116 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 63007 62116 206 16 0 62448 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 252028

[startup+190.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1186696/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=264936 CPUtime=190.04
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 65367 0 0 0 18964 40 0 0 25 0 1 0 204578399 271294464 65338 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 66234 65338 206 16 0 65675 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 264936

[startup+200.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1170952/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=280616 CPUtime=200.05
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 69287 0 0 0 19962 43 0 0 25 0 1 0 204578399 287350784 69258 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 70154 69258 206 16 0 69595 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 280616

[startup+210.122 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30302
/proc/meminfo: memFree=1154440/2055920 swapFree=4181336/4192956

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

Current children cumulated CPU time (s) 1370.41
Current children cumulated vsize (Kb) 1627328

[startup+1380.87 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=14928/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1638716 CPUtime=1380.42
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 408564 0 0 0 137781 261 0 0 25 0 1 0 204578399 1678045184 408535 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 409679 408535 206 16 0 409120 0
Current children cumulated CPU time (s) 1380.42
Current children cumulated vsize (Kb) 1638716

[startup+1390.87 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=16272/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1649668 CPUtime=1390.42
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 411307 0 0 0 138779 263 0 0 25 0 1 0 204578399 1689260032 411278 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528590 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 412417 411278 206 16 0 411858 0
Current children cumulated CPU time (s) 1390.42
Current children cumulated vsize (Kb) 1649668

[startup+1400.88 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=15696/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1660984 CPUtime=1400.42
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 414148 0 0 0 139777 265 0 0 25 0 1 0 204578399 1700847616 414119 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 415246 414119 206 16 0 414687 0
Current children cumulated CPU time (s) 1400.42
Current children cumulated vsize (Kb) 1660984

[startup+1410.88 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=16336/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1672756 CPUtime=1410.43
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 417089 0 0 0 140776 267 0 0 25 0 1 0 204578399 1712902144 417060 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 418189 417060 206 16 0 417630 0
Current children cumulated CPU time (s) 1410.43
Current children cumulated vsize (Kb) 1672756

[startup+1420.89 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=15760/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1684072 CPUtime=1420.43
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 419910 0 0 0 141774 269 0 0 25 0 1 0 204578399 1724489728 419881 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 421018 419881 206 16 0 420459 0
Current children cumulated CPU time (s) 1420.43
Current children cumulated vsize (Kb) 1684072

[startup+1430.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=16336/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1694296 CPUtime=1430.43
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 422486 0 0 0 142772 271 0 0 25 0 1 0 204578399 1734959104 422457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 423574 422457 206 16 0 423015 0
Current children cumulated CPU time (s) 1430.43
Current children cumulated vsize (Kb) 1694296

[startup+1440.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=15376/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1704700 CPUtime=1440.44
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 425089 0 0 0 143771 273 0 0 25 0 1 0 204578399 1745612800 425060 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 426175 425060 206 16 0 425616 0
Current children cumulated CPU time (s) 1440.44
Current children cumulated vsize (Kb) 1704700

[startup+1450.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=15312/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1715672 CPUtime=1450.44
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 427825 0 0 0 144770 274 0 0 25 0 1 0 204578399 1756848128 427796 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 428918 427796 206 16 0 428359 0
Current children cumulated CPU time (s) 1450.44
Current children cumulated vsize (Kb) 1715672

[startup+1460.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=14864/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1725332 CPUtime=1460.44
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 430258 0 0 0 145769 275 0 0 25 0 1 0 204578399 1766739968 430229 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 431333 430229 206 16 0 430774 0
Current children cumulated CPU time (s) 1460.44
Current children cumulated vsize (Kb) 1725332

[startup+1470.92 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=14928/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1734816 CPUtime=1470.45
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 432590 0 0 0 146768 277 0 0 25 0 1 0 204578399 1776451584 432561 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 433704 432561 206 16 0 433145 0
Current children cumulated CPU time (s) 1470.45
Current children cumulated vsize (Kb) 1734816

[startup+1480.93 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=15952/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1742968 CPUtime=1480.45
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 434636 0 0 0 147768 277 0 0 25 0 1 0 204578399 1784799232 434607 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 435742 434607 206 16 0 435183 0
Current children cumulated CPU time (s) 1480.45
Current children cumulated vsize (Kb) 1742968

[startup+1490.93 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=16144/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1751928 CPUtime=1490.45
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 436880 0 0 0 148766 279 0 0 25 0 1 0 204578399 1793974272 436851 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 437982 436851 206 16 0 437423 0
Current children cumulated CPU time (s) 1490.45
Current children cumulated vsize (Kb) 1751928

[startup+1500.94 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=15760/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1761484 CPUtime=1500.45
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 439269 0 0 0 149765 280 0 0 25 0 1 0 204578399 1803759616 439240 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 440371 439240 206 16 0 439812 0
Current children cumulated CPU time (s) 1500.45
Current children cumulated vsize (Kb) 1761484

[startup+1510.95 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=16336/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1771792 CPUtime=1510.46
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 441824 0 0 0 150764 282 0 0 25 0 1 0 204578399 1814315008 441795 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 442948 441795 206 16 0 442389 0
Current children cumulated CPU time (s) 1510.46
Current children cumulated vsize (Kb) 1771792

[startup+1520.95 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=14864/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1780904 CPUtime=1520.46
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 444112 0 0 0 151763 283 0 0 25 0 1 0 204578399 1823645696 444083 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 445226 444083 206 16 0 444667 0
Current children cumulated CPU time (s) 1520.46
Current children cumulated vsize (Kb) 1780904

[startup+1530.96 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=14928/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1789992 CPUtime=1530.47
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 446396 0 0 0 152762 285 0 0 25 0 1 0 204578399 1832951808 446367 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 447498 446367 206 16 0 446939 0
Current children cumulated CPU time (s) 1530.47
Current children cumulated vsize (Kb) 1789992

[startup+1540.96 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=16016/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1799652 CPUtime=1540.47
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 448806 0 0 0 153760 287 0 0 25 0 1 0 204578399 1842843648 448777 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 449913 448777 206 16 0 449354 0
Current children cumulated CPU time (s) 1540.47
Current children cumulated vsize (Kb) 1799652

[startup+1550.97 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=16272/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1808500 CPUtime=1550.48
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 451033 0 0 0 154760 288 0 0 25 0 1 0 204578399 1851904000 451004 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 452125 451004 206 16 0 451566 0
Current children cumulated CPU time (s) 1550.48
Current children cumulated vsize (Kb) 1808500

[startup+1560.98 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=16208/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1817960 CPUtime=1560.48
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 453394 0 0 0 155759 289 0 0 25 0 1 0 204578399 1861591040 453365 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 454490 453365 206 16 0 453931 0
Current children cumulated CPU time (s) 1560.48
Current children cumulated vsize (Kb) 1817960

[startup+1570.98 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=15888/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1827472 CPUtime=1570.48
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 455768 0 0 0 156757 291 0 0 25 0 1 0 204578399 1871331328 455739 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 456868 455739 206 16 0 456309 0
Current children cumulated CPU time (s) 1570.48
Current children cumulated vsize (Kb) 1827472

[startup+1580.99 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 30497
/proc/meminfo: memFree=15696/2055920 swapFree=4181336/4192956
[pid=30302] ppid=30300 vsize=1838432 CPUtime=1580.49
/proc/30302/stat : 30302 (Pueblo13) R 30300 30302 30256 0 -1 4194304 458496 0 0 0 157756 293 0 0 25 0 1 0 204578399 1882554368 458467 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/30302/statm: 459608 458467 206 16 0 459049 0
Current children cumulated CPU time (s) 1580.49
Current children cumulated vsize (Kb) 1838432

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1585.96
CPU time (s): 1585.45
CPU user time (s): 1582.21
CPU system time (s): 3.23451
CPU usage (%): 99.9677
Max. virtual memory (cumulated for all children) (Kb): 1838432
The end

Launcher Data (download as text)

Begin job on node56 on Sun Jun  4 02:45:08 UTC 2006


FILE ID= 37911-1149389108

PBS_JOBID= 313351

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

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  f8f4f876e372c51b5109e7995e83ce5e

RANDOM SEED= 438315852


/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.232
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.232
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:       1447304 kB
Buffers:         29716 kB
Cached:         506964 kB
SwapCached:       3308 kB
Active:         132468 kB
Inactive:       412920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1447304 kB
SwapTotal:     4192956 kB
SwapFree:      4181336 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:          14896 kB
Slab:            49148 kB
Committed_AS:   332700 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node56 on Sun Jun  4 03:11:34 UTC 2006