Trace number 37913

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 1525.01 1525.59

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_7.opb.PB06.opb
MD5SUM3119db8d3d273f04fc4f3b1324a85224
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark469
Best CPU time to get the best result obtained on this benchmark1800.72
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 452
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 493167
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 493167
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.23	c starting to Solve
18.24	c #variables read: 10000 - #constraints read: 656901
24.59	o 6845
24.75	o 6835
24.91	o 6707
25.08	o 6697
25.37	o 6630
28.93	o 6588
29.22	o 6553
40.92	o 6137
41.12	o 6136
41.31	o 6092
41.50	o 6035
41.69	o 6029
41.95	o 5960
42.13	o 5959
42.35	o 5895
42.52	o 5882
42.70	o 5867
42.88	o 5866
43.13	o 5803
43.33	o 5774
43.54	o 5773
355.33	o 5755
355.48	o 5728
355.85	o 5724
355.99	o 5715
377.52	o 5706
377.77	o 5702
618.71	o 5700
620.40	o 5698
620.54	o 5691
620.74	o 5685
677.45	o 5672
692.24	o 5666
943.55	o 5656
1515.69	o 5583
1515.84	o 5532
1516.12	o 5513
1516.28	o 5497
1516.44	o 5489
1525.31	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/node34/watcher-37913-1149389606 -o ROOT/results/node34/solver-37913-1149389606 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node34/37913-1149389606/instance-37913-1149389606.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 4635
/proc/meminfo: memFree=1618512/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=2572 CPUtime=0
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 262 0 0 0 0 0 0 0 18 0 1 0 204624429 2633728 233 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8187607 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 643 233 193 16 0 84 0

[startup+10.0026 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4635
/proc/meminfo: memFree=1537128/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=84472 CPUtime=9.99
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 20618 0 0 0 990 9 0 0 25 0 1 0 204624429 86499328 20589 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532408 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 21118 20589 204 16 0 20559 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 84472

[startup+20.0092 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4635
/proc/meminfo: memFree=1527528/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=95468 CPUtime=19.99
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 23022 0 0 0 1989 10 0 0 25 0 1 0 204624429 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 95468

[startup+30.0149 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4635
/proc/meminfo: memFree=1527656/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=95468 CPUtime=30
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 23022 0 0 0 2989 11 0 0 25 0 1 0 204624429 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 95468

[startup+40.0206 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4635
/proc/meminfo: memFree=1527720/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=95468 CPUtime=39.99
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 23022 0 0 0 3988 11 0 0 25 0 1 0 204624429 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 95468

[startup+50.0263 s]
/proc/loadavg: 1.07 1.02 1.00 2/64 4635
/proc/meminfo: memFree=1527720/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=95468 CPUtime=50
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 23022 0 0 0 4987 13 0 0 25 0 1 0 204624429 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 95468

[startup+60.032 s]
/proc/loadavg: 1.06 1.01 1.00 2/64 4635
/proc/meminfo: memFree=1527720/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=95468 CPUtime=60.01
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 23022 0 0 0 5987 14 0 0 25 0 1 0 204624429 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 95468

[startup+70.0377 s]
/proc/loadavg: 1.05 1.01 1.00 2/64 4635
/proc/meminfo: memFree=1519848/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=103340 CPUtime=70
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 24993 0 0 0 6984 16 0 0 25 0 1 0 204624429 105820160 24964 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528057 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 25835 24964 206 16 0 25276 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 103340

[startup+80.0434 s]
/proc/loadavg: 1.04 1.01 1.00 2/64 4635
/proc/meminfo: memFree=1503272/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=119884 CPUtime=80.01
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 29136 0 0 0 7982 19 0 0 25 0 1 0 204624429 122761216 29107 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 29971 29107 206 16 0 29412 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 119884

[startup+90.0491 s]
/proc/loadavg: 1.03 1.01 1.00 2/64 4635
/proc/meminfo: memFree=1485416/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=137792 CPUtime=90.01
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 33580 0 0 0 8980 21 0 0 25 0 1 0 204624429 141099008 33551 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 34448 33551 206 16 0 33889 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 137792

[startup+100.055 s]
/proc/loadavg: 1.03 1.01 1.00 2/64 4635
/proc/meminfo: memFree=1471272/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=151896 CPUtime=100.01
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 37103 0 0 0 9977 24 0 0 25 0 1 0 204624429 155541504 37074 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 37974 37074 206 16 0 37415 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 151896

[startup+110.06 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 4635
/proc/meminfo: memFree=1454760/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=168284 CPUtime=110.02
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 41216 0 0 0 10976 26 0 0 25 0 1 0 204624429 172322816 41187 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527836 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 42071 41187 206 16 0 41512 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 168284

[startup+120.066 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 4635
/proc/meminfo: memFree=1437352/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=185688 CPUtime=120.01
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 45576 0 0 0 11973 28 0 0 25 0 1 0 204624429 190144512 45547 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 46422 45547 206 16 0 45863 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 185688

[startup+130.072 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 4635
/proc/meminfo: memFree=1420712/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=202340 CPUtime=130.02
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 49723 0 0 0 12971 31 0 0 25 0 1 0 204624429 207196160 49694 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527839 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 50585 49694 206 16 0 50026 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 202340

[startup+140.078 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 4635
/proc/meminfo: memFree=1403624/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=219660 CPUtime=140.02
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 54000 0 0 0 13969 33 0 0 25 0 1 0 204624429 224931840 53971 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 54915 53971 206 16 0 54356 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 219660

[startup+150.083 s]
/proc/loadavg: 1.01 1.01 1.00 2/64 4635
/proc/meminfo: memFree=1397224/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=226016 CPUtime=150.02
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 55592 0 0 0 14968 34 0 0 25 0 1 0 204624429 231440384 55563 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 56504 55563 206 16 0 55945 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 226016

[startup+160.089 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 4635
/proc/meminfo: memFree=1382504/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=240704 CPUtime=160.03
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 59261 0 0 0 15966 37 0 0 25 0 1 0 204624429 246480896 59232 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 60176 59232 206 16 0 59617 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 240704

[startup+170.095 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 4635
/proc/meminfo: memFree=1365416/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=257648 CPUtime=170.03
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 63526 0 0 0 16962 41 0 0 25 0 1 0 204624429 263831552 63497 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 64412 63497 206 16 0 63853 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 257648

[startup+180.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4635
/proc/meminfo: memFree=1348840/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=274204 CPUtime=180.03
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 67666 0 0 0 17960 43 0 0 25 0 1 0 204624429 280784896 67637 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 68551 67637 206 16 0 67992 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 274204

[startup+190.106 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4635
/proc/meminfo: memFree=1333032/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=289988 CPUtime=190.03
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 71610 0 0 0 18958 45 0 0 25 0 1 0 204624429 296947712 71581 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 72497 71581 206 16 0 71938 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 289988

[startup+200.112 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4635
/proc/meminfo: memFree=1315432/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=307652 CPUtime=200.03
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 76007 0 0 0 19955 48 0 0 25 0 1 0 204624429 315035648 75978 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 76913 75978 206 16 0 76354 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 307652

[startup+210.117 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4635
/proc/meminfo: memFree=1296360/2055920 swapFree=4181356/4192956

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

Current children cumulated CPU time (s) 1310.27
Current children cumulated vsize (Kb) 1553384

[startup+1320.78 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=54056/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=1567480 CPUtime=1320.27
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 390677 0 0 0 131773 254 0 0 25 0 1 0 204624429 1605099520 390648 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517497 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 391870 390648 206 16 0 391311 0
Current children cumulated CPU time (s) 1320.27
Current children cumulated vsize (Kb) 1567480

[startup+1330.78 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=41576/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=1579940 CPUtime=1330.27
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 393792 0 0 0 132772 255 0 0 25 0 1 0 204624429 1617858560 393763 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 394985 393763 206 16 0 394426 0
Current children cumulated CPU time (s) 1330.27
Current children cumulated vsize (Kb) 1579940

[startup+1340.79 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=26344/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=1595116 CPUtime=1340.27
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 397597 0 0 0 133769 258 0 0 25 0 1 0 204624429 1633398784 397568 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 398779 397568 206 16 0 398220 0
Current children cumulated CPU time (s) 1340.27
Current children cumulated vsize (Kb) 1595116

[startup+1350.79 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=15592/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=1610544 CPUtime=1350.28
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 401432 0 0 0 134767 261 0 0 25 0 1 0 204624429 1649197056 401403 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 402636 401403 206 16 0 402077 0
Current children cumulated CPU time (s) 1350.28
Current children cumulated vsize (Kb) 1610544

[startup+1360.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=15272/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=1624812 CPUtime=1360.28
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 404997 0 0 0 135765 263 0 0 25 0 1 0 204624429 1663807488 404968 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 406203 404968 206 16 0 405644 0
Current children cumulated CPU time (s) 1360.28
Current children cumulated vsize (Kb) 1624812

[startup+1370.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=16104/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=1639732 CPUtime=1370.28
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 408737 0 0 0 136763 265 0 0 25 0 1 0 204624429 1679085568 408708 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 409933 408708 206 16 0 409374 0
Current children cumulated CPU time (s) 1370.28
Current children cumulated vsize (Kb) 1639732

[startup+1380.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=15784/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=1654200 CPUtime=1380.28
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 412354 0 0 0 137760 268 0 0 25 0 1 0 204624429 1693900800 412325 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 413550 412325 206 16 0 412991 0
Current children cumulated CPU time (s) 1380.28
Current children cumulated vsize (Kb) 1654200

[startup+1390.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=15208/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=1669168 CPUtime=1390.29
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 416108 0 0 0 138758 271 0 0 25 0 1 0 204624429 1709228032 416079 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 417292 416079 206 16 0 416733 0
Current children cumulated CPU time (s) 1390.29
Current children cumulated vsize (Kb) 1669168

[startup+1400.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=15272/2055920 swapFree=4181356/4192956
[pid=4635] ppid=4633 vsize=1683368 CPUtime=1400.29
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 419649 0 0 0 139756 273 0 0 25 0 1 0 204624429 1723768832 419620 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8156795 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 420842 419620 206 16 0 420283 0
Current children cumulated CPU time (s) 1400.29
Current children cumulated vsize (Kb) 1683368

[startup+1410.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=15912/2055920 swapFree=4181348/4192956
[pid=4635] ppid=4633 vsize=1695484 CPUtime=1410.3
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 422677 0 0 0 140755 275 0 0 25 0 1 0 204624429 1736175616 422648 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134520396 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 423871 422648 206 16 0 423312 0
Current children cumulated CPU time (s) 1410.3
Current children cumulated vsize (Kb) 1695484

[startup+1420.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=15080/2055920 swapFree=4181348/4192956
[pid=4635] ppid=4633 vsize=1708988 CPUtime=1420.3
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 426045 0 0 0 141753 277 0 0 25 0 1 0 204624429 1750003712 426016 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527658 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 427247 426016 206 16 0 426688 0
Current children cumulated CPU time (s) 1420.3
Current children cumulated vsize (Kb) 1708988

[startup+1430.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=16232/2055920 swapFree=4181348/4192956
[pid=4635] ppid=4633 vsize=1722056 CPUtime=1430.29
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 429312 0 0 0 142750 279 0 0 25 0 1 0 204624429 1763385344 429283 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 430514 429283 206 16 0 429955 0
Current children cumulated CPU time (s) 1430.29
Current children cumulated vsize (Kb) 1722056

[startup+1440.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=16232/2055920 swapFree=4181348/4192956
[pid=4635] ppid=4633 vsize=1734608 CPUtime=1440.3
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 432459 0 0 0 143748 282 0 0 25 0 1 0 204624429 1776238592 432430 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 433652 432430 206 16 0 433093 0
Current children cumulated CPU time (s) 1440.3
Current children cumulated vsize (Kb) 1734608

[startup+1450.85 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=16296/2055920 swapFree=4181348/4192956
[pid=4635] ppid=4633 vsize=1747224 CPUtime=1450.3
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 435637 0 0 0 144747 283 0 0 25 0 1 0 204624429 1789157376 435608 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 436806 435608 206 16 0 436247 0
Current children cumulated CPU time (s) 1450.3
Current children cumulated vsize (Kb) 1747224

[startup+1460.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=14888/2055920 swapFree=4181348/4192956
[pid=4635] ppid=4633 vsize=1759756 CPUtime=1460.3
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 438753 0 0 0 145745 285 0 0 25 0 1 0 204624429 1801990144 438724 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8156828 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 439939 438724 206 16 0 439380 0
Current children cumulated CPU time (s) 1460.3
Current children cumulated vsize (Kb) 1759756

[startup+1470.86 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=15208/2055920 swapFree=4181348/4192956
[pid=4635] ppid=4633 vsize=1771948 CPUtime=1470.3
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 441830 0 0 0 146743 287 0 0 25 0 1 0 204624429 1814474752 441801 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527664 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 442987 441801 206 16 0 442428 0
Current children cumulated CPU time (s) 1470.3
Current children cumulated vsize (Kb) 1771948

[startup+1480.87 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=14952/2055920 swapFree=4181348/4192956
[pid=4635] ppid=4633 vsize=1783432 CPUtime=1480.31
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 444665 0 0 0 147742 289 0 0 25 0 1 0 204624429 1826234368 444636 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 445858 444636 206 16 0 445299 0
Current children cumulated CPU time (s) 1480.31
Current children cumulated vsize (Kb) 1783432

[startup+1490.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=15336/2055920 swapFree=4181348/4192956
[pid=4635] ppid=4633 vsize=1795624 CPUtime=1490.31
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 447722 0 0 0 148739 292 0 0 25 0 1 0 204624429 1838718976 447693 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 448906 447693 206 16 0 448347 0
Current children cumulated CPU time (s) 1490.31
Current children cumulated vsize (Kb) 1795624

[startup+1500.88 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=16232/2055920 swapFree=4181348/4192956
[pid=4635] ppid=4633 vsize=1807276 CPUtime=1500.32
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 450643 0 0 0 149738 294 0 0 25 0 1 0 204624429 1850650624 450614 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 451819 450614 206 16 0 451260 0
Current children cumulated CPU time (s) 1500.32
Current children cumulated vsize (Kb) 1807276

[startup+1510.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=15784/2055920 swapFree=4181348/4192956
[pid=4635] ppid=4633 vsize=1818868 CPUtime=1510.32
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 453530 0 0 0 150736 296 0 0 25 0 1 0 204624429 1862520832 453501 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 454717 453501 206 16 0 454158 0
Current children cumulated CPU time (s) 1510.32
Current children cumulated vsize (Kb) 1818868

[startup+1520.89 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 4830
/proc/meminfo: memFree=15912/2055920 swapFree=4181348/4192956
[pid=4635] ppid=4633 vsize=1834436 CPUtime=1520.32
/proc/4635/stat : 4635 (Pueblo13) R 4633 4635 4589 0 -1 4194304 457420 0 0 0 151734 298 0 0 25 0 1 0 204624429 1878462464 457391 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 8155487 0 0 4096 0 0 0 0 17 1 0 0
/proc/4635/statm: 458609 457391 206 16 0 458050 0
Current children cumulated CPU time (s) 1520.32
Current children cumulated vsize (Kb) 1834436

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1525.59
CPU time (s): 1525.01
CPU user time (s): 1521.74
CPU system time (s): 3.2695
CPU usage (%): 99.9616
Max. virtual memory (cumulated for all children) (Kb): 1834436
The end

Launcher Data (download as text)

Begin job on node34 on Sun Jun  4 02:53:26 UTC 2006


FILE ID= 37913-1149389606

PBS_JOBID= 313377

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

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  3119db8d3d273f04fc4f3b1324a85224

RANDOM SEED= 640116465


/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.277
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.277
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:       1618720 kB
Buffers:         30100 kB
Cached:         337712 kB
SwapCached:       3400 kB
Active:         135308 kB
Inactive:       241336 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1618720 kB
SwapTotal:     4192956 kB
SwapFree:      4181356 kB
Dirty:             192 kB
Writeback:           0 kB
Mapped:          14900 kB
Slab:            46608 kB
Committed_AS:   422820 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node34 on Sun Jun  4 03:18:52 UTC 2006