Trace number 36770

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 1535.68 1536.1

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
MD5SUM093efae700664f798191c0b27cec34af
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark447
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 447
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 494527
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 494527
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.28	c starting to Solve
18.28	c #variables read: 10000 - #constraints read: 656901
24.63	o 7310
24.78	o 7220
24.97	o 7180
25.13	o 7090
25.34	o 7048
25.83	o 6894
26.00	o 6823
26.26	o 6754
26.42	o 6727
26.58	o 6683
26.73	o 6656
27.74	o 6645
38.96	o 6191
39.51	o 6163
44.00	o 6104
44.18	o 6095
44.35	o 6033
183.71	o 6010
183.90	o 5974
184.28	o 5960
184.74	o 5946
185.99	o 5937
190.09	o 5921
230.09	o 5907
230.52	o 5877
230.77	o 5872
230.97	o 5860
231.16	o 5809
240.92	o 5799
241.16	o 5782
241.35	o 5755
252.76	o 5742
253.00	o 5717
253.24	o 5700
285.67	o 5634
288.99	o 5629
300.47	o 5614
300.62	o 5578
301.06	o 5559
315.58	o 5548
315.74	o 5546
329.84	o 5519
329.98	o 5483
1535.83	Pueblo: Global.h:70: T* xrealloc(T*, unsigned int) [with T = Lit]: Assertion `size == 0 || tmp != __null' failed.

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1620200/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=2280 CPUtime=0
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 172 0 0 0 0 0 0 0 18 0 1 0 204811033 2334720 144 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4160564816 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 570 152 130 16 0 11 0

[startup+10.002 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1538864/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=84472 CPUtime=9.99
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 20614 0 0 0 990 9 0 0 25 0 1 0 204811033 86499328 20585 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532044 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 21118 20585 204 16 0 20559 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 84472

[startup+20.0091 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1529264/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=95468 CPUtime=19.99
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 23022 0 0 0 1990 9 0 0 25 0 1 0 204811033 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 95468

[startup+30.0151 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1529392/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=95468 CPUtime=30
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 23022 0 0 0 2990 10 0 0 25 0 1 0 204811033 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520372 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 95468

[startup+40.0212 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1529456/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=95468 CPUtime=40
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 23022 0 0 0 3989 11 0 0 25 0 1 0 204811033 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 95468

[startup+50.0272 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1529456/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=95468 CPUtime=50
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 23022 0 0 0 4989 11 0 0 25 0 1 0 204811033 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 95468

[startup+60.0333 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1529456/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=95468 CPUtime=60.01
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 23022 0 0 0 5989 12 0 0 25 0 1 0 204811033 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527740 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 95468

[startup+70.0393 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1529008/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=96032 CPUtime=70.01
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 23142 0 0 0 6989 12 0 0 25 0 1 0 204811033 98336768 23113 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 24008 23113 206 16 0 23449 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 96032

[startup+80.0463 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1524208/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=100692 CPUtime=80.01
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 24337 0 0 0 7989 12 0 0 25 0 1 0 204811033 103108608 24306 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 25173 24306 206 16 0 24614 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 100692

[startup+90.0524 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1517936/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=106956 CPUtime=90.01
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 25910 0 0 0 8988 13 0 0 25 0 1 0 204811033 109522944 25877 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 26739 25877 206 16 0 26180 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 106956

[startup+100.057 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1510448/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=114464 CPUtime=100.02
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 27761 0 0 0 9988 14 0 0 25 0 1 0 204811033 117211136 27727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517890 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 28616 27727 206 16 0 28057 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 114464

[startup+110.063 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1504048/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=120824 CPUtime=110.02
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 29373 0 0 0 10988 14 0 0 25 0 1 0 204811033 123723776 29339 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 30206 29339 206 16 0 29647 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 120824

[startup+120.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1496880/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=128032 CPUtime=120.02
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 31160 0 0 0 11987 15 0 0 25 0 1 0 204811033 131104768 31126 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 32008 31126 206 16 0 31449 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 128032

[startup+130.076 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1488880/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=135948 CPUtime=130.03
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 33147 0 0 0 12987 16 0 0 25 0 1 0 204811033 139210752 33113 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 33987 33113 206 16 0 33428 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 135948

[startup+140.082 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1479728/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=145164 CPUtime=140.04
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 35438 0 0 0 13986 18 0 0 25 0 1 0 204811033 148647936 35404 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 36291 35404 206 16 0 35732 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 145164

[startup+150.088 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1469616/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=155264 CPUtime=150.04
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 37949 0 0 0 14985 19 0 0 25 0 1 0 204811033 158990336 37915 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 38816 37915 206 16 0 38257 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 155264

[startup+160.093 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1461040/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=163828 CPUtime=160.04
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 40095 0 0 0 15983 21 0 0 25 0 1 0 204811033 167759872 40061 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 40957 40061 206 16 0 40398 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 163828

[startup+170.099 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1453680/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=171116 CPUtime=170.04
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 41936 0 0 0 16982 22 0 0 25 0 1 0 204811033 175222784 41902 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 42779 41902 206 16 0 42220 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 171116

[startup+180.105 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1445232/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=179556 CPUtime=180.04
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 44036 0 0 0 17981 23 0 0 25 0 1 0 204811033 183865344 44002 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 44889 44002 206 16 0 44330 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 179556

[startup+190.111 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1436080/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=188620 CPUtime=190.05
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 46315 0 0 0 18981 24 0 0 25 0 1 0 204811033 193146880 46281 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 47155 46281 206 16 0 46596 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 188620

[startup+200.117 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1423024/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=201656 CPUtime=200.05
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 49578 0 0 0 19980 25 0 0 25 0 1 0 204811033 206495744 49544 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 50414 49544 206 16 0 49855 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 201656

[startup+210.123 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6083
/proc/meminfo: memFree=1412016/2055920 swapFree=4180904/4192956

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

Current children cumulated CPU time (s) 1320.49
Current children cumulated vsize (Kb) 1596824

[startup+1330.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=16112/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=1608368 CPUtime=1330.49
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 400957 0 0 0 132806 243 0 0 25 0 1 0 204811033 1646968832 400923 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 402092 400923 206 16 0 401533 0
Current children cumulated CPU time (s) 1330.49
Current children cumulated vsize (Kb) 1608368

[startup+1340.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=15600/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=1622776 CPUtime=1340.49
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 404551 0 0 0 133803 246 0 0 25 0 1 0 204811033 1661722624 404517 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7460061 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 405694 404517 206 16 0 405135 0
Current children cumulated CPU time (s) 1340.49
Current children cumulated vsize (Kb) 1622776

[startup+1350.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=15088/2055920 swapFree=4180904/4192956
[pid=6083] ppid=6081 vsize=1635752 CPUtime=1350.5
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 407795 0 0 0 134801 249 0 0 25 0 1 0 204811033 1675010048 407761 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 408938 407761 206 16 0 408379 0
Current children cumulated CPU time (s) 1350.5
Current children cumulated vsize (Kb) 1635752

[startup+1360.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=15856/2055920 swapFree=4180892/4192956
[pid=6083] ppid=6081 vsize=1649012 CPUtime=1360.5
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 411123 0 0 0 135799 251 0 0 25 0 1 0 204811033 1688588288 411089 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520065 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 412253 411089 206 16 0 411694 0
Current children cumulated CPU time (s) 1360.5
Current children cumulated vsize (Kb) 1649012

[startup+1370.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=16048/2055920 swapFree=4180892/4192956
[pid=6083] ppid=6081 vsize=1661200 CPUtime=1370.51
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 414140 0 0 0 136798 253 0 0 25 0 1 0 204811033 1701068800 414106 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 415300 414106 206 16 0 414741 0
Current children cumulated CPU time (s) 1370.51
Current children cumulated vsize (Kb) 1661200

[startup+1380.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=15920/2055920 swapFree=4180892/4192956
[pid=6083] ppid=6081 vsize=1673816 CPUtime=1380.51
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 417302 0 0 0 137796 255 0 0 25 0 1 0 204811033 1713987584 417268 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 418454 417268 206 16 0 417895 0
Current children cumulated CPU time (s) 1380.51
Current children cumulated vsize (Kb) 1673816

[startup+1390.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=15856/2055920 swapFree=4180796/4192956
[pid=6083] ppid=6081 vsize=1686852 CPUtime=1390.51
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 420579 0 0 0 138794 257 0 0 25 0 1 0 204811033 1727336448 420545 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 421713 420545 206 16 0 421154 0
Current children cumulated CPU time (s) 1390.51
Current children cumulated vsize (Kb) 1686852

[startup+1400.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=15472/2055920 swapFree=4180796/4192956
[pid=6083] ppid=6081 vsize=1699976 CPUtime=1400.52
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 423827 0 0 0 139793 259 0 0 25 0 1 0 204811033 1740775424 423793 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528556 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 424994 423793 206 16 0 424435 0
Current children cumulated CPU time (s) 1400.52
Current children cumulated vsize (Kb) 1699976

[startup+1410.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=15536/2055920 swapFree=4180796/4192956
[pid=6083] ppid=6081 vsize=1712288 CPUtime=1410.52
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 426912 0 0 0 140790 262 0 0 25 0 1 0 204811033 1753382912 426878 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 428072 426878 206 16 0 427513 0
Current children cumulated CPU time (s) 1410.52
Current children cumulated vsize (Kb) 1712288

[startup+1420.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=15280/2055920 swapFree=4180796/4192956
[pid=6083] ppid=6081 vsize=1723336 CPUtime=1420.53
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 429689 0 0 0 141789 264 0 0 25 0 1 0 204811033 1764696064 429655 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 430834 429655 206 16 0 430275 0
Current children cumulated CPU time (s) 1420.53
Current children cumulated vsize (Kb) 1723336

[startup+1430.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=15536/2055920 swapFree=4180796/4192956
[pid=6083] ppid=6081 vsize=1735428 CPUtime=1430.52
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 432715 0 0 0 142786 266 0 0 25 0 1 0 204811033 1777078272 432681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 433857 432681 206 16 0 433298 0
Current children cumulated CPU time (s) 1430.52
Current children cumulated vsize (Kb) 1735428

[startup+1440.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=15280/2055920 swapFree=4180796/4192956
[pid=6083] ppid=6081 vsize=1746628 CPUtime=1440.53
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 435517 0 0 0 143785 268 0 0 25 0 1 0 204811033 1788547072 435483 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7455693 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 436657 435483 206 16 0 436098 0
Current children cumulated CPU time (s) 1440.53
Current children cumulated vsize (Kb) 1746628

[startup+1450.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=15600/2055920 swapFree=4180796/4192956
[pid=6083] ppid=6081 vsize=1757204 CPUtime=1450.53
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 438156 0 0 0 144783 270 0 0 25 0 1 0 204811033 1799376896 438122 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 439301 438122 206 16 0 438742 0
Current children cumulated CPU time (s) 1450.53
Current children cumulated vsize (Kb) 1757204

[startup+1460.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=16048/2055920 swapFree=4180796/4192956
[pid=6083] ppid=6081 vsize=1767664 CPUtime=1460.54
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 440767 0 0 0 145782 272 0 0 25 0 1 0 204811033 1810087936 440733 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527973 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 441916 440733 206 16 0 441357 0
Current children cumulated CPU time (s) 1460.54
Current children cumulated vsize (Kb) 1767664

[startup+1470.93 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=15472/2055920 swapFree=4180796/4192956
[pid=6083] ppid=6081 vsize=1777460 CPUtime=1470.54
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 443237 0 0 0 146780 274 0 0 25 0 1 0 204811033 1820119040 443203 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 444365 443203 206 16 0 443806 0
Current children cumulated CPU time (s) 1470.54
Current children cumulated vsize (Kb) 1777460

[startup+1480.93 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=15920/2055920 swapFree=4180796/4192956
[pid=6083] ppid=6081 vsize=1787992 CPUtime=1480.54
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 445845 0 0 0 147779 275 0 0 25 0 1 0 204811033 1830903808 445811 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 446998 445811 206 16 0 446439 0
Current children cumulated CPU time (s) 1480.54
Current children cumulated vsize (Kb) 1787992

[startup+1490.94 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=14832/2055920 swapFree=4180796/4192956
[pid=6083] ppid=6081 vsize=1798320 CPUtime=1490.54
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 448453 0 0 0 148777 277 0 0 25 0 1 0 204811033 1841479680 448419 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528055 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 449580 448419 206 16 0 449021 0
Current children cumulated CPU time (s) 1490.54
Current children cumulated vsize (Kb) 1798320

[startup+1500.95 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=16240/2055920 swapFree=4180796/4192956
[pid=6083] ppid=6081 vsize=1809292 CPUtime=1500.55
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 451181 0 0 0 149776 279 0 0 25 0 1 0 204811033 1852715008 451147 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 452323 451147 206 16 0 451764 0
Current children cumulated CPU time (s) 1500.55
Current children cumulated vsize (Kb) 1809292

[startup+1510.95 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=15600/2055920 swapFree=4180796/4192956
[pid=6083] ppid=6081 vsize=1819160 CPUtime=1510.56
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 453654 0 0 0 150774 282 0 0 25 0 1 0 204811033 1862819840 453620 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 454790 453620 206 16 0 454231 0
Current children cumulated CPU time (s) 1510.56
Current children cumulated vsize (Kb) 1819160

[startup+1520.96 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=16112/2055920 swapFree=4180796/4192956
[pid=6083] ppid=6081 vsize=1829500 CPUtime=1520.56
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 456243 0 0 0 151773 283 0 0 25 0 1 0 204811033 1873408000 456209 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 457375 456209 206 16 0 456816 0
Current children cumulated CPU time (s) 1520.56
Current children cumulated vsize (Kb) 1829500

[startup+1530.97 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 6085
/proc/meminfo: memFree=15280/2055920 swapFree=4180796/4192956
[pid=6083] ppid=6081 vsize=1838192 CPUtime=1530.56
/proc/6083/stat : 6083 (Pueblo) R 6081 6083 6037 0 -1 4194304 458409 0 0 0 152772 284 0 0 25 0 1 0 204811033 1882308608 458375 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/6083/statm: 459548 458375 206 16 0 458989 0
Current children cumulated CPU time (s) 1530.56
Current children cumulated vsize (Kb) 1838192

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1536.1
CPU time (s): 1535.68
CPU user time (s): 1532.56
CPU system time (s): 3.12352
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (Kb): 1838192
The end

Launcher Data (download as text)

Begin job on node30 on Sun Jun  4 03:24:34 UTC 2006


FILE ID= 36770-1149391474

PBS_JOBID= 313470

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  093efae700664f798191c0b27cec34af

RANDOM SEED= 764995787


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.216
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1620408 kB
Buffers:         29456 kB
Cached:         336052 kB
SwapCached:       3664 kB
Active:         127212 kB
Inactive:       246952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1620408 kB
SwapTotal:     4192956 kB
SwapFree:      4180904 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14720 kB
Slab:            47420 kB
Committed_AS:   372132 kB
PageTables:       1396 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node30 on Sun Jun  4 03:50:10 UTC 2006