Trace number 37921

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.3Signal 1429.22 1429.62

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_14.opb.PB06.opb
MD5SUM13c1b3915f4d316b882a7e551b1f0496
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark505
Best CPU time to get the best result obtained on this benchmark1800.51
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 502
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 498884
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 498884
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.06	c starting to Solve
18.07	c #variables read: 10000 - #constraints read: 656901
24.46	o 7088
24.62	o 6996
24.81	o 6981
24.99	o 6932
27.05	o 6920
27.21	o 6892
27.38	o 6891
27.60	o 6886
27.78	o 6879
28.00	o 6857
28.20	o 6844
28.36	o 6833
29.34	o 6828
29.51	o 6826
29.66	o 6800
29.83	o 6798
30.01	o 6796
30.18	o 6743
32.39	o 6151
32.54	o 6072
32.71	o 6068
39.94	o 5967
40.23	o 5931
42.41	o 5930
42.56	o 5902
42.70	o 5894
148.22	o 5859
148.36	o 5853
148.51	o 5811
151.85	o 5800
152.01	o 5786
190.08	o 5780
190.22	o 5775
190.37	o 5751
190.52	o 5732
190.66	o 5727
190.84	o 5712
194.42	o 5704
194.58	o 5699
194.73	o 5684
205.06	o 5677
212.64	o 5671
947.88	o 5669
948.06	o 5656
951.15	o 5647
960.60	o 5632
965.06	o 5629
965.22	o 5624
1429.35	Pueblo13: Global.h:70: T* xrealloc(T*, unsigned int) [with T = Lit]: Assertion `size == 0 || tmp != __null' failed.

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node11/watcher-37921-1149391890 -o ROOT/results/node11/solver-37921-1149391890 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node11/37921-1149391890/instance-37921-1149391890.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1433880/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=2540 CPUtime=0
/proc/14041/stat : 14041 (Pueblo13) D 14039 14041 13995 0 -1 4194304 242 0 0 0 0 0 0 0 18 0 1 0 204851575 2600960 213 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/14041/statm: 635 213 187 16 0 76 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1352472/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=84472 CPUtime=9.99
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 20618 0 0 0 990 9 0 0 25 0 1 0 204851575 86499328 20589 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532420 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 21118 20589 204 16 0 20559 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 84472

[startup+20.0098 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1342816/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=95468 CPUtime=19.99
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 23022 0 0 0 1989 10 0 0 25 0 1 0 204851575 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 95468

[startup+30.0159 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1342880/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=95468 CPUtime=29.99
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 23022 0 0 0 2989 10 0 0 25 0 1 0 204851575 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 95468

[startup+40.0211 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1342944/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=95468 CPUtime=40
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 23022 0 0 0 3989 11 0 0 25 0 1 0 204851575 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 95468

[startup+50.0273 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1342944/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=95468 CPUtime=50
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 23022 0 0 0 4989 11 0 0 25 0 1 0 204851575 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 95468

[startup+60.0335 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1343008/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=95468 CPUtime=60
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 23022 0 0 0 5989 11 0 0 25 0 1 0 204851575 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 95468

[startup+70.0397 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1343008/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=95468 CPUtime=70
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 23022 0 0 0 6989 11 0 0 25 0 1 0 204851575 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 95468

[startup+80.0459 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1338528/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=99912 CPUtime=80.01
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 24130 0 0 0 7989 12 0 0 25 0 1 0 204851575 102309888 24101 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 24978 24101 206 16 0 24419 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 99912

[startup+90.0511 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1325088/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=113288 CPUtime=90.01
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 27489 0 0 0 8987 14 0 0 25 0 1 0 204851575 116006912 27460 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 28322 27460 206 16 0 27763 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 113288

[startup+100.056 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1309664/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=128716 CPUtime=100.02
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 31328 0 0 0 9985 17 0 0 25 0 1 0 204851575 131805184 31299 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 32179 31299 206 16 0 31620 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 128716

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1294688/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=143624 CPUtime=110.02
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 35062 0 0 0 10982 20 0 0 25 0 1 0 204851575 147070976 35033 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 35906 35033 206 16 0 35347 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 143624

[startup+120.069 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1287648/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=150768 CPUtime=120.02
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 36828 0 0 0 11982 20 0 0 25 0 1 0 204851575 154386432 36799 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 37692 36799 206 16 0 37133 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 150768

[startup+130.075 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1282976/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=155464 CPUtime=130.03
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 38002 0 0 0 12982 21 0 0 25 0 1 0 204851575 159195136 37973 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557243 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 38866 37973 206 16 0 38307 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 155464

[startup+140.082 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1275936/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=162520 CPUtime=140.03
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 39767 0 0 0 13982 21 0 0 25 0 1 0 204851575 166420480 39738 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 40630 39738 206 16 0 40071 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 162520

[startup+150.088 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1262432/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=175900 CPUtime=150.04
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 43119 0 0 0 14980 24 0 0 25 0 1 0 204851575 180121600 43090 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 43975 43090 206 16 0 43416 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 175900

[startup+160.094 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1247968/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=190352 CPUtime=160.04
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 46727 0 0 0 15979 25 0 0 25 0 1 0 204851575 194920448 46698 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 47588 46698 206 16 0 47029 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 190352

[startup+170.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1233888/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=204292 CPUtime=170.04
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 50239 0 0 0 16977 27 0 0 25 0 1 0 204851575 209195008 50210 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 51073 50210 206 16 0 50514 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 204292

[startup+180.107 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1221600/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=216808 CPUtime=180.04
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 53318 0 0 0 17976 28 0 0 25 0 1 0 204851575 222011392 53289 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 54202 53289 206 16 0 53643 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 216808

[startup+190.113 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1207776/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=230488 CPUtime=190.04
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 56754 0 0 0 18974 30 0 0 25 0 1 0 204851575 236019712 56725 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134531523 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 57622 56725 206 16 0 57063 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 230488

[startup+200.119 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1194976/2055920 swapFree=4181380/4192956
[pid=14041] ppid=14039 vsize=243224 CPUtime=200.05
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 59943 0 0 0 19973 32 0 0 25 0 1 0 204851575 249061376 59914 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 60806 59914 206 16 0 60247 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 243224

[startup+210.125 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 14041
/proc/meminfo: memFree=1181088/2055920 swapFree=4181380/4192956

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

Current children cumulated CPU time (s) 1210.4
Current children cumulated vsize (Kb) 1619696

[startup+1220.75 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=16224/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1630108 CPUtime=1220.41
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 406368 0 0 0 121771 270 0 0 25 0 1 0 204851575 1669230592 406339 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 407527 406339 206 16 0 406968 0
Current children cumulated CPU time (s) 1220.41
Current children cumulated vsize (Kb) 1630108

[startup+1230.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=15968/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1641212 CPUtime=1230.41
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 409123 0 0 0 122770 271 0 0 25 0 1 0 204851575 1680601088 409094 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 410303 409094 206 16 0 409744 0
Current children cumulated CPU time (s) 1230.41
Current children cumulated vsize (Kb) 1641212

[startup+1240.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=15008/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1651324 CPUtime=1240.42
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 411667 0 0 0 123769 273 0 0 25 0 1 0 204851575 1690955776 411638 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 412831 411638 206 16 0 412272 0
Current children cumulated CPU time (s) 1240.42
Current children cumulated vsize (Kb) 1651324

[startup+1250.77 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=15968/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1661180 CPUtime=1250.42
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 414125 0 0 0 124767 275 0 0 25 0 1 0 204851575 1701048320 414096 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 415295 414096 206 16 0 414736 0
Current children cumulated CPU time (s) 1250.42
Current children cumulated vsize (Kb) 1661180

[startup+1260.77 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=16160/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1671752 CPUtime=1260.42
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 416757 0 0 0 125765 277 0 0 25 0 1 0 204851575 1711874048 416728 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 417938 416728 206 16 0 417379 0
Current children cumulated CPU time (s) 1260.42
Current children cumulated vsize (Kb) 1671752

[startup+1270.78 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=14880/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1682164 CPUtime=1270.43
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 419368 0 0 0 126763 280 0 0 25 0 1 0 204851575 1722535936 419339 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 420541 419339 206 16 0 419982 0
Current children cumulated CPU time (s) 1270.43
Current children cumulated vsize (Kb) 1682164

[startup+1280.79 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=15328/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1694040 CPUtime=1280.43
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 422331 0 0 0 127761 282 0 0 25 0 1 0 204851575 1734696960 422302 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 423510 422302 206 16 0 422951 0
Current children cumulated CPU time (s) 1280.43
Current children cumulated vsize (Kb) 1694040

[startup+1290.79 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=15200/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1704868 CPUtime=1290.43
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 425045 0 0 0 128759 284 0 0 25 0 1 0 204851575 1745784832 425016 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 426217 425016 206 16 0 425658 0
Current children cumulated CPU time (s) 1290.43
Current children cumulated vsize (Kb) 1704868

[startup+1300.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=15008/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1715904 CPUtime=1300.43
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 427790 0 0 0 129757 286 0 0 25 0 1 0 204851575 1757085696 427761 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8413535 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 428976 427761 206 16 0 428417 0
Current children cumulated CPU time (s) 1300.43
Current children cumulated vsize (Kb) 1715904

[startup+1310.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=15008/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1726632 CPUtime=1310.44
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 430488 0 0 0 130756 288 0 0 25 0 1 0 204851575 1768071168 430459 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 431658 430459 206 16 0 431099 0
Current children cumulated CPU time (s) 1310.44
Current children cumulated vsize (Kb) 1726632

[startup+1320.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=14880/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1737840 CPUtime=1320.44
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 433240 0 0 0 131754 290 0 0 25 0 1 0 204851575 1779548160 433211 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8418253 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 434460 433211 206 16 0 433901 0
Current children cumulated CPU time (s) 1320.44
Current children cumulated vsize (Kb) 1737840

[startup+1330.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=14944/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1749960 CPUtime=1330.45
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 436285 0 0 0 132753 292 0 0 25 0 1 0 204851575 1791959040 436256 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8413535 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 437490 436256 206 16 0 436931 0
Current children cumulated CPU time (s) 1330.45
Current children cumulated vsize (Kb) 1749960

[startup+1340.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=15968/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1761284 CPUtime=1340.45
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 439107 0 0 0 133750 295 0 0 25 0 1 0 204851575 1803554816 439078 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527731 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 440321 439078 206 16 0 439762 0
Current children cumulated CPU time (s) 1340.45
Current children cumulated vsize (Kb) 1761284

[startup+1350.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=15904/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1772132 CPUtime=1350.46
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 441817 0 0 0 134748 298 0 0 25 0 1 0 204851575 1814663168 441788 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 443033 441788 206 16 0 442474 0
Current children cumulated CPU time (s) 1350.46
Current children cumulated vsize (Kb) 1772132

[startup+1360.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=16032/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1784176 CPUtime=1360.45
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 444838 0 0 0 135745 300 0 0 25 0 1 0 204851575 1826996224 444809 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 446044 444809 206 16 0 445485 0
Current children cumulated CPU time (s) 1360.45
Current children cumulated vsize (Kb) 1784176

[startup+1370.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=15392/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1794016 CPUtime=1370.46
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 447301 0 0 0 136744 302 0 0 25 0 1 0 204851575 1837072384 447272 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528590 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 448504 447272 206 16 0 447945 0
Current children cumulated CPU time (s) 1370.46
Current children cumulated vsize (Kb) 1794016

[startup+1380.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=15584/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1801492 CPUtime=1380.47
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 449184 0 0 0 137744 303 0 0 25 0 1 0 204851575 1844727808 449155 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 450373 449155 206 16 0 449814 0
Current children cumulated CPU time (s) 1380.47
Current children cumulated vsize (Kb) 1801492

[startup+1390.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=16288/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1810084 CPUtime=1390.47
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 451323 0 0 0 138742 305 0 0 25 0 1 0 204851575 1853526016 451294 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 452521 451294 206 16 0 451962 0
Current children cumulated CPU time (s) 1390.47
Current children cumulated vsize (Kb) 1810084

[startup+1400.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=15392/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1818712 CPUtime=1400.47
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 453486 0 0 0 139741 306 0 0 25 0 1 0 204851575 1862361088 453457 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 454678 453457 206 16 0 454119 0
Current children cumulated CPU time (s) 1400.47
Current children cumulated vsize (Kb) 1818712

[startup+1410.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=14880/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1826932 CPUtime=1410.47
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 455533 0 0 0 140740 307 0 0 25 0 1 0 204851575 1870778368 455504 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 456733 455504 206 16 0 456174 0
Current children cumulated CPU time (s) 1410.47
Current children cumulated vsize (Kb) 1826932

[startup+1420.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14043
/proc/meminfo: memFree=15584/2055920 swapFree=4181336/4192956
[pid=14041] ppid=14039 vsize=1835332 CPUtime=1420.48
/proc/14041/stat : 14041 (Pueblo13) R 14039 14041 13995 0 -1 4194304 457658 0 0 0 141739 309 0 0 25 0 1 0 204851575 1879379968 457629 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517497 0 0 4096 0 0 0 0 17 1 0 0
/proc/14041/statm: 458833 457629 206 16 0 458274 0
Current children cumulated CPU time (s) 1420.48
Current children cumulated vsize (Kb) 1835332

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1429.62
CPU time (s): 1429.22
CPU user time (s): 1425.84
CPU system time (s): 3.38349
CPU usage (%): 99.9717
Max. virtual memory (cumulated for all children) (Kb): 1835332
The end

Launcher Data (download as text)

Begin job on node11 on Sun Jun  4 03:31:30 UTC 2006


FILE ID= 37921-1149391890

PBS_JOBID= 313485

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

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  13c1b3915f4d316b882a7e551b1f0496

RANDOM SEED= 519223457


/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.222
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	: 5931.00
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.222
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:       1434088 kB
Buffers:         29040 kB
Cached:         520132 kB
SwapCached:       3260 kB
Active:         126604 kB
Inactive:       431240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1434088 kB
SwapTotal:     4192956 kB
SwapFree:      4181380 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            49912 kB
Committed_AS:   409760 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node11 on Sun Jun  4 03:55:20 UTC 2006