Trace number 37925

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 1548.45 1548.87

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_1.opb.PB06.opb
MD5SUM2fd45123d8e20b24379108257151f007
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark414
Best CPU time to get the best result obtained on this benchmark1800.71
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 414
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 488873
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 488873
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.27	c starting to Solve
18.27	c #variables read: 10000 - #constraints read: 656901
24.67	o 6372
24.84	o 6360
25.00	o 6305
25.76	o 6272
25.92	o 6260
26.49	o 6202
26.64	o 6181
26.80	o 6174
28.07	o 6170
29.36	o 6166
29.54	o 6160
29.70	o 6140
29.88	o 6113
30.04	o 6093
30.53	o 6066
30.82	o 6035
31.09	o 6029
31.68	o 6013
35.22	o 6008
35.45	o 6003
36.21	o 5970
36.38	o 5907
36.79	o 5894
37.09	o 5888
37.45	o 5880
37.68	o 5879
38.76	o 5860
39.59	o 5828
39.75	o 5797
39.92	o 5787
40.10	o 5786
40.26	o 5755
40.46	o 5747
40.65	o 5742
40.81	o 5738
41.97	o 5721
42.35	o 5717
42.51	o 5709
42.69	o 5700
42.88	o 5692
43.06	o 5671
361.54	o 5638
361.73	o 5615
361.92	o 5593
364.37	o 5592
364.52	o 5585
398.16	o 5571
400.37	o 5568
400.57	o 5565
453.36	o 5544
464.47	o 5538
464.78	o 5531
1166.11	o 5485
1166.31	o 5467
1169.56	o 5446
1169.90	o 5444
1172.02	o 5432
1172.19	o 5405
1172.39	o 5399
1172.58	o 5385
1172.77	o 5358
1172.95	o 5334
1173.12	o 5304
1173.32	o 5266
1175.02	o 5261
1178.41	o 5260
1178.58	o 5240
1178.78	o 5233
1178.96	o 5226
1179.14	o 5206
1179.32	o 5198
1179.89	o 5192
1180.06	o 5191
1180.23	o 5189
1180.41	o 5174
1180.60	o 5171
1180.83	o 5168
1181.00	o 5166
1205.55	o 5162
1213.50	o 5124
1213.67	o 5119
1216.51	o 5117
1217.64	o 5112
1217.95	o 5078
1548.59	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/node49/watcher-37925-1149393067 -o ROOT/results/node49/solver-37925-1149393067 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node49/37925-1149393067/instance-37925-1149393067.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1430600/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=2572 CPUtime=0
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 204973949 2633728 231 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 2981591 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 643 231 193 16 0 84 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1349280/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=84472 CPUtime=9.99
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 20609 0 0 0 989 10 0 0 25 0 1 0 204973949 86499328 20580 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 21118 20580 204 16 0 20559 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 84472

[startup+20.009 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1339680/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=95468 CPUtime=19.99
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 23022 0 0 0 1988 11 0 0 25 0 1 0 204973949 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 95468

[startup+30.0148 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1339808/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=95468 CPUtime=29.99
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 23022 0 0 0 2988 11 0 0 25 0 1 0 204973949 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134530506 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 95468

[startup+40.0196 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1339872/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=95468 CPUtime=40
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 23022 0 0 0 3988 12 0 0 25 0 1 0 204973949 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134530506 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 95468

[startup+50.0254 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1339936/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=95468 CPUtime=50
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 23022 0 0 0 4988 12 0 0 25 0 1 0 204973949 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 95468

[startup+60.0312 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1339936/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=95468 CPUtime=60
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 23022 0 0 0 5988 12 0 0 25 0 1 0 204973949 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 95468

[startup+70.0371 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1339936/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=95468 CPUtime=70.01
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 23022 0 0 0 6988 13 0 0 25 0 1 0 204973949 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 95468

[startup+80.0429 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1328416/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=107016 CPUtime=80.01
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 25886 0 0 0 7987 14 0 0 25 0 1 0 204973949 109584384 25857 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528590 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 26754 25857 206 16 0 26195 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 107016

[startup+90.0487 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1314144/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=121196 CPUtime=90.02
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 29444 0 0 0 8985 17 0 0 25 0 1 0 204973949 124104704 29415 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 30299 29415 206 16 0 29740 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 121196

[startup+100.054 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1301216/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=134088 CPUtime=100.02
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 32677 0 0 0 9983 19 0 0 25 0 1 0 204973949 137306112 32648 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 33522 32648 206 16 0 32963 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 134088

[startup+110.059 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1292512/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=142824 CPUtime=110.02
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 34848 0 0 0 10982 20 0 0 25 0 1 0 204973949 146251776 34819 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 35706 34819 206 16 0 35147 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 142824

[startup+120.065 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1284704/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=150536 CPUtime=120.02
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 36784 0 0 0 11981 21 0 0 25 0 1 0 204973949 154148864 36755 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 37634 36755 206 16 0 37075 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 150536

[startup+130.071 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1276192/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=159120 CPUtime=130.03
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 38930 0 0 0 12981 22 0 0 25 0 1 0 204973949 162938880 38901 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 39780 38901 206 16 0 39221 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 159120

[startup+140.077 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1265184/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=170144 CPUtime=140.03
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 41673 0 0 0 13980 23 0 0 25 0 1 0 204973949 174227456 41644 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 42536 41644 206 16 0 41977 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 170144

[startup+150.084 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1253024/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=182256 CPUtime=150.04
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 44710 0 0 0 14979 25 0 0 25 0 1 0 204973949 186630144 44681 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 45564 44681 206 16 0 45005 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 182256

[startup+160.089 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1238944/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=196376 CPUtime=160.04
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 48214 0 0 0 15977 27 0 0 25 0 1 0 204973949 201089024 48185 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 49094 48185 206 16 0 48535 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 196376

[startup+170.095 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1230432/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=204792 CPUtime=170.05
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 50337 0 0 0 16977 28 0 0 25 0 1 0 204973949 209707008 50308 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 51198 50308 206 16 0 50639 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 204792

[startup+180.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1217440/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=217812 CPUtime=180.05
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 53589 0 0 0 17975 30 0 0 25 0 1 0 204973949 223039488 53560 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 54453 53560 206 16 0 53894 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 217812

[startup+190.107 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1202080/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=233108 CPUtime=190.05
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 57418 0 0 0 18974 31 0 0 25 0 1 0 204973949 238702592 57389 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 58277 57389 206 16 0 57718 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 233108

[startup+200.113 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1187808/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=247288 CPUtime=200.05
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 60972 0 0 0 19972 33 0 0 25 0 1 0 204973949 253222912 60943 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 61822 60943 206 16 0 61263 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 247288

[startup+210.12 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 21547
/proc/meminfo: memFree=1174368/2055920 swapFree=4181408/4192956

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

Current children cumulated CPU time (s) 1330.42
Current children cumulated vsize (Kb) 1587536

[startup+1340.78 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=14816/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1599612 CPUtime=1340.41
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 398685 0 0 0 133803 238 0 0 25 0 1 0 204973949 1638002688 398656 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 399903 398656 206 16 0 399344 0
Current children cumulated CPU time (s) 1340.41
Current children cumulated vsize (Kb) 1599612

[startup+1350.79 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=15648/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1612576 CPUtime=1350.42
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 401939 0 0 0 134802 240 0 0 25 0 1 0 204973949 1651277824 401910 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 403144 401910 206 16 0 402585 0
Current children cumulated CPU time (s) 1350.42
Current children cumulated vsize (Kb) 1612576

[startup+1360.79 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=15840/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1624644 CPUtime=1360.43
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 404963 0 0 0 135801 242 0 0 25 0 1 0 204973949 1663635456 404934 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 406161 404934 206 16 0 405602 0
Current children cumulated CPU time (s) 1360.43
Current children cumulated vsize (Kb) 1624644

[startup+1370.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=15328/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1637380 CPUtime=1370.43
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 408151 0 0 0 136799 244 0 0 25 0 1 0 204973949 1676677120 408122 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 409345 408122 206 16 0 408786 0
Current children cumulated CPU time (s) 1370.43
Current children cumulated vsize (Kb) 1637380

[startup+1380.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=15392/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1651204 CPUtime=1380.43
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 411586 0 0 0 137797 246 0 0 25 0 1 0 204973949 1690832896 411557 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519903 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 412801 411557 206 16 0 412242 0
Current children cumulated CPU time (s) 1380.43
Current children cumulated vsize (Kb) 1651204

[startup+1390.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=15456/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1663380 CPUtime=1390.44
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 414647 0 0 0 138796 248 0 0 25 0 1 0 204973949 1703301120 414618 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 415845 414618 206 16 0 415286 0
Current children cumulated CPU time (s) 1390.44
Current children cumulated vsize (Kb) 1663380

[startup+1400.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=15968/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1675092 CPUtime=1400.44
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 417580 0 0 0 139795 249 0 0 25 0 1 0 204973949 1715294208 417551 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 418773 417551 206 16 0 418214 0
Current children cumulated CPU time (s) 1400.44
Current children cumulated vsize (Kb) 1675092

[startup+1410.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=15072/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1686680 CPUtime=1410.44
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 420476 0 0 0 140793 251 0 0 25 0 1 0 204973949 1727160320 420447 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 421670 420447 206 16 0 421111 0
Current children cumulated CPU time (s) 1410.44
Current children cumulated vsize (Kb) 1686680

[startup+1420.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=15840/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1699672 CPUtime=1420.45
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 423731 0 0 0 141791 254 0 0 25 0 1 0 204973949 1740464128 423702 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 424918 423702 206 16 0 424359 0
Current children cumulated CPU time (s) 1420.45
Current children cumulated vsize (Kb) 1699672

[startup+1430.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=15968/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1711864 CPUtime=1430.45
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 426775 0 0 0 142790 255 0 0 25 0 1 0 204973949 1752948736 426746 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 427966 426746 206 16 0 427407 0
Current children cumulated CPU time (s) 1430.45
Current children cumulated vsize (Kb) 1711864

[startup+1440.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=15968/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1724132 CPUtime=1440.45
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 429847 0 0 0 143788 257 0 0 25 0 1 0 204973949 1765511168 429818 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 431033 429818 206 16 0 430474 0
Current children cumulated CPU time (s) 1440.45
Current children cumulated vsize (Kb) 1724132

[startup+1450.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=14944/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1735920 CPUtime=1450.46
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 432790 0 0 0 144786 260 0 0 25 0 1 0 204973949 1777582080 432761 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 433980 432761 206 16 0 433421 0
Current children cumulated CPU time (s) 1450.46
Current children cumulated vsize (Kb) 1735920

[startup+1460.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=16032/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1747256 CPUtime=1460.46
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 435576 0 0 0 145785 261 0 0 25 0 1 0 204973949 1789190144 435547 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528531 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 436814 435547 206 16 0 436255 0
Current children cumulated CPU time (s) 1460.46
Current children cumulated vsize (Kb) 1747256

[startup+1470.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=15456/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1758580 CPUtime=1470.47
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 438410 0 0 0 146783 264 0 0 25 0 1 0 204973949 1800785920 438381 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527748 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 439645 438381 206 16 0 439086 0
Current children cumulated CPU time (s) 1470.47
Current children cumulated vsize (Kb) 1758580

[startup+1480.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=15840/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1764348 CPUtime=1480.47
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 439847 0 0 0 147781 266 0 0 25 0 1 0 204973949 1806692352 439818 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 441087 439818 206 16 0 440528 0
Current children cumulated CPU time (s) 1480.47
Current children cumulated vsize (Kb) 1764348

[startup+1490.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=14816/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1779084 CPUtime=1490.47
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 443550 0 0 0 148777 270 0 0 25 0 1 0 204973949 1821782016 443521 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 444771 443521 206 16 0 444212 0
Current children cumulated CPU time (s) 1490.47
Current children cumulated vsize (Kb) 1779084

[startup+1500.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=14816/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1791380 CPUtime=1500.48
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 446621 0 0 0 149776 272 0 0 25 0 1 0 204973949 1834373120 446592 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 447845 446592 206 16 0 447286 0
Current children cumulated CPU time (s) 1500.48
Current children cumulated vsize (Kb) 1791380

[startup+1510.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=14816/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1802092 CPUtime=1510.48
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 449313 0 0 0 150774 274 0 0 25 0 1 0 204973949 1845342208 449284 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 450523 449284 206 16 0 449964 0
Current children cumulated CPU time (s) 1510.48
Current children cumulated vsize (Kb) 1802092

[startup+1520.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=15904/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1807088 CPUtime=1520.49
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 450560 0 0 0 151774 275 0 0 25 0 1 0 204973949 1850458112 450531 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 451772 450531 206 16 0 451213 0
Current children cumulated CPU time (s) 1520.49
Current children cumulated vsize (Kb) 1807088

[startup+1530.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=15712/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1817996 CPUtime=1530.49
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 453300 0 0 0 152772 277 0 0 25 0 1 0 204973949 1861627904 453271 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 454499 453271 206 16 0 453940 0
Current children cumulated CPU time (s) 1530.49
Current children cumulated vsize (Kb) 1817996

[startup+1540.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 21742
/proc/meminfo: memFree=14816/2055920 swapFree=4181408/4192956
[pid=21547] ppid=21545 vsize=1832804 CPUtime=1540.49
/proc/21547/stat : 21547 (Pueblo13) R 21545 21547 21501 0 -1 4194304 456985 0 0 0 153769 280 0 0 25 0 1 0 204973949 1876791296 456956 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/21547/statm: 458201 456956 206 16 0 457642 0
Current children cumulated CPU time (s) 1540.49
Current children cumulated vsize (Kb) 1832804

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1548.87
CPU time (s): 1548.45
CPU user time (s): 1545.35
CPU system time (s): 3.10053
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (Kb): 1832804
The end

Launcher Data (download as text)

Begin job on node49 on Sun Jun  4 03:51:08 UTC 2006


FILE ID= 37925-1149393067

PBS_JOBID= 313536

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

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  2fd45123d8e20b24379108257151f007

RANDOM SEED= 593933744


/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:       1430808 kB
Buffers:         29512 kB
Cached:         532468 kB
SwapCached:       3304 kB
Active:         136620 kB
Inactive:       434144 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1430808 kB
SwapTotal:     4192956 kB
SwapFree:      4181408 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:          14844 kB
Slab:            40328 kB
Committed_AS:   386368 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node49 on Sun Jun  4 04:16:57 UTC 2006