Trace number 39900

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/05? 1800.12 1800.65

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-reduced-mps-v2-20-10-etamacro.opb
MD5SUMe211111a6c1a3c27b5e79e770c101730
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark40
Best CPU time to get the best result obtained on this benchmark1782.75
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 40
Optimality of the best value was proved NO
Number of variables15742
Total number of constraints530
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 constraints530
Minimum length of a constraint10
Maximum length of a constraint522
Number of terms in the objective function 1442
Biggest coefficient in the objective function 62322
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 525467
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 525467
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.04	c INFO: OSL Context initialized.
0.46	c Initial problem consists of 15742 variables and 758 constraints.
0.51	c No problem reductions applied in OPT. instance.
0.51	c	preprocess terminated. Elapsed time: 0.472
0.51	c After prepocess the problem consists of 9115 variables and 665 constraints.
0.51	c Initial Lower Bound: -992
0.68	c Restart #1 #Var: 9115 LB: -992 @ 0.648
1.03	c Restart #2 #Var: 9115 LB: -992 @ 0.991
1.49	c Restart #3 #Var: 9115 LB: -992 @ 1.451
1.97	c Restart #4 #Var: 9115 LB: -992 @ 1.932
2.48	c Restart #5 #Var: 9115 LB: -992 @ 2.441
3.01	c Restart #6 #Var: 9115 LB: -992 @ 2.979
3.57	c Restart #7 #Var: 9115 LB: -992 @ 3.532
4.56	c Restart #8 #Var: 9115 LB: -992 @ 4.52
5.78	c Restart #9 #Var: 9114 LB: -992 @ 5.746
6.03	c Restart #10 #Var: 9114 LB: -992 @ 5.996
6.38	c Restart #11 #Var: 9114 LB: -992 @ 6.342
6.91	c Restart #12 #Var: 9113 LB: -992 @ 6.869
7.34	c Restart #13 #Var: 9113 LB: -992 @ 7.299
8.90	c Restart #14 #Var: 9109 LB: -992 @ 8.866
10.10	c Restart #15 #Var: 9109 LB: -992 @ 10.058
11.04	c Restart #16 #Var: 9109 LB: -992 @ 10.994
12.58	c Restart #17 #Var: 9109 LB: -992 @ 12.542
13.91	c Restart #18 #Var: 9108 LB: -992 @ 13.864
15.25	c Restart #19 #Var: 9107 LB: -992 @ 15.208
17.75	c Restart #20 #Var: 9107 LB: -992 @ 17.707
19.08	c Restart #21 #Var: 9107 LB: -992 @ 19.037
19.78	c Restart #22 #Var: 9107 LB: -992 @ 19.738
20.56	c Restart #23 #Var: 9107 LB: -992 @ 20.511
21.45	c Restart #24 #Var: 9107 LB: -992 @ 21.409
22.84	c Restart #25 #Var: 9107 LB: -992 @ 22.799
23.80	c Restart #26 #Var: 9107 LB: -992 @ 23.75
27.46	c Restart #27 #Var: 9107 LB: -992 @ 27.414
29.55	c Restart #28 #Var: 9106 LB: -992 @ 29.506
32.01	c Restart #29 #Var: 9106 LB: -992 @ 31.959
33.68	c Restart #30 #Var: 9106 LB: -992 @ 33.63
37.32	c Restart #31 #Var: 9106 LB: -992 @ 37.274
40.02	c Restart #32 #Var: 9105 LB: -992 @ 39.968
41.33	c Restart #33 #Var: 9100 LB: -992 @ 41.282
53.32	c Restart #34 #Var: 9099 LB: -992 @ 53.268
54.26	c Restart #35 #Var: 9099 LB: -992 @ 54.204
62.93	c Restart #36 #Var: 9098 LB: -992 @ 62.87
79.09	c Restart #37 #Var: 9098 LB: -992 @ 79.034
129.11	c Restart #38 #Var: 9098 LB: -992 @ 129.03
135.32	c Restart #39 #Var: 9098 LB: -992 @ 135.25
139.58	c Restart #40 #Var: 9098 LB: -992 @ 139.5
143.44	c Restart #41 #Var: 9096 LB: -992 @ 143.36
171.16	c Restart #42 #Var: 9092 LB: -992 @ 171.07
179.54	c Restart #43 #Var: 9092 LB: -992 @ 179.45
183.37	c Restart #44 #Var: 9092 LB: -992 @ 183.28
192.80	c Restart #45 #Var: 9092 LB: -992 @ 192.71
210.59	c Restart #46 #Var: 9091 LB: -992 @ 210.49
218.65	c Restart #47 #Var: 9091 LB: -992 @ 218.55
260.73	c Restart #48 #Var: 9090 LB: -992 @ 260.62
270.94	c Restart #49 #Var: 9090 LB: -992 @ 270.83
312.64	c Restart #50 #Var: 9090 LB: -992 @ 312.52
314.86	c Restart #51 #Var: 9086 LB: -968 @ 314.74
337.33	c Restart #52 #Var: 9083 LB: -968 @ 337.2
357.06	c Restart #53 #Var: 9081 LB: -968 @ 356.93
361.32	c Restart #54 #Var: 9081 LB: -968 @ 361.18
370.98	c Restart #55 #Var: 9081 LB: -968 @ 370.84
372.72	c Restart #56 #Var: 9081 LB: -968 @ 372.58
383.26	c Restart #57 #Var: 9081 LB: -968 @ 383.11
402.98	c Restart #58 #Var: 9078 LB: -968 @ 402.83
417.79	c Restart #59 #Var: 9071 LB: -906 @ 417.64
429.95	c Restart #60 #Var: 9071 LB: -906 @ 429.79
462.35	c Restart #61 #Var: 9068 LB: -906 @ 462.19
494.88	c Restart #62 #Var: 9068 LB: -906 @ 494.71
521.11	c Restart #63 #Var: 9068 LB: -906 @ 520.93
540.64	c Restart #64 #Var: 9067 LB: -906 @ 540.46
543.19	c Restart #65 #Var: 9067 LB: -906 @ 543.01
560.24	c Restart #66 #Var: 9067 LB: -906 @ 560.05
565.21	c Restart #67 #Var: 9067 LB: -906 @ 565.02
608.20	c Restart #68 #Var: 9064 LB: -906 @ 608
644.26	c Restart #69 #Var: 9064 LB: -906 @ 644.05
715.60	c Restart #70 #Var: 9058 LB: -906 @ 715.36
778.14	c Restart #71 #Var: 9058 LB: -906 @ 777.89
788.17	c Restart #72 #Var: 9058 LB: -906 @ 787.92
817.66	c Restart #73 #Var: 9058 LB: -906 @ 817.4
1081.71	c CHANGE Heuristic... 
1081.72	c Restart #0 #Var: 9058 LB: -906 @ 1081.4
1082.36	c Restart #1 #Var: 9057 LB: -906 @ 1082
1086.86	c Restart #2 #Var: 9053 LB: -906 @ 1086.5
1098.45	c Restart #3 #Var: 9053 LB: -906 @ 1098.1
1109.03	c Restart #4 #Var: 9053 LB: -906 @ 1108.7
1115.72	c Restart #5 #Var: 9053 LB: -906 @ 1115.4
1122.74	c Restart #6 #Var: 9051 LB: -906 @ 1122.4
1135.98	c Restart #7 #Var: 9045 LB: -902 @ 1135.6
1139.55	c Restart #8 #Var: 9045 LB: -902 @ 1139.2
1144.20	c Restart #9 #Var: 9045 LB: -902 @ 1143.9
1148.87	c Restart #10 #Var: 9045 LB: -902 @ 1148.5
1151.82	c Restart #11 #Var: 9045 LB: -902 @ 1151.5
1160.76	c Restart #12 #Var: 9042 LB: -902 @ 1160.4
1164.62	c Restart #13 #Var: 9042 LB: -902 @ 1164.3
1171.94	c Restart #14 #Var: 9042 LB: -902 @ 1171.6
1192.06	c Restart #15 #Var: 9042 LB: -902 @ 1191.7
1196.61	c Restart #16 #Var: 9042 LB: -902 @ 1196.2
1198.07	c Restart #17 #Var: 9042 LB: -902 @ 1197.7
1207.11	c Restart #18 #Var: 9041 LB: -902 @ 1206.7
1218.27	c Restart #19 #Var: 9041 LB: -902 @ 1217.9
1236.96	c Restart #20 #Var: 9041 LB: -902 @ 1236.6
1246.24	c Restart #21 #Var: 9041 LB: -902 @ 1245.9
1274.82	c Restart #22 #Var: 9041 LB: -902 @ 1274.4
1288.40	c Restart #23 #Var: 9039 LB: -902 @ 1288
1299.18	c Restart #24 #Var: 9037 LB: -902 @ 1298.8
1304.23	c Restart #25 #Var: 9037 LB: -902 @ 1303.8
1315.12	c Restart #26 #Var: 9037 LB: -902 @ 1314.7
1328.75	c Restart #27 #Var: 9037 LB: -902 @ 1328.4
1334.20	c Restart #28 #Var: 9037 LB: -902 @ 1333.8
1340.99	c Restart #29 #Var: 9037 LB: -902 @ 1340.6
1359.83	c Restart #30 #Var: 9037 LB: -902 @ 1359.4
1396.02	c Restart #31 #Var: 9037 LB: -902 @ 1395.6
1402.36	c Restart #32 #Var: 9037 LB: -902 @ 1401.9
1441.27	c Restart #33 #Var: 9036 LB: -902 @ 1440.8
1474.27	c Restart #34 #Var: 9036 LB: -902 @ 1473.8
1529.46	c Restart #35 #Var: 9035 LB: -902 @ 1529
1536.54	c Restart #36 #Var: 9035 LB: -902 @ 1536.1
1544.22	c Restart #37 #Var: 9035 LB: -902 @ 1543.8
1547.23	c Restart #38 #Var: 9035 LB: -902 @ 1546.8
1554.89	c Restart #39 #Var: 9035 LB: -902 @ 1554.4
1564.55	c Restart #40 #Var: 9035 LB: -902 @ 1564.1
1589.93	c Restart #41 #Var: 9035 LB: -902 @ 1589.5
1661.20	c Restart #42 #Var: 9035 LB: -902 @ 1660.7
1676.64	c Restart #43 #Var: 9035 LB: -902 @ 1676.1
1753.10	c Restart #44 #Var: 9035 LB: -902 @ 1752.6
1800.54	s UNKNOWN
1800.54	c Exit Code: 0
1800.54	c Total time: 1800 s

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1808080/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=4664 CPUtime=0
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 136 0 0 0 0 0 0 0 19 0 1 0 198289234 4775936 118 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 5832792 0 0 4096 0 0 0 0 17 1 0 0
/proc/5407/statm: 1166 120 100 55 0 46 0

[startup+10.0023 s]
/proc/loadavg: 0.93 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1770512/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=42632 CPUtime=9.95
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 9807 0 0 0 981 14 0 0 25 0 1 0 198289234 43655168 9717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 10658 9717 297 55 0 9550 0
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 42632

[startup+20.0094 s]
/proc/loadavg: 0.94 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1745936/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=67312 CPUtime=19.96
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 15952 0 0 0 1973 23 0 0 25 0 1 0 198289234 68927488 15862 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 16828 15862 297 55 0 15720 0
Current children cumulated CPU time (s) 19.96
Current children cumulated vsize (Kb) 67312

[startup+30.0156 s]
/proc/loadavg: 0.95 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1707280/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=105836 CPUtime=29.96
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 25592 0 0 0 2965 31 0 0 25 0 1 0 198289234 108376064 25502 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 26459 25502 297 55 0 25351 0
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 105836

[startup+40.0218 s]
/proc/loadavg: 0.96 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1683664/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=129456 CPUtime=39.96
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 31498 0 0 0 3960 36 0 0 25 0 1 0 198289234 132562944 31408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 32364 31408 297 55 0 31256 0
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 129456

[startup+50.028 s]
/proc/loadavg: 0.96 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1678352/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=134872 CPUtime=49.97
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 32829 0 0 0 4958 39 0 0 25 0 1 0 198289234 138108928 32739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 33718 32739 297 55 0 32610 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 134872

[startup+60.0341 s]
/proc/loadavg: 0.97 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1665680/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=147352 CPUtime=59.97
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 35981 0 0 0 5954 43 0 0 25 0 1 0 198289234 150888448 35891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534840 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 36838 35891 297 55 0 35730 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 147352

[startup+70.0403 s]
/proc/loadavg: 0.97 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1660752/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=152352 CPUtime=69.97
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 37212 0 0 0 6953 44 0 0 25 0 1 0 198289234 156008448 37122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 38088 37122 297 55 0 36980 0
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 152352

[startup+80.0465 s]
/proc/loadavg: 0.98 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1656720/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=156316 CPUtime=79.98
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 38211 0 0 0 7953 45 0 0 25 0 1 0 198289234 160067584 38121 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 39079 38121 297 55 0 37971 0
Current children cumulated CPU time (s) 79.98
Current children cumulated vsize (Kb) 156316

[startup+90.0526 s]
/proc/loadavg: 0.98 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1655056/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=158032 CPUtime=89.98
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 38622 0 0 0 8952 46 0 0 25 0 1 0 198289234 161824768 38532 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 39508 38532 297 55 0 38400 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 158032

[startup+100.059 s]
/proc/loadavg: 0.98 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1653392/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=159616 CPUtime=99.98
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 39047 0 0 0 9952 46 0 0 25 0 1 0 198289234 163446784 38957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 39904 38957 297 55 0 38796 0
Current children cumulated CPU time (s) 99.98
Current children cumulated vsize (Kb) 159616

[startup+110.065 s]
/proc/loadavg: 0.98 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1651600/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=161464 CPUtime=109.98
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 39490 0 0 0 10951 47 0 0 25 0 1 0 198289234 165339136 39400 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 40366 39400 297 55 0 39258 0
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 161464

[startup+120.071 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1650000/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=163048 CPUtime=119.99
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 39905 0 0 0 11951 48 0 0 25 0 1 0 198289234 166961152 39815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529509 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 40762 39815 297 55 0 39654 0
Current children cumulated CPU time (s) 119.99
Current children cumulated vsize (Kb) 163048

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1648080/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=165028 CPUtime=130
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 40373 0 0 0 12951 49 0 0 25 0 1 0 198289234 168988672 40283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 41257 40283 297 55 0 40149 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 165028

[startup+140.084 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1635792/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=177304 CPUtime=139.99
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 43444 0 0 0 13947 52 0 0 25 0 1 0 198289234 181559296 43354 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541314 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 44326 43354 297 55 0 43218 0
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 177304

[startup+150.09 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1628368/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=184696 CPUtime=150
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 45281 0 0 0 14945 55 0 0 25 0 1 0 198289234 189128704 45191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 46174 45191 297 55 0 45066 0
Current children cumulated CPU time (s) 150
Current children cumulated vsize (Kb) 184696

[startup+160.096 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1627152/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=185884 CPUtime=160
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 45591 0 0 0 15945 55 0 0 25 0 1 0 198289234 190345216 45501 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 46471 45501 297 55 0 45363 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 185884

[startup+170.101 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1625616/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=187336 CPUtime=170
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 45961 0 0 0 16944 56 0 0 25 0 1 0 198289234 191832064 45871 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541173 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 46834 45871 297 55 0 45726 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 187336

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1617616/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=195396 CPUtime=180.01
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 47981 0 0 0 17943 58 0 0 25 0 1 0 198289234 200085504 47891 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 48849 47891 297 55 0 47741 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 195396

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1604112/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=208988 CPUtime=190.02
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 51355 0 0 0 18941 61 0 0 25 0 1 0 198289234 214003712 51265 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 52247 51265 297 55 0 51139 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 208988

[startup+200.12 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1601360/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=211628 CPUtime=200.02
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 52032 0 0 0 19940 62 0 0 25 0 1 0 198289234 216707072 51942 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 52907 51942 297 55 0 51799 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 211628

[startup+210.126 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5407
/proc/meminfo: memFree=1595728/2055920 swapFree=4181376/4192956

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

/proc/5407/statm: 165358 164240 297 55 0 164250 0
Current children cumulated CPU time (s) 1760.56
Current children cumulated vsize (Kb) 661432

[startup+1771.08 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1149904/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=662224 CPUtime=1770.56
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 164740 0 0 0 176815 241 0 0 25 0 1 0 198289234 678117376 164436 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 165556 164436 297 55 0 164448 0
Current children cumulated CPU time (s) 1770.56
Current children cumulated vsize (Kb) 662224

[startup+1781.09 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1148752/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=663412 CPUtime=1780.57
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165039 0 0 0 177815 242 0 0 25 0 1 0 198289234 679333888 164735 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 165853 164735 297 55 0 164745 0
Current children cumulated CPU time (s) 1780.57
Current children cumulated vsize (Kb) 663412

[startup+1782.09 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1148624/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=663412 CPUtime=1781.57
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165061 0 0 0 177915 242 0 0 25 0 1 0 198289234 679333888 164757 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 165853 164757 297 55 0 164745 0
Current children cumulated CPU time (s) 1781.57
Current children cumulated vsize (Kb) 663412

[startup+1783.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1148560/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=663544 CPUtime=1782.57
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165085 0 0 0 178015 242 0 0 25 0 1 0 198289234 679469056 164781 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 165886 164781 297 55 0 164778 0
Current children cumulated CPU time (s) 1782.57
Current children cumulated vsize (Kb) 663544

[startup+1784.1 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1148432/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=663676 CPUtime=1783.58
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165114 0 0 0 178116 242 0 0 25 0 1 0 198289234 679604224 164810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 165919 164810 297 55 0 164811 0
Current children cumulated CPU time (s) 1783.58
Current children cumulated vsize (Kb) 663676

[startup+1785.11 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1148304/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=663808 CPUtime=1784.58
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165141 0 0 0 178216 242 0 0 25 0 1 0 198289234 679739392 164837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 165952 164837 297 55 0 164844 0
Current children cumulated CPU time (s) 1784.58
Current children cumulated vsize (Kb) 663808

[startup+1786.11 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1148176/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=663940 CPUtime=1785.59
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165181 0 0 0 178317 242 0 0 25 0 1 0 198289234 679874560 164877 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 165985 164877 297 55 0 164877 0
Current children cumulated CPU time (s) 1785.59
Current children cumulated vsize (Kb) 663940

[startup+1787.12 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1148048/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=664072 CPUtime=1786.59
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165201 0 0 0 178417 242 0 0 25 0 1 0 198289234 680009728 164897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534817 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 166018 164897 297 55 0 164910 0
Current children cumulated CPU time (s) 1786.59
Current children cumulated vsize (Kb) 664072

[startup+1788.12 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1147920/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=664204 CPUtime=1787.59
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165234 0 0 0 178517 242 0 0 25 0 1 0 198289234 680144896 164930 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6264443 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 166051 164930 297 55 0 164943 0
Current children cumulated CPU time (s) 1787.59
Current children cumulated vsize (Kb) 664204

[startup+1789.13 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1147792/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=664336 CPUtime=1788.6
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165271 0 0 0 178618 242 0 0 25 0 1 0 198289234 680280064 164967 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 166084 164967 297 55 0 164976 0
Current children cumulated CPU time (s) 1788.6
Current children cumulated vsize (Kb) 664336

[startup+1790.13 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1147600/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=664468 CPUtime=1789.6
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165310 0 0 0 178718 242 0 0 25 0 1 0 198289234 680415232 165006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 166117 165006 297 55 0 165009 0
Current children cumulated CPU time (s) 1789.6
Current children cumulated vsize (Kb) 664468

[startup+1791.14 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1147472/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=664600 CPUtime=1790.61
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165349 0 0 0 178819 242 0 0 25 0 1 0 198289234 680550400 165045 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 166150 165045 297 55 0 165042 0
Current children cumulated CPU time (s) 1790.61
Current children cumulated vsize (Kb) 664600

[startup+1792.14 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1147280/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=664864 CPUtime=1791.61
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165392 0 0 0 178919 242 0 0 25 0 1 0 198289234 680820736 165088 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548771 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 166216 165088 297 55 0 165108 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (Kb) 664864

[startup+1793.15 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1147088/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=664996 CPUtime=1792.61
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165438 0 0 0 179019 242 0 0 25 0 1 0 198289234 680955904 165134 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548503 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 166249 165134 297 55 0 165141 0
Current children cumulated CPU time (s) 1792.61
Current children cumulated vsize (Kb) 664996

[startup+1794.15 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1146960/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=665140 CPUtime=1793.62
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165471 0 0 0 179120 242 0 0 25 0 1 0 198289234 681103360 165167 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 166285 165167 297 55 0 165177 0
Current children cumulated CPU time (s) 1793.62
Current children cumulated vsize (Kb) 665140

[startup+1795.16 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1146896/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=665272 CPUtime=1794.62
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165495 0 0 0 179220 242 0 0 25 0 1 0 198289234 681238528 165191 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 166318 165191 297 55 0 165210 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (Kb) 665272

[startup+1796.16 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1146832/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=665272 CPUtime=1795.63
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165508 0 0 0 179321 242 0 0 25 0 1 0 198289234 681238528 165204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 166318 165204 297 55 0 165210 0
Current children cumulated CPU time (s) 1795.63
Current children cumulated vsize (Kb) 665272

[startup+1797.17 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1146704/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=665404 CPUtime=1796.64
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165533 0 0 0 179421 243 0 0 25 0 1 0 198289234 681373696 165229 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535012 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 166351 165229 297 55 0 165243 0
Current children cumulated CPU time (s) 1796.64
Current children cumulated vsize (Kb) 665404

[startup+1798.17 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1146576/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=665536 CPUtime=1797.65
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165564 0 0 0 179522 243 0 0 25 0 1 0 198289234 681508864 165260 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 166384 165260 297 55 0 165276 0
Current children cumulated CPU time (s) 1797.65
Current children cumulated vsize (Kb) 665536

[startup+1799.18 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1146576/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=665536 CPUtime=1798.65
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165575 0 0 0 179622 243 0 0 25 0 1 0 198289234 681508864 165271 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 166384 165271 297 55 0 165276 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (Kb) 665536

[startup+1800.18 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 5409
/proc/meminfo: memFree=1146448/2055920 swapFree=4181376/4192956
[pid=5407] ppid=5405 vsize=665668 CPUtime=1799.66
/proc/5407/stat : 5407 (bsolo) R 5405 5407 5361 0 -1 0 165596 0 0 0 179723 243 0 0 25 0 1 0 198289234 681644032 165292 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5407/statm: 166417 165292 297 55 0 165309 0
Current children cumulated CPU time (s) 1799.66
Current children cumulated vsize (Kb) 665668

Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.12
CPU user time (s): 1797.59
CPU system time (s): 2.53661
CPU usage (%): 99.9708
Max. virtual memory (cumulated for all children) (Kb): 665668

Launcher Data (download as text)

Begin job on node1 on Sat Jun  3 09:17:57 UTC 2006


FILE ID= 39900-1149326277

PBS_JOBID= 309650

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-etamacro.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node1/39900-1149326277/instance-39900-1149326277.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-39900-1149326277 -o ROOT/results/node1/solver-39900-1149326277 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node1/39900-1149326277/instance-39900-1149326277.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  e211111a6c1a3c27b5e79e770c101730

RANDOM SEED= 583078056


/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.231
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.231
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:       1808480 kB
Buffers:         10168 kB
Cached:         175228 kB
SwapCached:       3236 kB
Active:          42704 kB
Inactive:       151344 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1808480 kB
SwapTotal:     4192956 kB
SwapFree:      4181376 kB
Dirty:             236 kB
Writeback:           0 kB
Mapped:          14908 kB
Slab:            39368 kB
Committed_AS:   294988 kB
PageTables:       1468 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node1 on Sat Jun  3 09:47:57 UTC 2006