Trace number 40747

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 156.965 157.031

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-pp08a.opb
MD5SUMff5b6f1c6eab20bc880408fc770c13e2
Bench CategoryOPT-BIGINT (optimisation, big 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
Satisfiable
(Un)Satisfiability was proved
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 1073741824
Number of bits for the biggest coefficient in the objective function 31
Sum of the numbers in the objective function 180407058264
Number of bits of the sum of numbers in the objective function 38
Biggest number in a constraint 1073741824
Number of bits of the biggest number in a constraint 31
Biggest sum of numbers in a constraint 180407058264
Number of bits of the biggest sum of numbers38
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.01	c INFO: OSL Context initialized.
0.02	c BIG Int formula...
0.11	c Initial problem consists of 5344 variables and 200 constraints.
0.12	c No problem reductions applied in OPT. instance.
0.12	c	preprocess terminated. Elapsed time: 0.115
0.12	c After prepocess the problem consists of 4600 variables and 200 constraints.
0.12	c Initial Lower Bound: 0
0.18	c Restart #1 #Var: 4600 LB: 0 @ 0.175
0.30	c Restart #2 #Var: 4600 LB: 0 @ 0.298
0.46	c Restart #3 #Var: 4600 LB: 0 @ 0.458
0.66	c Restart #4 #Var: 4600 LB: 0 @ 0.651
0.86	c Restart #5 #Var: 4600 LB: 0 @ 0.857
1.04	c Restart #6 #Var: 4600 LB: 0 @ 1.039
1.28	c Restart #7 #Var: 4600 LB: 0 @ 1.278
1.58	c Restart #8 #Var: 4600 LB: 0 @ 1.569
1.87	c Restart #9 #Var: 4600 LB: 0 @ 1.861
2.17	c Restart #10 #Var: 4600 LB: 0 @ 2.156
2.49	c Restart #11 #Var: 4600 LB: 0 @ 2.479
2.76	c Restart #12 #Var: 4600 LB: 0 @ 2.753
2.97	c Restart #13 #Var: 4600 LB: 0 @ 2.955
3.19	c Restart #14 #Var: 4600 LB: 0 @ 3.182
3.42	c Restart #15 #Var: 4600 LB: 0 @ 3.409
3.67	c Restart #16 #Var: 4600 LB: 0 @ 3.656
3.93	c Restart #17 #Var: 4600 LB: 0 @ 3.922
4.21	c Restart #18 #Var: 4600 LB: 0 @ 4.199
4.52	c Restart #19 #Var: 4600 LB: 0 @ 4.51
4.89	c Restart #20 #Var: 4600 LB: 0 @ 4.879
5.37	c Restart #21 #Var: 4600 LB: 0 @ 5.359
5.72	c Restart #22 #Var: 4600 LB: 0 @ 5.711
6.20	c Restart #23 #Var: 4600 LB: 0 @ 6.185
6.67	c Restart #24 #Var: 4600 LB: 0 @ 6.663
7.19	c Restart #25 #Var: 4600 LB: 0 @ 7.176
7.65	c Restart #26 #Var: 4600 LB: 0 @ 7.643
8.30	c Restart #27 #Var: 4600 LB: 0 @ 8.283
8.94	c Restart #28 #Var: 4600 LB: 0 @ 8.926
9.61	c Restart #29 #Var: 4600 LB: 0 @ 9.596
10.26	c Restart #30 #Var: 4600 LB: 0 @ 10.248
10.81	c Restart #31 #Var: 4600 LB: 0 @ 10.794
11.49	c Restart #32 #Var: 4600 LB: 0 @ 11.479
12.17	c Restart #33 #Var: 4600 LB: 0 @ 12.155
12.93	c Restart #34 #Var: 4600 LB: 0 @ 12.915
13.69	c Restart #35 #Var: 4600 LB: 0 @ 13.671
14.45	c Restart #36 #Var: 4600 LB: 0 @ 14.435
15.42	c Restart #37 #Var: 4600 LB: 0 @ 15.407
16.29	c Restart #38 #Var: 4600 LB: 0 @ 16.272
17.19	c Restart #39 #Var: 4600 LB: 0 @ 17.176
18.23	c Restart #40 #Var: 4600 LB: 0 @ 18.217
19.09	c Restart #41 #Var: 4600 LB: 0 @ 19.072
20.24	c Restart #42 #Var: 4600 LB: 0 @ 20.22
21.42	c Restart #43 #Var: 4600 LB: 0 @ 21.4
22.52	c Restart #44 #Var: 4600 LB: 0 @ 22.501
23.75	c Restart #45 #Var: 4600 LB: 0 @ 23.734
24.84	c Restart #46 #Var: 4600 LB: 0 @ 24.825
26.15	c Restart #47 #Var: 4600 LB: 0 @ 26.132
27.62	c Restart #48 #Var: 4600 LB: 0 @ 27.606
28.89	c Restart #49 #Var: 4600 LB: 0 @ 28.867
30.36	c Restart #50 #Var: 4600 LB: 0 @ 30.337
31.52	c Restart #51 #Var: 4600 LB: 0 @ 31.497
33.15	c Restart #52 #Var: 4600 LB: 0 @ 33.128
34.43	c Restart #53 #Var: 4600 LB: 0 @ 34.408
35.97	c Restart #54 #Var: 4600 LB: 0 @ 35.952
37.53	c Restart #55 #Var: 4600 LB: 0 @ 37.509
39.12	c Restart #56 #Var: 4600 LB: 0 @ 39.098
40.83	c Restart #57 #Var: 4600 LB: 0 @ 40.809
42.39	c Restart #58 #Var: 4600 LB: 0 @ 42.369
44.40	c Restart #59 #Var: 4600 LB: 0 @ 44.379
46.02	c Restart #60 #Var: 4600 LB: 0 @ 45.992
47.84	c Restart #61 #Var: 4600 LB: 0 @ 47.814
49.62	c Restart #62 #Var: 4600 LB: 0 @ 49.594
51.21	c Restart #63 #Var: 4600 LB: 0 @ 51.187
53.03	c Restart #64 #Var: 4600 LB: 0 @ 53.002
54.73	c Restart #65 #Var: 4600 LB: 0 @ 54.704
56.40	c Restart #66 #Var: 4600 LB: 0 @ 56.368
58.31	c Restart #67 #Var: 4600 LB: 0 @ 58.286
60.33	c Restart #68 #Var: 4600 LB: 0 @ 60.3
62.74	c Restart #69 #Var: 4600 LB: 0 @ 62.707
64.67	c Restart #70 #Var: 4600 LB: 0 @ 64.636
66.98	c Restart #71 #Var: 4600 LB: 0 @ 66.953
69.14	c Restart #72 #Var: 4600 LB: 0 @ 69.104
71.39	c Restart #73 #Var: 4600 LB: 0 @ 71.359
73.71	c Restart #74 #Var: 4600 LB: 0 @ 73.676
76.01	c Restart #75 #Var: 4600 LB: 0 @ 75.97
78.26	c Restart #76 #Var: 4600 LB: 0 @ 78.222
80.60	c Restart #77 #Var: 4600 LB: 0 @ 80.562
82.91	c Restart #78 #Var: 4600 LB: 0 @ 82.874
85.71	c Restart #79 #Var: 4600 LB: 0 @ 85.672
88.29	c Restart #80 #Var: 4600 LB: 0 @ 88.251
91.08	c Restart #81 #Var: 4600 LB: 0 @ 91.035
93.68	c Restart #82 #Var: 4600 LB: 0 @ 93.637
96.33	c Restart #83 #Var: 4600 LB: 0 @ 96.293
98.96	c Restart #84 #Var: 4600 LB: 0 @ 98.918
101.83	c Restart #85 #Var: 4600 LB: 0 @ 101.78
104.48	c Restart #86 #Var: 4600 LB: 0 @ 104.43
107.18	c Restart #87 #Var: 4600 LB: 0 @ 107.14
109.99	c Restart #88 #Var: 4600 LB: 0 @ 109.94
113.26	c Restart #89 #Var: 4600 LB: 0 @ 113.22
116.30	c Restart #90 #Var: 4600 LB: 0 @ 116.25
119.84	c Restart #91 #Var: 4600 LB: 0 @ 119.79
123.00	c Restart #92 #Var: 4600 LB: 0 @ 122.95
126.16	c Restart #93 #Var: 4600 LB: 0 @ 126.11
129.50	c Restart #94 #Var: 4600 LB: 0 @ 129.44
133.02	c Restart #95 #Var: 4600 LB: 0 @ 132.97
136.95	c Restart #96 #Var: 4600 LB: 0 @ 136.89
140.34	c Restart #97 #Var: 4600 LB: 0 @ 140.28
144.37	c Restart #98 #Var: 4600 LB: 0 @ 144.31
147.94	c Restart #99 #Var: 4600 LB: 0 @ 147.88
151.99	c Restart #100 #Var: 4600 LB: 0 @ 151.93
155.84	c Restart #101 #Var: 4600 LB: 0 @ 155.78

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/node17/watcher-40747-1149315053 -o ROOT/results/node17/solver-40747-1149315053 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/40747-1149315053/instance-40747-1149315053.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.01 1.00 2/64 32076
/proc/meminfo: memFree=1867248/2055920 swapFree=4180996/4192956
[pid=32076] ppid=32074 vsize=4624 CPUtime=0
/proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 73 0 0 0 0 0 0 0 19 0 1 0 197168601 4734976 55 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2859812 0 0 4096 0 0 0 0 17 1 0 0
/proc/32076/statm: 1164 57 42 55 0 44 0

[startup+10.0029 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 32076
/proc/meminfo: memFree=1700488/2055920 swapFree=4180996/4192956
[pid=32076] ppid=32074 vsize=171572 CPUtime=9.98
/proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 42008 0 0 0 959 39 0 0 25 0 1 0 197168601 175689728 41900 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603854 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32076/statm: 42893 41901 297 55 0 41785 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 171572

[startup+20.0097 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 32076
/proc/meminfo: memFree=1542600/2055920 swapFree=4180996/4192956
[pid=32076] ppid=32074 vsize=329828 CPUtime=19.98
/proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 81464 0 0 0 1939 59 0 0 25 0 1 0 197168601 337743872 81301 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32076/statm: 82457 81301 297 55 0 81349 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 329828

[startup+30.0166 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 32076
/proc/meminfo: memFree=1412040/2055920 swapFree=4180996/4192956
[pid=32076] ppid=32074 vsize=461364 CPUtime=29.99
/proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 114441 0 0 0 2923 76 0 0 25 0 1 0 197168601 472436736 113924 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32076/statm: 115341 113924 297 55 0 114233 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 461364

[startup+40.0224 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 32076
/proc/meminfo: memFree=1285384/2055920 swapFree=4180996/4192956
[pid=32076] ppid=32074 vsize=588076 CPUtime=39.99
/proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 146305 0 0 0 3905 94 0 0 25 0 1 0 197168601 602189824 145532 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32076/statm: 147019 145532 297 55 0 145911 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 588076

[startup+50.0293 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 32076
/proc/meminfo: memFree=1167112/2055920 swapFree=4180996/4192956
[pid=32076] ppid=32074 vsize=705968 CPUtime=49.99
/proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 175917 0 0 0 4890 109 0 0 25 0 1 0 197168601 722911232 175050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32076/statm: 176492 175051 297 55 0 175384 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 705968

[startup+60.0351 s]
/proc/loadavg: 1.00 1.01 1.00 2/64 32076
/proc/meminfo: memFree=1030024/2055920 swapFree=4180996/4192956
[pid=32076] ppid=32074 vsize=842388 CPUtime=60
/proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 210105 0 0 0 5873 127 0 0 25 0 1 0 197168601 862605312 209233 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32076/statm: 210597 209233 297 55 0 209489 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 842388

[startup+70.049 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32076
/proc/meminfo: memFree=922696/2055920 swapFree=4180996/4192956
[pid=32076] ppid=32074 vsize=951340 CPUtime=70
/proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 237498 0 0 0 6858 142 0 0 25 0 1 0 197168601 974172160 236041 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3294843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32076/statm: 237835 236041 297 55 0 236727 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 951340

[startup+80.0548 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32076
/proc/meminfo: memFree=798664/2055920 swapFree=4180996/4192956
[pid=32076] ppid=32074 vsize=1075492 CPUtime=80.01
/proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 268676 0 0 0 7843 158 0 0 25 0 1 0 197168601 1101303808 266970 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32076/statm: 268873 266970 297 55 0 267765 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 1075492

[startup+90.0606 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32076
/proc/meminfo: memFree=693448/2055920 swapFree=4180996/4192956
[pid=32076] ppid=32074 vsize=1180764 CPUtime=90.01
/proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 295017 0 0 0 8827 174 0 0 25 0 1 0 197168601 1209102336 293216 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 3294789 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32076/statm: 295191 293216 297 55 0 294083 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 1180764

[startup+100.066 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32076
/proc/meminfo: memFree=586952/2055920 swapFree=4180996/4192956
[pid=32076] ppid=32074 vsize=1286972 CPUtime=100.02
/proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 321619 0 0 0 9815 187 0 0 25 0 1 0 197168601 1317859328 319804 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550909 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32076/statm: 321743 319804 297 55 0 320635 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 1286972

[startup+110.072 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32076
/proc/meminfo: memFree=474248/2055920 swapFree=4180996/4192956
[pid=32076] ppid=32074 vsize=1399260 CPUtime=110.02
/proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 349736 0 0 0 10801 201 0 0 25 0 1 0 197168601 1432842240 347907 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32076/statm: 349815 347907 297 55 0 348707 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 1399260

[startup+120.078 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32076
/proc/meminfo: memFree=378632/2055920 swapFree=4180996/4192956
[pid=32076] ppid=32074 vsize=1494836 CPUtime=120.02
/proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 373674 0 0 0 11789 213 0 0 25 0 1 0 197168601 1530712064 371758 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32076/statm: 373709 371758 297 55 0 372601 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 1494836

[startup+130.084 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32076
/proc/meminfo: memFree=279880/2055920 swapFree=4180996/4192956
[pid=32076] ppid=32074 vsize=1594248 CPUtime=130.02
/proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 398714 0 0 0 12776 226 0 0 25 0 1 0 197168601 1632509952 396390 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32076/statm: 398562 396390 297 55 0 397454 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 1594248

[startup+140.09 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32076
/proc/meminfo: memFree=177800/2055920 swapFree=4180996/4192956
[pid=32076] ppid=32074 vsize=1697276 CPUtime=140.02
/proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 424684 0 0 0 13763 239 0 0 25 0 1 0 197168601 1738010624 421872 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32076/statm: 424319 421872 297 55 0 423211 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 1697276

[startup+150.096 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 32076
/proc/meminfo: memFree=88840/2055920 swapFree=4180996/4192956
[pid=32076] ppid=32074 vsize=1788820 CPUtime=150.02
/proc/32076/stat : 32076 (bsolo) R 32074 32076 32030 0 -1 0 447953 0 0 0 14751 251 0 0 25 0 1 0 197168601 1831751680 444091 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/32076/statm: 447205 444091 297 55 0 446097 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 1788820

Child ended because it received signal 6 (SIGABRT)
Real time (s): 157.031
CPU time (s): 156.965
CPU user time (s): 154.099
CPU system time (s): 2.86656
CPU usage (%): 99.9579
Max. virtual memory (cumulated for all children) (Kb): 1788820
The end

Launcher Data (download as text)

Begin job on node17 on Sat Jun  3 06:10:53 UTC 2006


FILE ID= 40747-1149315053

PBS_JOBID= 308300

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pp08a.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/40747-1149315053/instance-40747-1149315053.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node17/watcher-40747-1149315053 -o ROOT/results/node17/solver-40747-1149315053 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node17/40747-1149315053/instance-40747-1149315053.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  ff5b6f1c6eab20bc880408fc770c13e2

RANDOM SEED= 255776414


/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.278
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.278
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:       1867456 kB
Buffers:         17468 kB
Cached:         100156 kB
SwapCached:       3620 kB
Active:          32328 kB
Inactive:        93932 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1867456 kB
SwapTotal:     4192956 kB
SwapFree:      4180996 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14716 kB
Slab:            48216 kB
Committed_AS:   309844 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node17 on Sat Jun  3 06:13:30 UTC 2006