Trace number 36766

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 1754.79 1755.28

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb
MD5SUMca3282cf347faf21ba3550ec87dd7af4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark477
Best CPU time to get the best result obtained on this benchmark1800.69
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 466
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 494728
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 494728
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.38	c starting to Solve
18.39	c #variables read: 10000 - #constraints read: 656901
24.79	o 7252
25.03	o 7235
25.25	o 7191
25.42	o 7174
25.70	o 7007
25.86	o 6971
26.03	o 6940
26.18	o 6904
26.37	o 6891
26.71	o 6854
26.91	o 6845
27.07	o 6822
27.23	o 6784
27.41	o 6729
27.66	o 6680
28.14	o 6634
29.91	o 6631
30.06	o 6628
30.21	o 6604
30.37	o 6602
30.79	o 6594
30.96	o 6559
31.45	o 6528
31.61	o 6489
32.33	o 6452
35.22	o 6384
35.38	o 6376
36.34	o 6373
36.63	o 6334
36.80	o 6326
36.96	o 6285
37.11	o 6277
37.94	o 6269
38.10	o 6264
38.26	o 6237
38.43	o 6222
38.60	o 6193
39.02	o 6167
71.41	o 6085
71.69	o 6081
71.89	o 6053
72.09	o 6049
72.34	o 6023
72.54	o 6019
72.73	o 5997
72.92	o 5993
73.12	o 5965
73.32	o 5961
73.98	o 5942
74.17	o 5931
74.38	o 5911
74.57	o 5900
74.80	o 5895
75.03	o 5883
75.24	o 5876
75.45	o 5859
75.65	o 5828
78.44	o 5809
78.64	o 5805
78.96	o 5779
79.14	o 5775
80.80	o 5767
80.99	o 5753
137.52	o 5752
138.64	o 5743
167.29	o 5733
181.83	o 5726
181.99	o 5721
182.47	o 5720
968.30	o 5716
973.42	o 5714
973.87	o 5710
974.07	o 5702
974.23	o 5701
974.38	o 5677
977.81	o 5673
1185.92	o 5671
1186.10	o 5667
1754.99	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/node1/watcher-36766-1149390468 -o ROOT/results/node1/solver-36766-1149390468 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node1/36766-1149390468/instance-36766-1149390468.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1568136/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=2280 CPUtime=0
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 186 0 0 0 0 0 0 0 18 0 1 0 204708370 2334720 157 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4160348256 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 570 168 146 16 0 11 0

[startup+10.0029 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1486744/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=84472 CPUtime=9.98
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 20612 0 0 0 989 9 0 0 25 0 1 0 204708370 86499328 20583 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532442 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 21118 20583 204 16 0 20559 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 84472

[startup+20.01 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1477208/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=95468 CPUtime=19.99
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 23022 0 0 0 1988 11 0 0 25 0 1 0 204708370 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 95468

[startup+30.0162 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1477272/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=95468 CPUtime=30
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 23022 0 0 0 2989 11 0 0 25 0 1 0 204708370 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134531555 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 95468

[startup+40.0224 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1477336/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=95468 CPUtime=40
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 23022 0 0 0 3988 12 0 0 25 0 1 0 204708370 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 95468

[startup+50.0286 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1477400/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=95468 CPUtime=50
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 23022 0 0 0 4987 13 0 0 25 0 1 0 204708370 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 95468

[startup+60.0347 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1477400/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=95468 CPUtime=60.01
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 23022 0 0 0 5988 13 0 0 25 0 1 0 204708370 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 95468

[startup+70.0409 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1477400/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=95468 CPUtime=70.01
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 23022 0 0 0 6988 13 0 0 25 0 1 0 204708370 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 95468

[startup+80.0481 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1474840/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=98056 CPUtime=80.01
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 23661 0 0 0 7987 14 0 0 25 0 1 0 204708370 100409344 23632 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 24514 23632 206 16 0 23955 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 98056

[startup+90.0533 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1462040/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=110864 CPUtime=90.02
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 26857 0 0 0 8986 16 0 0 25 0 1 0 204708370 113524736 26828 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 27716 26828 206 16 0 27157 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 110864

[startup+100.058 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1454744/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=118056 CPUtime=100.01
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 28678 0 0 0 9984 17 0 0 25 0 1 0 204708370 120889344 28649 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 29514 28649 206 16 0 28955 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 118056

[startup+110.065 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1448280/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=124532 CPUtime=110.02
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 30283 0 0 0 10984 18 0 0 25 0 1 0 204708370 127520768 30254 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 31133 30254 206 16 0 30574 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 124532

[startup+120.071 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1438040/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=134700 CPUtime=120.02
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 32833 0 0 0 11983 19 0 0 25 0 1 0 204708370 137932800 32804 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 33675 32804 206 16 0 33116 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 134700

[startup+130.077 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1423704/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=149048 CPUtime=130.03
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 36408 0 0 0 12981 22 0 0 25 0 1 0 204708370 152625152 36379 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 37262 36379 206 16 0 36703 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 149048

[startup+140.083 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1409560/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=163216 CPUtime=140.04
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 39928 0 0 0 13980 24 0 0 25 0 1 0 204708370 167133184 39899 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 40804 39899 206 16 0 40245 0
Current children cumulated CPU time (s) 140.04
Current children cumulated vsize (Kb) 163216

[startup+150.089 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1393624/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=179096 CPUtime=150.03
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 43905 0 0 0 14978 25 0 0 25 0 1 0 204708370 183394304 43876 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 44774 43876 206 16 0 44215 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 179096

[startup+160.095 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1379672/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=193024 CPUtime=160.03
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 47407 0 0 0 15976 27 0 0 25 0 1 0 204708370 197656576 47378 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 48256 47378 206 16 0 47697 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 193024

[startup+170.102 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1365464/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=207344 CPUtime=170.04
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 50951 0 0 0 16975 29 0 0 25 0 1 0 204708370 212320256 50922 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 51836 50922 206 16 0 51277 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 207344

[startup+180.108 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1352408/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=220320 CPUtime=180.05
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 54205 0 0 0 17973 32 0 0 25 0 1 0 204708370 225607680 54176 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 55080 54176 206 16 0 54521 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 220320

[startup+190.114 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1338840/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=233828 CPUtime=190.05
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 57588 0 0 0 18971 34 0 0 25 0 1 0 204708370 239439872 57559 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 58457 57559 206 16 0 57898 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 233828

[startup+200.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1327000/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=245652 CPUtime=200.05
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 60542 0 0 0 19970 35 0 0 25 0 1 0 204708370 251547648 60513 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 61413 60513 206 16 0 60854 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 245652

[startup+210.125 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14864
/proc/meminfo: memFree=1314200/2055920 swapFree=4181376/4192956

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

Current children cumulated CPU time (s) 1540.51
Current children cumulated vsize (Kb) 1621472

[startup+1550.94 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14864
/proc/meminfo: memFree=14872/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1632456 CPUtime=1550.51
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 406882 0 0 0 154801 250 0 0 25 0 1 0 204708370 1671634944 406853 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517913 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 408114 406853 206 16 0 407555 0
Current children cumulated CPU time (s) 1550.51
Current children cumulated vsize (Kb) 1632456

[startup+1560.95 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14864
/proc/meminfo: memFree=15128/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1641304 CPUtime=1560.51
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 409104 0 0 0 155801 250 0 0 25 0 1 0 204708370 1680695296 409075 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 410326 409075 206 16 0 409767 0
Current children cumulated CPU time (s) 1560.51
Current children cumulated vsize (Kb) 1641304

[startup+1570.95 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14864
/proc/meminfo: memFree=15832/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1651436 CPUtime=1570.52
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 411620 0 0 0 156800 252 0 0 25 0 1 0 204708370 1691070464 411591 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 412859 411591 206 16 0 412300 0
Current children cumulated CPU time (s) 1570.52
Current children cumulated vsize (Kb) 1651436

[startup+1580.96 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14864
/proc/meminfo: memFree=15192/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1662732 CPUtime=1580.52
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 414453 0 0 0 157798 254 0 0 25 0 1 0 204708370 1702637568 414424 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 415683 414424 206 16 0 415124 0
Current children cumulated CPU time (s) 1580.52
Current children cumulated vsize (Kb) 1662732

[startup+1590.97 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14864
/proc/meminfo: memFree=16024/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1672716 CPUtime=1590.52
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 416941 0 0 0 158796 256 0 0 25 0 1 0 204708370 1712861184 416912 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 418179 416912 206 16 0 417620 0
Current children cumulated CPU time (s) 1590.52
Current children cumulated vsize (Kb) 1672716

[startup+1600.97 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14864
/proc/meminfo: memFree=15704/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1682244 CPUtime=1600.53
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 419318 0 0 0 159795 258 0 0 25 0 1 0 204708370 1722617856 419289 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 420561 419289 206 16 0 420002 0
Current children cumulated CPU time (s) 1600.53
Current children cumulated vsize (Kb) 1682244

[startup+1610.98 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14864
/proc/meminfo: memFree=16024/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1692612 CPUtime=1610.54
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 421912 0 0 0 160795 259 0 0 25 0 1 0 204708370 1733234688 421883 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 423153 421883 206 16 0 422594 0
Current children cumulated CPU time (s) 1610.54
Current children cumulated vsize (Kb) 1692612

[startup+1620.99 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14864
/proc/meminfo: memFree=16088/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1703176 CPUtime=1620.54
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 424571 0 0 0 161794 260 0 0 25 0 1 0 204708370 1744052224 424542 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 425794 424542 206 16 0 425235 0
Current children cumulated CPU time (s) 1620.54
Current children cumulated vsize (Kb) 1703176

[startup+1630.99 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14864
/proc/meminfo: memFree=15640/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1714376 CPUtime=1630.54
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 427374 0 0 0 162792 262 0 0 25 0 1 0 204708370 1755521024 427345 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 428594 427345 206 16 0 428035 0
Current children cumulated CPU time (s) 1630.54
Current children cumulated vsize (Kb) 1714376

[startup+1641 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14864
/proc/meminfo: memFree=15640/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1725128 CPUtime=1640.54
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 430052 0 0 0 163791 263 0 0 25 0 1 0 204708370 1766531072 430023 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 431282 430023 206 16 0 430723 0
Current children cumulated CPU time (s) 1640.54
Current children cumulated vsize (Kb) 1725128

[startup+1651.01 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14864
/proc/meminfo: memFree=15896/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1735520 CPUtime=1650.55
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 432668 0 0 0 164790 265 0 0 25 0 1 0 204708370 1777172480 432639 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 433880 432639 206 16 0 433321 0
Current children cumulated CPU time (s) 1650.55
Current children cumulated vsize (Kb) 1735520

[startup+1661.01 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14864
/proc/meminfo: memFree=15320/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1745360 CPUtime=1660.55
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 435114 0 0 0 165789 266 0 0 25 0 1 0 204708370 1787248640 435085 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 436340 435085 206 16 0 435781 0
Current children cumulated CPU time (s) 1660.55
Current children cumulated vsize (Kb) 1745360

[startup+1671.02 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14864
/proc/meminfo: memFree=16344/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1756620 CPUtime=1670.55
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 437923 0 0 0 166787 268 0 0 25 0 1 0 204708370 1798778880 437894 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 439155 437894 206 16 0 438596 0
Current children cumulated CPU time (s) 1670.55
Current children cumulated vsize (Kb) 1756620

[startup+1681.03 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14864
/proc/meminfo: memFree=15320/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1766836 CPUtime=1680.56
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 440485 0 0 0 167786 270 0 0 25 0 1 0 204708370 1809240064 440456 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 441709 440456 206 16 0 441150 0
Current children cumulated CPU time (s) 1680.56
Current children cumulated vsize (Kb) 1766836

[startup+1691.03 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14864
/proc/meminfo: memFree=16152/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1776648 CPUtime=1690.57
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 442949 0 0 0 168785 272 0 0 25 0 1 0 204708370 1819287552 442920 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 444162 442920 206 16 0 443603 0
Current children cumulated CPU time (s) 1690.57
Current children cumulated vsize (Kb) 1776648

[startup+1701.04 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14865
/proc/meminfo: memFree=15768/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1787872 CPUtime=1700.56
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 445737 0 0 0 169782 274 0 0 25 0 1 0 204708370 1830780928 445708 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559528 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 446968 445708 206 16 0 446409 0
Current children cumulated CPU time (s) 1700.56
Current children cumulated vsize (Kb) 1787872

[startup+1711.04 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14865
/proc/meminfo: memFree=15512/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1798764 CPUtime=1710.57
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 448476 0 0 0 170780 277 0 0 25 0 1 0 204708370 1841934336 448447 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517497 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 449691 448447 206 16 0 449132 0
Current children cumulated CPU time (s) 1710.57
Current children cumulated vsize (Kb) 1798764

[startup+1721.05 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14866
/proc/meminfo: memFree=15320/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1809688 CPUtime=1720.57
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 451215 0 0 0 171779 278 0 0 25 0 1 0 204708370 1853120512 451186 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 452422 451186 206 16 0 451863 0
Current children cumulated CPU time (s) 1720.57
Current children cumulated vsize (Kb) 1809688

[startup+1731.06 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14866
/proc/meminfo: memFree=15704/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1819984 CPUtime=1730.58
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 453793 0 0 0 172778 280 0 0 25 0 1 0 204708370 1863663616 453764 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 454996 453764 206 16 0 454437 0
Current children cumulated CPU time (s) 1730.58
Current children cumulated vsize (Kb) 1819984

[startup+1741.07 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14866
/proc/meminfo: memFree=15832/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1829088 CPUtime=1740.59
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 456064 0 0 0 173777 282 0 0 25 0 1 0 204708370 1872986112 456035 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 457272 456035 206 16 0 456713 0
Current children cumulated CPU time (s) 1740.59
Current children cumulated vsize (Kb) 1829088

[startup+1751.07 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 14866
/proc/meminfo: memFree=15128/2055920 swapFree=4181376/4192956
[pid=14864] ppid=14862 vsize=1839004 CPUtime=1750.58
/proc/14864/stat : 14864 (Pueblo) R 14862 14864 14818 0 -1 4194304 458535 0 0 0 174774 284 0 0 25 0 1 0 204708370 1883140096 458506 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14864/statm: 459751 458506 206 16 0 459192 0
Current children cumulated CPU time (s) 1750.58
Current children cumulated vsize (Kb) 1839004

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1755.28
CPU time (s): 1754.79
CPU user time (s): 1751.65
CPU system time (s): 3.13752
CPU usage (%): 99.9718
Max. virtual memory (cumulated for all children) (Kb): 1839004
The end

Launcher Data (download as text)

Begin job on node1 on Sun Jun  4 03:07:48 UTC 2006


FILE ID= 36766-1149390468

PBS_JOBID= 313416

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  ca3282cf347faf21ba3550ec87dd7af4

RANDOM SEED= 622322892


/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.231
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.231
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:       1568344 kB
Buffers:         25476 kB
Cached:         395796 kB
SwapCached:       3320 kB
Active:         139716 kB
Inactive:       290300 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1568344 kB
SwapTotal:     4192956 kB
SwapFree:      4181376 kB
Dirty:             200 kB
Writeback:           0 kB
Mapped:          14952 kB
Slab:            43552 kB
Committed_AS:   353172 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node1 on Sun Jun  4 03:37:03 UTC 2006