Trace number 40048

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.14 1800.85

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-modglob.opb
MD5SUM1c32686691bf96e75781667309b05481
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark104
Best CPU time to get the best result obtained on this benchmark1782.74
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 104
Optimality of the best value was proved NO
Number of variables9818
Total number of constraints291
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 constraints291
Minimum length of a constraint30
Maximum length of a constraint270
Number of terms in the objective function 9818
Biggest coefficient in the objective function 7770
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 533087
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 533087
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.06	c Time Limit set via PBTIMEOUT to 1800
0.07	c INFO: OSL Context initialized.
0.27	c Initial problem consists of 9818 variables and 384 constraints.
0.29	c No problem reductions applied in OPT. instance.
0.29	c	preprocess terminated. Elapsed time: 0.221
0.29	c After prepocess the problem consists of 7384 variables and 382 constraints.
0.29	c Initial Lower Bound: 0
0.40	c Restart #1 #Var: 7384 LB: 0 @ 0.329
0.57	c Restart #2 #Var: 7384 LB: 0 @ 0.499
0.80	c Restart #3 #Var: 7384 LB: 0 @ 0.733
1.10	c Restart #4 #Var: 7384 LB: 0 @ 1.03
1.47	c Restart #5 #Var: 7384 LB: 0 @ 1.395
1.90	c Restart #6 #Var: 7384 LB: 0 @ 1.826
2.41	c Restart #7 #Var: 7384 LB: 0 @ 2.343
3.20	c Restart #8 #Var: 7384 LB: 0 @ 3.133
3.46	c Restart #9 #Var: 7384 LB: 0 @ 3.388
3.62	c Restart #10 #Var: 7384 LB: 0 @ 3.551
3.80	c Restart #11 #Var: 7384 LB: 0 @ 3.728
3.99	c Restart #12 #Var: 7384 LB: 0 @ 3.923
4.19	c Restart #13 #Var: 7384 LB: 0 @ 4.124
4.41	c Restart #14 #Var: 7384 LB: 0 @ 4.335
4.63	c Restart #15 #Var: 7384 LB: 0 @ 4.563
4.88	c Restart #16 #Var: 7384 LB: 0 @ 4.804
5.12	c Restart #17 #Var: 7384 LB: 0 @ 5.054
5.39	c Restart #18 #Var: 7384 LB: 0 @ 5.318
5.67	c Restart #19 #Var: 7384 LB: 0 @ 5.595
5.96	c Restart #20 #Var: 7384 LB: 0 @ 5.891
6.28	c Restart #21 #Var: 7384 LB: 0 @ 6.204
6.59	c Restart #22 #Var: 7384 LB: 0 @ 6.519
6.93	c Restart #23 #Var: 7384 LB: 0 @ 6.858
7.25	c Restart #24 #Var: 7384 LB: 0 @ 7.175
8.16	c Restart #25 #Var: 7384 LB: 0 @ 8.09
9.23	c Restart #26 #Var: 7384 LB: 0 @ 9.158
10.67	c Restart #27 #Var: 7384 LB: 0 @ 10.597
11.89	c Restart #28 #Var: 7384 LB: 0 @ 11.812
12.90	c Restart #29 #Var: 7384 LB: 0 @ 12.82
13.80	c Restart #30 #Var: 7384 LB: 0 @ 13.723
14.37	c Restart #31 #Var: 7384 LB: 0 @ 14.291
14.93	c Restart #32 #Var: 7384 LB: 0 @ 14.848
15.51	c Restart #33 #Var: 7384 LB: 0 @ 15.43
16.08	c Restart #34 #Var: 7384 LB: 0 @ 16.001
16.70	c Restart #35 #Var: 7384 LB: 0 @ 16.625
17.66	c Restart #36 #Var: 7384 LB: 0 @ 17.582
18.33	c Restart #37 #Var: 7384 LB: 0 @ 18.252
20.59	c Restart #38 #Var: 7384 LB: 0 @ 20.509
22.15	c Restart #39 #Var: 7384 LB: 0 @ 22.073
23.08	c Restart #40 #Var: 7384 LB: 0 @ 23
23.83	c Restart #41 #Var: 7384 LB: 0 @ 23.752
25.00	c Restart #42 #Var: 7384 LB: 0 @ 24.914
25.57	c Restart #43 #Var: 7384 LB: 0 @ 25.486
26.36	c Restart #44 #Var: 7384 LB: 0 @ 26.282
27.45	c Restart #45 #Var: 7384 LB: 0 @ 27.362
28.49	c Restart #46 #Var: 7384 LB: 0 @ 28.403
29.54	c Restart #47 #Var: 7384 LB: 0 @ 29.453
36.13	c Restart #48 #Var: 7384 LB: 0 @ 36.044
36.87	c Restart #49 #Var: 7384 LB: 0 @ 36.783
38.68	c Restart #50 #Var: 7384 LB: 0 @ 38.593
39.71	c Restart #51 #Var: 7384 LB: 0 @ 39.621
41.22	c Restart #52 #Var: 7384 LB: 0 @ 41.136
45.65	c Restart #53 #Var: 7384 LB: 0 @ 45.563
51.90	c Restart #54 #Var: 7384 LB: 0 @ 51.807
52.95	c Restart #55 #Var: 7384 LB: 0 @ 52.857
54.57	c Restart #56 #Var: 7384 LB: 0 @ 54.481
56.45	c Restart #57 #Var: 7384 LB: 0 @ 56.357
95.28	c Restart #58 #Var: 7384 LB: 0 @ 95.168
97.46	c Restart #59 #Var: 7384 LB: 0 @ 97.357
98.62	c Restart #60 #Var: 7384 LB: 0 @ 98.511
99.74	c Restart #61 #Var: 7384 LB: 0 @ 99.636
116.70	c Restart #62 #Var: 7384 LB: 0 @ 116.58
118.55	c Restart #63 #Var: 7384 LB: 0 @ 118.44
120.83	c Restart #64 #Var: 7384 LB: 0 @ 120.71
122.84	c Restart #65 #Var: 7384 LB: 0 @ 122.73
127.72	c Restart #66 #Var: 7384 LB: 0 @ 127.6
130.80	c Restart #67 #Var: 7384 LB: 0 @ 130.69
133.16	c Restart #68 #Var: 7384 LB: 0 @ 133.04
135.26	c Restart #69 #Var: 7384 LB: 0 @ 135.14
142.61	c Restart #70 #Var: 7384 LB: 0 @ 142.49
145.01	c Restart #71 #Var: 7384 LB: 0 @ 144.88
147.09	c Restart #72 #Var: 7384 LB: 0 @ 146.97
150.15	c Restart #73 #Var: 7384 LB: 0 @ 150.02
152.12	c Restart #74 #Var: 7384 LB: 0 @ 151.99
153.78	c Restart #75 #Var: 7384 LB: 0 @ 153.65
157.49	c Restart #76 #Var: 7384 LB: 0 @ 157.36
159.02	c Restart #77 #Var: 7384 LB: 0 @ 158.89
161.79	c Restart #78 #Var: 7384 LB: 0 @ 161.66
164.87	c Restart #79 #Var: 7384 LB: 0 @ 164.74
168.34	c Restart #80 #Var: 7384 LB: 0 @ 168.21
174.81	c Restart #81 #Var: 7384 LB: 0 @ 174.67
176.29	c Restart #82 #Var: 7384 LB: 0 @ 176.16
179.85	c Restart #83 #Var: 7384 LB: 0 @ 179.71
181.97	c Restart #84 #Var: 7384 LB: 0 @ 181.84
185.79	c Restart #85 #Var: 7384 LB: 0 @ 185.65
214.00	c Restart #86 #Var: 7384 LB: 0 @ 213.85
222.76	c Restart #87 #Var: 7384 LB: 0 @ 222.61
252.03	c Restart #88 #Var: 7384 LB: 0 @ 251.87
258.20	c Restart #89 #Var: 7384 LB: 0 @ 258.03
261.64	c Restart #90 #Var: 7384 LB: 0 @ 261.48
265.30	c Restart #91 #Var: 7384 LB: 0 @ 265.14
268.32	c Restart #92 #Var: 7384 LB: 0 @ 268.15
271.20	c Restart #93 #Var: 7384 LB: 0 @ 271.03
274.71	c Restart #94 #Var: 7384 LB: 0 @ 274.55
293.31	c Restart #95 #Var: 7384 LB: 0 @ 293.13
367.98	c Restart #96 #Var: 7384 LB: 0 @ 367.78
369.62	c Restart #97 #Var: 7384 LB: 0 @ 369.42
373.29	c Restart #98 #Var: 7384 LB: 0 @ 373.09
374.86	c Restart #99 #Var: 7384 LB: 0 @ 374.66
389.64	c Restart #100 #Var: 7384 LB: 0 @ 389.43
391.95	c Restart #101 #Var: 7384 LB: 0 @ 391.74
394.16	c Restart #102 #Var: 7384 LB: 0 @ 393.95
396.80	c Restart #103 #Var: 7384 LB: 0 @ 396.59
428.43	c Restart #104 #Var: 7384 LB: 0 @ 428.21
438.68	c Restart #105 #Var: 7384 LB: 0 @ 438.46
446.23	c Restart #106 #Var: 7384 LB: 0 @ 446
447.82	c Restart #107 #Var: 7384 LB: 0 @ 447.59
504.55	c Restart #108 #Var: 7384 LB: 0 @ 504.3
508.93	c Restart #109 #Var: 7384 LB: 0 @ 508.68
512.23	c Restart #110 #Var: 7384 LB: 0 @ 511.98
516.27	c Restart #111 #Var: 7384 LB: 0 @ 516.02
564.60	c Restart #112 #Var: 7384 LB: 0 @ 564.33
610.55	c Restart #113 #Var: 7384 LB: 0 @ 610.26
615.76	c Restart #114 #Var: 7384 LB: 0 @ 615.47
618.43	c Restart #115 #Var: 7384 LB: 0 @ 618.14
620.92	c Restart #116 #Var: 7384 LB: 0 @ 620.63
627.56	c Restart #117 #Var: 7384 LB: 0 @ 627.26
771.96	c Restart #118 #Var: 7384 LB: 0 @ 771.62
775.04	c Restart #119 #Var: 7384 LB: 0 @ 774.7
782.06	c Restart #120 #Var: 7384 LB: 0 @ 781.71
786.57	c Restart #121 #Var: 7384 LB: 0 @ 786.22
795.01	c Restart #122 #Var: 7384 LB: 0 @ 794.66
799.91	c Restart #123 #Var: 7384 LB: 0 @ 799.56
802.01	c Restart #124 #Var: 7384 LB: 0 @ 801.65
810.26	c Restart #125 #Var: 7384 LB: 0 @ 809.9
814.00	c Restart #126 #Var: 7384 LB: 0 @ 813.64
821.97	c Restart #127 #Var: 7384 LB: 0 @ 821.61
858.65	c Restart #128 #Var: 7384 LB: 0 @ 858.27
883.04	c Restart #129 #Var: 7384 LB: 0 @ 882.66
892.66	c Restart #130 #Var: 7384 LB: 0 @ 892.27
896.39	c Restart #131 #Var: 7384 LB: 0 @ 896
899.50	c Restart #132 #Var: 7384 LB: 0 @ 899.11
905.94	c CHANGE Heuristic... 
905.94	c Restart #0 #Var: 7384 LB: 0 @ 905.55
906.22	c Restart #1 #Var: 7384 LB: 0 @ 905.83
906.63	c Restart #2 #Var: 7384 LB: 0 @ 906.24
906.90	c Restart #3 #Var: 7384 LB: 0 @ 906.51
908.23	c Restart #4 #Var: 7384 LB: 0 @ 907.84
908.77	c Restart #5 #Var: 7384 LB: 0 @ 908.38
909.10	c Restart #6 #Var: 7384 LB: 0 @ 908.71
910.37	c Restart #7 #Var: 7384 LB: 0 @ 909.98
910.84	c Restart #8 #Var: 7384 LB: 0 @ 910.45
912.68	c Restart #9 #Var: 7384 LB: 0 @ 912.29
913.83	c Restart #10 #Var: 7384 LB: 0 @ 913.44
914.59	c Restart #11 #Var: 7384 LB: 0 @ 914.2
917.10	c Restart #12 #Var: 7384 LB: 0 @ 916.71
920.74	c Restart #13 #Var: 7384 LB: 0 @ 920.34
921.39	c Restart #14 #Var: 7384 LB: 0 @ 920.99
922.26	c Restart #15 #Var: 7384 LB: 0 @ 921.86
923.92	c Restart #16 #Var: 7384 LB: 0 @ 923.52
926.14	c Restart #17 #Var: 7384 LB: 0 @ 925.75
926.76	c Restart #18 #Var: 7384 LB: 0 @ 926.37
933.18	c Restart #19 #Var: 7384 LB: 0 @ 932.78
934.17	c Restart #20 #Var: 7384 LB: 0 @ 933.77
937.13	c Restart #21 #Var: 7384 LB: 0 @ 936.73
938.48	c Restart #22 #Var: 7384 LB: 0 @ 938.08
939.79	c Restart #23 #Var: 7384 LB: 0 @ 939.39
940.74	c Restart #24 #Var: 7384 LB: 0 @ 940.34
942.13	c Restart #25 #Var: 7384 LB: 0 @ 941.73
942.71	c Restart #26 #Var: 7384 LB: 0 @ 942.31
945.89	c Restart #27 #Var: 7384 LB: 0 @ 945.49
946.57	c Restart #28 #Var: 7384 LB: 0 @ 946.16
947.60	c Restart #29 #Var: 7384 LB: 0 @ 947.2
949.22	c Restart #30 #Var: 7384 LB: 0 @ 948.82
979.68	c Restart #31 #Var: 7384 LB: 0 @ 979.27
981.44	c Restart #32 #Var: 7384 LB: 0 @ 981.03
983.14	c Restart #33 #Var: 7384 LB: 0 @ 982.73
985.14	c Restart #34 #Var: 7384 LB: 0 @ 984.72
986.13	c Restart #35 #Var: 7384 LB: 0 @ 985.71
988.55	c Restart #36 #Var: 7384 LB: 0 @ 988.13
989.20	c Restart #37 #Var: 7384 LB: 0 @ 988.79
990.74	c Restart #38 #Var: 7384 LB: 0 @ 990.33
1022.51	c Restart #39 #Var: 7384 LB: 0 @ 1022.1
1024.71	c Restart #40 #Var: 7384 LB: 0 @ 1024.3
1027.60	c Restart #41 #Var: 7384 LB: 0 @ 1027.2
1030.93	c Restart #42 #Var: 7384 LB: 0 @ 1030.5
1035.58	c Restart #43 #Var: 7384 LB: 0 @ 1035.1
1037.65	c Restart #44 #Var: 7384 LB: 0 @ 1037.2
1039.92	c Restart #45 #Var: 7384 LB: 0 @ 1039.5
1120.81	c Restart #46 #Var: 7384 LB: 0 @ 1120.3
1124.48	c Restart #47 #Var: 7384 LB: 0 @ 1124
1129.33	c Restart #48 #Var: 7384 LB: 0 @ 1128.9
1131.69	c Restart #49 #Var: 7384 LB: 0 @ 1131.2
1135.36	c Restart #50 #Var: 7384 LB: 0 @ 1134.9
1136.78	c Restart #51 #Var: 7384 LB: 0 @ 1136.3
1145.77	c Restart #52 #Var: 7384 LB: 0 @ 1145.3
1147.50	c Restart #53 #Var: 7384 LB: 0 @ 1147
1154.30	c Restart #54 #Var: 7384 LB: 0 @ 1153.8
1156.76	c Restart #55 #Var: 7384 LB: 0 @ 1156.3
1159.92	c Restart #56 #Var: 7384 LB: 0 @ 1159.4
1161.70	c Restart #57 #Var: 7384 LB: 0 @ 1161.2
1164.58	c Restart #58 #Var: 7384 LB: 0 @ 1164.1
1168.06	c Restart #59 #Var: 7384 LB: 0 @ 1167.6
1171.23	c Restart #60 #Var: 7384 LB: 0 @ 1170.8
1224.82	c Restart #61 #Var: 7384 LB: 0 @ 1224.3
1236.45	c Restart #62 #Var: 7384 LB: 0 @ 1235.9
1241.21	c Restart #63 #Var: 7384 LB: 0 @ 1240.7
1266.47	c Restart #64 #Var: 7384 LB: 0 @ 1266
1269.31	c Restart #65 #Var: 7384 LB: 0 @ 1268.8
1273.88	c Restart #66 #Var: 7384 LB: 0 @ 1273.4
1373.06	c Restart #67 #Var: 7384 LB: 0 @ 1372.5
1433.40	c Restart #68 #Var: 7384 LB: 0 @ 1432.8
1440.66	c Restart #69 #Var: 7384 LB: 0 @ 1440.1
1465.56	c Restart #70 #Var: 7384 LB: 0 @ 1465
1471.82	c Restart #71 #Var: 7384 LB: 0 @ 1471.2
1487.69	c Restart #72 #Var: 7384 LB: 0 @ 1487.1
1490.76	c Restart #73 #Var: 7384 LB: 0 @ 1490.2
1498.09	c Restart #74 #Var: 7384 LB: 0 @ 1497.5
1501.41	c Restart #75 #Var: 7384 LB: 0 @ 1500.8
1514.75	c Restart #76 #Var: 7384 LB: 0 @ 1514.1
1520.66	c Restart #77 #Var: 7384 LB: 0 @ 1520.1
1524.44	c Restart #78 #Var: 7384 LB: 0 @ 1523.8
1529.66	c Restart #79 #Var: 7384 LB: 0 @ 1529.1
1533.74	c Restart #80 #Var: 7384 LB: 0 @ 1533.1
1539.25	c Restart #81 #Var: 7384 LB: 0 @ 1538.6
1548.63	c Restart #82 #Var: 7384 LB: 0 @ 1548
1552.47	c Restart #83 #Var: 7384 LB: 0 @ 1551.9
1555.59	c Restart #84 #Var: 7384 LB: 0 @ 1555
1558.92	c Restart #85 #Var: 7384 LB: 0 @ 1558.3
1562.14	c Restart #86 #Var: 7384 LB: 0 @ 1561.5
1574.79	c Restart #87 #Var: 7384 LB: 0 @ 1574.2
1585.41	c Restart #88 #Var: 7384 LB: 0 @ 1584.8
1627.93	c Restart #89 #Var: 7384 LB: 0 @ 1627.3
1643.07	c Restart #90 #Var: 7384 LB: 0 @ 1642.4
1662.32	c Restart #91 #Var: 7384 LB: 0 @ 1661.7
1665.34	c Restart #92 #Var: 7384 LB: 0 @ 1664.7
1670.13	c Restart #93 #Var: 7384 LB: 0 @ 1669.5
1673.32	c Restart #94 #Var: 7384 LB: 0 @ 1672.7
1690.63	c Restart #95 #Var: 7384 LB: 0 @ 1690
1695.49	c Restart #96 #Var: 7384 LB: 0 @ 1694.8
1700.23	c Restart #97 #Var: 7384 LB: 0 @ 1699.6
1709.91	c Restart #98 #Var: 7384 LB: 0 @ 1709.2
1778.94	c Restart #99 #Var: 7384 LB: 0 @ 1778.2
1794.72	c Restart #100 #Var: 7384 LB: 0 @ 1794
1800.70	s UNKNOWN
1800.70	c Exit Code: 0
1800.70	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/node68/watcher-40048-1149362220 -o ROOT/results/node68/solver-40048-1149362220 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node68/40048-1149362220/instance-40048-1149362220.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1637496/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=2900 CPUtime=0
/proc/24144/stat : 24144 (bsolo) D 24142 24144 24098 0 -1 0 39 0 0 0 0 0 0 0 18 0 1 0 201891541 2969600 24 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10519559 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/24144/statm: 725 24 18 55 0 19 0

[startup+10.0024 s]
/proc/loadavg: 0.94 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1624768/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=17008 CPUtime=9.92
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 3425 0 2 0 959 33 0 0 25 0 1 0 201891541 17416192 3342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 4252 3342 297 55 0 3144 0
Current children cumulated CPU time (s) 9.92
Current children cumulated vsize (Kb) 17008

[startup+20.0091 s]
/proc/loadavg: 0.95 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1607512/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=34480 CPUtime=19.92
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 7785 0 2 0 1955 37 0 0 25 0 1 0 201891541 35307520 7702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 8620 7702 297 55 0 7512 0
Current children cumulated CPU time (s) 19.92
Current children cumulated vsize (Kb) 34480

[startup+30.0148 s]
/proc/loadavg: 0.95 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1580824/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=61120 CPUtime=29.92
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 14450 0 2 0 2946 46 0 0 25 0 1 0 201891541 62586880 14366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 15280 14366 297 55 0 14172 0
Current children cumulated CPU time (s) 29.92
Current children cumulated vsize (Kb) 61120

[startup+40.0205 s]
/proc/loadavg: 0.96 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1567256/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=74696 CPUtime=39.93
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 17844 0 2 0 3943 50 0 0 25 0 1 0 201891541 76488704 17760 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 18674 17760 297 55 0 17566 0
Current children cumulated CPU time (s) 39.93
Current children cumulated vsize (Kb) 74696

[startup+50.0262 s]
/proc/loadavg: 0.97 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1560728/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=81164 CPUtime=49.93
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 19475 0 2 0 4940 53 0 0 25 0 1 0 201891541 83111936 19391 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 20291 19391 297 55 0 19183 0
Current children cumulated CPU time (s) 49.93
Current children cumulated vsize (Kb) 81164

[startup+60.032 s]
/proc/loadavg: 0.97 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1551576/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=90272 CPUtime=59.93
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 21758 0 2 0 5934 59 0 0 25 0 1 0 201891541 92438528 21674 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 22568 21674 297 55 0 21460 0
Current children cumulated CPU time (s) 59.93
Current children cumulated vsize (Kb) 90272

[startup+70.0377 s]
/proc/loadavg: 0.97 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1551576/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=90272 CPUtime=69.93
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 21758 0 2 0 6934 59 0 0 25 0 1 0 201891541 92438528 21674 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 22568 21674 297 55 0 21460 0
Current children cumulated CPU time (s) 69.93
Current children cumulated vsize (Kb) 90272

[startup+80.0434 s]
/proc/loadavg: 0.98 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1551576/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=90272 CPUtime=79.94
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 21758 0 2 0 7934 60 0 0 25 0 1 0 201891541 92438528 21674 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 22568 21674 297 55 0 21460 0
Current children cumulated CPU time (s) 79.94
Current children cumulated vsize (Kb) 90272

[startup+90.0491 s]
/proc/loadavg: 0.98 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1551576/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=90272 CPUtime=89.93
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 21758 0 2 0 8933 60 0 0 25 0 1 0 201891541 92438528 21674 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 22568 21674 297 55 0 21460 0
Current children cumulated CPU time (s) 89.93
Current children cumulated vsize (Kb) 90272

[startup+100.055 s]
/proc/loadavg: 0.98 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1547544/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=94356 CPUtime=99.94
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 22760 0 2 0 9931 63 0 0 25 0 1 0 201891541 96620544 22676 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 23589 22676 297 55 0 22481 0
Current children cumulated CPU time (s) 99.94
Current children cumulated vsize (Kb) 94356

[startup+110.061 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1533144/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=108744 CPUtime=109.94
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 26350 0 2 0 10926 68 0 0 25 0 1 0 201891541 111353856 26266 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 27186 26266 297 55 0 26078 0
Current children cumulated CPU time (s) 109.94
Current children cumulated vsize (Kb) 108744

[startup+120.066 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1524056/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=117856 CPUtime=119.94
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 28639 0 2 0 11923 71 0 0 25 0 1 0 201891541 120684544 28555 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 29464 28555 297 55 0 28356 0
Current children cumulated CPU time (s) 119.94
Current children cumulated vsize (Kb) 117856

[startup+130.072 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1498968/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=142936 CPUtime=129.95
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 34900 0 2 0 12917 78 0 0 25 0 1 0 201891541 146366464 34816 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 35734 34816 297 55 0 34626 0
Current children cumulated CPU time (s) 129.95
Current children cumulated vsize (Kb) 142936

[startup+140.078 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1484952/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=156912 CPUtime=139.95
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 38396 0 2 0 13911 84 0 0 25 0 1 0 201891541 160677888 38312 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540653 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 39228 38312 297 55 0 38120 0
Current children cumulated CPU time (s) 139.95
Current children cumulated vsize (Kb) 156912

[startup+150.083 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1462488/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=179304 CPUtime=149.95
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 44000 0 2 0 14904 91 0 0 25 0 1 0 201891541 183607296 43916 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 44826 43916 297 55 0 43718 0
Current children cumulated CPU time (s) 149.95
Current children cumulated vsize (Kb) 179304

[startup+160.089 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1450136/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=191700 CPUtime=159.95
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 47084 0 2 0 15900 95 0 0 25 0 1 0 201891541 196300800 46999 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 47925 46999 297 55 0 46817 0
Current children cumulated CPU time (s) 159.95
Current children cumulated vsize (Kb) 191700

[startup+170.095 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1446680/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=195088 CPUtime=169.96
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 47937 0 2 0 16897 99 0 0 25 0 1 0 201891541 199770112 47852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 48772 47852 297 55 0 47664 0
Current children cumulated CPU time (s) 169.96
Current children cumulated vsize (Kb) 195088

[startup+180.101 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1437016/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=204708 CPUtime=179.96
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 50342 0 2 0 17893 103 0 0 25 0 1 0 201891541 209620992 50255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 51177 50255 297 55 0 50069 0
Current children cumulated CPU time (s) 179.96
Current children cumulated vsize (Kb) 204708

[startup+190.106 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1417176/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=224612 CPUtime=189.96
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 55298 0 2 0 18885 111 0 0 25 0 1 0 201891541 230002688 55211 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 56153 55211 297 55 0 55045 0
Current children cumulated CPU time (s) 189.96
Current children cumulated vsize (Kb) 224612

[startup+200.112 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24144
/proc/meminfo: memFree=1411992/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=229764 CPUtime=199.96
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 56589 0 2 0 19883 113 0 0 25 0 1 0 201891541 235278336 56502 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 57441 56502 297 55 0 56333 0
Current children cumulated CPU time (s) 199.96
Current children cumulated vsize (Kb) 229764

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

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

/proc/24144/statm: 225752 224407 297 55 0 224644 0
Current children cumulated CPU time (s) 1760.33
Current children cumulated vsize (Kb) 903008

[startup+1771.04 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=734240/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=907364 CPUtime=1770.34
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 225698 0 2 0 176603 431 0 0 25 0 1 0 201891541 929140736 225523 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 226841 225523 297 55 0 225733 0
Current children cumulated CPU time (s) 1770.34
Current children cumulated vsize (Kb) 907364

[startup+1781.04 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=730656/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=911076 CPUtime=1780.34
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 226595 0 2 0 177601 433 0 0 25 0 1 0 201891541 932941824 226420 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 227769 226420 297 55 0 226661 0
Current children cumulated CPU time (s) 1780.34
Current children cumulated vsize (Kb) 911076

[startup+1782.05 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=730528/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=911076 CPUtime=1781.35
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 226619 0 2 0 177701 434 0 0 25 0 1 0 201891541 932941824 226444 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 227769 226444 297 55 0 226661 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (Kb) 911076

[startup+1783.05 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=730464/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=911208 CPUtime=1782.35
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 226643 0 2 0 177801 434 0 0 25 0 1 0 201891541 933076992 226468 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 227802 226468 297 55 0 226694 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (Kb) 911208

[startup+1784.06 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=730272/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=911472 CPUtime=1783.36
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 226688 0 2 0 177902 434 0 0 25 0 1 0 201891541 933347328 226513 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 227868 226513 297 55 0 226760 0
Current children cumulated CPU time (s) 1783.36
Current children cumulated vsize (Kb) 911472

[startup+1785.06 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=730080/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=911604 CPUtime=1784.36
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 226733 0 2 0 178002 434 0 0 25 0 1 0 201891541 933482496 226558 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 227901 226558 297 55 0 226793 0
Current children cumulated CPU time (s) 1784.36
Current children cumulated vsize (Kb) 911604

[startup+1786.07 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=730080/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=911604 CPUtime=1785.36
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 226738 0 2 0 178102 434 0 0 25 0 1 0 201891541 933482496 226563 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 227901 226563 297 55 0 226793 0
Current children cumulated CPU time (s) 1785.36
Current children cumulated vsize (Kb) 911604

[startup+1787.07 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=729888/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=911868 CPUtime=1786.37
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 226788 0 2 0 178202 435 0 0 25 0 1 0 201891541 933752832 226613 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 227967 226613 297 55 0 226859 0
Current children cumulated CPU time (s) 1786.37
Current children cumulated vsize (Kb) 911868

[startup+1788.08 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=729696/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=912000 CPUtime=1787.38
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 226838 0 2 0 178303 435 0 0 25 0 1 0 201891541 933888000 226663 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 228000 226663 297 55 0 226892 0
Current children cumulated CPU time (s) 1787.38
Current children cumulated vsize (Kb) 912000

[startup+1789.08 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=729312/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=912392 CPUtime=1788.38
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 226919 0 2 0 178403 435 0 0 25 0 1 0 201891541 934289408 226744 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 228098 226744 297 55 0 226990 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (Kb) 912392

[startup+1790.09 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=729056/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=912656 CPUtime=1789.38
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 226986 0 2 0 178503 435 0 0 25 0 1 0 201891541 934559744 226811 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 228164 226811 297 55 0 227056 0
Current children cumulated CPU time (s) 1789.38
Current children cumulated vsize (Kb) 912656

[startup+1791.09 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=729056/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=912656 CPUtime=1790.39
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 226992 0 2 0 178603 436 0 0 25 0 1 0 201891541 934559744 226817 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 228164 226817 297 55 0 227056 0
Current children cumulated CPU time (s) 1790.39
Current children cumulated vsize (Kb) 912656

[startup+1792.1 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=729056/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=912656 CPUtime=1791.39
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 226992 0 2 0 178703 436 0 0 25 0 1 0 201891541 934559744 226817 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 228164 226817 297 55 0 227056 0
Current children cumulated CPU time (s) 1791.39
Current children cumulated vsize (Kb) 912656

[startup+1793.1 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=729056/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=912656 CPUtime=1792.39
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 226996 0 2 0 178803 436 0 0 25 0 1 0 201891541 934559744 226821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604175 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 228164 226821 297 55 0 227056 0
Current children cumulated CPU time (s) 1792.39
Current children cumulated vsize (Kb) 912656

[startup+1794.11 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=728992/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=912656 CPUtime=1793.41
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 227002 0 2 0 178904 437 0 0 25 0 1 0 201891541 934559744 226827 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 228164 226827 297 55 0 227056 0
Current children cumulated CPU time (s) 1793.41
Current children cumulated vsize (Kb) 912656

[startup+1795.11 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=728992/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=912656 CPUtime=1794.41
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 227007 0 2 0 179004 437 0 0 25 0 1 0 201891541 934559744 226832 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 228164 226832 297 55 0 227056 0
Current children cumulated CPU time (s) 1794.41
Current children cumulated vsize (Kb) 912656

[startup+1796.12 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=725664/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=916088 CPUtime=1795.41
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 227847 0 2 0 179104 437 0 0 25 0 1 0 201891541 938074112 227672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 229022 227672 297 55 0 227914 0
Current children cumulated CPU time (s) 1795.41
Current children cumulated vsize (Kb) 916088

[startup+1797.12 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=722400/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=919256 CPUtime=1796.42
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 228657 0 2 0 179204 438 0 0 25 0 1 0 201891541 941318144 228482 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 229814 228482 297 55 0 228706 0
Current children cumulated CPU time (s) 1796.42
Current children cumulated vsize (Kb) 919256

[startup+1798.13 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=719200/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=922428 CPUtime=1797.43
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 229460 0 2 0 179304 439 0 0 25 0 1 0 201891541 944566272 229285 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 230607 229285 297 55 0 229499 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (Kb) 922428

[startup+1799.13 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=716000/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=925596 CPUtime=1798.43
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 230246 0 2 0 179404 439 0 0 25 0 1 0 201891541 947810304 230071 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 231399 230071 297 55 0 230291 0
Current children cumulated CPU time (s) 1798.43
Current children cumulated vsize (Kb) 925596

[startup+1800.14 s]
/proc/loadavg: 0.99 0.99 0.98 2/64 24146
/proc/meminfo: memFree=712864/2055920 swapFree=4182304/4192956
[pid=24144] ppid=24142 vsize=928776 CPUtime=1799.43
/proc/24144/stat : 24144 (bsolo) R 24142 24144 24098 0 -1 0 231039 0 2 0 179503 440 0 0 25 0 1 0 201891541 951066624 230863 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 10950267 0 0 4096 16384 0 0 0 17 1 0 0
/proc/24144/statm: 232194 230863 297 55 0 231086 0
Current children cumulated CPU time (s) 1799.43
Current children cumulated vsize (Kb) 928776

Child status: 0
Real time (s): 1800.85
CPU time (s): 1800.14
CPU user time (s): 1795.6
CPU system time (s): 4.54531
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (Kb): 928776

Launcher Data (download as text)

Begin job on node68 on Sat Jun  3 19:17:00 UTC 2006


FILE ID= 40048-1149362220

PBS_JOBID= 311578

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-modglob.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node68/40048-1149362220/instance-40048-1149362220.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-40048-1149362220 -o ROOT/results/node68/solver-40048-1149362220 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node68/40048-1149362220/instance-40048-1149362220.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  1c32686691bf96e75781667309b05481

RANDOM SEED= 900428295


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1637896 kB
Buffers:         13372 kB
Cached:         342420 kB
SwapCached:       2160 kB
Active:          28632 kB
Inactive:       335696 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1637896 kB
SwapTotal:     4192956 kB
SwapFree:      4182304 kB
Dirty:             140 kB
Writeback:           0 kB
Mapped:          15504 kB
Slab:            39744 kB
Committed_AS:   367140 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node68 on Sat Jun  3 19:47:01 UTC 2006