Trace number 40055

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
bsolo 2006/05Signal 159.577 159.825

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-pp08a.opb
MD5SUMda103607b020ad44cf05bd0679eb486a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables5344
Total number of constraints136
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints136
Minimum length of a constraint31
Maximum length of a constraint240
Number of terms in the objective function 3424
Biggest coefficient in the objective function 3121
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 527152
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262120
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 527152
Number of bits of the biggest sum of numbers20
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 Time Limit set via PBTIMEOUT to 1800
0.08	c INFO: OSL Context initialized.
0.17	c Initial problem consists of 5344 variables and 200 constraints.
0.18	c No problem reductions applied in OPT. instance.
0.18	c	preprocess terminated. Elapsed time: 0.108
0.18	c After prepocess the problem consists of 4600 variables and 200 constraints.
0.18	c Initial Lower Bound: 0
0.23	c Restart #1 #Var: 4600 LB: 0 @ 0.158
0.33	c Restart #2 #Var: 4600 LB: 0 @ 0.26
0.49	c Restart #3 #Var: 4600 LB: 0 @ 0.417
0.67	c Restart #4 #Var: 4600 LB: 0 @ 0.603
0.88	c Restart #5 #Var: 4600 LB: 0 @ 0.805
1.05	c Restart #6 #Var: 4600 LB: 0 @ 0.982
1.28	c Restart #7 #Var: 4600 LB: 0 @ 1.211
1.56	c Restart #8 #Var: 4600 LB: 0 @ 1.492
1.94	c Restart #9 #Var: 4600 LB: 0 @ 1.871
2.07	c Restart #10 #Var: 4600 LB: 0 @ 1.996
2.21	c Restart #11 #Var: 4600 LB: 0 @ 2.138
2.37	c Restart #12 #Var: 4600 LB: 0 @ 2.296
2.55	c Restart #13 #Var: 4600 LB: 0 @ 2.481
2.76	c Restart #14 #Var: 4600 LB: 0 @ 2.685
2.96	c Restart #15 #Var: 4600 LB: 0 @ 2.884
3.18	c Restart #16 #Var: 4600 LB: 0 @ 3.11
3.41	c Restart #17 #Var: 4600 LB: 0 @ 3.34
3.70	c Restart #18 #Var: 4600 LB: 0 @ 3.633
3.99	c Restart #19 #Var: 4600 LB: 0 @ 3.917
4.34	c Restart #20 #Var: 4600 LB: 0 @ 4.264
4.71	c Restart #21 #Var: 4600 LB: 0 @ 4.638
5.05	c Restart #22 #Var: 4600 LB: 0 @ 4.981
5.52	c Restart #23 #Var: 4600 LB: 0 @ 5.45
6.08	c Restart #24 #Var: 4600 LB: 0 @ 6.006
6.68	c Restart #25 #Var: 4600 LB: 0 @ 6.611
7.24	c Restart #26 #Var: 4600 LB: 0 @ 7.167
7.93	c Restart #27 #Var: 4600 LB: 0 @ 7.852
8.73	c Restart #28 #Var: 4600 LB: 0 @ 8.659
9.43	c Restart #29 #Var: 4600 LB: 0 @ 9.359
10.05	c Restart #30 #Var: 4600 LB: 0 @ 9.98
10.65	c Restart #31 #Var: 4600 LB: 0 @ 10.572
11.30	c Restart #32 #Var: 4600 LB: 0 @ 11.221
12.01	c Restart #33 #Var: 4600 LB: 0 @ 11.939
12.75	c Restart #34 #Var: 4600 LB: 0 @ 12.672
13.53	c Restart #35 #Var: 4600 LB: 0 @ 13.459
14.34	c Restart #36 #Var: 4600 LB: 0 @ 14.261
15.21	c Restart #37 #Var: 4600 LB: 0 @ 15.131
16.11	c Restart #38 #Var: 4600 LB: 0 @ 16.03
16.99	c Restart #39 #Var: 4600 LB: 0 @ 16.918
18.04	c Restart #40 #Var: 4600 LB: 0 @ 17.968
18.99	c Restart #41 #Var: 4600 LB: 0 @ 18.915
19.99	c Restart #42 #Var: 4600 LB: 0 @ 19.914
21.14	c Restart #43 #Var: 4600 LB: 0 @ 21.062
22.27	c Restart #44 #Var: 4600 LB: 0 @ 22.188
23.40	c Restart #45 #Var: 4600 LB: 0 @ 23.322
24.42	c Restart #46 #Var: 4600 LB: 0 @ 24.344
25.60	c Restart #47 #Var: 4600 LB: 0 @ 25.522
26.90	c Restart #48 #Var: 4600 LB: 0 @ 26.823
28.06	c Restart #49 #Var: 4600 LB: 0 @ 27.981
29.58	c Restart #50 #Var: 4600 LB: 0 @ 29.497
31.01	c Restart #51 #Var: 4600 LB: 0 @ 30.933
32.43	c Restart #52 #Var: 4600 LB: 0 @ 32.348
33.96	c Restart #53 #Var: 4600 LB: 0 @ 33.883
35.42	c Restart #54 #Var: 4600 LB: 0 @ 35.338
37.07	c Restart #55 #Var: 4600 LB: 0 @ 36.991
38.58	c Restart #56 #Var: 4600 LB: 0 @ 38.495
40.27	c Restart #57 #Var: 4600 LB: 0 @ 40.19
41.88	c Restart #58 #Var: 4600 LB: 0 @ 41.8
43.54	c Restart #59 #Var: 4600 LB: 0 @ 43.458
45.35	c Restart #60 #Var: 4600 LB: 0 @ 45.262
47.01	c Restart #61 #Var: 4600 LB: 0 @ 46.922
48.93	c Restart #62 #Var: 4600 LB: 0 @ 48.843
50.53	c Restart #63 #Var: 4600 LB: 0 @ 50.444
52.47	c Restart #64 #Var: 4600 LB: 0 @ 52.387
54.08	c Restart #65 #Var: 4600 LB: 0 @ 53.992
56.24	c Restart #66 #Var: 4600 LB: 0 @ 56.156
58.17	c Restart #67 #Var: 4600 LB: 0 @ 58.08
60.44	c Restart #68 #Var: 4600 LB: 0 @ 60.353
62.58	c Restart #69 #Var: 4600 LB: 0 @ 62.489
64.61	c Restart #70 #Var: 4600 LB: 0 @ 64.523
67.15	c Restart #71 #Var: 4600 LB: 0 @ 67.059
69.12	c Restart #72 #Var: 4600 LB: 0 @ 69.026
71.85	c Restart #73 #Var: 4600 LB: 0 @ 71.762
74.07	c Restart #74 #Var: 4600 LB: 0 @ 73.972
76.60	c Restart #75 #Var: 4600 LB: 0 @ 76.505
79.01	c Restart #76 #Var: 4600 LB: 0 @ 78.916
81.42	c Restart #77 #Var: 4600 LB: 0 @ 81.329
84.02	c Restart #78 #Var: 4600 LB: 0 @ 83.927
86.70	c Restart #79 #Var: 4600 LB: 0 @ 86.604
89.26	c Restart #80 #Var: 4600 LB: 0 @ 89.168
92.66	c Restart #81 #Var: 4600 LB: 0 @ 92.564
95.43	c Restart #82 #Var: 4600 LB: 0 @ 95.335
98.26	c Restart #83 #Var: 4600 LB: 0 @ 98.165
101.14	c Restart #84 #Var: 4600 LB: 0 @ 101.03
104.50	c Restart #85 #Var: 4600 LB: 0 @ 104.4
107.08	c Restart #86 #Var: 4600 LB: 0 @ 106.97
110.22	c Restart #87 #Var: 4600 LB: 0 @ 110.12
113.51	c Restart #88 #Var: 4600 LB: 0 @ 113.4
116.06	c Restart #89 #Var: 4600 LB: 0 @ 115.95
119.08	c Restart #90 #Var: 4600 LB: 0 @ 118.97
122.98	c Restart #91 #Var: 4600 LB: 0 @ 122.87
125.68	c Restart #92 #Var: 4600 LB: 0 @ 125.58
129.27	c Restart #93 #Var: 4600 LB: 0 @ 129.16
132.03	c Restart #94 #Var: 4600 LB: 0 @ 131.9
135.90	c Restart #95 #Var: 4600 LB: 0 @ 135.77
139.38	c Restart #96 #Var: 4600 LB: 0 @ 139.15
142.82	c Restart #97 #Var: 4600 LB: 0 @ 142.58
147.16	c Restart #98 #Var: 4600 LB: 0 @ 146.93
150.63	c Restart #99 #Var: 4600 LB: 0 @ 150.39
154.83	c Restart #100 #Var: 4600 LB: 0 @ 154.59
158.62	c Restart #101 #Var: 4600 LB: 0 @ 158.38

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node40/watcher-40055-1149271300 -o ROOT/results/node40/solver-40055-1149271300 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node40/40055-1149271300/instance-40055-1149271300.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.96 2/64 11362
/proc/meminfo: memFree=1564744/2055920 swapFree=4181324/4192956
[pid=11362] ppid=11360 vsize=2900 CPUtime=0
/proc/11362/stat : 11362 (bsolo) R 11360 11362 11316 0 -1 0 43 0 0 0 0 0 0 0 18 0 1 0 192796458 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6910756 0 0 4096 0 0 0 0 17 1 0 0
/proc/11362/statm: 725 27 19 55 0 38 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.98 0.96 2/64 11362
/proc/meminfo: memFree=1393872/2055920 swapFree=4181324/4192956
[pid=11362] ppid=11360 vsize=175708 CPUtime=9.93
/proc/11362/stat : 11362 (bsolo) R 11360 11362 11316 0 -1 0 43064 0 0 0 959 34 0 0 25 0 1 0 192796458 179924992 42956 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11362/statm: 43927 42956 297 55 0 42819 0
Current children cumulated CPU time (s) 9.93
Current children cumulated vsize (Kb) 175708

[startup+20.011 s]
/proc/loadavg: 0.94 0.98 0.96 2/64 11362
/proc/meminfo: memFree=1238680/2055920 swapFree=4181324/4192956
[pid=11362] ppid=11360 vsize=330940 CPUtime=19.93
/proc/11362/stat : 11362 (bsolo) R 11360 11362 11316 0 -1 0 81806 0 0 0 1936 57 0 0 25 0 1 0 192796458 338882560 81658 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11362/statm: 82735 81658 297 55 0 81627 0
Current children cumulated CPU time (s) 19.93
Current children cumulated vsize (Kb) 330940

[startup+30.0173 s]
/proc/loadavg: 0.95 0.98 0.96 2/64 11362
/proc/meminfo: memFree=1102360/2055920 swapFree=4181324/4192956
[pid=11362] ppid=11360 vsize=468464 CPUtime=29.92
/proc/11362/stat : 11362 (bsolo) R 11360 11362 11316 0 -1 0 116104 0 0 0 2916 76 0 0 25 0 1 0 192796458 479707136 115717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11362/statm: 117116 115717 297 55 0 116008 0
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 468464

[startup+40.0236 s]
/proc/loadavg: 0.96 0.98 0.96 2/64 11362
/proc/meminfo: memFree=973912/2055920 swapFree=4181324/4192956
[pid=11362] ppid=11360 vsize=596864 CPUtime=39.93
/proc/11362/stat : 11362 (bsolo) R 11360 11362 11316 0 -1 0 148320 0 0 0 3901 92 0 0 25 0 1 0 192796458 611188736 147759 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11362/statm: 149216 147760 297 55 0 148108 0
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 596864

[startup+50.0299 s]
/proc/loadavg: 0.96 0.98 0.96 2/64 11362
/proc/meminfo: memFree=847960/2055920 swapFree=4181324/4192956
[pid=11362] ppid=11360 vsize=723016 CPUtime=49.94
/proc/11362/stat : 11362 (bsolo) R 11360 11362 11316 0 -1 0 180027 0 0 0 4883 111 0 0 25 0 1 0 192796458 740368384 179216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11362/statm: 180754 179217 297 55 0 179646 0
Current children cumulated CPU time (s) 49.94
Current children cumulated vsize (Kb) 723016

[startup+60.0362 s]
/proc/loadavg: 0.97 0.98 0.96 2/64 11362
/proc/meminfo: memFree=729304/2055920 swapFree=4181324/4192956
[pid=11362] ppid=11360 vsize=841988 CPUtime=59.94
/proc/11362/stat : 11362 (bsolo) R 11360 11362 11316 0 -1 0 209728 0 0 0 5868 126 0 0 25 0 1 0 192796458 862195712 208813 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11362/statm: 210497 208813 297 55 0 209389 0
Current children cumulated CPU time (s) 59.94
Current children cumulated vsize (Kb) 841988

[startup+70.0425 s]
/proc/loadavg: 0.97 0.98 0.96 2/64 11362
/proc/meminfo: memFree=620632/2055920 swapFree=4181324/4192956
[pid=11362] ppid=11360 vsize=951444 CPUtime=69.94
/proc/11362/stat : 11362 (bsolo) R 11360 11362 11316 0 -1 0 237284 0 0 0 6852 142 0 0 25 0 1 0 192796458 974278656 235913 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11362/statm: 237861 235914 297 55 0 236753 0
Current children cumulated CPU time (s) 69.94
Current children cumulated vsize (Kb) 951444

[startup+80.0498 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 11362
/proc/meminfo: memFree=512088/2055920 swapFree=4181324/4192956
[pid=11362] ppid=11360 vsize=1060368 CPUtime=79.94
/proc/11362/stat : 11362 (bsolo) R 11360 11362 11316 0 -1 0 264703 0 0 0 7836 158 0 0 25 0 1 0 192796458 1085816832 263006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11362/statm: 265092 263006 297 55 0 263984 0
Current children cumulated CPU time (s) 79.94
Current children cumulated vsize (Kb) 1060368

[startup+90.0551 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 11362
/proc/meminfo: memFree=407896/2055920 swapFree=4181324/4192956
[pid=11362] ppid=11360 vsize=1163780 CPUtime=89.95
/proc/11362/stat : 11362 (bsolo) R 11360 11362 11316 0 -1 0 290673 0 0 0 8823 172 0 0 25 0 1 0 192796458 1191710720 288972 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11362/statm: 290945 288972 297 55 0 289837 0
Current children cumulated CPU time (s) 89.95
Current children cumulated vsize (Kb) 1163780

[startup+100.061 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 11362
/proc/meminfo: memFree=304024/2055920 swapFree=4181324/4192956
[pid=11362] ppid=11360 vsize=1268988 CPUtime=99.95
/proc/11362/stat : 11362 (bsolo) R 11360 11362 11316 0 -1 0 317133 0 0 0 9806 189 0 0 25 0 1 0 192796458 1299443712 314933 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11362/statm: 317247 314933 297 55 0 316139 0
Current children cumulated CPU time (s) 99.95
Current children cumulated vsize (Kb) 1268988

[startup+110.068 s]
/proc/loadavg: 0.98 0.98 0.96 2/64 11362
/proc/meminfo: memFree=201944/2055920 swapFree=4181324/4192956
[pid=11362] ppid=11360 vsize=1370512 CPUtime=109.96
/proc/11362/stat : 11362 (bsolo) R 11360 11362 11316 0 -1 0 342667 0 0 0 10792 204 0 0 25 0 1 0 192796458 1403404288 340371 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11362/statm: 342628 340371 297 55 0 341520 0
Current children cumulated CPU time (s) 109.96
Current children cumulated vsize (Kb) 1370512

[startup+120.074 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 11362
/proc/meminfo: memFree=104664/2055920 swapFree=4181324/4192956
[pid=11362] ppid=11360 vsize=1467800 CPUtime=119.97
/proc/11362/stat : 11362 (bsolo) R 11360 11362 11316 0 -1 0 367058 0 0 0 11778 219 0 0 25 0 1 0 192796458 1503027200 364672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7345787 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11362/statm: 366950 364672 297 55 0 365842 0
Current children cumulated CPU time (s) 119.97
Current children cumulated vsize (Kb) 1467800

[startup+130.08 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 11362
/proc/meminfo: memFree=15384/2055920 swapFree=4181324/4192956
[pid=11362] ppid=11360 vsize=1565960 CPUtime=129.95
/proc/11362/stat : 11362 (bsolo) R 11360 11362 11316 0 -1 0 391655 0 0 0 12762 233 0 0 25 0 1 0 192796458 1603543040 389240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11362/statm: 391490 389241 297 55 0 390382 0
Current children cumulated CPU time (s) 129.95
Current children cumulated vsize (Kb) 1565960

[startup+140.088 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 11362
/proc/meminfo: memFree=15128/2055920 swapFree=4181324/4192956
[pid=11362] ppid=11360 vsize=1663604 CPUtime=139.85
/proc/11362/stat : 11362 (bsolo) R 11360 11362 11316 0 -1 0 416201 0 0 0 13738 247 0 0 25 0 1 0 192796458 1703530496 413531 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11362/statm: 415901 413531 297 55 0 414793 0
Current children cumulated CPU time (s) 139.85
Current children cumulated vsize (Kb) 1663604

[startup+150.094 s]
/proc/loadavg: 0.99 0.98 0.96 2/64 11362
/proc/meminfo: memFree=14872/2055920 swapFree=4181324/4192956
[pid=11362] ppid=11360 vsize=1771360 CPUtime=149.85
/proc/11362/stat : 11362 (bsolo) R 11360 11362 11316 0 -1 0 443437 0 0 0 14723 262 0 0 25 0 1 0 192796458 1813872640 439700 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/11362/statm: 442840 439700 297 55 0 441732 0
Current children cumulated CPU time (s) 149.85
Current children cumulated vsize (Kb) 1771360

Child ended because it received signal 6 (SIGABRT)
Real time (s): 159.825
CPU time (s): 159.577
CPU user time (s): 156.546
CPU system time (s): 3.03054
CPU usage (%): 99.8446
Max. virtual memory (cumulated for all children) (Kb): 1771360
The end

Launcher Data (download as text)

Begin job on node40 on Fri Jun  2 18:01:40 UTC 2006


FILE ID= 40055-1149271300

PBS_JOBID= 301328

BENCH NAME= ROOT/tmp/node40/40055-1149271300/instance-40055-1149271300.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node40/40055-1149271300/instance-40055-1149271300.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node40/watcher-40055-1149271300 -o ROOT/results/node40/solver-40055-1149271300 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node40/40055-1149271300/instance-40055-1149271300.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  da103607b020ad44cf05bd0679eb486a

RANDOM SEED= 869261488


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1564952 kB
Buffers:         26460 kB
Cached:         392076 kB
SwapCached:       3608 kB
Active:          35752 kB
Inactive:       391816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1564952 kB
SwapTotal:     4192956 kB
SwapFree:      4181324 kB
Dirty:             196 kB
Writeback:           0 kB
Mapped:          14972 kB
Slab:            49424 kB
Committed_AS:   307432 kB
PageTables:       1428 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node40 on Fri Jun  2 18:04:19 UTC 2006