Trace number 36772

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 1555.1 1555.61

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_10.opb.PB06.opb
MD5SUMfad34197fa8b5ebd519d12750a352ad5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark489
Best CPU time to get the best result obtained on this benchmark1800.66
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 480
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 495457
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 495457
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.15	c starting to Solve
18.16	c #variables read: 10000 - #constraints read: 656901
24.51	o 6572
24.68	o 6511
24.86	o 6471
25.03	o 6457
26.02	o 6443
26.18	o 6414
26.40	o 6393
26.57	o 6369
26.73	o 6339
26.89	o 6325
28.11	o 6324
29.99	o 6310
30.18	o 6280
30.36	o 6275
87.70	o 6267
87.88	o 6240
88.13	o 6073
88.72	o 6060
88.97	o 6055
89.15	o 6046
89.36	o 6017
89.55	o 6014
89.74	o 6000
89.91	o 5994
90.10	o 5919
92.25	o 5904
93.35	o 5903
93.55	o 5886
93.85	o 5885
94.04	o 5865
94.22	o 5863
94.40	o 5859
94.57	o 5857
94.96	o 5810
95.15	o 5808
95.33	o 5804
95.51	o 5802
95.93	o 5776
96.13	o 5770
96.30	o 5757
96.55	o 5750
96.74	o 5731
97.00	o 5725
97.18	o 5719
97.35	o 5717
372.64	o 5716
372.83	o 5710
373.00	o 5705
373.16	o 5697
373.31	o 5682
373.46	o 5669
374.08	o 5653
374.25	o 5629
374.49	o 5594
374.64	o 5570
385.84	o 5499
545.30	o 5495
558.01	o 5491
592.60	o 5488
610.47	o 5486
643.30	o 5471
1120.27	o 5455
1120.43	o 5449
1120.59	o 5433
1123.74	o 5425
1345.19	o 5407
1412.48	o 5406
1439.21	o 5402
1439.39	o 5396
1439.54	o 5381
1447.93	o 5380
1448.08	o 5368
1449.92	o 5365
1555.31	Pueblo: Global.h:70: T* xrealloc(T*, unsigned int) [with T = Constr*]: 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/node22/watcher-36772-1149392021 -o ROOT/results/node22/solver-36772-1149392021 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node22/36772-1149392021/instance-36772-1149392021.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 3/64 2558
/proc/meminfo: memFree=1396736/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=2572 CPUtime=0
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 100636428 2633728 231 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 5144279 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 643 231 193 16 0 84 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1315328/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=84472 CPUtime=9.99
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 20616 0 0 0 991 8 0 0 25 0 1 0 100636428 86499328 20587 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532451 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 21118 20587 204 16 0 20559 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 84472

[startup+20.0076 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1305792/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=95468 CPUtime=19.99
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 23022 0 0 0 1989 10 0 0 25 0 1 0 100636428 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 95468

[startup+30.0133 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1305920/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=95468 CPUtime=29.99
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 23022 0 0 0 2989 10 0 0 25 0 1 0 100636428 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134530548 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 95468

[startup+40.019 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1305920/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=95468 CPUtime=39.99
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 23022 0 0 0 3988 11 0 0 25 0 1 0 100636428 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 95468

[startup+50.0246 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1305984/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=95468 CPUtime=50
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 23022 0 0 0 4989 11 0 0 25 0 1 0 100636428 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 95468

[startup+60.0303 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1305984/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=95468 CPUtime=60
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 23022 0 0 0 5988 12 0 0 25 0 1 0 100636428 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 95468

[startup+70.036 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1305984/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=95468 CPUtime=70
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 23022 0 0 0 6988 12 0 0 25 0 1 0 100636428 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 95468

[startup+80.0417 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1298752/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=102732 CPUtime=80
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 24848 0 0 0 7987 13 0 0 25 0 1 0 100636428 105197568 24819 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 5116877 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 25683 24819 206 16 0 25124 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 102732

[startup+90.0473 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1287104/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=114372 CPUtime=90
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 27751 0 0 0 8985 15 0 0 25 0 1 0 100636428 117116928 27722 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134530538 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 28593 27722 206 16 0 28034 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 114372

[startup+100.053 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1279232/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=122188 CPUtime=100.01
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 29707 0 0 0 9985 16 0 0 25 0 1 0 100636428 125120512 29678 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 30547 29678 206 16 0 29988 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 122188

[startup+110.059 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1265920/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=135504 CPUtime=110.02
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 33027 0 0 0 10984 18 0 0 25 0 1 0 100636428 138756096 32998 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 33876 32998 206 16 0 33317 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 135504

[startup+120.064 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1252480/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=148952 CPUtime=120.02
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 36373 0 0 0 11982 20 0 0 25 0 1 0 100636428 152526848 36344 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 37238 36344 206 16 0 36679 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 148952

[startup+130.07 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1241408/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=159956 CPUtime=130.02
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 39134 0 0 0 12980 22 0 0 25 0 1 0 100636428 163794944 39105 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 39989 39105 206 16 0 39430 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 159956

[startup+140.076 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1230592/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=170748 CPUtime=140.02
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 41842 0 0 0 13978 24 0 0 25 0 1 0 100636428 174845952 41813 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 42687 41813 206 16 0 42128 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 170748

[startup+150.081 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1219648/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=181728 CPUtime=150.03
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 44565 0 0 0 14978 25 0 0 25 0 1 0 100636428 186089472 44536 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 45432 44536 206 16 0 44873 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 181728

[startup+160.087 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1210304/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=190984 CPUtime=160.02
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 46899 0 0 0 15976 26 0 0 25 0 1 0 100636428 195567616 46870 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 47746 46870 206 16 0 47187 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 190984

[startup+170.094 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1200192/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=201112 CPUtime=170.03
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 49440 0 0 0 16975 28 0 0 25 0 1 0 100636428 205938688 49411 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 50278 49411 206 16 0 49719 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 201112

[startup+180.099 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1189184/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=212140 CPUtime=180.03
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 52179 0 0 0 17974 29 0 0 25 0 1 0 100636428 217231360 52150 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 53035 52150 206 16 0 52476 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 212140

[startup+190.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1174784/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=226528 CPUtime=190.04
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 55780 0 0 0 18973 31 0 0 25 0 1 0 100636428 231964672 55751 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 56632 55751 206 16 0 56073 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 226528

[startup+200.112 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1157056/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=244336 CPUtime=200.04
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 60199 0 0 0 19971 33 0 0 25 0 1 0 100636428 250200064 60170 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 61084 60170 206 16 0 60525 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 244336

[startup+210.118 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=1140672/2055920 swapFree=4183840/4192956

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

Current children cumulated CPU time (s) 1340.34
Current children cumulated vsize (Kb) 1625424

[startup+1350.78 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=16000/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1635436 CPUtime=1350.34
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 407735 0 0 0 134776 258 0 0 25 0 1 0 100636428 1674686464 407702 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 408859 407702 206 16 0 408300 0
Current children cumulated CPU time (s) 1350.34
Current children cumulated vsize (Kb) 1635436

[startup+1360.79 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=15296/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1645796 CPUtime=1360.34
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 410296 0 0 0 135774 260 0 0 25 0 1 0 100636428 1685295104 410263 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 411449 410263 206 16 0 410890 0
Current children cumulated CPU time (s) 1360.34
Current children cumulated vsize (Kb) 1645796

[startup+1370.79 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=15360/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1656484 CPUtime=1370.34
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 412984 0 0 0 136772 262 0 0 25 0 1 0 100636428 1696239616 412951 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 414121 412951 206 16 0 413562 0
Current children cumulated CPU time (s) 1370.34
Current children cumulated vsize (Kb) 1656484

[startup+1380.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=15616/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1667320 CPUtime=1380.35
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 415677 0 0 0 137771 264 0 0 25 0 1 0 100636428 1707335680 415644 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 416830 415644 206 16 0 416271 0
Current children cumulated CPU time (s) 1380.35
Current children cumulated vsize (Kb) 1667320

[startup+1390.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=16128/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1677588 CPUtime=1390.35
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 418259 0 0 0 138769 266 0 0 25 0 1 0 100636428 1717850112 418226 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 419397 418226 206 16 0 418838 0
Current children cumulated CPU time (s) 1390.35
Current children cumulated vsize (Kb) 1677588

[startup+1400.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=15424/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1687524 CPUtime=1400.36
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 420762 0 0 0 139768 268 0 0 25 0 1 0 100636428 1728024576 420729 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 421881 420729 206 16 0 421322 0
Current children cumulated CPU time (s) 1400.36
Current children cumulated vsize (Kb) 1687524

[startup+1410.82 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=15168/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1698712 CPUtime=1410.36
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 423541 0 0 0 140766 270 0 0 25 0 1 0 100636428 1739481088 423508 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517896 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 424678 423508 206 16 0 424119 0
Current children cumulated CPU time (s) 1410.36
Current children cumulated vsize (Kb) 1698712

[startup+1420.82 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=16256/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1708492 CPUtime=1420.36
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 425984 0 0 0 141764 272 0 0 25 0 1 0 100636428 1749495808 425951 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 427123 425951 206 16 0 426564 0
Current children cumulated CPU time (s) 1420.36
Current children cumulated vsize (Kb) 1708492

[startup+1430.83 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=16000/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1719448 CPUtime=1430.36
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 428748 0 0 0 142762 274 0 0 25 0 1 0 100636428 1760714752 428715 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 429862 428715 206 16 0 429303 0
Current children cumulated CPU time (s) 1430.36
Current children cumulated vsize (Kb) 1719448

[startup+1440.83 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=15232/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1729568 CPUtime=1440.37
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 431271 0 0 0 143761 276 0 0 25 0 1 0 100636428 1771077632 431238 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 432392 431238 206 16 0 431833 0
Current children cumulated CPU time (s) 1440.37
Current children cumulated vsize (Kb) 1729568

[startup+1450.84 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=16192/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1739364 CPUtime=1450.37
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 433740 0 0 0 144759 278 0 0 25 0 1 0 100636428 1781108736 433707 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 434841 433707 206 16 0 434282 0
Current children cumulated CPU time (s) 1450.37
Current children cumulated vsize (Kb) 1739364

[startup+1460.84 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=15680/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1750904 CPUtime=1460.37
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 436621 0 0 0 145756 281 0 0 25 0 1 0 100636428 1792925696 436588 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 5121250 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 437726 436588 206 16 0 437167 0
Current children cumulated CPU time (s) 1460.37
Current children cumulated vsize (Kb) 1750904

[startup+1470.85 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=14912/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1761116 CPUtime=1470.38
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 439168 0 0 0 146755 283 0 0 25 0 1 0 100636428 1803382784 439135 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520215 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 440279 439135 206 16 0 439720 0
Current children cumulated CPU time (s) 1470.38
Current children cumulated vsize (Kb) 1761116

[startup+1480.86 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=15744/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1771228 CPUtime=1480.37
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 441696 0 0 0 147752 285 0 0 25 0 1 0 100636428 1813737472 441663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 442807 441663 206 16 0 442248 0
Current children cumulated CPU time (s) 1480.37
Current children cumulated vsize (Kb) 1771228

[startup+1490.86 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=14848/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1781508 CPUtime=1490.38
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 444281 0 0 0 148750 288 0 0 25 0 1 0 100636428 1824264192 444248 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 445377 444248 206 16 0 444818 0
Current children cumulated CPU time (s) 1490.38
Current children cumulated vsize (Kb) 1781508

[startup+1500.87 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=15808/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1791524 CPUtime=1500.38
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 446770 0 0 0 149750 288 0 0 25 0 1 0 100636428 1834520576 446737 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 447881 446737 206 16 0 447322 0
Current children cumulated CPU time (s) 1500.38
Current children cumulated vsize (Kb) 1791524

[startup+1510.88 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=15808/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1800768 CPUtime=1510.39
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 449106 0 0 0 150748 291 0 0 25 0 1 0 100636428 1843986432 449073 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559599 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 450192 449073 206 16 0 449633 0
Current children cumulated CPU time (s) 1510.39
Current children cumulated vsize (Kb) 1800768

[startup+1520.88 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=15296/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1810812 CPUtime=1520.38
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 451577 0 0 0 151746 292 0 0 25 0 1 0 100636428 1854271488 451544 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 5112159 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 452703 451544 206 16 0 452144 0
Current children cumulated CPU time (s) 1520.38
Current children cumulated vsize (Kb) 1810812

[startup+1530.89 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=15040/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1820396 CPUtime=1530.39
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 453983 0 0 0 152745 294 0 0 25 0 1 0 100636428 1864085504 453950 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 455099 453950 206 16 0 454540 0
Current children cumulated CPU time (s) 1530.39
Current children cumulated vsize (Kb) 1820396

[startup+1540.89 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=14912/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1829736 CPUtime=1540.39
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 456318 0 0 0 153743 296 0 0 25 0 1 0 100636428 1873649664 456285 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 457434 456285 206 16 0 456875 0
Current children cumulated CPU time (s) 1540.39
Current children cumulated vsize (Kb) 1829736

[startup+1550.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 2558
/proc/meminfo: memFree=14848/2055920 swapFree=4183840/4192956
[pid=2558] ppid=2556 vsize=1838948 CPUtime=1550.4
/proc/2558/stat : 2558 (Pueblo) R 2556 2558 2512 0 -1 4194304 458626 0 0 0 154742 298 0 0 25 0 1 0 100636428 1883082752 458593 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0
/proc/2558/statm: 459737 458593 206 16 0 459178 0
Current children cumulated CPU time (s) 1550.4
Current children cumulated vsize (Kb) 1838948

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1555.61
CPU time (s): 1555.1
CPU user time (s): 1551.82
CPU system time (s): 3.2785
CPU usage (%): 99.9671
Max. virtual memory (cumulated for all children) (Kb): 1838948
The end

Launcher Data (download as text)

Begin job on node22 on Sun Jun  4 03:33:41 UTC 2006


FILE ID= 36772-1149392021

PBS_JOBID= 313493

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  fad34197fa8b5ebd519d12750a352ad5

RANDOM SEED= 14415895


/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.261
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.261
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:       1396944 kB
Buffers:         19924 kB
Cached:         564756 kB
SwapCached:       3112 kB
Active:          99848 kB
Inactive:       493508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1396944 kB
SwapTotal:     4192956 kB
SwapFree:      4183840 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          14960 kB
Slab:            51720 kB
Committed_AS:   348724 kB
PageTables:       1404 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node22 on Sun Jun  4 03:59:37 UTC 2006