Trace number 37912

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 1525.61 1526.15

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_12.opb.PB06.opb
MD5SUM35ffbede57b8807d38d913370f4c4486
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark441
Best CPU time to get the best result obtained on this benchmark1800.6
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 419
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 495618
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 495618
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.05	c starting to Solve
18.06	c #variables read: 10000 - #constraints read: 656901
24.44	o 6846
24.61	o 6826
24.78	o 6757
25.19	o 6607
25.37	o 6560
25.58	o 6545
25.74	o 6537
27.07	o 6488
27.24	o 6485
27.56	o 6435
27.73	o 6419
27.89	o 6410
28.07	o 6406
28.25	o 6391
28.42	o 6361
28.59	o 6319
28.76	o 6313
29.66	o 6292
29.87	o 6277
30.04	o 6271
30.21	o 6260
30.37	o 6254
32.56	o 6239
33.85	o 6237
34.01	o 6204
52.18	o 6150
83.03	o 5976
83.18	o 5962
83.67	o 5954
83.82	o 5940
85.62	o 5916
102.13	o 5904
102.32	o 5860
109.04	o 5854
111.53	o 5823
111.71	o 5794
114.44	o 5751
114.60	o 5750
114.82	o 5743
115.07	o 5738
119.95	o 5623
120.11	o 5575
120.27	o 5559
120.42	o 5511
209.16	o 5509
209.34	o 5470
209.52	o 5451
210.04	o 5426
210.23	o 5420
210.43	o 5400
212.57	o 5399
212.92	o 5389
213.78	o 5385
214.52	o 5375
214.79	o 5365
214.99	o 5352
215.17	o 5346
215.34	o 5336
215.94	o 5334
1525.85	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/node52/watcher-37912-1149389467 -o ROOT/results/node52/solver-37912-1149389467 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node52/37912-1149389467/instance-37912-1149389467.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 11303
/proc/meminfo: memFree=1444564/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=2572 CPUtime=0
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 204614487 2633728 233 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4775639 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 643 233 193 16 0 84 0

[startup+10.0016 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1363156/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=84472 CPUtime=9.98
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 20619 0 0 0 988 10 0 0 25 0 1 0 204614487 86499328 20590 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532420 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 21118 20590 204 16 0 20559 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 84472

[startup+20.007 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1353684/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=95468 CPUtime=19.99
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 23022 0 0 0 1988 11 0 0 25 0 1 0 204614487 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 95468

[startup+30.0125 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1353812/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=95468 CPUtime=29.99
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 23022 0 0 0 2988 11 0 0 25 0 1 0 204614487 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134530521 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 95468

[startup+40.018 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1353812/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=95468 CPUtime=40
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 23022 0 0 0 3988 12 0 0 25 0 1 0 204614487 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 95468

[startup+50.0235 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1353876/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=95468 CPUtime=49.99
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 23022 0 0 0 4987 12 0 0 25 0 1 0 204614487 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 95468

[startup+60.029 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1353876/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=95468 CPUtime=59.99
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 23022 0 0 0 5987 12 0 0 25 0 1 0 204614487 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 95468

[startup+70.0345 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1353876/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=95468 CPUtime=70
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 23022 0 0 0 6988 12 0 0 25 0 1 0 204614487 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 95468

[startup+80.04 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1345108/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=104232 CPUtime=80
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 25203 0 0 0 7986 14 0 0 25 0 1 0 204614487 106733568 25174 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527661 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 26058 25174 206 16 0 25499 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 104232

[startup+90.0455 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1335380/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=113848 CPUtime=90.01
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 27629 0 0 0 8985 16 0 0 25 0 1 0 204614487 116580352 27600 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 28462 27600 206 16 0 27903 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 113848

[startup+100.051 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1323796/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=125504 CPUtime=100.01
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 30525 0 0 0 9983 18 0 0 25 0 1 0 204614487 128516096 30496 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 31376 30496 206 16 0 30817 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 125504

[startup+110.058 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1313108/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=136068 CPUtime=110.02
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 33183 0 0 0 10982 20 0 0 25 0 1 0 204614487 139333632 33154 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559502 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 34017 33154 206 16 0 33458 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 136068

[startup+120.064 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1304916/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=144300 CPUtime=120.01
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 35231 0 0 0 11980 21 0 0 25 0 1 0 204614487 147763200 35202 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134530521 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 36075 35202 206 16 0 35516 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 144300

[startup+130.071 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1296276/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=153088 CPUtime=130.02
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 37404 0 0 0 12980 22 0 0 25 0 1 0 204614487 156762112 37375 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 38272 37375 206 16 0 37713 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 153088

[startup+140.076 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1285844/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=163464 CPUtime=140.02
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 40007 0 0 0 13978 24 0 0 25 0 1 0 204614487 167387136 39978 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 40866 39978 206 16 0 40307 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 163464

[startup+150.083 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1276756/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=172540 CPUtime=150.02
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 42280 0 0 0 14977 25 0 0 25 0 1 0 204614487 176680960 42251 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 43135 42251 206 16 0 42576 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 172540

[startup+160.088 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1267668/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=181588 CPUtime=160.03
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 44546 0 0 0 15976 27 0 0 25 0 1 0 204614487 185946112 44517 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 45397 44517 206 16 0 44838 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 181588

[startup+170.094 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1250580/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=198608 CPUtime=170.03
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 48799 0 0 0 16973 30 0 0 25 0 1 0 204614487 203374592 48770 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4748237 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 49652 48772 206 16 0 49093 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 198608

[startup+180.099 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1237588/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=211604 CPUtime=180.03
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 52051 0 0 0 17971 32 0 0 25 0 1 0 204614487 216682496 52022 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 52901 52022 206 16 0 52342 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 211604

[startup+190.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1223700/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=225444 CPUtime=190.03
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 55506 0 0 0 18969 34 0 0 25 0 1 0 204614487 230854656 55477 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 56361 55477 206 16 0 55802 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 225444

[startup+200.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1212308/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=236764 CPUtime=200.03
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 58346 0 0 0 19968 35 0 0 25 0 1 0 204614487 242446336 58317 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 59191 58317 206 16 0 58632 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 236764

[startup+210.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11303
/proc/meminfo: memFree=1201236/2055920 swapFree=4181360/4192956

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

Current children cumulated CPU time (s) 1310.27
Current children cumulated vsize (Kb) 1639080

[startup+1320.75 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=15260/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1650824 CPUtime=1320.27
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 411013 0 0 0 131728 299 0 0 25 0 1 0 204614487 1690443776 410984 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 412706 410984 206 16 0 412147 0
Current children cumulated CPU time (s) 1320.27
Current children cumulated vsize (Kb) 1650824

[startup+1330.76 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=15132/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1661680 CPUtime=1330.27
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 413739 0 0 0 132726 301 0 0 25 0 1 0 204614487 1701560320 413710 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 415420 413710 206 16 0 414861 0
Current children cumulated CPU time (s) 1330.27
Current children cumulated vsize (Kb) 1661680

[startup+1340.76 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=15004/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1671116 CPUtime=1340.27
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 416067 0 0 0 133724 303 0 0 25 0 1 0 204614487 1711222784 416038 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 417779 416038 206 16 0 417220 0
Current children cumulated CPU time (s) 1340.27
Current children cumulated vsize (Kb) 1671116

[startup+1350.77 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=15196/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1681596 CPUtime=1350.28
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 418701 0 0 0 134723 305 0 0 25 0 1 0 204614487 1721954304 418672 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 420399 418672 206 16 0 419840 0
Current children cumulated CPU time (s) 1350.28
Current children cumulated vsize (Kb) 1681596

[startup+1360.77 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=15132/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1692304 CPUtime=1360.28
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 421392 0 0 0 135722 306 0 0 25 0 1 0 204614487 1732919296 421363 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 423076 421363 206 16 0 422517 0
Current children cumulated CPU time (s) 1360.28
Current children cumulated vsize (Kb) 1692304

[startup+1370.78 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=15260/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1703000 CPUtime=1370.29
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 424069 0 0 0 136721 308 0 0 25 0 1 0 204614487 1743872000 424040 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520051 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 425750 424040 206 16 0 425191 0
Current children cumulated CPU time (s) 1370.29
Current children cumulated vsize (Kb) 1703000

[startup+1380.78 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=15836/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1713612 CPUtime=1380.28
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 426706 0 0 0 137719 309 0 0 25 0 1 0 204614487 1754738688 426677 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 428403 426677 206 16 0 427844 0
Current children cumulated CPU time (s) 1380.28
Current children cumulated vsize (Kb) 1713612

[startup+1390.79 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=14940/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1723960 CPUtime=1390.29
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 429276 0 0 0 138718 311 0 0 25 0 1 0 204614487 1765335040 429247 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527989 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 430990 429247 206 16 0 430431 0
Current children cumulated CPU time (s) 1390.29
Current children cumulated vsize (Kb) 1723960

[startup+1400.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=15196/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1734600 CPUtime=1400.29
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 431945 0 0 0 139716 313 0 0 25 0 1 0 204614487 1776230400 431916 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 433650 431916 206 16 0 433091 0
Current children cumulated CPU time (s) 1400.29
Current children cumulated vsize (Kb) 1734600

[startup+1410.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=16028/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1744724 CPUtime=1410.29
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 434464 0 0 0 140714 315 0 0 25 0 1 0 204614487 1786597376 434435 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 436181 434435 206 16 0 435622 0
Current children cumulated CPU time (s) 1410.29
Current children cumulated vsize (Kb) 1744724

[startup+1420.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=15772/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1754352 CPUtime=1420.29
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 436880 0 0 0 141712 317 0 0 25 0 1 0 204614487 1796456448 436851 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 438588 436851 206 16 0 438029 0
Current children cumulated CPU time (s) 1420.29
Current children cumulated vsize (Kb) 1754352

[startup+1430.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=15260/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1764292 CPUtime=1430.3
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 439365 0 0 0 142710 320 0 0 25 0 1 0 204614487 1806635008 439336 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 441073 439336 206 16 0 440514 0
Current children cumulated CPU time (s) 1430.3
Current children cumulated vsize (Kb) 1764292

[startup+1440.82 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=14940/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1774060 CPUtime=1440.3
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 441799 0 0 0 143709 321 0 0 25 0 1 0 204614487 1816637440 441770 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 443515 441770 206 16 0 442956 0
Current children cumulated CPU time (s) 1440.3
Current children cumulated vsize (Kb) 1774060

[startup+1450.82 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=14876/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1782076 CPUtime=1450.3
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 443802 0 0 0 144708 322 0 0 25 0 1 0 204614487 1824845824 443773 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 445519 443773 206 16 0 444960 0
Current children cumulated CPU time (s) 1450.3
Current children cumulated vsize (Kb) 1782076

[startup+1460.83 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=15324/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1789444 CPUtime=1460.31
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 445620 0 0 0 145708 323 0 0 25 0 1 0 204614487 1832390656 445591 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 447361 445591 206 16 0 446802 0
Current children cumulated CPU time (s) 1460.31
Current children cumulated vsize (Kb) 1789444

[startup+1470.84 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=15772/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1796656 CPUtime=1470.31
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 447446 0 0 0 146707 324 0 0 25 0 1 0 204614487 1839775744 447417 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 449164 447417 206 16 0 448605 0
Current children cumulated CPU time (s) 1470.31
Current children cumulated vsize (Kb) 1796656

[startup+1480.84 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=15580/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1804732 CPUtime=1480.31
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 449446 0 0 0 147706 325 0 0 25 0 1 0 204614487 1848045568 449417 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528524 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 451183 449417 206 16 0 450624 0
Current children cumulated CPU time (s) 1480.31
Current children cumulated vsize (Kb) 1804732

[startup+1490.85 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=15580/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1811052 CPUtime=1490.32
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 451040 0 0 0 148706 326 0 0 25 0 1 0 204614487 1854517248 451011 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 452763 451011 206 16 0 452204 0
Current children cumulated CPU time (s) 1490.32
Current children cumulated vsize (Kb) 1811052

[startup+1500.86 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=16284/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1819600 CPUtime=1500.32
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 453177 0 0 0 149705 327 0 0 25 0 1 0 204614487 1863270400 453148 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 454900 453148 206 16 0 454341 0
Current children cumulated CPU time (s) 1500.32
Current children cumulated vsize (Kb) 1819600

[startup+1510.87 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=15004/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1828964 CPUtime=1510.33
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 455505 0 0 0 150704 329 0 0 25 0 1 0 204614487 1872859136 455476 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 457241 455476 206 16 0 456682 0
Current children cumulated CPU time (s) 1510.33
Current children cumulated vsize (Kb) 1828964

[startup+1520.87 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 11498
/proc/meminfo: memFree=16284/2055920 swapFree=4181360/4192956
[pid=11303] ppid=11301 vsize=1838644 CPUtime=1520.33
/proc/11303/stat : 11303 (Pueblo13) R 11301 11303 11257 0 -1 4194304 457920 0 0 0 151703 330 0 0 25 0 1 0 204614487 1882771456 457891 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/11303/statm: 459661 457891 206 16 0 459102 0
Current children cumulated CPU time (s) 1520.33
Current children cumulated vsize (Kb) 1838644

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1526.15
CPU time (s): 1525.61
CPU user time (s): 1522.01
CPU system time (s): 3.60145
CPU usage (%): 99.9648
Max. virtual memory (cumulated for all children) (Kb): 1838644
The end

Launcher Data (download as text)

Begin job on node52 on Sun Jun  4 02:51:07 UTC 2006


FILE ID= 37912-1149389467

PBS_JOBID= 313359

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

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  35ffbede57b8807d38d913370f4c4486

RANDOM SEED= 575285117


/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.263
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.263
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:       1444772 kB
Buffers:         24968 kB
Cached:         520496 kB
SwapCached:       3296 kB
Active:         107488 kB
Inactive:       446752 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1444772 kB
SwapTotal:     4192956 kB
SwapFree:      4181360 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          14916 kB
Slab:            42848 kB
Committed_AS:   425988 kB
PageTables:       1504 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node52 on Sun Jun  4 03:16:33 UTC 2006