Trace number 39920

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.1 1800.82

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-perold.opb
MD5SUM1cb0147510c9838b4e6052b678a2a523
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables36286
Total number of constraints891
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 constraints891
Minimum length of a constraint10
Maximum length of a constraint991
Number of terms in the objective function 210
Biggest coefficient in the objective function 37450
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524454
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262399
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 525072
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.01	c INFO: OSL Context initialized.
1.11	c Initial problem consists of 36286 variables and 1378 constraints.
1.25	c No problem reductions applied in OPT. instance.
1.25	c	preprocess terminated. Elapsed time: 1.241
1.25	c After prepocess the problem consists of 30416 variables and 1332 constraints.
1.25	c Initial Lower Bound: -206129
1.42	c Restart #1 #Var: 30416 LB: -206129 @ 1.418
1.68	c Restart #2 #Var: 30416 LB: -206129 @ 1.674
2.02	c Restart #3 #Var: 30416 LB: -206129 @ 2.012
2.44	c Restart #4 #Var: 30416 LB: -206129 @ 2.431
3.01	c Restart #5 #Var: 30416 LB: -206129 @ 3.003
3.67	c Restart #6 #Var: 30416 LB: -206129 @ 3.66
4.40	c Restart #7 #Var: 30416 LB: -206129 @ 4.396
5.88	c Restart #8 #Var: 30416 LB: -206129 @ 5.873
6.41	c Restart #9 #Var: 30416 LB: -206129 @ 6.402
7.74	c Restart #10 #Var: 30416 LB: -206129 @ 7.735
9.04	c Restart #11 #Var: 30416 LB: -206129 @ 9.028
9.61	c Restart #12 #Var: 30416 LB: -206129 @ 9.601
11.33	c Restart #13 #Var: 30416 LB: -206129 @ 11.317
11.97	c Restart #14 #Var: 30416 LB: -206129 @ 11.953
14.60	c Restart #15 #Var: 30416 LB: -206129 @ 14.581
17.07	c Restart #16 #Var: 30416 LB: -206129 @ 17.054
20.66	c Restart #17 #Var: 30416 LB: -206129 @ 20.645
23.17	c Restart #18 #Var: 30416 LB: -206129 @ 23.156
25.80	c Restart #19 #Var: 30416 LB: -206129 @ 25.784
28.65	c Restart #20 #Var: 30416 LB: -206129 @ 28.629
29.75	c Restart #21 #Var: 30415 LB: -206129 @ 29.729
31.57	c Restart #22 #Var: 30414 LB: -206129 @ 31.554
35.03	c Restart #23 #Var: 30414 LB: -206129 @ 35.011
36.59	c Restart #24 #Var: 30414 LB: -206129 @ 36.565
40.68	c Restart #25 #Var: 30414 LB: -206129 @ 40.651
42.88	c Restart #26 #Var: 30414 LB: -206129 @ 42.856
44.80	c Restart #27 #Var: 30414 LB: -206129 @ 44.775
45.87	c Restart #28 #Var: 30399 LB: -206129 @ 45.84
46.73	c Restart #29 #Var: 30390 LB: -206129 @ 46.704
50.23	c Restart #30 #Var: 30388 LB: -206129 @ 50.205
51.89	c Restart #31 #Var: 30388 LB: -206129 @ 51.86
52.77	c Restart #32 #Var: 30388 LB: -206129 @ 52.741
54.24	c Restart #33 #Var: 30388 LB: -206129 @ 54.213
56.93	c Restart #34 #Var: 30388 LB: -206129 @ 56.9
59.43	c Restart #35 #Var: 30388 LB: -206129 @ 59.401
60.33	c Restart #36 #Var: 30388 LB: -206129 @ 60.294
61.78	c Restart #37 #Var: 30388 LB: -206129 @ 61.753
64.71	c Restart #38 #Var: 30388 LB: -206129 @ 64.679
66.71	c Restart #39 #Var: 30388 LB: -206129 @ 66.673
68.08	c Restart #40 #Var: 30388 LB: -206129 @ 68.049
72.49	c Restart #41 #Var: 30388 LB: -206129 @ 72.453
74.75	c Restart #42 #Var: 30387 LB: -206129 @ 74.711
77.63	c Restart #43 #Var: 30387 LB: -206129 @ 77.596
79.36	c Restart #44 #Var: 30387 LB: -206129 @ 79.324
84.23	c Restart #45 #Var: 30387 LB: -206129 @ 84.191
85.37	c Restart #46 #Var: 30387 LB: -206129 @ 85.333
88.22	c Restart #47 #Var: 30387 LB: -206129 @ 88.182
89.89	c Restart #48 #Var: 30387 LB: -206129 @ 89.846
91.46	c Restart #49 #Var: 30387 LB: -206129 @ 91.419
94.33	c Restart #50 #Var: 30387 LB: -206129 @ 94.286
99.86	c Restart #51 #Var: 30383 LB: -206129 @ 99.81
104.80	c Restart #52 #Var: 30356 LB: -206129 @ 104.75
106.54	c Restart #53 #Var: 30355 LB: -206129 @ 106.49
111.89	c Restart #54 #Var: 30354 LB: -206129 @ 111.84
114.58	c Restart #55 #Var: 30328 LB: -206129 @ 114.53
119.25	c Restart #56 #Var: 30327 LB: -206129 @ 119.2
125.86	c Restart #57 #Var: 30327 LB: -206129 @ 125.8
129.79	c Restart #58 #Var: 30327 LB: -206129 @ 129.74
134.00	c Restart #59 #Var: 30315 LB: -206129 @ 133.94
151.84	c Restart #60 #Var: 30315 LB: -206129 @ 151.78
159.51	c Restart #61 #Var: 30315 LB: -206129 @ 159.44
161.80	c Restart #62 #Var: 30315 LB: -206129 @ 161.73
170.33	c Restart #63 #Var: 30315 LB: -206129 @ 170.26
174.62	c Restart #64 #Var: 30315 LB: -206129 @ 174.54
178.20	c Restart #65 #Var: 30314 LB: -206129 @ 178.13
188.43	c Restart #66 #Var: 30314 LB: -206129 @ 188.36
192.48	c Restart #67 #Var: 30314 LB: -206129 @ 192.4
198.25	c Restart #68 #Var: 30314 LB: -206129 @ 198.17
208.00	c Restart #69 #Var: 30314 LB: -206129 @ 207.91
218.82	c Restart #70 #Var: 30314 LB: -206129 @ 218.74
228.90	c Restart #71 #Var: 30314 LB: -206129 @ 228.81
246.44	c Restart #72 #Var: 30314 LB: -206129 @ 246.34
256.94	c Restart #73 #Var: 30314 LB: -206129 @ 256.84
258.64	c Restart #74 #Var: 30313 LB: -206129 @ 258.53
263.78	c Restart #75 #Var: 30313 LB: -206129 @ 263.68
267.60	c Restart #76 #Var: 30313 LB: -206129 @ 267.5
282.88	c Restart #77 #Var: 30311 LB: -206129 @ 282.76
301.37	c Restart #78 #Var: 30311 LB: -206129 @ 301.25
305.70	c Restart #79 #Var: 30309 LB: -206129 @ 305.58
309.07	c Restart #80 #Var: 30309 LB: -206129 @ 308.95
314.16	c Restart #81 #Var: 30309 LB: -206129 @ 314.04
322.65	c Restart #82 #Var: 30308 LB: -206129 @ 322.52
327.34	c Restart #83 #Var: 30308 LB: -206129 @ 327.21
337.52	c Restart #84 #Var: 30308 LB: -206129 @ 337.39
343.45	c Restart #85 #Var: 30305 LB: -206129 @ 343.31
349.36	c Restart #86 #Var: 30305 LB: -206129 @ 349.22
354.68	c Restart #87 #Var: 30305 LB: -206129 @ 354.54
357.81	c Restart #88 #Var: 30305 LB: -206129 @ 357.67
366.11	c Restart #89 #Var: 30305 LB: -206129 @ 365.96
371.07	c Restart #90 #Var: 30305 LB: -206129 @ 370.92
378.02	c Restart #91 #Var: 30305 LB: -206129 @ 377.87
382.80	c Restart #92 #Var: 30305 LB: -206129 @ 382.65
386.42	c Restart #93 #Var: 30305 LB: -206129 @ 386.26
390.39	c Restart #94 #Var: 30305 LB: -206129 @ 390.24
398.12	c Restart #95 #Var: 30305 LB: -206129 @ 397.96
408.06	c Restart #96 #Var: 30305 LB: -206129 @ 407.9
415.37	c Restart #97 #Var: 30305 LB: -206129 @ 415.21
420.12	c Restart #98 #Var: 30305 LB: -206129 @ 419.95
426.51	c Restart #99 #Var: 30301 LB: -206129 @ 426.34
432.33	c Restart #100 #Var: 30300 LB: -206129 @ 432.16
436.55	c Restart #101 #Var: 30300 LB: -206129 @ 436.38
456.83	c Restart #102 #Var: 30300 LB: -206129 @ 456.66
460.57	c Restart #103 #Var: 30300 LB: -206129 @ 460.39
466.44	c Restart #104 #Var: 30300 LB: -206129 @ 466.26
474.13	c Restart #105 #Var: 30299 LB: -206129 @ 473.95
483.10	c Restart #106 #Var: 30299 LB: -206129 @ 482.91
490.88	c Restart #107 #Var: 30299 LB: -206129 @ 490.69
500.38	c Restart #108 #Var: 30298 LB: -206129 @ 500.19
513.03	c Restart #109 #Var: 30298 LB: -206129 @ 512.83
520.17	c Restart #110 #Var: 30298 LB: -206129 @ 519.97
525.68	c Restart #111 #Var: 30298 LB: -206129 @ 525.48
532.31	c Restart #112 #Var: 30298 LB: -206129 @ 532.11
538.93	c Restart #113 #Var: 30298 LB: -206129 @ 538.72
544.03	c Restart #114 #Var: 30298 LB: -206129 @ 543.82
549.99	c Restart #115 #Var: 30298 LB: -206129 @ 549.77
567.86	c Restart #116 #Var: 30297 LB: -206129 @ 567.64
586.47	c Restart #117 #Var: 30283 LB: -206129 @ 586.25
593.94	c Restart #118 #Var: 30263 LB: -206129 @ 593.71
603.84	c Restart #119 #Var: 30261 LB: -206129 @ 603.6
611.58	c Restart #120 #Var: 30239 LB: -206129 @ 611.35
619.79	c Restart #121 #Var: 30239 LB: -206129 @ 619.55
628.03	c Restart #122 #Var: 30239 LB: -206129 @ 627.78
637.11	c Restart #123 #Var: 30235 LB: -206129 @ 636.87
646.23	c Restart #124 #Var: 30235 LB: -206129 @ 645.98
660.06	c Restart #125 #Var: 30232 LB: -206129 @ 659.81
679.13	c Restart #126 #Var: 30232 LB: -206129 @ 678.88
695.18	c Restart #127 #Var: 30231 LB: -206129 @ 694.92
713.04	c Restart #128 #Var: 30230 LB: -206129 @ 712.77
727.26	c Restart #129 #Var: 30229 LB: -206129 @ 726.98
751.15	c Restart #130 #Var: 30229 LB: -206129 @ 750.86
768.94	c Restart #131 #Var: 30229 LB: -206129 @ 768.65
794.04	c Restart #132 #Var: 30229 LB: -206129 @ 793.74
816.00	c Restart #133 #Var: 30229 LB: -206129 @ 815.69
838.66	c Restart #134 #Var: 30229 LB: -206129 @ 838.34
868.79	c Restart #135 #Var: 30229 LB: -206129 @ 868.46
893.18	c Restart #136 #Var: 30228 LB: -206129 @ 892.84
918.19	c CHANGE Heuristic... 
918.19	c Restart #0 #Var: 30227 LB: -206129 @ 917.85
918.29	c Restart #1 #Var: 30225 LB: -206129 @ 917.94
918.43	c Restart #2 #Var: 30225 LB: -206129 @ 918.09
918.77	c Restart #3 #Var: 30224 LB: -206129 @ 918.42
918.99	c Restart #4 #Var: 30224 LB: -206129 @ 918.64
921.72	c Restart #5 #Var: 30206 LB: -206129 @ 921.37
924.48	c Restart #6 #Var: 30203 LB: -206129 @ 924.14
927.09	c Restart #7 #Var: 30202 LB: -206129 @ 926.74
928.39	c Restart #8 #Var: 30202 LB: -206129 @ 928.04
928.81	c Restart #9 #Var: 30202 LB: -206129 @ 928.47
931.61	c Restart #10 #Var: 30200 LB: -206129 @ 931.26
933.37	c Restart #11 #Var: 30200 LB: -206129 @ 933.02
935.08	c Restart #12 #Var: 30200 LB: -206129 @ 934.73
937.82	c Restart #13 #Var: 30200 LB: -206129 @ 937.47
938.12	c Restart #14 #Var: 30200 LB: -206129 @ 937.77
943.10	c Restart #15 #Var: 30193 LB: -206129 @ 942.75
944.88	c Restart #16 #Var: 30191 LB: -206129 @ 944.53
947.60	c Restart #17 #Var: 30179 LB: -206129 @ 947.24
958.18	c Restart #18 #Var: 30178 LB: -206129 @ 957.82
971.41	c Restart #19 #Var: 30177 LB: -206129 @ 971.04
978.08	c Restart #20 #Var: 30176 LB: -206129 @ 977.72
979.18	c Restart #21 #Var: 30175 LB: -206129 @ 978.81
981.00	c Restart #22 #Var: 30175 LB: -206129 @ 980.63
983.82	c Restart #23 #Var: 30175 LB: -206129 @ 983.45
993.12	c Restart #24 #Var: 30174 LB: -206129 @ 992.74
995.42	c Restart #25 #Var: 30174 LB: -206129 @ 995.05
998.65	c Restart #26 #Var: 30167 LB: -206129 @ 998.27
1000.78	c Restart #27 #Var: 30167 LB: -206129 @ 1000.4
1007.58	c Restart #28 #Var: 30167 LB: -206129 @ 1007.2
1010.31	c Restart #29 #Var: 30167 LB: -206129 @ 1009.9
1011.32	c Restart #30 #Var: 30167 LB: -206129 @ 1010.9
1016.83	c Restart #31 #Var: 30167 LB: -206129 @ 1016.4
1024.78	c Restart #32 #Var: 30167 LB: -206129 @ 1024.4
1027.14	c Restart #33 #Var: 30167 LB: -206129 @ 1026.8
1049.24	c Restart #34 #Var: 30167 LB: -206129 @ 1048.8
1055.50	c Restart #35 #Var: 30167 LB: -206129 @ 1055.1
1064.27	c Restart #36 #Var: 30166 LB: -206129 @ 1063.9
1083.48	c Restart #37 #Var: 30166 LB: -206129 @ 1083.1
1106.68	c Restart #38 #Var: 30166 LB: -206129 @ 1106.2
1110.60	c Restart #39 #Var: 30166 LB: -206129 @ 1110.2
1136.15	c Restart #40 #Var: 30166 LB: -206129 @ 1135.7
1173.03	c Restart #41 #Var: 30166 LB: -206129 @ 1172.5
1178.56	c Restart #42 #Var: 30166 LB: -206129 @ 1178.1
1183.84	c Restart #43 #Var: 30166 LB: -206129 @ 1183.4
1188.40	c Restart #44 #Var: 30166 LB: -206129 @ 1187.9
1201.85	c Restart #45 #Var: 30165 LB: -206129 @ 1201.3
1239.25	c Restart #46 #Var: 30165 LB: -206129 @ 1238.7
1244.77	c Restart #47 #Var: 30165 LB: -206129 @ 1244.3
1276.14	c Restart #48 #Var: 30165 LB: -206129 @ 1275.6
1279.69	c Restart #49 #Var: 30165 LB: -206129 @ 1279.2
1290.54	c Restart #50 #Var: 30165 LB: -206129 @ 1290
1296.01	c Restart #51 #Var: 30165 LB: -206129 @ 1295.5
1300.24	c Restart #52 #Var: 30165 LB: -206129 @ 1299.7
1321.78	c Restart #53 #Var: 30165 LB: -206129 @ 1321.2
1337.09	c Restart #54 #Var: 30165 LB: -206129 @ 1336.5
1341.78	c Restart #55 #Var: 30165 LB: -206129 @ 1341.2
1440.85	c Restart #56 #Var: 30165 LB: -206129 @ 1440.3
1491.70	c Restart #57 #Var: 30165 LB: -206129 @ 1491.1
1506.43	c Restart #58 #Var: 30165 LB: -206129 @ 1505.8
1530.75	c Restart #59 #Var: 30159 LB: -206129 @ 1530.1
1541.42	c Restart #60 #Var: 30159 LB: -206129 @ 1540.8
1544.77	c Restart #61 #Var: 30147 LB: -206129 @ 1544.1
1548.38	c Restart #62 #Var: 30142 LB: -206129 @ 1547.8
1557.16	c Restart #63 #Var: 30142 LB: -206129 @ 1556.5
1573.28	c Restart #64 #Var: 30142 LB: -206129 @ 1572.6
1577.66	c Restart #65 #Var: 30141 LB: -206129 @ 1577
1589.28	c Restart #66 #Var: 30141 LB: -206129 @ 1588.6
1592.65	c Restart #67 #Var: 30141 LB: -206129 @ 1592
1612.04	c Restart #68 #Var: 30138 LB: -206129 @ 1611.4
1618.22	c Restart #69 #Var: 30138 LB: -206129 @ 1617.6
1621.05	c Restart #70 #Var: 30138 LB: -206129 @ 1620.4
1640.98	c Restart #71 #Var: 30138 LB: -206129 @ 1640.3
1693.80	c Restart #72 #Var: 30138 LB: -206129 @ 1693.1
1729.42	c Restart #73 #Var: 30138 LB: -206129 @ 1728.7
1732.40	c Restart #74 #Var: 30138 LB: -206129 @ 1731.7
1778.62	c Restart #75 #Var: 30138 LB: -206129 @ 1777.9
1785.24	c Restart #76 #Var: 30138 LB: -206129 @ 1784.5
1800.72	s UNKNOWN
1800.72	c Exit Code: 0
1800.72	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/node80/watcher-39920-1149331369 -o ROOT/results/node80/solver-39920-1149331369 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/39920-1149331369/instance-39920-1149331369.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1533784/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=2900 CPUtime=0
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 42 0 0 0 0 0 0 0 18 0 1 0 198775504 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11408308 0 0 4096 0 0 0 0 17 1 0 0
/proc/7275/statm: 725 27 19 55 0 38 0

[startup+10.0027 s]
/proc/loadavg: 0.93 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1482136/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=57516 CPUtime=9.99
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 29340 0 0 0 979 20 0 0 25 0 1 0 198775504 58896384 13177 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 14379 13177 294 55 0 13270 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 57516

[startup+20.0097 s]
/proc/loadavg: 0.94 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1481496/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=58268 CPUtime=19.99
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 29612 0 0 0 1965 34 0 0 25 0 1 0 198775504 59666432 13367 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542265 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 14567 13367 294 55 0 13458 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 58268

[startup+30.0157 s]
/proc/loadavg: 0.95 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1480728/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=59060 CPUtime=29.99
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 29796 0 0 0 2954 45 0 0 25 0 1 0 198775504 60477440 13551 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540702 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 14765 13551 294 55 0 13656 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 59060

[startup+40.0218 s]
/proc/loadavg: 0.96 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1469976/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=69884 CPUtime=39.99
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 32504 0 0 0 3942 57 0 0 25 0 1 0 198775504 71561216 16259 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719067 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 17471 16259 294 55 0 16362 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 69884

[startup+50.0279 s]
/proc/loadavg: 0.96 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1464152/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=75648 CPUtime=49.99
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 34039 0 0 0 4935 64 0 0 25 0 1 0 198775504 77463552 17710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 18912 17710 294 55 0 17803 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 75648

[startup+60.034 s]
/proc/loadavg: 0.97 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1457624/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=82220 CPUtime=59.99
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 35767 0 0 0 5930 69 0 0 25 0 1 0 198775504 84193280 19343 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 20555 19343 294 55 0 19446 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 82220

[startup+70.04 s]
/proc/loadavg: 0.97 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1452120/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=87728 CPUtime=69.99
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 37134 0 0 0 6926 73 0 0 25 0 1 0 198775504 89833472 20710 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 21932 20710 294 55 0 20823 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 87728

[startup+80.0461 s]
/proc/loadavg: 0.98 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1451800/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=87744 CPUtime=80
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 37260 0 0 0 7923 77 0 0 25 0 1 0 198775504 89849856 20739 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537743 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 21936 20739 294 55 0 20827 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 87744

[startup+90.0522 s]
/proc/loadavg: 0.98 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1451288/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=88464 CPUtime=90
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 37443 0 0 0 8921 79 0 0 25 0 1 0 198775504 90587136 20919 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 22116 20919 294 55 0 21007 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 88464

[startup+100.058 s]
/proc/loadavg: 0.98 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1449560/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=90308 CPUtime=100
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 37875 0 0 0 9918 82 0 0 25 0 1 0 198775504 92475392 21351 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542236 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 22577 21351 294 55 0 21468 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 90308

[startup+110.064 s]
/proc/loadavg: 0.98 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1445848/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=93976 CPUtime=110
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 38856 0 0 0 10914 86 0 0 25 0 1 0 198775504 96231424 22280 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 23494 22280 294 55 0 22385 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 93976

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1438488/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=101360 CPUtime=120
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 40698 0 0 0 11912 88 0 0 25 0 1 0 198775504 103792640 24122 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534840 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 25340 24122 294 55 0 24231 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 101360

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1436952/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=102932 CPUtime=130.02
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 41085 0 0 0 12912 90 0 0 25 0 1 0 198775504 105402368 24509 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11843627 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 25733 24509 294 55 0 24624 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 102932

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1434712/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=105036 CPUtime=140.01
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 41626 0 0 0 13910 91 0 0 25 0 1 0 198775504 107556864 25050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534088 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 26259 25050 294 55 0 25150 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 105036

[startup+150.089 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1432600/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=107148 CPUtime=150.02
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 42155 0 0 0 14910 92 0 0 25 0 1 0 198775504 109719552 25579 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603830 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 26787 25579 294 55 0 25678 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 107148

[startup+160.095 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1426136/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=113640 CPUtime=160.01
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 43760 0 0 0 15907 94 0 0 25 0 1 0 198775504 116367360 27184 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 28410 27184 294 55 0 27301 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 113640

[startup+170.101 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1409688/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=130040 CPUtime=170.03
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 47876 0 0 0 16906 97 0 0 25 0 1 0 198775504 133160960 31299 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 32510 31299 294 55 0 31401 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 130040

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1407704/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=131916 CPUtime=180.02
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 48365 0 0 0 17903 99 0 0 25 0 1 0 198775504 135081984 31778 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 32979 31778 294 55 0 31870 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 131916

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1398616/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=141112 CPUtime=190.02
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 50646 0 0 0 18901 101 0 0 25 0 1 0 198775504 144498688 34058 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 35278 34058 294 55 0 34169 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 141112

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1395608/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=144148 CPUtime=200.03
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 51522 0 0 0 19898 105 0 0 25 0 1 0 198775504 147607552 34802 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 36037 34802 294 55 0 34928 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 144148

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7275
/proc/meminfo: memFree=1386904/2055888 swapFree=4085432/4096564

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

/proc/7275/statm: 162062 160494 294 55 0 160953 0
Current children cumulated CPU time (s) 1760.35
Current children cumulated vsize (Kb) 648248

[startup+1771.07 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=891224/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=648248 CPUtime=1770.36
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 178562 0 0 0 176683 353 0 0 25 0 1 0 198775504 663805952 160494 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 162062 160494 294 55 0 160953 0
Current children cumulated CPU time (s) 1770.36
Current children cumulated vsize (Kb) 648248

[startup+1781.08 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=890264/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=649180 CPUtime=1780.36
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 178796 0 0 0 177683 353 0 0 25 0 1 0 198775504 664760320 160724 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534057 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 162295 160724 294 55 0 161186 0
Current children cumulated CPU time (s) 1780.36
Current children cumulated vsize (Kb) 649180

[startup+1782.08 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=889944/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=649444 CPUtime=1781.36
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 178877 0 0 0 177783 353 0 0 25 0 1 0 198775504 665030656 160805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 162361 160805 294 55 0 161252 0
Current children cumulated CPU time (s) 1781.36
Current children cumulated vsize (Kb) 649444

[startup+1783.09 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=889944/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=649444 CPUtime=1782.38
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 178877 0 0 0 177884 354 0 0 25 0 1 0 198775504 665030656 160805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 162361 160805 294 55 0 161252 0
Current children cumulated CPU time (s) 1782.38
Current children cumulated vsize (Kb) 649444

[startup+1784.09 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=889944/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=649444 CPUtime=1783.38
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 178877 0 0 0 177984 354 0 0 25 0 1 0 198775504 665030656 160805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542332 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 162361 160805 294 55 0 161252 0
Current children cumulated CPU time (s) 1783.38
Current children cumulated vsize (Kb) 649444

[startup+1785.1 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=889944/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=649444 CPUtime=1784.38
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 178877 0 0 0 178084 354 0 0 25 0 1 0 198775504 665030656 160805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542304 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 162361 160805 294 55 0 161252 0
Current children cumulated CPU time (s) 1784.38
Current children cumulated vsize (Kb) 649444

[startup+1786.1 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=889944/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=649444 CPUtime=1785.38
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 178877 0 0 0 178184 354 0 0 25 0 1 0 198775504 665030656 160805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 162361 160805 294 55 0 161252 0
Current children cumulated CPU time (s) 1785.38
Current children cumulated vsize (Kb) 649444

[startup+1787.11 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=887128/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=652348 CPUtime=1786.39
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 179583 0 0 0 178284 355 0 0 25 0 1 0 198775504 668004352 161511 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 163087 161511 294 55 0 161978 0
Current children cumulated CPU time (s) 1786.39
Current children cumulated vsize (Kb) 652348

[startup+1788.11 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=887128/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=652348 CPUtime=1787.39
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 179588 0 0 0 178384 355 0 0 25 0 1 0 198775504 668004352 161516 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 163087 161516 294 55 0 161978 0
Current children cumulated CPU time (s) 1787.39
Current children cumulated vsize (Kb) 652348

[startup+1789.12 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=887064/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=652348 CPUtime=1788.4
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 179591 0 0 0 178485 355 0 0 25 0 1 0 198775504 668004352 161519 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 163087 161519 294 55 0 161978 0
Current children cumulated CPU time (s) 1788.4
Current children cumulated vsize (Kb) 652348

[startup+1790.12 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=887064/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=652348 CPUtime=1789.4
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 179592 0 0 0 178585 355 0 0 25 0 1 0 198775504 668004352 161520 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 163087 161520 294 55 0 161978 0
Current children cumulated CPU time (s) 1789.4
Current children cumulated vsize (Kb) 652348

[startup+1791.13 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=887064/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=652348 CPUtime=1790.41
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 179592 0 0 0 178686 355 0 0 25 0 1 0 198775504 668004352 161520 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 163087 161520 294 55 0 161978 0
Current children cumulated CPU time (s) 1790.41
Current children cumulated vsize (Kb) 652348

[startup+1792.13 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=887064/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=652348 CPUtime=1791.41
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 179592 0 0 0 178786 355 0 0 25 0 1 0 198775504 668004352 161520 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 163087 161520 294 55 0 161978 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (Kb) 652348

[startup+1793.14 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=887064/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=652348 CPUtime=1792.42
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 179592 0 0 0 178887 355 0 0 25 0 1 0 198775504 668004352 161520 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534813 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 163087 161520 294 55 0 161978 0
Current children cumulated CPU time (s) 1792.42
Current children cumulated vsize (Kb) 652348

[startup+1794.14 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=887064/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=652348 CPUtime=1793.42
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 179592 0 0 0 178987 355 0 0 25 0 1 0 198775504 668004352 161520 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 163087 161520 294 55 0 161978 0
Current children cumulated CPU time (s) 1793.42
Current children cumulated vsize (Kb) 652348

[startup+1795.15 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=887064/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=652348 CPUtime=1794.42
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 179592 0 0 0 179087 355 0 0 25 0 1 0 198775504 668004352 161520 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 163087 161520 294 55 0 161978 0
Current children cumulated CPU time (s) 1794.42
Current children cumulated vsize (Kb) 652348

[startup+1796.15 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=887064/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=652348 CPUtime=1795.43
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 179592 0 0 0 179188 355 0 0 25 0 1 0 198775504 668004352 161520 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 163087 161520 294 55 0 161978 0
Current children cumulated CPU time (s) 1795.43
Current children cumulated vsize (Kb) 652348

[startup+1797.16 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=887064/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=652348 CPUtime=1796.43
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 179594 0 0 0 179288 355 0 0 25 0 1 0 198775504 668004352 161522 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 163087 161522 294 55 0 161978 0
Current children cumulated CPU time (s) 1796.43
Current children cumulated vsize (Kb) 652348

[startup+1798.16 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=887064/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=652348 CPUtime=1797.43
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 179599 0 0 0 179388 355 0 0 25 0 1 0 198775504 668004352 161527 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534999 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 163087 161527 294 55 0 161978 0
Current children cumulated CPU time (s) 1797.43
Current children cumulated vsize (Kb) 652348

[startup+1799.17 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=887064/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=652348 CPUtime=1798.44
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 179599 0 0 0 179489 355 0 0 25 0 1 0 198775504 668004352 161527 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 163087 161527 294 55 0 161978 0
Current children cumulated CPU time (s) 1798.44
Current children cumulated vsize (Kb) 652348

[startup+1800.17 s]
/proc/loadavg: 0.99 0.97 0.95 2/67 7470
/proc/meminfo: memFree=887064/2055888 swapFree=4085432/4096564
[pid=7275] ppid=7273 vsize=652348 CPUtime=1799.44
/proc/7275/stat : 7275 (bsolo) R 7273 7275 7229 0 -1 0 179601 0 0 0 179589 355 0 0 25 0 1 0 198775504 668004352 161529 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529294 0 0 4096 16384 0 0 0 17 1 0 0
/proc/7275/statm: 163087 161529 294 55 0 161978 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (Kb) 652348

Child status: 0
Real time (s): 1800.82
CPU time (s): 1800.1
CPU user time (s): 1796.45
CPU system time (s): 3.65144
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (Kb): 652348

Launcher Data (download as text)

Begin job on node80 on Sat Jun  3 10:42:49 UTC 2006


FILE ID= 39920-1149331369

PBS_JOBID= 309906

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-perold.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/39920-1149331369/instance-39920-1149331369.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node80/watcher-39920-1149331369 -o ROOT/results/node80/solver-39920-1149331369 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node80/39920-1149331369/instance-39920-1149331369.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  1cb0147510c9838b4e6052b678a2a523

RANDOM SEED= 596709207


/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.264
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	: 6006.16
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.264
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	: 5999.42
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1533992 kB
Buffers:         15424 kB
Cached:         442908 kB
SwapCached:       2436 kB
Active:          37360 kB
Inactive:       429804 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1533992 kB
SwapTotal:     4096564 kB
SwapFree:      4085432 kB
Dirty:             140 kB
Writeback:           0 kB
Mapped:          16648 kB
Slab:            41456 kB
Committed_AS:   361212 kB
PageTables:       1276 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node80 on Sat Jun  3 11:12:50 UTC 2006