Trace number 37917

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 1466.84 1467.19

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
17.99	c starting to Solve
17.99	c #variables read: 10000 - #constraints read: 656901
24.37	o 7059
24.54	o 7030
24.71	o 7012
24.88	o 7001
25.06	o 6992
25.23	o 6981
25.62	o 6841
25.81	o 6748
25.97	o 6727
26.19	o 6687
26.41	o 6661
26.58	o 6593
26.74	o 6570
26.91	o 6552
27.09	o 6536
27.88	o 6533
28.06	o 6524
28.22	o 6515
28.39	o 6512
28.56	o 6496
28.71	o 6487
28.87	o 6484
29.04	o 6477
29.20	o 6468
29.36	o 6465
29.54	o 6449
29.70	o 6440
29.86	o 6437
30.07	o 6431
30.25	o 6428
30.41	o 6425
32.64	o 6361
32.81	o 6359
32.97	o 6349
33.16	o 6275
33.33	o 6273
33.48	o 6263
33.64	o 6257
57.29	o 6033
57.46	o 6022
60.71	o 6006
61.07	o 6003
61.29	o 5982
61.44	o 5940
61.73	o 5929
61.91	o 5905
62.09	o 5875
62.26	o 5867
64.18	o 5856
64.34	o 5848
142.30	o 5821
1466.89	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/node31/watcher-37917-1149390810 -o ROOT/results/node31/solver-37917-1149390810 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node31/37917-1149390810/instance-37917-1149390810.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1657152/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=2572 CPUtime=0
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 264 0 0 0 0 0 0 0 18 0 1 0 204744695 2633728 235 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1638103 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 643 235 193 16 0 84 0

[startup+10.0023 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1575688/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=84472 CPUtime=9.98
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 20623 0 0 0 988 10 0 0 25 0 1 0 204744695 86499328 20594 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134555799 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 21118 20594 204 16 0 20559 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 84472

[startup+20.0082 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1566280/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=95468 CPUtime=19.99
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 23022 0 0 0 1987 12 0 0 25 0 1 0 204744695 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 95468

[startup+30.014 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1566344/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=95468 CPUtime=29.99
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 23022 0 0 0 2987 12 0 0 25 0 1 0 204744695 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134530468 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 95468

[startup+40.0198 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1566408/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=95468 CPUtime=40
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 23022 0 0 0 3988 12 0 0 25 0 1 0 204744695 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 95468

[startup+50.0257 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1566472/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=95468 CPUtime=50
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 23022 0 0 0 4987 13 0 0 25 0 1 0 204744695 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 95468

[startup+60.0315 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1566472/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=95468 CPUtime=60
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 23022 0 0 0 5987 13 0 0 25 0 1 0 204744695 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 95468

[startup+70.0373 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1560136/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=101828 CPUtime=70.01
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 24602 0 0 0 6986 15 0 0 25 0 1 0 204744695 104271872 24573 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 25457 24573 206 16 0 24898 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 101828

[startup+80.0432 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1547144/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=114768 CPUtime=80.01
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 27842 0 0 0 7985 16 0 0 25 0 1 0 204744695 117522432 27813 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1610701 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 28692 27813 206 16 0 28133 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 114768

[startup+90.049 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1535560/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=126328 CPUtime=90.02
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 30733 0 0 0 8985 17 0 0 25 0 1 0 204744695 129359872 30704 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 31582 30704 206 16 0 31023 0
Current children cumulated CPU time (s) 90.02
Current children cumulated vsize (Kb) 126328

[startup+100.055 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1522760/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=139092 CPUtime=100.02
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 33925 0 0 0 9983 19 0 0 25 0 1 0 204744695 142430208 33896 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 34773 33896 206 16 0 34214 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 139092

[startup+110.061 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1508616/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=153276 CPUtime=110.02
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 37456 0 0 0 10981 21 0 0 25 0 1 0 204744695 156954624 37427 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 38319 37427 206 16 0 37760 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 153276

[startup+120.066 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1493704/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=168028 CPUtime=120.02
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 41170 0 0 0 11979 23 0 0 25 0 1 0 204744695 172060672 41141 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 42007 41141 206 16 0 41448 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 168028

[startup+130.072 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1480008/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=181796 CPUtime=130.03
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 44600 0 0 0 12978 25 0 0 25 0 1 0 204744695 186159104 44571 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 45449 44571 206 16 0 44890 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 181796

[startup+140.078 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1465736/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=196032 CPUtime=140.03
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 48167 0 0 0 13976 27 0 0 25 0 1 0 204744695 200736768 48138 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528524 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 49008 48138 206 16 0 48449 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 196032

[startup+150.084 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1446088/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=215756 CPUtime=150.04
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 53070 0 0 0 14974 30 0 0 25 0 1 0 204744695 220934144 53041 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 53939 53041 206 16 0 53380 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 215756

[startup+160.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1426120/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=235664 CPUtime=160.04
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 58044 0 0 0 15971 33 0 0 25 0 1 0 204744695 241319936 58015 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 58916 58015 206 16 0 58357 0
Current children cumulated CPU time (s) 160.04
Current children cumulated vsize (Kb) 235664

[startup+170.096 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1412168/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=249508 CPUtime=170.04
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 61518 0 0 0 16969 35 0 0 25 0 1 0 204744695 255496192 61489 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 62377 61489 206 16 0 61818 0
Current children cumulated CPU time (s) 170.04
Current children cumulated vsize (Kb) 249508

[startup+180.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1395912/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=265748 CPUtime=180.05
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 65573 0 0 0 17968 37 0 0 25 0 1 0 204744695 272125952 65544 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 66437 65544 206 16 0 65878 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 265748

[startup+190.107 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1379592/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=282040 CPUtime=190.05
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 69647 0 0 0 18966 39 0 0 25 0 1 0 204744695 288808960 69618 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 70510 69618 206 16 0 69951 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 282040

[startup+200.113 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1368264/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=293308 CPUtime=200.05
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 72473 0 0 0 19965 40 0 0 25 0 1 0 204744695 300347392 72444 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 73327 72444 206 16 0 72768 0
Current children cumulated CPU time (s) 200.05
Current children cumulated vsize (Kb) 293308

[startup+210.119 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16135
/proc/meminfo: memFree=1355144/2055920 swapFree=4181480/4192956

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

Current children cumulated CPU time (s) 1250.41
Current children cumulated vsize (Kb) 1548960

[startup+1260.72 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=101832/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1558408 CPUtime=1260.41
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 388434 0 0 0 125822 219 0 0 25 0 1 0 204744695 1595809792 388405 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 389602 388405 206 16 0 389043 0
Current children cumulated CPU time (s) 1260.41
Current children cumulated vsize (Kb) 1558408

[startup+1270.73 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=93512/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1566720 CPUtime=1270.41
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 390507 0 0 0 126821 220 0 0 25 0 1 0 204744695 1604321280 390478 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517876 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 391680 390478 206 16 0 391121 0
Current children cumulated CPU time (s) 1270.41
Current children cumulated vsize (Kb) 1566720

[startup+1280.74 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=84488/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1575704 CPUtime=1280.42
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 392771 0 0 0 127820 222 0 0 25 0 1 0 204744695 1613520896 392742 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 393926 392742 206 16 0 393367 0
Current children cumulated CPU time (s) 1280.42
Current children cumulated vsize (Kb) 1575704

[startup+1290.74 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=75464/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1584732 CPUtime=1290.43
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 395013 0 0 0 128820 223 0 0 25 0 1 0 204744695 1622765568 394984 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 396183 394984 206 16 0 395624 0
Current children cumulated CPU time (s) 1290.43
Current children cumulated vsize (Kb) 1584732

[startup+1300.75 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=66888/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1593312 CPUtime=1300.42
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 397162 0 0 0 129818 224 0 0 25 0 1 0 204744695 1631551488 397133 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1607291 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 398328 397133 206 16 0 397769 0
Current children cumulated CPU time (s) 1300.42
Current children cumulated vsize (Kb) 1593312

[startup+1310.75 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=55752/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1604348 CPUtime=1310.43
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 399931 0 0 0 130817 226 0 0 25 0 1 0 204744695 1642852352 399902 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 401087 399902 206 16 0 400528 0
Current children cumulated CPU time (s) 1310.43
Current children cumulated vsize (Kb) 1604348

[startup+1320.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=41096/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1619008 CPUtime=1320.44
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 403590 0 0 0 131815 229 0 0 25 0 1 0 204744695 1657864192 403561 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1607291 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 404752 403561 206 16 0 404193 0
Current children cumulated CPU time (s) 1320.44
Current children cumulated vsize (Kb) 1619008

[startup+1330.76 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=22728/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1637256 CPUtime=1330.44
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 408164 0 0 0 132811 233 0 0 25 0 1 0 204744695 1676550144 408135 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 409314 408135 206 16 0 408755 0
Current children cumulated CPU time (s) 1330.44
Current children cumulated vsize (Kb) 1637256

[startup+1340.77 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=22728/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1655024 CPUtime=1340.44
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 412606 0 0 0 133809 235 0 0 25 0 1 0 204744695 1694744576 412577 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 413756 412577 206 16 0 413197 0
Current children cumulated CPU time (s) 1340.44
Current children cumulated vsize (Kb) 1655024

[startup+1350.78 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=15304/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1671832 CPUtime=1350.45
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 416805 0 0 0 134806 239 0 0 25 0 1 0 204744695 1711955968 416776 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 417958 416776 206 16 0 417399 0
Current children cumulated CPU time (s) 1350.45
Current children cumulated vsize (Kb) 1671832

[startup+1360.78 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=15752/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1688800 CPUtime=1360.45
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 421049 0 0 0 135803 242 0 0 25 0 1 0 204744695 1729331200 421020 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 422200 421020 206 16 0 421641 0
Current children cumulated CPU time (s) 1360.45
Current children cumulated vsize (Kb) 1688800

[startup+1370.79 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=15624/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1704540 CPUtime=1370.45
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 424981 0 0 0 136799 246 0 0 25 0 1 0 204744695 1745448960 424952 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 1607237 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 426135 424952 206 16 0 425576 0
Current children cumulated CPU time (s) 1370.45
Current children cumulated vsize (Kb) 1704540

[startup+1380.79 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=15752/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1718472 CPUtime=1380.46
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 428498 0 0 0 137797 249 0 0 25 0 1 0 204744695 1759715328 428469 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 429618 428469 206 16 0 429059 0
Current children cumulated CPU time (s) 1380.46
Current children cumulated vsize (Kb) 1718472

[startup+1390.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=16072/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1733744 CPUtime=1390.46
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 432296 0 0 0 138794 252 0 0 25 0 1 0 204744695 1775353856 432267 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 433436 432267 206 16 0 432877 0
Current children cumulated CPU time (s) 1390.46
Current children cumulated vsize (Kb) 1733744

[startup+1400.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=15752/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1749608 CPUtime=1400.47
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 436263 0 0 0 139792 255 0 0 25 0 1 0 204744695 1791598592 436234 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 437402 436234 206 16 0 436843 0
Current children cumulated CPU time (s) 1400.47
Current children cumulated vsize (Kb) 1749608

[startup+1410.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=15368/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1765744 CPUtime=1410.47
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 440247 0 0 0 140789 258 0 0 25 0 1 0 204744695 1808121856 440218 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 441436 440218 206 16 0 440877 0
Current children cumulated CPU time (s) 1410.47
Current children cumulated vsize (Kb) 1765744

[startup+1420.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=16200/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1781920 CPUtime=1420.48
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 444302 0 0 0 141788 260 0 0 25 0 1 0 204744695 1824686080 444273 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 445480 444273 206 16 0 444921 0
Current children cumulated CPU time (s) 1420.48
Current children cumulated vsize (Kb) 1781920

[startup+1430.82 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=15112/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1795368 CPUtime=1430.48
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 447671 0 0 0 142785 263 0 0 25 0 1 0 204744695 1838456832 447642 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 448842 447642 206 16 0 448283 0
Current children cumulated CPU time (s) 1430.48
Current children cumulated vsize (Kb) 1795368

[startup+1440.83 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=15048/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1809368 CPUtime=1440.48
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 451180 0 0 0 143783 265 0 0 25 0 1 0 204744695 1852792832 451151 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519949 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 452342 451151 206 16 0 451783 0
Current children cumulated CPU time (s) 1440.48
Current children cumulated vsize (Kb) 1809368

[startup+1450.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=15624/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1822740 CPUtime=1450.49
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 454507 0 0 0 144782 267 0 0 25 0 1 0 204744695 1866485760 454478 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 455685 454478 206 16 0 455126 0
Current children cumulated CPU time (s) 1450.49
Current children cumulated vsize (Kb) 1822740

[startup+1460.84 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 16137
/proc/meminfo: memFree=14920/2055920 swapFree=4181480/4192956
[pid=16135] ppid=16133 vsize=1835672 CPUtime=1460.49
/proc/16135/stat : 16135 (Pueblo13) R 16133 16135 16089 0 -1 4194304 457763 0 0 0 145780 269 0 0 25 0 1 0 204744695 1879728128 457734 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/16135/statm: 458918 457734 206 16 0 458359 0
Current children cumulated CPU time (s) 1460.49
Current children cumulated vsize (Kb) 1835672

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1467.19
CPU time (s): 1466.84
CPU user time (s): 1463.83
CPU system time (s): 3.00454
CPU usage (%): 99.976
Max. virtual memory (cumulated for all children) (Kb): 1835672
The end

Launcher Data (download as text)

Begin job on node31 on Sun Jun  4 03:13:30 UTC 2006


FILE ID= 37917-1149390810

PBS_JOBID= 313434

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/Pueblo13 ROOT/tmp/node31/37917-1149390810/instance-37917-1149390810.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node31/watcher-37917-1149390810 -o ROOT/results/node31/solver-37917-1149390810 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node31/37917-1149390810/instance-37917-1149390810.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  325852af8542a0f454599a2893f1b120

RANDOM SEED= 162725535


/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.234
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.234
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:       1657360 kB
Buffers:         26740 kB
Cached:         296832 kB
SwapCached:       3304 kB
Active:         112972 kB
Inactive:       219476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1657360 kB
SwapTotal:     4192956 kB
SwapFree:      4181480 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14964 kB
Slab:            52116 kB
Committed_AS:   420576 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node31 on Sun Jun  4 03:37:57 UTC 2006