Trace number 36767

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 1480.57 1481.04

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_0.opb.PB06.opb
MD5SUM325852af8542a0f454599a2893f1b120
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark449
Best CPU time to get the best result obtained on this benchmark1800.76
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 434
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 495293
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 495293
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.23	c #variables read: 10000 - #constraints read: 656901
24.59	o 7059
24.76	o 7030
24.93	o 7012
25.10	o 7001
25.27	o 6992
25.44	o 6981
25.83	o 6841
26.01	o 6748
26.17	o 6727
26.38	o 6687
26.60	o 6661
26.78	o 6593
26.94	o 6570
27.11	o 6552
27.29	o 6536
28.07	o 6533
28.24	o 6524
28.40	o 6515
28.57	o 6512
28.74	o 6496
28.90	o 6487
29.04	o 6484
29.21	o 6477
29.38	o 6468
29.54	o 6465
29.72	o 6449
29.88	o 6440
30.04	o 6437
30.25	o 6431
30.43	o 6428
30.59	o 6425
32.85	o 6361
33.02	o 6359
33.18	o 6349
33.37	o 6275
33.54	o 6273
33.71	o 6263
33.87	o 6257
57.51	o 6033
57.69	o 6022
60.98	o 6006
61.33	o 6003
61.54	o 5982
61.70	o 5940
62.00	o 5929
62.17	o 5905
62.35	o 5875
62.52	o 5867
64.46	o 5856
64.62	o 5848
143.14	o 5821
1480.74	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/node40/watcher-36767-1149390641 -o ROOT/results/node40/solver-36767-1149390641 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node40/36767-1149390641/instance-36767-1149390641.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1610496/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=2540 CPUtime=0
/proc/31480/stat : 31480 (Pueblo) D 31478 31480 31434 0 -1 4194304 242 0 0 0 0 0 0 0 18 0 1 0 204730601 2600960 213 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 643 219 192 16 0 84 0

[startup+10.0029 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1529168/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=84472 CPUtime=9.99
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 20616 0 0 0 990 9 0 0 25 0 1 0 204730601 86499328 20587 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134532044 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 21118 20587 204 16 0 20559 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 84472

[startup+20.0101 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1519632/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=95468 CPUtime=19.99
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 23022 0 0 0 1990 9 0 0 25 0 1 0 204730601 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 95468

[startup+30.0175 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1519696/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=95468 CPUtime=29.99
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 23022 0 0 0 2990 9 0 0 25 0 1 0 204730601 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134530571 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 95468

[startup+40.0228 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1519696/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=95468 CPUtime=40
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 23022 0 0 0 3990 10 0 0 25 0 1 0 204730601 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520080 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 95468

[startup+50.0291 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1519760/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=95468 CPUtime=50
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 23022 0 0 0 4989 11 0 0 25 0 1 0 204730601 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/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 31480
/proc/meminfo: memFree=1519696/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=95468 CPUtime=60
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 23022 0 0 0 5989 11 0 0 25 0 1 0 204730601 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/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 31480
/proc/meminfo: memFree=1513680/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=101476 CPUtime=70.01
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 24531 0 0 0 6988 13 0 0 25 0 1 0 204730601 103911424 24502 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 25369 24502 206 16 0 24810 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 101476

[startup+80.048 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1500816/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=114264 CPUtime=80.01
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 27735 0 0 0 7986 15 0 0 25 0 1 0 204730601 117006336 27706 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 28566 27706 206 16 0 28007 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 114264

[startup+90.0543 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1489296/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=125944 CPUtime=90.01
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 30631 0 0 0 8985 16 0 0 25 0 1 0 204730601 128966656 30602 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 31486 30602 206 16 0 30927 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 125944

[startup+100.06 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1476816/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=138424 CPUtime=100.02
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 33740 0 0 0 9984 18 0 0 25 0 1 0 204730601 141746176 33711 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 34606 33711 206 16 0 34047 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 138424

[startup+110.066 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1462608/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=152516 CPUtime=110.02
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 37288 0 0 0 10982 20 0 0 25 0 1 0 204730601 156176384 37259 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 38129 37259 206 16 0 37570 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 152516

[startup+120.072 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1448016/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=167120 CPUtime=120.02
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 40932 0 0 0 11980 22 0 0 25 0 1 0 204730601 171130880 40903 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557374 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 41780 40903 206 16 0 41221 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 167120

[startup+130.079 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1434256/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=180864 CPUtime=130.03
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 44353 0 0 0 12979 24 0 0 25 0 1 0 204730601 185204736 44324 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 45216 44324 206 16 0 44657 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 180864

[startup+140.085 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1420368/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=194640 CPUtime=140.03
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 47826 0 0 0 13977 26 0 0 25 0 1 0 204730601 199311360 47797 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 48660 47797 206 16 0 48101 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 194640

[startup+150.091 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1401552/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=213536 CPUtime=150.03
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 52525 0 0 0 14974 29 0 0 25 0 1 0 204730601 218660864 52496 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 53384 52496 206 16 0 52825 0
Current children cumulated CPU time (s) 150.03
Current children cumulated vsize (Kb) 213536

[startup+160.096 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1381968/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=233052 CPUtime=160.04
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 57409 0 0 0 15972 32 0 0 25 0 1 0 204730601 238645248 57380 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 58263 57380 206 16 0 57704 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 233052

[startup+170.103 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1367184/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=247780 CPUtime=170.04
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 61097 0 0 0 16970 34 0 0 25 0 1 0 204730601 253726720 61068 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 61945 61068 206 16 0 61386 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 247780

[startup+180.109 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1351504/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=263428 CPUtime=180.04
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 65009 0 0 0 17969 35 0 0 25 0 1 0 204730601 269750272 64980 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 65857 64980 206 16 0 65298 0
Current children cumulated CPU time (s) 180.04
Current children cumulated vsize (Kb) 263428

[startup+190.115 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1335504/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=279404 CPUtime=190.04
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 69005 0 0 0 18967 37 0 0 25 0 1 0 204730601 286109696 68976 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 69851 68976 206 16 0 69292 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 279404

[startup+200.122 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1323600/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=291276 CPUtime=200.05
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 71963 0 0 0 19966 39 0 0 25 0 1 0 204730601 298266624 71934 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 72819 71934 206 16 0 72260 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 291276

[startup+210.128 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 31480
/proc/meminfo: memFree=1310480/2055920 swapFree=4181324/4192956

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

Current children cumulated CPU time (s) 1270.38
Current children cumulated vsize (Kb) 1558672

[startup+1280.79 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 31480
/proc/meminfo: memFree=46544/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=1567008 CPUtime=1280.39
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 390587 0 0 0 127814 225 0 0 25 0 1 0 204730601 1604616192 390554 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520072 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 391752 390554 206 16 0 391193 0
Current children cumulated CPU time (s) 1280.39
Current children cumulated vsize (Kb) 1567008

[startup+1290.8 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 31480
/proc/meminfo: memFree=37520/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=1575944 CPUtime=1290.39
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 392835 0 0 0 128813 226 0 0 25 0 1 0 204730601 1613766656 392802 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517928 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 393986 392802 206 16 0 393427 0
Current children cumulated CPU time (s) 1290.39
Current children cumulated vsize (Kb) 1575944

[startup+1300.81 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 31480
/proc/meminfo: memFree=28496/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=1584932 CPUtime=1300.39
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 395090 0 0 0 129812 227 0 0 25 0 1 0 204730601 1622970368 395056 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 396233 395056 206 16 0 395674 0
Current children cumulated CPU time (s) 1300.39
Current children cumulated vsize (Kb) 1584932

[startup+1310.81 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 31480
/proc/meminfo: memFree=20176/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=1593344 CPUtime=1310.4
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 397177 0 0 0 130811 229 0 0 25 0 1 0 204730601 1631584256 397142 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527742 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 398336 397142 206 16 0 397777 0
Current children cumulated CPU time (s) 1310.4
Current children cumulated vsize (Kb) 1593344

[startup+1320.82 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 31480
/proc/meminfo: memFree=15184/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=1604408 CPUtime=1320.4
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 399932 0 0 0 131809 231 0 0 25 0 1 0 204730601 1642913792 399897 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 401102 399897 206 16 0 400543 0
Current children cumulated CPU time (s) 1320.4
Current children cumulated vsize (Kb) 1604408

[startup+1330.83 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 31480
/proc/meminfo: memFree=15184/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=1618192 CPUtime=1330.41
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 403401 0 0 0 132807 234 0 0 25 0 1 0 204730601 1657028608 403366 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 404548 403366 206 16 0 403989 0
Current children cumulated CPU time (s) 1330.41
Current children cumulated vsize (Kb) 1618192

[startup+1340.83 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 31480
/proc/meminfo: memFree=15952/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=1635960 CPUtime=1340.41
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 407865 0 0 0 133804 237 0 0 25 0 1 0 204730601 1675223040 407830 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 408990 407830 206 16 0 408431 0
Current children cumulated CPU time (s) 1340.41
Current children cumulated vsize (Kb) 1635960

[startup+1350.84 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 31480
/proc/meminfo: memFree=15504/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=1653440 CPUtime=1350.41
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 412225 0 0 0 134800 241 0 0 25 0 1 0 204730601 1693122560 412190 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 413360 412190 206 16 0 412801 0
Current children cumulated CPU time (s) 1350.41
Current children cumulated vsize (Kb) 1653440

[startup+1360.85 s]
/proc/loadavg: 1.00 0.99 1.00 2/64 31480
/proc/meminfo: memFree=16208/2055920 swapFree=4181324/4192956
[pid=31480] ppid=31478 vsize=1669820 CPUtime=1360.42
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 416338 0 0 0 135798 244 0 0 25 0 1 0 204730601 1709895680 416303 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 417455 416304 206 16 0 416896 0
Current children cumulated CPU time (s) 1360.42
Current children cumulated vsize (Kb) 1669820

[startup+1370.85 s]
/proc/loadavg: 1.07 1.01 1.00 2/64 31480
/proc/meminfo: memFree=16080/2055920 swapFree=4181316/4192956
[pid=31480] ppid=31478 vsize=1686172 CPUtime=1370.42
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 420414 0 0 0 136795 247 0 0 25 0 1 0 204730601 1726640128 420379 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527750 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 421543 420379 206 16 0 420984 0
Current children cumulated CPU time (s) 1370.42
Current children cumulated vsize (Kb) 1686172

[startup+1380.86 s]
/proc/loadavg: 1.06 1.01 1.00 2/64 31480
/proc/meminfo: memFree=15760/2055920 swapFree=4181316/4192956
[pid=31480] ppid=31478 vsize=1702012 CPUtime=1380.42
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 424364 0 0 0 137792 250 0 0 25 0 1 0 204730601 1742860288 424329 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 425503 424329 206 16 0 424944 0
Current children cumulated CPU time (s) 1380.42
Current children cumulated vsize (Kb) 1702012

[startup+1390.87 s]
/proc/loadavg: 1.05 1.01 1.00 2/64 31480
/proc/meminfo: memFree=15504/2055920 swapFree=4181316/4192956
[pid=31480] ppid=31478 vsize=1716004 CPUtime=1390.42
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 427885 0 0 0 138790 252 0 0 25 0 1 0 204730601 1757188096 427850 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528624 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 429001 427850 206 16 0 428442 0
Current children cumulated CPU time (s) 1390.42
Current children cumulated vsize (Kb) 1716004

[startup+1400.87 s]
/proc/loadavg: 1.04 1.01 1.00 2/64 31480
/proc/meminfo: memFree=14928/2055920 swapFree=4181316/4192956
[pid=31480] ppid=31478 vsize=1730852 CPUtime=1400.43
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 431559 0 0 0 139789 254 0 0 25 0 1 0 204730601 1772392448 431524 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 432713 431524 206 16 0 432154 0
Current children cumulated CPU time (s) 1400.43
Current children cumulated vsize (Kb) 1730852

[startup+1410.88 s]
/proc/loadavg: 1.04 1.01 1.00 2/64 31480
/proc/meminfo: memFree=15632/2055920 swapFree=4181316/4192956
[pid=31480] ppid=31478 vsize=1745588 CPUtime=1410.44
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 435257 0 0 0 140787 257 0 0 25 0 1 0 204730601 1787482112 435222 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 436397 435222 206 16 0 435838 0
Current children cumulated CPU time (s) 1410.44
Current children cumulated vsize (Kb) 1745588

[startup+1420.89 s]
/proc/loadavg: 1.03 1.01 1.00 2/64 31480
/proc/meminfo: memFree=15248/2055920 swapFree=4181316/4192956
[pid=31480] ppid=31478 vsize=1761404 CPUtime=1420.44
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 439221 0 0 0 141784 260 0 0 25 0 1 0 204730601 1803677696 439186 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 7345787 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 440351 439186 206 16 0 439792 0
Current children cumulated CPU time (s) 1420.44
Current children cumulated vsize (Kb) 1761404

[startup+1430.89 s]
/proc/loadavg: 1.02 1.00 1.00 2/64 31480
/proc/meminfo: memFree=15376/2055920 swapFree=4181316/4192956
[pid=31480] ppid=31478 vsize=1776840 CPUtime=1430.44
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 443055 0 0 0 142781 263 0 0 25 0 1 0 204730601 1819484160 443020 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 444210 443020 206 16 0 443651 0
Current children cumulated CPU time (s) 1430.44
Current children cumulated vsize (Kb) 1776840

[startup+1440.9 s]
/proc/loadavg: 1.02 1.00 1.00 2/64 31480
/proc/meminfo: memFree=15504/2055920 swapFree=4181316/4192956
[pid=31480] ppid=31478 vsize=1790724 CPUtime=1440.44
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 446516 0 0 0 143779 265 0 0 25 0 1 0 204730601 1833701376 446481 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527652 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 447681 446481 206 16 0 447122 0
Current children cumulated CPU time (s) 1440.44
Current children cumulated vsize (Kb) 1790724

[startup+1450.91 s]
/proc/loadavg: 1.02 1.00 1.00 2/64 31480
/proc/meminfo: memFree=15376/2055920 swapFree=4181316/4192956
[pid=31480] ppid=31478 vsize=1804872 CPUtime=1450.45
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 450062 0 0 0 144775 270 0 0 25 0 1 0 204730601 1848188928 450027 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 451218 450027 206 16 0 450659 0
Current children cumulated CPU time (s) 1450.45
Current children cumulated vsize (Kb) 1804872

[startup+1460.91 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 31480
/proc/meminfo: memFree=16080/2055920 swapFree=4181316/4192956
[pid=31480] ppid=31478 vsize=1818084 CPUtime=1460.45
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 453370 0 0 0 145773 272 0 0 25 0 1 0 204730601 1861718016 453335 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 454521 453335 206 16 0 453962 0
Current children cumulated CPU time (s) 1460.45
Current children cumulated vsize (Kb) 1818084

[startup+1470.92 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 31480
/proc/meminfo: memFree=15888/2055920 swapFree=4181316/4192956
[pid=31480] ppid=31478 vsize=1830844 CPUtime=1470.46
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4194304 456546 0 0 0 146770 276 0 0 25 0 1 0 204730601 1874784256 456511 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 457711 456511 206 16 0 457152 0
Current children cumulated CPU time (s) 1470.46
Current children cumulated vsize (Kb) 1830844

[startup+1480.92 s]
/proc/loadavg: 1.01 1.00 1.00 2/64 31480
/proc/meminfo: memFree=1171280/2055920 swapFree=4181316/4192956
[pid=31480] ppid=31478 vsize=0 CPUtime=1480.46
/proc/31480/stat : 31480 (Pueblo) R 31478 31480 31434 0 -1 4195332 459644 0 0 0 147749 297 0 0 25 0 1 0 204730601 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 0 0 0 17 1 0 0
/proc/31480/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1480.46
Current children cumulated vsize (Kb) 0

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1481.04
CPU time (s): 1480.57
CPU user time (s): 1477.5
CPU system time (s): 3.07553
CPU usage (%): 99.9687
Max. virtual memory (cumulated for all children) (Kb): 1830844
The end

Launcher Data (download as text)

Begin job on node40 on Sun Jun  4 03:10:41 UTC 2006


FILE ID= 36767-1149390641

PBS_JOBID= 313427

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  325852af8542a0f454599a2893f1b120

RANDOM SEED= 681083417


/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.245
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.245
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:       1610704 kB
Buffers:         26964 kB
Cached:         342888 kB
SwapCached:       3400 kB
Active:         118456 kB
Inactive:       260196 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1610704 kB
SwapTotal:     4192956 kB
SwapFree:      4181324 kB
Dirty:             184 kB
Writeback:           0 kB
Mapped:          14972 kB
Slab:            52608 kB
Committed_AS:   428740 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node40 on Sun Jun  4 03:35:22 UTC 2006