Trace number 36771

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
Pueblo 1.4Signal 1445.51 1445.97

General information on the benchmark

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

Solver Data (download as text)

0.00	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
18.43	c starting to Solve
18.43	c #variables read: 10000 - #constraints read: 656901
24.83	o 7088
25.02	o 6996
25.22	o 6981
25.39	o 6932
27.45	o 6920
27.62	o 6892
27.79	o 6891
27.99	o 6886
28.17	o 6879
28.37	o 6857
28.80	o 6844
28.96	o 6833
29.95	o 6828
30.14	o 6826
30.30	o 6800
30.47	o 6798
30.64	o 6796
30.82	o 6743
33.04	o 6151
33.18	o 6072
33.35	o 6068
40.63	o 5967
40.93	o 5931
43.10	o 5930
43.25	o 5902
43.39	o 5894
149.37	o 5859
149.51	o 5853
149.65	o 5811
152.99	o 5800
153.15	o 5786
191.57	o 5780
191.70	o 5775
191.85	o 5751
192.00	o 5732
192.15	o 5727
192.32	o 5712
195.92	o 5704
196.09	o 5699
196.23	o 5684
206.70	o 5677
214.30	o 5671
959.24	o 5669
959.43	o 5656
962.60	o 5647
972.25	o 5632
976.77	o 5629
976.92	o 5624
1445.70	Pueblo: Global.h:70: T* xrealloc(T*, unsigned int) [with T = Lit]: Assertion `size == 0 || tmp != __null' failed.

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node33/watcher-36771-1149391875 -o ROOT/results/node33/solver-36771-1149391875 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node33/36771-1149391875/instance-36771-1149391875.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1572848/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=2280 CPUtime=0
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 154 0 0 0 0 0 0 0 18 0 1 0 204851318 2334720 126 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11791824 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 570 139 117 16 0 11 0

[startup+10.003 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1491592/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=84472 CPUtime=9.99
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 20614 0 0 0 990 9 0 0 25 0 1 0 204851318 86499328 20585 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532444 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 21118 20585 204 16 0 20559 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 84472

[startup+20.0103 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1481936/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=95468 CPUtime=19.99
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 23022 0 0 0 1989 10 0 0 25 0 1 0 204851318 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 95468

[startup+30.0166 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1482064/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=95468 CPUtime=30
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 23022 0 0 0 2990 10 0 0 25 0 1 0 204851318 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134530518 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 95468

[startup+40.0229 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1482064/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=95468 CPUtime=40
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 23022 0 0 0 3990 10 0 0 25 0 1 0 204851318 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 95468

[startup+50.0292 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1482128/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=95468 CPUtime=50
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 23022 0 0 0 4990 10 0 0 25 0 1 0 204851318 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 95468

[startup+60.0354 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1482128/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=95468 CPUtime=60
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 23022 0 0 0 5990 10 0 0 25 0 1 0 204851318 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 95468

[startup+70.0417 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1482128/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=95468 CPUtime=70.01
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 23022 0 0 0 6990 11 0 0 25 0 1 0 204851318 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 95468

[startup+80.049 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1478416/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=99300 CPUtime=80.01
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 23957 0 0 0 7989 12 0 0 25 0 1 0 204851318 101683200 23928 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 24825 23928 206 16 0 24266 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 99300

[startup+90.0553 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1465488/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=112204 CPUtime=90.01
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 27189 0 0 0 8988 13 0 0 25 0 1 0 204851318 114896896 27160 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 28051 27160 206 16 0 27492 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 112204

[startup+100.062 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1450064/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=127596 CPUtime=100.02
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 31029 0 0 0 9985 17 0 0 25 0 1 0 204851318 130658304 31000 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 31899 31000 206 16 0 31340 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 127596

[startup+110.068 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1435408/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=142120 CPUtime=110.02
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 34672 0 0 0 10983 19 0 0 25 0 1 0 204851318 145530880 34643 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 35530 34643 206 16 0 34971 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 142120

[startup+120.074 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1427344/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=150124 CPUtime=120.02
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 36690 0 0 0 11982 20 0 0 25 0 1 0 204851318 153726976 36661 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 37531 36661 206 16 0 36972 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 150124

[startup+130.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1422416/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=155088 CPUtime=130.03
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 37919 0 0 0 12982 21 0 0 25 0 1 0 204851318 158810112 37890 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 38772 37890 206 16 0 38213 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 155088

[startup+140.087 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1416528/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=160920 CPUtime=140.03
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 39383 0 0 0 13982 21 0 0 25 0 1 0 204851318 164782080 39354 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 40230 39354 206 16 0 39671 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 160920

[startup+150.093 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1403216/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=174288 CPUtime=150.04
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 42710 0 0 0 14981 23 0 0 25 0 1 0 204851318 178470912 42681 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 43572 42681 206 16 0 43013 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 174288

[startup+160.099 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1388880/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=188548 CPUtime=160.04
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 46282 0 0 0 15980 24 0 0 25 0 1 0 204851318 193073152 46253 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 47137 46253 206 16 0 46578 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 188548

[startup+170.106 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1374928/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=202496 CPUtime=170.04
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 49764 0 0 0 16979 25 0 0 25 0 1 0 204851318 207355904 49735 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 50624 49735 206 16 0 50065 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 202496

[startup+180.112 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1362704/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=214740 CPUtime=180.05
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 52814 0 0 0 17978 27 0 0 25 0 1 0 204851318 219893760 52785 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 53685 52785 206 16 0 53126 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 214740

[startup+190.118 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1348688/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=228776 CPUtime=190.04
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 56332 0 0 0 18976 28 0 0 25 0 1 0 204851318 234266624 56303 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 57194 56303 206 16 0 56635 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 228776

[startup+200.123 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1336592/2055920 swapFree=4181356/4192956
[pid=29700] ppid=29698 vsize=240852 CPUtime=200.05
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 59354 0 0 0 19975 30 0 0 25 0 1 0 204851318 246632448 59325 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 60213 59325 206 16 0 59654 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 240852

[startup+210.129 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29700
/proc/meminfo: memFree=1322576/2055920 swapFree=4181356/4192956

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

Current children cumulated CPU time (s) 1230.38
Current children cumulated vsize (Kb) 1625736

[startup+1240.77 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29702
/proc/meminfo: memFree=15832/2055920 swapFree=4181348/4192956
[pid=29700] ppid=29698 vsize=1636184 CPUtime=1240.38
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 407875 0 0 0 123780 258 0 0 25 0 1 0 204851318 1675452416 407841 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 409046 407841 206 16 0 408487 0
Current children cumulated CPU time (s) 1240.38
Current children cumulated vsize (Kb) 1636184

[startup+1250.78 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29702
/proc/meminfo: memFree=16216/2055920 swapFree=4181348/4192956
[pid=29700] ppid=29698 vsize=1646616 CPUtime=1250.39
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 410478 0 0 0 124779 260 0 0 25 0 1 0 204851318 1686134784 410444 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 411654 410444 206 16 0 411095 0
Current children cumulated CPU time (s) 1250.39
Current children cumulated vsize (Kb) 1646616

[startup+1260.78 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29702
/proc/meminfo: memFree=15768/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1656440 CPUtime=1260.38
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 412940 0 0 0 125777 261 0 0 25 0 1 0 204851318 1696194560 412906 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 414110 412906 206 16 0 413551 0
Current children cumulated CPU time (s) 1260.38
Current children cumulated vsize (Kb) 1656440

[startup+1270.79 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29702
/proc/meminfo: memFree=15192/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1666400 CPUtime=1270.39
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 415414 0 0 0 126776 263 0 0 25 0 1 0 204851318 1706393600 415380 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11383757 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 416600 415380 206 16 0 416041 0
Current children cumulated CPU time (s) 1270.39
Current children cumulated vsize (Kb) 1666400

[startup+1280.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29702
/proc/meminfo: memFree=15960/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1676648 CPUtime=1280.39
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 417975 0 0 0 127775 264 0 0 25 0 1 0 204851318 1716887552 417941 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 419162 417941 206 16 0 418603 0
Current children cumulated CPU time (s) 1280.39
Current children cumulated vsize (Kb) 1676648

[startup+1290.8 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29702
/proc/meminfo: memFree=15576/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1687708 CPUtime=1290.4
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 420770 0 0 0 128773 267 0 0 25 0 1 0 204851318 1728212992 420736 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 421927 420736 206 16 0 421368 0
Current children cumulated CPU time (s) 1290.4
Current children cumulated vsize (Kb) 1687708

[startup+1300.81 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29702
/proc/meminfo: memFree=15000/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1699028 CPUtime=1300.4
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 423599 0 0 0 129771 269 0 0 25 0 1 0 204851318 1739804672 423565 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 424757 423565 206 16 0 424198 0
Current children cumulated CPU time (s) 1300.4
Current children cumulated vsize (Kb) 1699028

[startup+1310.82 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29702
/proc/meminfo: memFree=15192/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1709852 CPUtime=1310.4
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 426293 0 0 0 130769 271 0 0 25 0 1 0 204851318 1750888448 426259 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 427463 426259 206 16 0 426904 0
Current children cumulated CPU time (s) 1310.4
Current children cumulated vsize (Kb) 1709852

[startup+1320.82 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29702
/proc/meminfo: memFree=15640/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1720148 CPUtime=1320.4
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 428878 0 0 0 131767 273 0 0 25 0 1 0 204851318 1761431552 428844 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520048 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 430037 428844 206 16 0 429478 0
Current children cumulated CPU time (s) 1320.4
Current children cumulated vsize (Kb) 1720148

[startup+1330.83 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29702
/proc/meminfo: memFree=15512/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1731192 CPUtime=1330.41
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 431633 0 0 0 132765 276 0 0 25 0 1 0 204851318 1772740608 431599 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 432798 431599 206 16 0 432239 0
Current children cumulated CPU time (s) 1330.41
Current children cumulated vsize (Kb) 1731192

[startup+1340.84 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29702
/proc/meminfo: memFree=15000/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1742756 CPUtime=1340.42
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 434483 0 0 0 133764 278 0 0 25 0 1 0 204851318 1784582144 434449 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527656 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 435689 434449 206 16 0 435130 0
Current children cumulated CPU time (s) 1340.42
Current children cumulated vsize (Kb) 1742756

[startup+1350.84 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29702
/proc/meminfo: memFree=15832/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1754388 CPUtime=1350.42
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 437390 0 0 0 134762 280 0 0 25 0 1 0 204851318 1796493312 437356 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 438597 437356 206 16 0 438038 0
Current children cumulated CPU time (s) 1350.42
Current children cumulated vsize (Kb) 1754388

[startup+1360.85 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29702
/proc/meminfo: memFree=15896/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1765264 CPUtime=1360.42
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 440105 0 0 0 135760 282 0 0 25 0 1 0 204851318 1807630336 440071 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 441316 440071 206 16 0 440757 0
Current children cumulated CPU time (s) 1360.42
Current children cumulated vsize (Kb) 1765264

[startup+1370.85 s]
/proc/loadavg: 1.07 1.00 1.00 2/64 29702
/proc/meminfo: memFree=15832/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1776088 CPUtime=1370.42
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 442828 0 0 0 136759 283 0 0 25 0 1 0 204851318 1818714112 442794 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 444022 442794 206 16 0 443463 0
Current children cumulated CPU time (s) 1370.42
Current children cumulated vsize (Kb) 1776088

[startup+1380.86 s]
/proc/loadavg: 1.06 1.00 1.00 2/64 29702
/proc/meminfo: memFree=15960/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1788380 CPUtime=1380.43
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 445899 0 0 0 137757 286 0 0 25 0 1 0 204851318 1831301120 445865 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 11379039 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 447095 445865 206 16 0 446536 0
Current children cumulated CPU time (s) 1380.43
Current children cumulated vsize (Kb) 1788380

[startup+1390.87 s]
/proc/loadavg: 1.05 1.00 1.00 2/64 29702
/proc/meminfo: memFree=15640/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1796640 CPUtime=1390.43
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 447972 0 0 0 138755 288 0 0 25 0 1 0 204851318 1839759360 447938 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 449160 447938 206 16 0 448601 0
Current children cumulated CPU time (s) 1390.43
Current children cumulated vsize (Kb) 1796640

[startup+1400.87 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 29702
/proc/meminfo: memFree=16280/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1805184 CPUtime=1400.43
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 450123 0 0 0 139754 289 0 0 25 0 1 0 204851318 1848508416 450089 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517940 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 451296 450089 206 16 0 450737 0
Current children cumulated CPU time (s) 1400.43
Current children cumulated vsize (Kb) 1805184

[startup+1410.88 s]
/proc/loadavg: 1.04 1.00 1.00 2/64 29702
/proc/meminfo: memFree=16152/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1813148 CPUtime=1410.44
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 452086 0 0 0 140753 291 0 0 25 0 1 0 204851318 1856663552 452052 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517930 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 453287 452052 206 16 0 452728 0
Current children cumulated CPU time (s) 1410.44
Current children cumulated vsize (Kb) 1813148

[startup+1420.89 s]
/proc/loadavg: 1.03 1.00 1.00 2/64 29702
/proc/meminfo: memFree=15128/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1821808 CPUtime=1420.44
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 454274 0 0 0 141752 292 0 0 25 0 1 0 204851318 1865531392 454240 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 455452 454240 206 16 0 454893 0
Current children cumulated CPU time (s) 1420.44
Current children cumulated vsize (Kb) 1821808

[startup+1430.89 s]
/proc/loadavg: 1.03 1.00 1.00 2/64 29702
/proc/meminfo: memFree=15640/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1829516 CPUtime=1430.44
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 456192 0 0 0 142751 293 0 0 25 0 1 0 204851318 1873424384 456158 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 457379 456158 206 16 0 456820 0
Current children cumulated CPU time (s) 1430.44
Current children cumulated vsize (Kb) 1829516

[startup+1440.9 s]
/proc/loadavg: 1.02 1.00 1.00 2/64 29702
/proc/meminfo: memFree=15960/2055920 swapFree=4181260/4192956
[pid=29700] ppid=29698 vsize=1838348 CPUtime=1440.45
/proc/29700/stat : 29700 (Pueblo) R 29698 29700 29654 0 -1 4194304 458415 0 0 0 143751 294 0 0 25 0 1 0 204851318 1882468352 458381 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29700/statm: 459587 458381 206 16 0 459028 0
Current children cumulated CPU time (s) 1440.45
Current children cumulated vsize (Kb) 1838348

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1445.97
CPU time (s): 1445.51
CPU user time (s): 1442.29
CPU system time (s): 3.22351
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (Kb): 1838348
The end

Launcher Data (download as text)

Begin job on node33 on Sun Jun  4 03:31:15 UTC 2006


FILE ID= 36771-1149391875

PBS_JOBID= 313483

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  13c1b3915f4d316b882a7e551b1f0496

RANDOM SEED= 328148362


/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.213
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.213
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:       1573056 kB
Buffers:         27996 kB
Cached:         383448 kB
SwapCached:       3288 kB
Active:         180936 kB
Inactive:       239236 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1573056 kB
SwapTotal:     4192956 kB
SwapFree:      4181356 kB
Dirty:             168 kB
Writeback:           0 kB
Mapped:          14912 kB
Slab:            48752 kB
Committed_AS:   394344 kB
PageTables:       1424 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node33 on Sun Jun  4 03:55:21 UTC 2006