Trace number 36768

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 1596.8 1597.54

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_6.opb.PB06.opb
MD5SUM5f836d1b8d150c1925229546ed283812
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark462
Best CPU time to get the best result obtained on this benchmark1800.86
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 453
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 491651
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 491651
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.71	c starting to Solve
18.71	c #variables read: 10000 - #constraints read: 656901
25.06	o 6704
25.22	o 6642
25.52	o 6597
25.71	o 6587
26.02	o 6439
26.19	o 6425
27.54	o 6400
30.53	o 6349
30.70	o 6317
32.73	o 6295
32.88	o 6269
37.38	o 6135
37.53	o 6060
37.73	o 5924
38.06	o 5915
38.61	o 5822
38.77	o 5813
39.36	o 5811
39.53	o 5744
39.72	o 5691
39.92	o 5686
40.12	o 5676
40.28	o 5659
40.76	o 5658
40.93	o 5623
41.15	o 5619
42.04	o 5614
42.26	o 5606
188.02	o 5572
188.16	o 5568
198.29	o 5563
198.44	o 5557
439.44	o 5525
439.62	o 5494
439.78	o 5463
555.81	o 5460
556.35	o 5449
572.19	o 5436
652.03	o 5415
669.81	o 5408
670.31	o 5406
671.39	o 5384
671.53	o 5360
671.71	o 5358
671.94	o 5351
1597.19	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/node68/watcher-36768-1149391300 -o ROOT/results/node68/solver-36768-1149391300 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node68/36768-1149391300/instance-36768-1149391300.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1422136/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=964 CPUtime=0
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 51 0 0 0 0 0 0 0 18 0 1 0 204799544 987136 35 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10515236 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 276 39 30 16 0 8 0

[startup+10.0021 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1340744/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=84472 CPUtime=9.99
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 20603 0 0 0 989 10 0 0 25 0 1 0 204799544 86499328 20574 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10948306 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 21118 20574 204 16 0 20559 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 84472

[startup+20.0078 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1331272/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=95468 CPUtime=19.99
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 23022 0 0 0 1988 11 0 0 25 0 1 0 204799544 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517906 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 95468

[startup+30.0135 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1331272/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=95468 CPUtime=29.99
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 23022 0 0 0 2988 11 0 0 25 0 1 0 204799544 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 95468

[startup+40.0192 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1331400/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=95468 CPUtime=39.99
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 23022 0 0 0 3988 11 0 0 25 0 1 0 204799544 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134530538 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 95468

[startup+50.025 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1331400/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=95468 CPUtime=50
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 23022 0 0 0 4988 12 0 0 25 0 1 0 204799544 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 95468

[startup+60.0307 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1331400/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=95468 CPUtime=59.99
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 23022 0 0 0 5987 12 0 0 25 0 1 0 204799544 97759232 22993 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 95468

[startup+70.0364 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1330440/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=96436 CPUtime=69.99
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 23274 0 0 0 6987 12 0 0 25 0 1 0 204799544 98750464 23245 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 24109 23245 206 16 0 23550 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 96436

[startup+80.0421 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1316296/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=110576 CPUtime=80
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 26796 0 0 0 7985 15 0 0 25 0 1 0 204799544 113229824 26767 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517922 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 27644 26767 206 16 0 27085 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 110576

[startup+90.0479 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1303368/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=123524 CPUtime=90
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 30028 0 0 0 8984 16 0 0 25 0 1 0 204799544 126488576 29999 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 30881 29999 206 16 0 30322 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 123524

[startup+100.054 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1290120/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=136744 CPUtime=100
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 33341 0 0 0 9983 17 0 0 25 0 1 0 204799544 140025856 33312 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528556 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 34186 33312 206 16 0 33627 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 136744

[startup+110.059 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1273608/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=153264 CPUtime=110
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 37454 0 0 0 10980 20 0 0 25 0 1 0 204799544 156942336 37425 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 38316 37425 206 16 0 37757 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 153264

[startup+120.065 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1257608/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=169156 CPUtime=120.01
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 41453 0 0 0 11978 23 0 0 25 0 1 0 204799544 173215744 41424 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 42289 41424 206 16 0 41730 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 169156

[startup+130.071 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1239624/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=187244 CPUtime=130.01
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 45939 0 0 0 12975 26 0 0 25 0 1 0 204799544 191737856 45910 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 46811 45910 206 16 0 46252 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 187244

[startup+140.076 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1220552/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=206256 CPUtime=140.01
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 50692 0 0 0 13972 29 0 0 25 0 1 0 204799544 211206144 50663 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 51564 50663 206 16 0 51005 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 206256

[startup+150.082 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1205896/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=220900 CPUtime=150.01
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 54345 0 0 0 14970 31 0 0 25 0 1 0 204799544 226201600 54316 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528023 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 55225 54316 206 16 0 54666 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 220900

[startup+160.088 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1196232/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=230540 CPUtime=160.01
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 56756 0 0 0 15969 32 0 0 25 0 1 0 204799544 236072960 56727 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 57635 56727 206 16 0 57076 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 230540

[startup+170.094 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1180360/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=246376 CPUtime=170.02
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 60719 0 0 0 16967 35 0 0 25 0 1 0 204799544 252289024 60690 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 61594 60690 206 16 0 61035 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 246376

[startup+180.099 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1164488/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=262124 CPUtime=180.03
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 64665 0 0 0 17964 39 0 0 25 0 1 0 204799544 268414976 64636 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 65531 64636 206 16 0 64972 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 262124

[startup+190.105 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1150728/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=275808 CPUtime=190.02
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 68102 0 0 0 18962 40 0 0 25 0 1 0 204799544 282427392 68073 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 68952 68073 206 16 0 68393 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 275808

[startup+200.112 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1135240/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=291540 CPUtime=200.03
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 71968 0 0 0 19960 43 0 0 25 0 1 0 204799544 298536960 71939 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 72885 71939 206 16 0 72326 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 291540

[startup+210.118 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29636
/proc/meminfo: memFree=1118216/2055920 swapFree=4182304/4192956

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

Current children cumulated CPU time (s) 1380.25
Current children cumulated vsize (Kb) 1553728

[startup+1390.82 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=15304/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1567676 CPUtime=1390.24
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 390787 0 0 0 138787 237 0 0 25 0 1 0 204799544 1605300224 390742 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527981 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 391919 390742 206 16 0 391360 0
Current children cumulated CPU time (s) 1390.24
Current children cumulated vsize (Kb) 1567676

[startup+1400.82 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=16328/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1580664 CPUtime=1400.23
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 393993 0 0 0 139783 240 0 0 25 0 1 0 204799544 1618599936 393948 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 395166 393948 206 16 0 394607 0
Current children cumulated CPU time (s) 1400.23
Current children cumulated vsize (Kb) 1580664

[startup+1410.83 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=15944/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1594944 CPUtime=1410.24
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 397568 0 0 0 140780 244 0 0 25 0 1 0 204799544 1633222656 397523 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134557382 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 398736 397523 206 16 0 398177 0
Current children cumulated CPU time (s) 1410.24
Current children cumulated vsize (Kb) 1594944

[startup+1420.84 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=16136/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1611660 CPUtime=1420.24
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 401764 0 0 0 141778 246 0 0 25 0 1 0 204799544 1650339840 401719 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559599 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 402915 401719 206 16 0 402356 0
Current children cumulated CPU time (s) 1420.24
Current children cumulated vsize (Kb) 1611660

[startup+1430.84 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=15880/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1627248 CPUtime=1430.24
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 405684 0 0 0 142776 248 0 0 25 0 1 0 204799544 1666301952 405639 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 406812 405639 206 16 0 406253 0
Current children cumulated CPU time (s) 1430.24
Current children cumulated vsize (Kb) 1627248

[startup+1440.85 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=16072/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1641120 CPUtime=1440.25
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 409134 0 0 0 143773 252 0 0 25 0 1 0 204799544 1680506880 409089 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 10950267 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 410280 409089 206 16 0 409721 0
Current children cumulated CPU time (s) 1440.25
Current children cumulated vsize (Kb) 1641120

[startup+1450.85 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=15368/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1655804 CPUtime=1450.25
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 412799 0 0 0 144771 254 0 0 25 0 1 0 204799544 1695543296 412754 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 413951 412754 206 16 0 413392 0
Current children cumulated CPU time (s) 1450.25
Current children cumulated vsize (Kb) 1655804

[startup+1460.86 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=15304/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1669788 CPUtime=1460.24
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 416287 0 0 0 145767 257 0 0 25 0 1 0 204799544 1709862912 416242 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527942 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 417447 416242 206 16 0 416888 0
Current children cumulated CPU time (s) 1460.24
Current children cumulated vsize (Kb) 1669788

[startup+1470.86 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=16072/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1684432 CPUtime=1470.25
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 419951 0 0 0 146765 260 0 0 25 0 1 0 204799544 1724858368 419906 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517933 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 421108 419906 206 16 0 420549 0
Current children cumulated CPU time (s) 1470.25
Current children cumulated vsize (Kb) 1684432

[startup+1480.87 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=15368/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1697512 CPUtime=1480.25
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 423231 0 0 0 147763 262 0 0 25 0 1 0 204799544 1738252288 423186 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 424378 423186 206 16 0 423819 0
Current children cumulated CPU time (s) 1480.25
Current children cumulated vsize (Kb) 1697512

[startup+1490.88 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=16328/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1710424 CPUtime=1490.25
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 426465 0 0 0 148760 265 0 0 25 0 1 0 204799544 1751474176 426420 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517874 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 427606 426420 206 16 0 427047 0
Current children cumulated CPU time (s) 1490.25
Current children cumulated vsize (Kb) 1710424

[startup+1500.88 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=16328/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1723068 CPUtime=1500.26
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 429606 0 0 0 149757 269 0 0 25 0 1 0 204799544 1764421632 429561 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528622 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 430767 429561 206 16 0 430208 0
Current children cumulated CPU time (s) 1500.26
Current children cumulated vsize (Kb) 1723068

[startup+1510.89 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=16072/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1737240 CPUtime=1510.26
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 433168 0 0 0 150755 271 0 0 25 0 1 0 204799544 1778933760 433123 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 434310 433123 206 16 0 433751 0
Current children cumulated CPU time (s) 1510.26
Current children cumulated vsize (Kb) 1737240

[startup+1520.89 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=16008/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1749692 CPUtime=1520.27
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 436291 0 0 0 151754 273 0 0 25 0 1 0 204799544 1791684608 436246 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134528577 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 437423 436246 206 16 0 436864 0
Current children cumulated CPU time (s) 1520.27
Current children cumulated vsize (Kb) 1749692

[startup+1530.9 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=15688/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1762332 CPUtime=1530.27
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 439435 0 0 0 152750 277 0 0 25 0 1 0 204799544 1804627968 439390 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 440583 439390 206 16 0 440024 0
Current children cumulated CPU time (s) 1530.27
Current children cumulated vsize (Kb) 1762332

[startup+1540.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=15816/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1774472 CPUtime=1540.27
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 442461 0 0 0 153748 279 0 0 25 0 1 0 204799544 1817059328 442416 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 443618 442416 206 16 0 443059 0
Current children cumulated CPU time (s) 1540.27
Current children cumulated vsize (Kb) 1774472

[startup+1550.91 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=15240/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1787264 CPUtime=1550.27
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 445667 0 0 0 154746 281 0 0 25 0 1 0 204799544 1830158336 445622 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520075 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 446816 445622 206 16 0 446257 0
Current children cumulated CPU time (s) 1550.27
Current children cumulated vsize (Kb) 1787264

[startup+1560.92 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=15048/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1798164 CPUtime=1560.28
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 448409 0 0 0 155744 284 0 0 25 0 1 0 204799544 1841319936 448364 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134520059 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 449541 448364 206 16 0 448982 0
Current children cumulated CPU time (s) 1560.28
Current children cumulated vsize (Kb) 1798164

[startup+1570.93 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=15368/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1811692 CPUtime=1570.28
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 451777 0 0 0 156741 287 0 0 25 0 1 0 204799544 1855172608 451732 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517727 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 452923 451732 206 16 0 452364 0
Current children cumulated CPU time (s) 1570.28
Current children cumulated vsize (Kb) 1811692

[startup+1580.93 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=15752/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1822020 CPUtime=1580.29
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 454366 0 0 0 157740 289 0 0 25 0 1 0 204799544 1865748480 454321 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134559533 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 455505 454321 206 16 0 454946 0
Current children cumulated CPU time (s) 1580.29
Current children cumulated vsize (Kb) 1822020

[startup+1590.94 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 29638
/proc/meminfo: memFree=15048/2055920 swapFree=4182304/4192956
[pid=29636] ppid=29634 vsize=1835124 CPUtime=1590.29
/proc/29636/stat : 29636 (Pueblo) R 29634 29636 29590 0 -1 4194304 457634 0 0 0 158737 292 0 0 25 0 1 0 204799544 1879166976 457589 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527833 0 0 4096 0 0 0 0 17 1 0 0
/proc/29636/statm: 458781 457589 206 16 0 458222 0
Current children cumulated CPU time (s) 1590.29
Current children cumulated vsize (Kb) 1835124

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1597.54
CPU time (s): 1596.8
CPU user time (s): 1593.58
CPU system time (s): 3.21051
CPU usage (%): 99.9532
Max. virtual memory (cumulated for all children) (Kb): 1835124
The end

Launcher Data (download as text)

Begin job on node68 on Sun Jun  4 03:21:40 UTC 2006


FILE ID= 36768-1149391300

PBS_JOBID= 313448

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

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  5f836d1b8d150c1925229546ed283812

RANDOM SEED= 578402394


/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.279
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.279
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:       1422344 kB
Buffers:         22008 kB
Cached:         544624 kB
SwapCached:       2256 kB
Active:         106016 kB
Inactive:       469280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1422344 kB
SwapTotal:     4192956 kB
SwapFree:      4182304 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          15548 kB
Slab:            44296 kB
Committed_AS:   399696 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node68 on Sun Jun  4 03:48:18 UTC 2006