Trace number 37920

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 1520.84 1521.4

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb
MD5SUM093efae700664f798191c0b27cec34af
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark447
Best CPU time to get the best result obtained on this benchmark1800.6
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 447
Optimality of the best value was proved NO
Number of variables10000
Total number of constraints656900
Number of constraints which are clauses656900
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 10000
Biggest coefficient in the objective function 99
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 494527
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 99
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 494527
Number of bits of the biggest sum of numbers19
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
18.01	c starting to Solve
18.01	c #variables read: 10000 - #constraints read: 656901
24.40	o 7310
24.56	o 7220
24.73	o 7180
24.90	o 7090
25.10	o 7048
25.48	o 6894
25.64	o 6823
25.88	o 6754
26.04	o 6727
26.21	o 6683
26.36	o 6656
27.37	o 6645
38.51	o 6191
39.06	o 6163
43.62	o 6104
43.78	o 6095
43.96	o 6033
183.25	o 6010
183.43	o 5974
183.81	o 5960
184.26	o 5946
185.52	o 5937
189.60	o 5921
229.40	o 5907
229.82	o 5877
230.07	o 5872
230.27	o 5860
230.46	o 5809
240.00	o 5799
240.22	o 5782
240.42	o 5755
251.74	o 5742
251.96	o 5717
252.21	o 5700
284.30	o 5634
287.65	o 5629
299.04	o 5614
299.18	o 5578
299.61	o 5559
314.08	o 5548
314.23	o 5546
328.32	o 5519
328.46	o 5483
1521.10	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/node67/watcher-37920-1149391425 -o ROOT/results/node67/solver-37920-1149391425 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node67/37920-1149391425/instance-37920-1149391425.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1200040/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=916 CPUtime=0
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 44 0 0 0 0 0 0 0 18 0 1 0 204811933 937984 28 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 6890276 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 229 28 20 16 0 8 0

[startup+10.0026 s]
/proc/loadavg: 0.93 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1118704/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=84472 CPUtime=9.99
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 20622 0 0 0 990 9 0 0 25 0 1 0 204811933 86499328 20593 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532408 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 21118 20593 204 16 0 20559 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 84472

[startup+20.0094 s]
/proc/loadavg: 0.94 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1109176/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=95468 CPUtime=19.99
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 23022 0 0 0 1989 10 0 0 25 0 1 0 204811933 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 95468

[startup+30.0163 s]
/proc/loadavg: 0.95 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1109304/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=95468 CPUtime=30
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 23022 0 0 0 2989 11 0 0 25 0 1 0 204811933 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 95468

[startup+40.0222 s]
/proc/loadavg: 0.95 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1109240/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=95468 CPUtime=39.99
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 23022 0 0 0 3987 12 0 0 25 0 1 0 204811933 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 95468

[startup+50.028 s]
/proc/loadavg: 0.96 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1109304/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=95468 CPUtime=49.99
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 23022 0 0 0 4987 12 0 0 25 0 1 0 204811933 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 95468

[startup+60.0339 s]
/proc/loadavg: 0.97 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1109304/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=95468 CPUtime=60
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 23022 0 0 0 5987 13 0 0 25 0 1 0 204811933 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 95468

[startup+70.0398 s]
/proc/loadavg: 0.97 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1108664/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=96212 CPUtime=70
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 23188 0 0 0 6987 13 0 0 25 0 1 0 204811933 98521088 23159 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 24053 23159 206 16 0 23494 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 96212

[startup+80.0456 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1103928/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=100872 CPUtime=80
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 24371 0 0 0 7986 14 0 0 25 0 1 0 204811933 103292928 24342 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 25218 24342 206 16 0 24659 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 100872

[startup+90.0515 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1097592/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=107264 CPUtime=90.01
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 25951 0 0 0 8986 15 0 0 25 0 1 0 204811933 109838336 25922 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 26816 25922 206 16 0 26257 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 107264

[startup+100.057 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1089912/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=114808 CPUtime=100.01
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 27863 0 0 0 9985 16 0 0 25 0 1 0 204811933 117563392 27834 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 28702 27834 206 16 0 28143 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 114808

[startup+110.063 s]
/proc/loadavg: 0.98 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1083704/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=121008 CPUtime=110.01
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 29418 0 0 0 10985 16 0 0 25 0 1 0 204811933 123912192 29389 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 30252 29389 206 16 0 29693 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 121008

[startup+120.069 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1076088/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=128664 CPUtime=120.01
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 31314 0 0 0 11984 17 0 0 25 0 1 0 204811933 131751936 31285 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 32166 31285 206 16 0 31607 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 128664

[startup+130.075 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1068280/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=136380 CPUtime=130.02
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 33257 0 0 0 12983 19 0 0 25 0 1 0 204811933 139653120 33228 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 34095 33228 206 16 0 33536 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 136380

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1059128/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=145556 CPUtime=140.02
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 35547 0 0 0 13982 20 0 0 25 0 1 0 204811933 149049344 35518 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 36389 35518 206 16 0 35830 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 145556

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1048952/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=155828 CPUtime=150.02
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 38088 0 0 0 14981 21 0 0 25 0 1 0 204811933 159567872 38059 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557390 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 38957 38059 206 16 0 38398 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 155828

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1040696/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=164020 CPUtime=160.02
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 40147 0 0 0 15980 22 0 0 25 0 1 0 204811933 167956480 40118 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 41005 40118 206 16 0 40446 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 164020

[startup+170.099 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1033208/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=171544 CPUtime=170.02
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 42024 0 0 0 16979 23 0 0 25 0 1 0 204811933 175661056 41995 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 42886 41995 206 16 0 42327 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 171544

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1024824/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=179860 CPUtime=180.03
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 44116 0 0 0 17978 25 0 0 25 0 1 0 204811933 184176640 44087 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 44965 44087 206 16 0 44406 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 179860

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1015352/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=189384 CPUtime=190.03
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 46481 0 0 0 18977 26 0 0 25 0 1 0 204811933 193929216 46452 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 47346 46452 206 16 0 46787 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 189384

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 4105
/proc/meminfo: memFree=1002168/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=202444 CPUtime=200.03
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 49763 0 0 0 19975 28 0 0 25 0 1 0 204811933 207302656 49734 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 50611 49734 206 16 0 50052 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 202444

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.99 2/64 4105
/proc/meminfo: memFree=991224/2055920 swapFree=4181736/4192956

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

Current children cumulated CPU time (s) 1310.3
Current children cumulated vsize (Kb) 1599428

[startup+1320.8 s]
/proc/loadavg: 1.06 0.99 0.99 2/64 4107
/proc/meminfo: memFree=15480/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1612016 CPUtime=1320.3
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 401859 0 0 0 131785 245 0 0 25 0 1 0 204811933 1650704384 401830 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 403004 401830 206 16 0 402445 0
Current children cumulated CPU time (s) 1320.3
Current children cumulated vsize (Kb) 1612016

[startup+1330.81 s]
/proc/loadavg: 1.05 0.99 0.99 2/64 4107
/proc/meminfo: memFree=16248/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1626496 CPUtime=1330.31
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 405491 0 0 0 132783 248 0 0 25 0 1 0 204811933 1665531904 405462 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 406624 405462 206 16 0 406065 0
Current children cumulated CPU time (s) 1330.31
Current children cumulated vsize (Kb) 1626496

[startup+1340.81 s]
/proc/loadavg: 1.04 0.99 0.99 2/64 4107
/proc/meminfo: memFree=14904/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1639084 CPUtime=1340.31
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 408607 0 0 0 133781 250 0 0 25 0 1 0 204811933 1678422016 408578 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 409771 408578 206 16 0 409212 0
Current children cumulated CPU time (s) 1340.31
Current children cumulated vsize (Kb) 1639084

[startup+1350.82 s]
/proc/loadavg: 1.04 0.99 0.99 2/64 4107
/proc/meminfo: memFree=15544/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1652360 CPUtime=1350.31
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 411937 0 0 0 134778 253 0 0 25 0 1 0 204811933 1692016640 411908 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134557342 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 413090 411908 206 16 0 412531 0
Current children cumulated CPU time (s) 1350.31
Current children cumulated vsize (Kb) 1652360

[startup+1360.82 s]
/proc/loadavg: 1.03 0.99 0.99 2/64 4107
/proc/meminfo: memFree=15224/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1665088 CPUtime=1360.31
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 415103 0 0 0 135776 255 0 0 25 0 1 0 204811933 1705050112 415074 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 416272 415074 206 16 0 415713 0
Current children cumulated CPU time (s) 1360.31
Current children cumulated vsize (Kb) 1665088

[startup+1370.83 s]
/proc/loadavg: 1.03 0.99 0.99 2/64 4107
/proc/meminfo: memFree=15672/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1678308 CPUtime=1370.32
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 418437 0 0 0 136774 258 0 0 25 0 1 0 204811933 1718587392 418408 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 419577 418408 206 16 0 419018 0
Current children cumulated CPU time (s) 1370.32
Current children cumulated vsize (Kb) 1678308

[startup+1380.84 s]
/proc/loadavg: 1.02 0.99 0.99 2/64 4107
/proc/meminfo: memFree=16056/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1691800 CPUtime=1380.32
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 421790 0 0 0 137773 259 0 0 25 0 1 0 204811933 1732403200 421761 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 422950 421761 206 16 0 422391 0
Current children cumulated CPU time (s) 1380.32
Current children cumulated vsize (Kb) 1691800

[startup+1390.84 s]
/proc/loadavg: 1.02 0.99 0.99 2/64 4107
/proc/meminfo: memFree=15544/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1704508 CPUtime=1390.32
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 424980 0 0 0 138771 261 0 0 25 0 1 0 204811933 1745416192 424951 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 426127 424951 206 16 0 425568 0
Current children cumulated CPU time (s) 1390.32
Current children cumulated vsize (Kb) 1704508

[startup+1400.85 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 4107
/proc/meminfo: memFree=15800/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1716460 CPUtime=1400.32
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 427974 0 0 0 139769 263 0 0 25 0 1 0 204811933 1757655040 427945 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 429115 427945 206 16 0 428556 0
Current children cumulated CPU time (s) 1400.32
Current children cumulated vsize (Kb) 1716460

[startup+1410.86 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 4107
/proc/meminfo: memFree=16312/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1728320 CPUtime=1410.33
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 430925 0 0 0 140768 265 0 0 25 0 1 0 204811933 1769799680 430896 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528537 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 432080 430896 206 16 0 431521 0
Current children cumulated CPU time (s) 1410.33
Current children cumulated vsize (Kb) 1728320

[startup+1420.86 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 4107
/proc/meminfo: memFree=15672/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1739672 CPUtime=1420.32
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 433763 0 0 0 141766 266 0 0 25 0 1 0 204811933 1781424128 433734 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 434918 433734 206 16 0 434359 0
Current children cumulated CPU time (s) 1420.32
Current children cumulated vsize (Kb) 1739672

[startup+1430.87 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 4107
/proc/meminfo: memFree=15480/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1750564 CPUtime=1430.33
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 436482 0 0 0 142765 268 0 0 25 0 1 0 204811933 1792577536 436453 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559496 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 437641 436453 206 16 0 437082 0
Current children cumulated CPU time (s) 1430.33
Current children cumulated vsize (Kb) 1750564

[startup+1440.87 s]
/proc/loadavg: 1.01 0.99 0.99 2/64 4107
/proc/meminfo: memFree=15160/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1761596 CPUtime=1440.33
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 439259 0 0 0 143764 269 0 0 25 0 1 0 204811933 1803874304 439230 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 440399 439230 206 16 0 439840 0
Current children cumulated CPU time (s) 1440.33
Current children cumulated vsize (Kb) 1761596

[startup+1450.88 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4107
/proc/meminfo: memFree=15800/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1771748 CPUtime=1450.33
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 441786 0 0 0 144762 271 0 0 25 0 1 0 204811933 1814269952 441757 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 442937 441757 206 16 0 442378 0
Current children cumulated CPU time (s) 1450.33
Current children cumulated vsize (Kb) 1771748

[startup+1460.88 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4107
/proc/meminfo: memFree=16120/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1782128 CPUtime=1460.33
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 444379 0 0 0 145761 272 0 0 25 0 1 0 204811933 1824899072 444350 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 445532 444350 206 16 0 444973 0
Current children cumulated CPU time (s) 1460.33
Current children cumulated vsize (Kb) 1782128

[startup+1470.89 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4107
/proc/meminfo: memFree=15160/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1792220 CPUtime=1470.34
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 446923 0 0 0 146760 274 0 0 25 0 1 0 204811933 1835233280 446894 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559502 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 448055 446894 206 16 0 447496 0
Current children cumulated CPU time (s) 1470.34
Current children cumulated vsize (Kb) 1792220

[startup+1480.9 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4107
/proc/meminfo: memFree=15032/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1803100 CPUtime=1480.34
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 449625 0 0 0 147758 276 0 0 25 0 1 0 204811933 1846374400 449596 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528598 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 450775 449596 206 16 0 450216 0
Current children cumulated CPU time (s) 1480.34
Current children cumulated vsize (Kb) 1803100

[startup+1490.9 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4107
/proc/meminfo: memFree=15544/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1813256 CPUtime=1490.35
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 452191 0 0 0 148757 278 0 0 25 0 1 0 204811933 1856774144 452162 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 453314 452162 206 16 0 452755 0
Current children cumulated CPU time (s) 1490.35
Current children cumulated vsize (Kb) 1813256

[startup+1500.91 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4107
/proc/meminfo: memFree=15864/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1823640 CPUtime=1500.35
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 454790 0 0 0 149755 280 0 0 25 0 1 0 204811933 1867407360 454761 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 455910 454761 206 16 0 455351 0
Current children cumulated CPU time (s) 1500.35
Current children cumulated vsize (Kb) 1823640

[startup+1510.91 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4107
/proc/meminfo: memFree=15736/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1833000 CPUtime=1510.35
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 457120 0 0 0 150753 282 0 0 25 0 1 0 204811933 1876992000 457091 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 458250 457091 206 16 0 457691 0
Current children cumulated CPU time (s) 1510.35
Current children cumulated vsize (Kb) 1833000

[startup+1520.92 s]
/proc/loadavg: 1.00 0.99 0.99 2/64 4107
/proc/meminfo: memFree=14968/2055920 swapFree=4181736/4192956
[pid=4105] ppid=4103 vsize=1843004 CPUtime=1520.35
/proc/4105/stat : 4105 (Pueblo13) R 4103 4105 4059 0 -1 4194304 459615 0 0 0 151752 283 0 0 25 0 1 0 204811933 1887236096 459586 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/4105/statm: 460751 459586 206 16 0 460192 0
Current children cumulated CPU time (s) 1520.35
Current children cumulated vsize (Kb) 1843004

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1521.4
CPU time (s): 1520.84
CPU user time (s): 1517.71
CPU system time (s): 3.13152
CPU usage (%): 99.9629
Max. virtual memory (cumulated for all children) (Kb): 1843004
The end

Launcher Data (download as text)

Begin job on node67 on Sun Jun  4 03:23:45 UTC 2006


FILE ID= 37920-1149391425

PBS_JOBID= 313465

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

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  093efae700664f798191c0b27cec34af

RANDOM SEED= 318299112


/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.264
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.264
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:       1200248 kB
Buffers:         26784 kB
Cached:         759768 kB
SwapCached:       2792 kB
Active:         109624 kB
Inactive:       685496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1200248 kB
SwapTotal:     4192956 kB
SwapFree:      4181736 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14784 kB
Slab:            46548 kB
Committed_AS:   392300 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node67 on Sun Jun  4 03:49:07 UTC 2006