Trace number 37924

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 1600.67 1601.22

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
wnq/normalized-wnq_n100_mw99_13.opb.PB06.opb
MD5SUM99680d01aa100bfba038606e315bf03d
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark448
Best CPU time to get the best result obtained on this benchmark1800.53
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 431
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 497468
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 497468
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.02	c Pueblo version 1.4 (September 2005)
0.02	c Developed @ University of Michigan, Ann Arbor, MI
0.02	c  by Hossein Sheini
17.96	c starting to Solve
17.96	c #variables read: 10000 - #constraints read: 656901
24.36	o 6442
24.52	o 6386
24.69	o 6358
24.85	o 6302
26.48	o 6290
26.64	o 6252
49.20	o 6240
49.37	o 6180
49.72	o 6029
49.88	o 6026
50.03	o 5963
50.49	o 5929
51.07	o 5901
51.96	o 5897
52.25	o 5886
52.41	o 5840
53.05	o 5832
53.71	o 5827
54.44	o 5813
54.64	o 5808
55.09	o 5772
55.25	o 5746
63.86	o 5729
417.09	o 5720
417.78	o 5691
417.96	o 5682
418.20	o 5677
418.47	o 5659
418.65	o 5649
418.88	o 5596
421.43	o 5590
421.60	o 5581
428.54	o 5554
431.08	o 5549
431.31	o 5535
431.49	o 5521
432.04	o 5520
432.23	o 5509
432.40	o 5465
434.52	o 5461
484.48	o 5458
484.65	o 5455
488.26	o 5454
932.01	o 5450
932.14	o 5439
1043.18	o 5437
1053.07	o 5432
1057.68	o 5427
1059.87	o 5423
1060.01	o 5412
1060.17	o 5411
1060.47	o 5398
1062.59	o 5363
1078.76	o 5361
1089.45	o 5359
1159.84	o 5354
1168.87	o 5346
1169.02	o 5334
1170.79	o 5332
1178.33	o 5324
1182.83	o 5304
1210.34	o 5297
1210.49	o 5286
1218.86	o 5282
1219.01	o 5271
1220.76	o 5267
1220.91	o 5256
1291.34	o 5252
1321.91	o 5250
1402.29	o 5248
1402.54	o 5234
1468.40	o 5229
1479.72	o 5206
1481.55	o 5175
1600.95	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/node39/watcher-37924-1149392550 -o ROOT/results/node39/solver-37924-1149392550 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node39/37924-1149392550/instance-37924-1149392550.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1712648/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=18540 CPUtime=0
/proc/25105/stat : 25105 (runsolver) D 25103 25105 25059 0 -1 4194368 16 0 0 0 0 0 0 0 18 0 1 0 204921396 18984960 279 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 231493659943 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0
/proc/25105/statm: 4635 279 243 16 0 2626 0

[startup+10.0023 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1631192/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=84472 CPUtime=9.98
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 20625 0 0 0 989 9 0 0 25 0 1 0 204921396 86499328 20596 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134532414 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 21118 20596 204 16 0 20559 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 84472

[startup+20.0092 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1621656/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=95468 CPUtime=19.97
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 23022 0 0 0 1987 10 0 0 25 0 1 0 204921396 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 95468

[startup+30.0152 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1621784/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=95468 CPUtime=29.98
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 23022 0 0 0 2988 10 0 0 25 0 1 0 204921396 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 95468

[startup+40.0211 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1621848/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=95468 CPUtime=39.98
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 23022 0 0 0 3987 11 0 0 25 0 1 0 204921396 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 95468

[startup+50.027 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1621848/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=95468 CPUtime=49.99
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 23022 0 0 0 4987 12 0 0 25 0 1 0 204921396 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134530486 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 95468

[startup+60.033 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1621848/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=95468 CPUtime=59.99
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 23022 0 0 0 5987 12 0 0 25 0 1 0 204921396 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 95468

[startup+70.0389 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1621848/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=95468 CPUtime=69.99
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 23022 0 0 0 6987 12 0 0 25 0 1 0 204921396 97759232 22993 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 23867 22993 206 16 0 23308 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 95468

[startup+80.0448 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1610904/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=106404 CPUtime=80
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 25754 0 0 0 7986 14 0 0 25 0 1 0 204921396 108957696 25725 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 26601 25725 206 16 0 26042 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 106404

[startup+90.0507 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1593944/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=123380 CPUtime=90
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 29995 0 0 0 8983 17 0 0 25 0 1 0 204921396 126341120 29966 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 30845 29966 206 16 0 30286 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 123380

[startup+100.057 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1579288/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=137980 CPUtime=100.01
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 33647 0 0 0 9981 20 0 0 25 0 1 0 204921396 141291520 33618 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 34495 33618 206 16 0 33936 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 137980

[startup+110.063 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1562456/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=154768 CPUtime=110.01
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 37845 0 0 0 10979 22 0 0 25 0 1 0 204921396 158482432 37816 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 38692 37816 206 16 0 38133 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 154768

[startup+120.069 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1550040/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=167116 CPUtime=120.01
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 40937 0 0 0 11977 24 0 0 25 0 1 0 204921396 171126784 40908 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 41779 40908 206 16 0 41220 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 167116

[startup+130.074 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1542040/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=175224 CPUtime=130.01
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 42935 0 0 0 12976 25 0 0 25 0 1 0 204921396 179429376 42906 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 43806 42906 206 16 0 43247 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 175224

[startup+140.08 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1526360/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=190868 CPUtime=140.01
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 46842 0 0 0 13974 27 0 0 25 0 1 0 204921396 195448832 46813 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527953 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 47717 46813 206 16 0 47158 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 190868

[startup+150.086 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1510680/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=206476 CPUtime=150.02
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 50760 0 0 0 14972 30 0 0 25 0 1 0 204921396 211431424 50731 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 11531213 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 51619 50731 206 16 0 51060 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 206476

[startup+160.091 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1491864/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=225236 CPUtime=160.02
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 55460 0 0 0 15970 32 0 0 25 0 1 0 204921396 230641664 55431 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517908 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 56309 55431 206 16 0 55750 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 225236

[startup+170.097 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1471896/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=245164 CPUtime=170.02
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 60436 0 0 0 16966 36 0 0 25 0 1 0 204921396 251047936 60407 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517893 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 61291 60407 206 16 0 60732 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 245164

[startup+180.103 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1456920/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=260092 CPUtime=180.03
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 64174 0 0 0 17963 40 0 0 25 0 1 0 204921396 266334208 64145 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 65023 64145 206 16 0 64464 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 260092

[startup+190.109 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1446872/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=270036 CPUtime=190.04
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 66674 0 0 0 18963 41 0 0 25 0 1 0 204921396 276516864 66645 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517919 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 67509 66645 206 16 0 66950 0
Current children cumulated CPU time (s) 190.04
Current children cumulated vsize (Kb) 270036

[startup+200.115 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1436120/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=280888 CPUtime=200.04
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 69357 0 0 0 19962 42 0 0 25 0 1 0 204921396 287629312 69328 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517885 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 70222 69328 206 16 0 69663 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 280888

[startup+210.121 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25105
/proc/meminfo: memFree=1425688/2055920 swapFree=4180844/4192956

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

Current children cumulated CPU time (s) 1390.31
Current children cumulated vsize (Kb) 1668492

[startup+1400.81 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=36888/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1678464 CPUtime=1400.32
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 418426 0 0 0 139774 258 0 0 25 0 1 0 204921396 1718747136 418397 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 419616 418397 206 16 0 419057 0
Current children cumulated CPU time (s) 1400.32
Current children cumulated vsize (Kb) 1678464

[startup+1410.82 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=26840/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1688368 CPUtime=1410.31
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 420916 0 0 0 140772 259 0 0 25 0 1 0 204921396 1728888832 420887 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 422092 420887 206 16 0 421533 0
Current children cumulated CPU time (s) 1410.31
Current children cumulated vsize (Kb) 1688368

[startup+1420.83 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=17176/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1698016 CPUtime=1420.32
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 423337 0 0 0 141771 261 0 0 25 0 1 0 204921396 1738768384 423308 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 424504 423308 206 16 0 423945 0
Current children cumulated CPU time (s) 1420.32
Current children cumulated vsize (Kb) 1698016

[startup+1430.83 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=15704/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1705632 CPUtime=1430.32
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 425225 0 0 0 142770 262 0 0 25 0 1 0 204921396 1746567168 425196 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 426408 425196 206 16 0 425849 0
Current children cumulated CPU time (s) 1430.32
Current children cumulated vsize (Kb) 1705632

[startup+1440.84 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=15256/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1715408 CPUtime=1440.33
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 427684 0 0 0 143769 264 0 0 25 0 1 0 204921396 1756577792 427655 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 428852 427655 206 16 0 428293 0
Current children cumulated CPU time (s) 1440.33
Current children cumulated vsize (Kb) 1715408

[startup+1450.84 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=15128/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1723416 CPUtime=1450.33
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 429683 0 0 0 144767 266 0 0 25 0 1 0 204921396 1764777984 429654 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 430854 429654 206 16 0 430295 0
Current children cumulated CPU time (s) 1450.33
Current children cumulated vsize (Kb) 1723416

[startup+1460.85 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=15000/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1732908 CPUtime=1460.33
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 432072 0 0 0 145766 267 0 0 25 0 1 0 204921396 1774497792 432043 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134519987 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 433227 432043 206 16 0 432668 0
Current children cumulated CPU time (s) 1460.33
Current children cumulated vsize (Kb) 1732908

[startup+1470.86 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=16088/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1741332 CPUtime=1470.34
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 434177 0 0 0 146765 269 0 0 25 0 1 0 204921396 1783123968 434148 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 435333 434148 206 16 0 434774 0
Current children cumulated CPU time (s) 1470.34
Current children cumulated vsize (Kb) 1741332

[startup+1480.86 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=15704/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1749644 CPUtime=1480.34
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 436243 0 0 0 147763 271 0 0 25 0 1 0 204921396 1791635456 436214 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 437411 436214 206 16 0 436852 0
Current children cumulated CPU time (s) 1480.34
Current children cumulated vsize (Kb) 1749644

[startup+1490.87 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=17304/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1757792 CPUtime=1490.34
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 438223 0 0 0 148762 272 0 0 25 0 1 0 204921396 1799979008 438194 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 439448 438194 206 16 0 438889 0
Current children cumulated CPU time (s) 1490.34
Current children cumulated vsize (Kb) 1757792

[startup+1500.87 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=14936/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1766304 CPUtime=1500.35
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 440361 0 0 0 149761 274 0 0 25 0 1 0 204921396 1808695296 440332 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 441576 440332 206 16 0 441017 0
Current children cumulated CPU time (s) 1500.35
Current children cumulated vsize (Kb) 1766304

[startup+1510.88 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=15320/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1773740 CPUtime=1510.35
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 442235 0 0 0 150759 276 0 0 25 0 1 0 204921396 1816309760 442206 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 443435 442206 206 16 0 442876 0
Current children cumulated CPU time (s) 1510.35
Current children cumulated vsize (Kb) 1773740

[startup+1520.89 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=15064/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1781828 CPUtime=1520.36
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 444227 0 0 0 151758 278 0 0 25 0 1 0 204921396 1824591872 444198 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134527715 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 445457 444198 206 16 0 444898 0
Current children cumulated CPU time (s) 1520.36
Current children cumulated vsize (Kb) 1781828

[startup+1530.89 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=15064/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1789544 CPUtime=1530.35
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 446175 0 0 0 152756 279 0 0 25 0 1 0 204921396 1832493056 446146 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134528545 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 447386 446146 206 16 0 446827 0
Current children cumulated CPU time (s) 1530.35
Current children cumulated vsize (Kb) 1789544

[startup+1540.9 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=15128/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1797248 CPUtime=1540.36
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 448126 0 0 0 153755 281 0 0 25 0 1 0 204921396 1840381952 448097 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 449312 448097 206 16 0 448753 0
Current children cumulated CPU time (s) 1540.36
Current children cumulated vsize (Kb) 1797248

[startup+1550.9 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=16216/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1805688 CPUtime=1550.37
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 450238 0 0 0 154754 283 0 0 25 0 1 0 204921396 1849024512 450209 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 451422 450209 206 16 0 450863 0
Current children cumulated CPU time (s) 1550.37
Current children cumulated vsize (Kb) 1805688

[startup+1560.91 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=15960/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1813792 CPUtime=1560.37
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 452242 0 0 0 155753 284 0 0 25 0 1 0 204921396 1857323008 452213 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517903 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 453448 452213 206 16 0 452889 0
Current children cumulated CPU time (s) 1560.37
Current children cumulated vsize (Kb) 1813792

[startup+1570.92 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=15576/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1822112 CPUtime=1570.37
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 454342 0 0 0 156751 286 0 0 25 0 1 0 204921396 1865842688 454313 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 455528 454313 206 16 0 454969 0
Current children cumulated CPU time (s) 1570.37
Current children cumulated vsize (Kb) 1822112

[startup+1580.92 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=15768/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1828384 CPUtime=1580.37
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 455906 0 0 0 157750 287 0 0 25 0 1 0 204921396 1872265216 455877 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517901 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 457096 455877 206 16 0 456537 0
Current children cumulated CPU time (s) 1580.37
Current children cumulated vsize (Kb) 1828384

[startup+1590.93 s]
/proc/loadavg: 0.99 0.98 1.00 2/64 25300
/proc/meminfo: memFree=15192/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1835588 CPUtime=1590.38
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 457675 0 0 0 158750 288 0 0 25 0 1 0 204921396 1879642112 457646 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 458897 457646 206 16 0 458338 0
Current children cumulated CPU time (s) 1590.38
Current children cumulated vsize (Kb) 1835588

[startup+1600.93 s]
/proc/loadavg: 1.06 1.00 1.00 2/64 25300
/proc/meminfo: memFree=16792/2055920 swapFree=4180844/4192956
[pid=25105] ppid=25103 vsize=1843108 CPUtime=1600.39
/proc/25105/stat : 25105 (Pueblo13) R 25103 25105 25059 0 -1 4194304 459586 0 0 0 159750 289 0 0 25 0 1 0 204921396 1887342592 459557 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134559501 0 0 4096 0 0 0 0 17 1 0 0
/proc/25105/statm: 460777 459557 206 16 0 460218 0
Current children cumulated CPU time (s) 1600.39
Current children cumulated vsize (Kb) 1843108

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1601.22
CPU time (s): 1600.67
CPU user time (s): 1597.51
CPU system time (s): 3.16252
CPU usage (%): 99.9654
Max. virtual memory (cumulated for all children) (Kb): 1843108
The end

Launcher Data (download as text)

Begin job on node39 on Sun Jun  4 03:42:31 UTC 2006


FILE ID= 37924-1149392550

PBS_JOBID= 313516

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

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  99680d01aa100bfba038606e315bf03d

RANDOM SEED= 7409195


/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.213
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1712856 kB
Buffers:         23636 kB
Cached:         253444 kB
SwapCached:       3624 kB
Active:          34864 kB
Inactive:       250800 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1712856 kB
SwapTotal:     4192956 kB
SwapFree:      4180844 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14596 kB
Slab:            43420 kB
Committed_AS:   397896 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 node39 on Sun Jun  4 04:09:12 UTC 2006