Trace number 39885

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.27 1801.01

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-sierra.opb
MD5SUMbc13f5c9713036f697e6f30ffdababe9
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 variables38715
Total number of constraints3263
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 constraints3263
Minimum length of a constraint10
Maximum length of a constraint498
Number of terms in the objective function 36989
Biggest coefficient in the objective function 29466
Number of bits for the biggest coefficient in the objective function 15
Sum of the numbers in the objective function 555161
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 260604
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 555161
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.05	c INFO: OSL Context initialized.
1.75	c Initial problem consists of 38715 variables and 3791 constraints.
1.90	c No problem reductions applied in OPT. instance.
1.90	c	preprocess terminated. Elapsed time: 1.856
1.90	c After prepocess the problem consists of 37892 variables and 3568 constraints.
1.90	c Initial Lower Bound: 4
4.10	c Restart #1 #Var: 37892 LB: 4 @ 4.059
8.98	c Restart #2 #Var: 37892 LB: 4 @ 8.938
16.92	c Restart #3 #Var: 37892 LB: 4 @ 16.871
26.67	c Restart #4 #Var: 37892 LB: 4 @ 26.622
35.98	c Restart #5 #Var: 37892 LB: 4 @ 35.899
53.22	c Restart #6 #Var: 37892 LB: 4 @ 53.108
59.66	c Restart #7 #Var: 37892 LB: 4 @ 59.553
65.92	c Restart #8 #Var: 37892 LB: 4 @ 65.804
66.80	c Restart #9 #Var: 37892 LB: 4 @ 66.68
67.05	c Restart #10 #Var: 37882 LB: 4 @ 66.936
67.72	c Restart #11 #Var: 37882 LB: 4 @ 67.608
68.00	c Restart #12 #Var: 37872 LB: 4 @ 67.888
68.39	c Restart #13 #Var: 37872 LB: 4 @ 68.279
69.34	c Restart #14 #Var: 37872 LB: 4 @ 69.227
69.78	c Restart #15 #Var: 37863 LB: 4 @ 69.664
70.91	c Restart #16 #Var: 37863 LB: 4 @ 70.792
71.32	c Restart #17 #Var: 37851 LB: 4 @ 71.199
72.40	c Restart #18 #Var: 37848 LB: 4 @ 72.28
72.93	c Restart #19 #Var: 37803 LB: 4 @ 72.81
73.68	c Restart #20 #Var: 37779 LB: 4 @ 73.561
75.03	c Restart #21 #Var: 37779 LB: 4 @ 74.913
75.47	c Restart #22 #Var: 37775 LB: 4 @ 75.35
76.06	c Restart #23 #Var: 37769 LB: 4 @ 75.937
76.39	c Restart #24 #Var: 37769 LB: 4 @ 76.272
76.87	c Restart #25 #Var: 37762 LB: 4 @ 76.749
77.65	c Restart #26 #Var: 37762 LB: 4 @ 77.532
79.86	c Restart #27 #Var: 37762 LB: 4 @ 79.741
80.48	c Restart #28 #Var: 37762 LB: 4 @ 80.365
81.93	c Restart #29 #Var: 37762 LB: 4 @ 81.805
82.76	c Restart #30 #Var: 37762 LB: 4 @ 82.639
85.10	c Restart #31 #Var: 37751 LB: 4 @ 84.982
89.17	c Restart #32 #Var: 37741 LB: 4 @ 89.043
92.74	c Restart #33 #Var: 37725 LB: 4 @ 92.619
93.57	c Restart #34 #Var: 37725 LB: 4 @ 93.447
94.83	c Restart #35 #Var: 37723 LB: 4 @ 94.706
96.38	c Restart #36 #Var: 37723 LB: 4 @ 96.252
97.97	c Restart #37 #Var: 37723 LB: 4 @ 97.842
99.01	c Restart #38 #Var: 37722 LB: 4 @ 98.884
102.28	c Restart #39 #Var: 37718 LB: 4 @ 102.15
107.98	c Restart #40 #Var: 37716 LB: 4 @ 107.85
112.21	c Restart #41 #Var: 37710 LB: 4 @ 112.08
113.95	c Restart #42 #Var: 37710 LB: 4 @ 113.82
115.14	c Restart #43 #Var: 37710 LB: 4 @ 115
118.89	c Restart #44 #Var: 37710 LB: 4 @ 118.76
120.64	c Restart #45 #Var: 37705 LB: 4 @ 120.51
121.55	c Restart #46 #Var: 37705 LB: 4 @ 121.41
129.79	c Restart #47 #Var: 37703 LB: 4 @ 129.65
131.05	c Restart #48 #Var: 37703 LB: 4 @ 130.91
133.89	c Restart #49 #Var: 37703 LB: 4 @ 133.75
140.81	c Restart #50 #Var: 37703 LB: 4 @ 140.67
143.02	c Restart #51 #Var: 37703 LB: 4 @ 142.87
145.09	c Restart #52 #Var: 37703 LB: 4 @ 144.95
150.92	c Restart #53 #Var: 37703 LB: 4 @ 150.77
152.24	c Restart #54 #Var: 37703 LB: 4 @ 152.1
153.76	c Restart #55 #Var: 37703 LB: 4 @ 153.61
156.00	c Restart #56 #Var: 37703 LB: 4 @ 155.86
178.43	c Restart #57 #Var: 37703 LB: 4 @ 178.28
188.55	c Restart #58 #Var: 37703 LB: 4 @ 188.39
190.94	c Restart #59 #Var: 37703 LB: 4 @ 190.78
192.09	c Restart #60 #Var: 37703 LB: 4 @ 191.93
204.94	c Restart #61 #Var: 37703 LB: 4 @ 204.78
233.57	c Restart #62 #Var: 37696 LB: 4 @ 233.39
235.64	c Restart #63 #Var: 37696 LB: 4 @ 235.47
239.77	c Restart #64 #Var: 37696 LB: 4 @ 239.59
241.15	c Restart #65 #Var: 37696 LB: 4 @ 240.97
242.82	c Restart #66 #Var: 37696 LB: 4 @ 242.64
246.03	c Restart #67 #Var: 37696 LB: 4 @ 245.85
248.08	c Restart #68 #Var: 37696 LB: 4 @ 247.9
251.19	c Restart #69 #Var: 37696 LB: 4 @ 251
253.38	c Restart #70 #Var: 37695 LB: 4 @ 253.2
268.15	c Restart #71 #Var: 37695 LB: 4 @ 267.96
283.49	c Restart #72 #Var: 37694 LB: 4 @ 283.29
289.34	c Restart #73 #Var: 37694 LB: 4 @ 289.14
307.09	c Restart #74 #Var: 37694 LB: 4 @ 306.88
317.93	c Restart #75 #Var: 37694 LB: 4 @ 317.72
325.43	c Restart #76 #Var: 37694 LB: 4 @ 325.22
352.15	c Restart #77 #Var: 37693 LB: 4 @ 351.93
358.03	c Restart #78 #Var: 37693 LB: 4 @ 357.81
369.06	c Restart #79 #Var: 37693 LB: 4 @ 368.84
375.81	c Restart #80 #Var: 37693 LB: 4 @ 375.58
388.41	c Restart #81 #Var: 37690 LB: 4 @ 388.18
423.79	c Restart #82 #Var: 37688 LB: 4 @ 423.55
429.64	c Restart #83 #Var: 37686 LB: 4 @ 429.4
461.68	c Restart #84 #Var: 37686 LB: 4 @ 461.43
475.12	c Restart #85 #Var: 37678 LB: 4 @ 474.86
481.11	c Restart #86 #Var: 37678 LB: 4 @ 480.85
486.84	c Restart #87 #Var: 37678 LB: 4 @ 486.57
511.29	c Restart #88 #Var: 37678 LB: 4 @ 511.01
519.04	c Restart #89 #Var: 37677 LB: 4 @ 518.76
548.50	c Restart #90 #Var: 37677 LB: 4 @ 548.21
575.94	c Restart #91 #Var: 37674 LB: 4 @ 575.64
594.09	c Restart #92 #Var: 37672 LB: 4 @ 593.79
597.53	c Restart #93 #Var: 37672 LB: 4 @ 597.22
618.46	c Restart #94 #Var: 37671 LB: 4 @ 618.14
630.22	c Restart #95 #Var: 37671 LB: 4 @ 629.9
648.31	c Restart #96 #Var: 37664 LB: 4 @ 647.99
656.41	c Restart #97 #Var: 37658 LB: 4 @ 656.09
659.89	c Restart #98 #Var: 37658 LB: 4 @ 659.56
665.84	c Restart #99 #Var: 37658 LB: 4 @ 665.51
674.73	c Restart #100 #Var: 37658 LB: 4 @ 674.4
694.67	c Restart #101 #Var: 37646 LB: 4 @ 694.33
701.76	c Restart #102 #Var: 37645 LB: 4 @ 701.41
709.09	c Restart #103 #Var: 37645 LB: 4 @ 708.75
713.52	c Restart #104 #Var: 37644 LB: 4 @ 713.17
722.72	c Restart #105 #Var: 37644 LB: 4 @ 722.37
741.09	c Restart #106 #Var: 37642 LB: 4 @ 740.73
754.20	c Restart #107 #Var: 37642 LB: 4 @ 753.84
760.14	c Restart #108 #Var: 37642 LB: 4 @ 759.78
779.64	c Restart #109 #Var: 37642 LB: 4 @ 779.27
788.59	c Restart #110 #Var: 37642 LB: 4 @ 788.22
800.92	c Restart #111 #Var: 37642 LB: 4 @ 800.54
823.27	c Restart #112 #Var: 37641 LB: 4 @ 822.88
834.16	c Restart #113 #Var: 37641 LB: 4 @ 833.77
841.77	c Restart #114 #Var: 37641 LB: 4 @ 841.37
852.52	c Restart #115 #Var: 37641 LB: 4 @ 852.13
870.55	c Restart #116 #Var: 37641 LB: 4 @ 870.14
878.74	c Restart #117 #Var: 37641 LB: 4 @ 878.33
882.72	c Restart #118 #Var: 37641 LB: 4 @ 882.32
950.32	c CHANGE Heuristic... 
950.32	c Restart #0 #Var: 37641 LB: 4 @ 949.89
950.37	c Restart #1 #Var: 37641 LB: 4 @ 949.94
950.46	c Restart #2 #Var: 37641 LB: 4 @ 950.03
950.57	c Restart #3 #Var: 37641 LB: 4 @ 950.14
950.76	c Restart #4 #Var: 37641 LB: 4 @ 950.33
951.06	c Restart #5 #Var: 37641 LB: 4 @ 950.62
951.37	c Restart #6 #Var: 37641 LB: 4 @ 950.94
951.59	c Restart #7 #Var: 37641 LB: 4 @ 951.16
951.88	c Restart #8 #Var: 37641 LB: 4 @ 951.45
952.18	c Restart #9 #Var: 37641 LB: 4 @ 951.74
952.52	c Restart #10 #Var: 37641 LB: 4 @ 952.09
952.96	c Restart #11 #Var: 37641 LB: 4 @ 952.53
953.49	c Restart #12 #Var: 37641 LB: 4 @ 953.05
954.03	c Restart #13 #Var: 37641 LB: 4 @ 953.6
954.69	c Restart #14 #Var: 37641 LB: 4 @ 954.25
955.59	c Restart #15 #Var: 37641 LB: 4 @ 955.15
956.49	c Restart #16 #Var: 37641 LB: 4 @ 956.06
957.26	c Restart #17 #Var: 37641 LB: 4 @ 956.83
958.07	c Restart #18 #Var: 37641 LB: 4 @ 957.63
959.42	c Restart #19 #Var: 37641 LB: 4 @ 958.98
960.27	c Restart #20 #Var: 37641 LB: 4 @ 959.83
961.26	c Restart #21 #Var: 37641 LB: 4 @ 960.83
962.50	c Restart #22 #Var: 37641 LB: 4 @ 962.06
964.13	c Restart #23 #Var: 37641 LB: 4 @ 963.69
965.54	c Restart #24 #Var: 37640 LB: 4 @ 965.1
984.68	c Restart #25 #Var: 37640 LB: 4 @ 984.23
987.25	c Restart #26 #Var: 37640 LB: 4 @ 986.81
988.58	c Restart #27 #Var: 37640 LB: 4 @ 988.13
989.61	c Restart #28 #Var: 37640 LB: 4 @ 989.16
991.58	c Restart #29 #Var: 37640 LB: 4 @ 991.13
993.48	c Restart #30 #Var: 37640 LB: 4 @ 993.03
995.01	c Restart #31 #Var: 37640 LB: 4 @ 994.56
996.55	c Restart #32 #Var: 37640 LB: 4 @ 996.1
998.98	c Restart #33 #Var: 37640 LB: 4 @ 998.53
1000.63	c Restart #34 #Var: 37640 LB: 4 @ 1000.2
1002.05	c Restart #35 #Var: 37640 LB: 4 @ 1001.6
1003.80	c Restart #36 #Var: 37640 LB: 4 @ 1003.3
1006.13	c Restart #37 #Var: 37640 LB: 4 @ 1005.7
1007.97	c Restart #38 #Var: 37640 LB: 4 @ 1007.5
1056.99	c Restart #39 #Var: 37640 LB: 4 @ 1056.5
1088.96	c Restart #40 #Var: 37640 LB: 4 @ 1088.5
1092.63	c Restart #41 #Var: 37640 LB: 4 @ 1092.2
1097.09	c Restart #42 #Var: 37640 LB: 4 @ 1096.6
1099.16	c Restart #43 #Var: 37640 LB: 4 @ 1098.7
1102.07	c Restart #44 #Var: 37640 LB: 4 @ 1101.6
1114.61	c Restart #45 #Var: 37640 LB: 4 @ 1114.1
1123.89	c Restart #46 #Var: 37639 LB: 4 @ 1123.4
1126.26	c Restart #47 #Var: 37639 LB: 4 @ 1125.8
1129.83	c Restart #48 #Var: 37639 LB: 4 @ 1129.3
1135.67	c Restart #49 #Var: 37639 LB: 4 @ 1135.2
1154.13	c Restart #50 #Var: 37639 LB: 4 @ 1153.6
1231.95	c Restart #51 #Var: 37639 LB: 4 @ 1231.4
1238.87	c Restart #52 #Var: 37639 LB: 4 @ 1238.3
1278.26	c Restart #53 #Var: 37639 LB: 4 @ 1277.7
1284.32	c Restart #54 #Var: 37639 LB: 4 @ 1283.8
1297.85	c Restart #55 #Var: 37639 LB: 4 @ 1297.3
1373.80	c Restart #56 #Var: 37631 LB: 4 @ 1373.2
1438.95	c Restart #57 #Var: 37631 LB: 4 @ 1438.3
1473.80	c Restart #58 #Var: 37631 LB: 4 @ 1473.2
1481.28	c Restart #59 #Var: 37631 LB: 4 @ 1480.7
1485.83	c Restart #60 #Var: 37631 LB: 4 @ 1485.2
1494.51	c Restart #61 #Var: 37631 LB: 4 @ 1493.9
1498.92	c Restart #62 #Var: 37631 LB: 4 @ 1498.3
1505.01	c Restart #63 #Var: 37631 LB: 4 @ 1504.4
1514.34	c Restart #64 #Var: 37631 LB: 4 @ 1513.7
1565.64	c Restart #65 #Var: 37631 LB: 4 @ 1565
1587.74	c Restart #66 #Var: 37631 LB: 4 @ 1587.1
1595.88	c Restart #67 #Var: 37631 LB: 4 @ 1595.2
1603.16	c Restart #68 #Var: 37631 LB: 4 @ 1602.5
1607.88	c Restart #69 #Var: 37631 LB: 4 @ 1607.2
1687.10	c Restart #70 #Var: 37629 LB: 4 @ 1686.4
1717.57	c Restart #71 #Var: 37629 LB: 4 @ 1716.9
1725.07	c Restart #72 #Var: 37629 LB: 4 @ 1724.4
1742.92	c Restart #73 #Var: 37629 LB: 4 @ 1742.2
1797.87	c Restart #74 #Var: 37629 LB: 4 @ 1797.1
1800.78	s UNKNOWN
1800.78	c Exit Code: 0
1800.78	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/node70/watcher-39885-1149274837 -o ROOT/results/node70/solver-39885-1149274837 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node70/39885-1149274837/instance-39885-1149274837.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.97 0.93 2/64 1269
/proc/meminfo: memFree=1787168/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=2900 CPUtime=0
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 43 0 0 0 0 0 0 0 19 0 1 0 193153343 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8413988 0 0 4096 0 0 0 0 17 1 0 0
/proc/1269/statm: 725 27 19 55 0 38 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.97 0.93 2/64 1269
/proc/meminfo: memFree=1735080/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=58060 CPUtime=9.95
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 89291 0 0 0 938 57 0 0 25 0 1 0 193153343 59453440 13325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 14515 13325 297 55 0 13407 0
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 58060

[startup+20.0093 s]
/proc/loadavg: 0.94 0.97 0.93 2/64 1269
/proc/meminfo: memFree=1734384/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=58720 CPUtime=19.95
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 89477 0 0 0 1901 94 0 0 25 0 1 0 193153343 60129280 13511 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718272 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 14680 13511 297 55 0 13572 0
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 58720

[startup+30.0161 s]
/proc/loadavg: 0.95 0.97 0.93 2/70 1341
/proc/meminfo: memFree=1732472/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=59512 CPUtime=29.95
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 89674 0 0 0 2865 130 0 0 25 0 1 0 193153343 60940288 13708 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134595889 0 0 4096 16384 0 0 0 17 0 0 0
/proc/1269/statm: 14878 13708 297 55 0 13770 0
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 59512

[startup+40.0229 s]
/proc/loadavg: 0.96 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1732504/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=60172 CPUtime=39.91
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 89822 0 0 0 3826 165 0 0 25 0 1 0 193153343 61616128 13856 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 15043 13856 297 55 0 13935 0
Current children cumulated CPU time (s) 39.91
Current children cumulated vsize (Kb) 60172

[startup+50.0297 s]
/proc/loadavg: 0.96 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1732144/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=60700 CPUtime=49.91
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 89976 0 0 0 4792 199 0 0 25 0 1 0 193153343 62156800 14010 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 15175 14010 297 55 0 14067 0
Current children cumulated CPU time (s) 49.91
Current children cumulated vsize (Kb) 60700

[startup+60.0356 s]
/proc/loadavg: 0.97 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1731568/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=61312 CPUtime=59.91
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 90123 0 0 0 5756 235 0 0 25 0 1 0 193153343 62783488 14157 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 15328 14157 297 55 0 14220 0
Current children cumulated CPU time (s) 59.91
Current children cumulated vsize (Kb) 61312

[startup+70.0414 s]
/proc/loadavg: 0.97 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1712944/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=79912 CPUtime=69.91
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 94763 0 0 0 6723 268 0 0 25 0 1 0 193153343 81829888 18797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 19978 18797 297 55 0 18870 0
Current children cumulated CPU time (s) 69.91
Current children cumulated vsize (Kb) 79912

[startup+80.0472 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1659440/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=133508 CPUtime=79.92
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 108149 0 0 0 7705 287 0 0 25 0 1 0 193153343 136712192 32183 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 33377 32183 297 55 0 32269 0
Current children cumulated CPU time (s) 79.92
Current children cumulated vsize (Kb) 133508

[startup+90.053 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1622704/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=169932 CPUtime=89.92
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 117284 0 0 0 8697 295 0 0 25 0 1 0 193153343 174010368 41318 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 42483 41318 297 55 0 41375 0
Current children cumulated CPU time (s) 89.92
Current children cumulated vsize (Kb) 169932

[startup+100.059 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1578032/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=214684 CPUtime=99.92
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 128451 0 0 0 9687 305 0 0 25 0 1 0 193153343 219836416 52485 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 53671 52485 297 55 0 52563 0
Current children cumulated CPU time (s) 99.92
Current children cumulated vsize (Kb) 214684

[startup+110.065 s]
/proc/loadavg: 0.98 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1563568/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=229056 CPUtime=109.92
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 132053 0 0 0 10681 311 0 0 25 0 1 0 193153343 234553344 56087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719395 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 57264 56087 297 55 0 56156 0
Current children cumulated CPU time (s) 109.92
Current children cumulated vsize (Kb) 229056

[startup+120.07 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1544112/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=248588 CPUtime=119.93
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 136909 0 0 0 11676 317 0 0 25 0 1 0 193153343 254554112 60943 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 62147 60943 297 55 0 61039 0
Current children cumulated CPU time (s) 119.93
Current children cumulated vsize (Kb) 248588

[startup+130.076 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1515120/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=277504 CPUtime=129.93
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 144145 0 0 0 12670 323 0 0 25 0 1 0 193153343 284164096 68179 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8849019 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 69376 68179 297 55 0 68268 0
Current children cumulated CPU time (s) 129.93
Current children cumulated vsize (Kb) 277504

[startup+140.082 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1487216/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=305340 CPUtime=139.94
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 151104 0 0 0 13665 329 0 0 25 0 1 0 193153343 312668160 75138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 76335 75138 297 55 0 75227 0
Current children cumulated CPU time (s) 139.94
Current children cumulated vsize (Kb) 305340

[startup+150.088 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1450480/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=342036 CPUtime=149.94
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 160269 0 0 0 14658 336 0 0 25 0 1 0 193153343 350244864 84303 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548244 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 85509 84303 297 55 0 84401 0
Current children cumulated CPU time (s) 149.94
Current children cumulated vsize (Kb) 342036

[startup+160.094 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1428784/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=363688 CPUtime=159.94
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 165675 0 0 0 15653 341 0 0 25 0 1 0 193153343 372416512 89709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 90922 89709 297 55 0 89814 0
Current children cumulated CPU time (s) 159.94
Current children cumulated vsize (Kb) 363688

[startup+170.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1423984/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=368440 CPUtime=169.94
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 166863 0 0 0 16651 343 0 0 25 0 1 0 193153343 377282560 90897 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 92110 90897 297 55 0 91002 0
Current children cumulated CPU time (s) 169.94
Current children cumulated vsize (Kb) 368440

[startup+180.105 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1419184/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=373192 CPUtime=179.94
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 168062 0 0 0 17649 345 0 0 25 0 1 0 193153343 382148608 92095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 93298 92095 297 55 0 92190 0
Current children cumulated CPU time (s) 179.94
Current children cumulated vsize (Kb) 373192

[startup+190.111 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1401072/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=391408 CPUtime=189.94
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 172597 0 0 0 18645 349 0 0 25 0 1 0 193153343 400801792 96630 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 97852 96630 297 55 0 96744 0
Current children cumulated CPU time (s) 189.94
Current children cumulated vsize (Kb) 391408

[startup+200.117 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1379440/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=412928 CPUtime=199.94
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 177979 0 0 0 19641 353 0 0 25 0 1 0 193153343 422838272 102011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 103232 102011 297 55 0 102124 0
Current children cumulated CPU time (s) 199.94
Current children cumulated vsize (Kb) 412928

[startup+210.123 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=1372272/2055920 swapFree=4182232/4192956

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

/proc/1269/statm: 377186 374924 297 55 0 376078 0
Current children cumulated CPU time (s) 1760.32
Current children cumulated vsize (Kb) 1508744

[startup+1771.06 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=281008/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1513228 CPUtime=1770.31
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 452490 0 0 0 176337 694 0 0 25 0 1 0 193153343 1549545472 376030 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 378307 376030 297 55 0 377199 0
Current children cumulated CPU time (s) 1770.31
Current children cumulated vsize (Kb) 1513228

[startup+1781.06 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=276464/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1517716 CPUtime=1780.32
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 453617 0 0 0 177336 696 0 0 25 0 1 0 193153343 1554141184 377157 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 379429 377157 297 55 0 378321 0
Current children cumulated CPU time (s) 1780.32
Current children cumulated vsize (Kb) 1517716

[startup+1782.07 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=276080/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1518112 CPUtime=1781.33
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 453728 0 0 0 177437 696 0 0 25 0 1 0 193153343 1554546688 377268 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604186 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 379528 377268 297 55 0 378420 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (Kb) 1518112

[startup+1783.07 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=275632/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1518508 CPUtime=1782.33
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 453837 0 0 0 177537 696 0 0 25 0 1 0 193153343 1554952192 377377 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 379627 377377 297 55 0 378519 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (Kb) 1518508

[startup+1784.08 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=275184/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1519036 CPUtime=1783.33
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 453947 0 0 0 177637 696 0 0 25 0 1 0 193153343 1555492864 377487 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 379759 377487 297 55 0 378651 0
Current children cumulated CPU time (s) 1783.33
Current children cumulated vsize (Kb) 1519036

[startup+1785.08 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=274736/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1519432 CPUtime=1784.33
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 454059 0 0 0 177737 696 0 0 25 0 1 0 193153343 1555898368 377599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 379858 377599 297 55 0 378750 0
Current children cumulated CPU time (s) 1784.33
Current children cumulated vsize (Kb) 1519432

[startup+1786.09 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=274288/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1519960 CPUtime=1785.34
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 454169 0 0 0 177838 696 0 0 25 0 1 0 193153343 1556439040 377709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 379990 377709 297 55 0 378882 0
Current children cumulated CPU time (s) 1785.34
Current children cumulated vsize (Kb) 1519960

[startup+1787.09 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=273840/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1520356 CPUtime=1786.34
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 454282 0 0 0 177938 696 0 0 25 0 1 0 193153343 1556844544 377822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 380089 377822 297 55 0 378981 0
Current children cumulated CPU time (s) 1786.34
Current children cumulated vsize (Kb) 1520356

[startup+1788.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=273392/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1520752 CPUtime=1787.35
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 454394 0 0 0 178039 696 0 0 25 0 1 0 193153343 1557250048 377934 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 380188 377934 297 55 0 379080 0
Current children cumulated CPU time (s) 1787.35
Current children cumulated vsize (Kb) 1520752

[startup+1789.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=272944/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1521280 CPUtime=1788.36
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 454507 0 0 0 178139 697 0 0 25 0 1 0 193153343 1557790720 378047 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534840 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 380320 378047 297 55 0 379212 0
Current children cumulated CPU time (s) 1788.36
Current children cumulated vsize (Kb) 1521280

[startup+1790.1 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=272496/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1521676 CPUtime=1789.36
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 454620 0 0 0 178239 697 0 0 25 0 1 0 193153343 1558196224 378160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 380419 378160 297 55 0 379311 0
Current children cumulated CPU time (s) 1789.36
Current children cumulated vsize (Kb) 1521676

[startup+1791.11 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=272048/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1522072 CPUtime=1790.37
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 454729 0 0 0 178340 697 0 0 25 0 1 0 193153343 1558601728 378269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 380518 378269 297 55 0 379410 0
Current children cumulated CPU time (s) 1790.37
Current children cumulated vsize (Kb) 1522072

[startup+1792.11 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=271600/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1522600 CPUtime=1791.37
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 454840 0 0 0 178440 697 0 0 25 0 1 0 193153343 1559142400 378380 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 380650 378380 297 55 0 379542 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (Kb) 1522600

[startup+1793.12 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=271152/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1522996 CPUtime=1792.37
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 454954 0 0 0 178540 697 0 0 25 0 1 0 193153343 1559547904 378494 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 380749 378494 297 55 0 379641 0
Current children cumulated CPU time (s) 1792.37
Current children cumulated vsize (Kb) 1522996

[startup+1794.12 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=270704/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1523524 CPUtime=1793.38
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 455066 0 0 0 178641 697 0 0 25 0 1 0 193153343 1560088576 378606 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 380881 378606 297 55 0 379773 0
Current children cumulated CPU time (s) 1793.38
Current children cumulated vsize (Kb) 1523524

[startup+1795.13 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=270256/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1523916 CPUtime=1794.38
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 455173 0 0 0 178741 697 0 0 25 0 1 0 193153343 1560489984 378713 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 380979 378713 297 55 0 379871 0
Current children cumulated CPU time (s) 1794.38
Current children cumulated vsize (Kb) 1523916

[startup+1796.13 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=269808/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1524444 CPUtime=1795.39
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 455289 0 0 0 178841 698 0 0 25 0 1 0 193153343 1561030656 378829 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 381111 378829 297 55 0 380003 0
Current children cumulated CPU time (s) 1795.39
Current children cumulated vsize (Kb) 1524444

[startup+1797.14 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=269360/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1524840 CPUtime=1796.39
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 455400 0 0 0 178941 698 0 0 25 0 1 0 193153343 1561436160 378940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 381210 378940 297 55 0 380102 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (Kb) 1524840

[startup+1798.14 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=269168/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1524972 CPUtime=1797.4
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 455442 0 0 0 179042 698 0 0 25 0 1 0 193153343 1561571328 378982 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 381243 378982 297 55 0 380135 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (Kb) 1524972

[startup+1799.15 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=269168/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1524972 CPUtime=1798.4
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 455446 0 0 0 179142 698 0 0 25 0 1 0 193153343 1561571328 378986 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 381243 378986 297 55 0 380135 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (Kb) 1524972

[startup+1800.15 s]
/proc/loadavg: 0.99 0.97 0.93 2/64 1465
/proc/meminfo: memFree=269168/2055920 swapFree=4182232/4192956
[pid=1269] ppid=1267 vsize=1524972 CPUtime=1799.41
/proc/1269/stat : 1269 (bsolo) R 1267 1269 1223 0 -1 0 455447 0 0 0 179243 698 0 0 25 0 1 0 193153343 1561571328 378987 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/1269/statm: 381243 378987 297 55 0 380135 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (Kb) 1524972

Child status: 0
Real time (s): 1801.01
CPU time (s): 1800.27
CPU user time (s): 1793.06
CPU system time (s): 7.2129
CPU usage (%): 99.9588
Max. virtual memory (cumulated for all children) (Kb): 1524972

Launcher Data (download as text)

Begin job on node70 on Fri Jun  2 19:00:37 UTC 2006


FILE ID= 39885-1149274837

PBS_JOBID= 299118

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  bc13f5c9713036f697e6f30ffdababe9

RANDOM SEED= 218106264


/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.265
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.265
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:       1787440 kB
Buffers:         21192 kB
Cached:         175888 kB
SwapCached:       2364 kB
Active:          44520 kB
Inactive:       161212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1787440 kB
SwapTotal:     4192956 kB
SwapFree:      4182232 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          15404 kB
Slab:            48856 kB
Committed_AS:   203528 kB
PageTables:       1412 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node70 on Fri Jun  2 19:30:38 UTC 2006