Trace number 50336

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.54 1801.17

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_3.opb
MD5SUM37c74b9e914d30b1ddfc0838676dd479
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved YES
Number of variables41
Total number of constraints11
Number of constraints which are clauses1
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint40
Number of terms in the objective function 1
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1
Number of bits of the sum of numbers in the objective function 1
Biggest number in a constraint 1162
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3487
Number of bits of the biggest sum of numbers12
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.04	c INFO: OSL Context initialized.
0.04	c Initial problem consists of 41 variables and 11 constraints.
0.04	c No problem reductions applied in OPT. instance.
0.04	c	preprocess terminated. Elapsed time: 0.007
0.04	c After prepocess the problem consists of 40 variables and 10 constraints.
0.04	c Initial Lower Bound: 0
0.05	c Restart #1 #Var: 40 LB: 0 @ 0.014
0.07	c Restart #2 #Var: 40 LB: 0 @ 0.032
0.09	c Restart #3 #Var: 40 LB: 0 @ 0.061
0.14	c Restart #4 #Var: 40 LB: 0 @ 0.108
0.21	c Restart #5 #Var: 40 LB: 0 @ 0.174
0.28	c Restart #6 #Var: 40 LB: 0 @ 0.249
0.37	c Restart #7 #Var: 40 LB: 0 @ 0.34
0.47	c Restart #8 #Var: 40 LB: 0 @ 0.437
0.59	c Restart #9 #Var: 40 LB: 0 @ 0.556
0.69	c Restart #10 #Var: 40 LB: 0 @ 0.659
0.82	c Restart #11 #Var: 40 LB: 0 @ 0.786
0.97	c Restart #12 #Var: 40 LB: 0 @ 0.938
1.14	c Restart #13 #Var: 40 LB: 0 @ 1.104
1.35	c Restart #14 #Var: 40 LB: 0 @ 1.316
1.75	c Restart #15 #Var: 40 LB: 0 @ 1.717
1.99	c Restart #16 #Var: 40 LB: 0 @ 1.954
2.24	c Restart #17 #Var: 40 LB: 0 @ 2.202
2.58	c Restart #18 #Var: 40 LB: 0 @ 2.547
3.02	c Restart #19 #Var: 40 LB: 0 @ 2.987
3.56	c Restart #20 #Var: 40 LB: 0 @ 3.53
4.10	c Restart #21 #Var: 40 LB: 0 @ 4.068
4.85	c Restart #22 #Var: 40 LB: 0 @ 4.814
5.98	c Restart #23 #Var: 40 LB: 0 @ 5.946
6.90	c Restart #24 #Var: 40 LB: 0 @ 6.868
7.32	c Restart #25 #Var: 40 LB: 0 @ 7.288
7.89	c Restart #26 #Var: 40 LB: 0 @ 7.855
8.57	c Restart #27 #Var: 40 LB: 0 @ 8.533
9.31	c Restart #28 #Var: 40 LB: 0 @ 9.271
9.97	c Restart #29 #Var: 40 LB: 0 @ 9.935
10.82	c Restart #30 #Var: 40 LB: 0 @ 10.784
11.84	c Restart #31 #Var: 40 LB: 0 @ 11.797
12.68	c Restart #32 #Var: 40 LB: 0 @ 12.635
13.49	c Restart #33 #Var: 40 LB: 0 @ 13.451
14.53	c Restart #34 #Var: 40 LB: 0 @ 14.487
15.88	c Restart #35 #Var: 40 LB: 0 @ 15.839
16.98	c Restart #36 #Var: 40 LB: 0 @ 16.936
18.37	c Restart #37 #Var: 40 LB: 0 @ 18.331
19.57	c Restart #38 #Var: 40 LB: 0 @ 19.523
20.77	c Restart #39 #Var: 40 LB: 0 @ 20.726
22.06	c Restart #40 #Var: 40 LB: 0 @ 22.02
23.36	c Restart #41 #Var: 40 LB: 0 @ 23.313
24.69	c Restart #42 #Var: 40 LB: 0 @ 24.645
26.08	c Restart #43 #Var: 40 LB: 0 @ 26.031
27.47	c Restart #44 #Var: 40 LB: 0 @ 27.421
29.09	c Restart #45 #Var: 40 LB: 0 @ 29.043
30.86	c Restart #46 #Var: 40 LB: 0 @ 30.818
32.36	c Restart #47 #Var: 40 LB: 0 @ 32.312
34.35	c Restart #48 #Var: 40 LB: 0 @ 34.303
36.33	c Restart #49 #Var: 40 LB: 0 @ 36.286
38.83	c Restart #50 #Var: 40 LB: 0 @ 38.782
40.57	c Restart #51 #Var: 40 LB: 0 @ 40.52
42.98	c Restart #52 #Var: 40 LB: 0 @ 42.933
46.65	c Restart #53 #Var: 40 LB: 0 @ 46.597
51.21	c Restart #54 #Var: 40 LB: 0 @ 51.159
54.00	c Restart #55 #Var: 40 LB: 0 @ 53.943
57.52	c Restart #56 #Var: 40 LB: 0 @ 57.467
61.73	c Restart #57 #Var: 40 LB: 0 @ 61.67
65.83	c Restart #58 #Var: 40 LB: 0 @ 65.773
70.21	c Restart #59 #Var: 40 LB: 0 @ 70.149
74.49	c Restart #60 #Var: 40 LB: 0 @ 74.428
81.29	c Restart #61 #Var: 40 LB: 0 @ 81.225
89.64	c Restart #62 #Var: 40 LB: 0 @ 89.556
97.04	c Restart #63 #Var: 40 LB: 0 @ 96.924
102.75	c Restart #64 #Var: 40 LB: 0 @ 102.61
107.89	c Restart #65 #Var: 40 LB: 0 @ 107.75
115.91	c Restart #66 #Var: 40 LB: 0 @ 115.76
123.25	c Restart #67 #Var: 40 LB: 0 @ 123.1
130.52	c Restart #68 #Var: 40 LB: 0 @ 130.37
138.62	c Restart #69 #Var: 40 LB: 0 @ 138.47
143.13	c Restart #70 #Var: 40 LB: 0 @ 142.97
147.99	c Restart #71 #Var: 40 LB: 0 @ 147.83
152.63	c Restart #72 #Var: 40 LB: 0 @ 152.47
156.94	c Restart #73 #Var: 40 LB: 0 @ 156.79
161.45	c Restart #74 #Var: 40 LB: 0 @ 161.29
165.40	c Restart #75 #Var: 40 LB: 0 @ 165.24
170.75	c Restart #76 #Var: 40 LB: 0 @ 170.59
176.33	c Restart #77 #Var: 40 LB: 0 @ 176.17
182.00	c Restart #78 #Var: 40 LB: 0 @ 181.84
188.55	c Restart #79 #Var: 40 LB: 0 @ 188.38
195.81	c Restart #80 #Var: 40 LB: 0 @ 195.65
203.12	c Restart #81 #Var: 40 LB: 0 @ 202.95
209.85	c Restart #82 #Var: 40 LB: 0 @ 209.68
216.98	c Restart #83 #Var: 40 LB: 0 @ 216.8
223.34	c Restart #84 #Var: 40 LB: 0 @ 223.17
229.95	c Restart #85 #Var: 40 LB: 0 @ 229.77
237.09	c Restart #86 #Var: 40 LB: 0 @ 236.91
245.76	c Restart #87 #Var: 40 LB: 0 @ 245.57
252.59	c Restart #88 #Var: 40 LB: 0 @ 252.41
261.93	c Restart #89 #Var: 40 LB: 0 @ 261.74
268.77	c Restart #90 #Var: 40 LB: 0 @ 268.58
278.80	c Restart #91 #Var: 40 LB: 0 @ 278.61
288.98	c Restart #92 #Var: 40 LB: 0 @ 288.78
299.24	c Restart #93 #Var: 40 LB: 0 @ 299.04
311.98	c Restart #94 #Var: 40 LB: 0 @ 311.78
320.67	c Restart #95 #Var: 40 LB: 0 @ 320.47
330.43	c Restart #96 #Var: 40 LB: 0 @ 330.22
341.90	c Restart #97 #Var: 40 LB: 0 @ 341.69
351.60	c Restart #98 #Var: 40 LB: 0 @ 351.39
362.56	c Restart #99 #Var: 40 LB: 0 @ 362.35
372.52	c Restart #100 #Var: 40 LB: 0 @ 372.31
382.01	c Restart #101 #Var: 40 LB: 0 @ 381.79
390.31	c Restart #102 #Var: 40 LB: 0 @ 390.09
399.76	c Restart #103 #Var: 40 LB: 0 @ 399.53
410.58	c Restart #104 #Var: 40 LB: 0 @ 410.36
418.09	c Restart #105 #Var: 40 LB: 0 @ 417.86
426.03	c Restart #106 #Var: 40 LB: 0 @ 425.79
438.53	c Restart #107 #Var: 40 LB: 0 @ 438.3
450.07	c Restart #108 #Var: 40 LB: 0 @ 449.83
461.48	c Restart #109 #Var: 40 LB: 0 @ 461.23
471.57	c Restart #110 #Var: 40 LB: 0 @ 471.32
486.92	c Restart #111 #Var: 40 LB: 0 @ 486.67
502.56	c Restart #112 #Var: 40 LB: 0 @ 502.31
523.47	c Restart #113 #Var: 40 LB: 0 @ 523.21
538.80	c Restart #114 #Var: 40 LB: 0 @ 538.54
554.20	c Restart #115 #Var: 40 LB: 0 @ 553.93
567.52	c Restart #116 #Var: 40 LB: 0 @ 567.25
580.79	c Restart #117 #Var: 40 LB: 0 @ 580.51
595.02	c Restart #118 #Var: 40 LB: 0 @ 594.73
614.49	c Restart #119 #Var: 40 LB: 0 @ 614.2
643.48	c Restart #120 #Var: 40 LB: 0 @ 643.19
679.26	c Restart #121 #Var: 40 LB: 0 @ 678.96
706.03	c Restart #122 #Var: 40 LB: 0 @ 705.72
740.14	c Restart #123 #Var: 40 LB: 0 @ 739.82
785.69	c Restart #124 #Var: 40 LB: 0 @ 785.36
817.87	c Restart #125 #Var: 40 LB: 0 @ 817.53
838.86	c Restart #126 #Var: 40 LB: 0 @ 838.51
863.70	c Restart #127 #Var: 40 LB: 0 @ 863.35
883.66	c Restart #128 #Var: 40 LB: 0 @ 883.3
910.04	c CHANGE Heuristic... 
910.04	c Restart #0 #Var: 40 LB: 0 @ 909.67
924.31	c Restart #1 #Var: 40 LB: 0 @ 923.94
941.29	c Restart #2 #Var: 40 LB: 0 @ 940.91
957.30	c Restart #3 #Var: 40 LB: 0 @ 956.92
968.51	c Restart #4 #Var: 40 LB: 0 @ 968.12
980.31	c Restart #5 #Var: 40 LB: 0 @ 979.92
989.91	c Restart #6 #Var: 40 LB: 0 @ 989.52
1001.28	c Restart #7 #Var: 40 LB: 0 @ 1000.9
1009.81	c Restart #8 #Var: 40 LB: 0 @ 1009.4
1020.73	c Restart #9 #Var: 40 LB: 0 @ 1020.3
1031.64	c Restart #10 #Var: 40 LB: 0 @ 1031.2
1041.09	c Restart #11 #Var: 40 LB: 0 @ 1040.7
1050.66	c Restart #12 #Var: 40 LB: 0 @ 1050.2
1057.83	c Restart #13 #Var: 40 LB: 0 @ 1057.4
1063.74	c Restart #14 #Var: 40 LB: 0 @ 1063.3
1070.32	c Restart #15 #Var: 40 LB: 0 @ 1069.9
1076.57	c Restart #16 #Var: 40 LB: 0 @ 1076.1
1083.60	c Restart #17 #Var: 40 LB: 0 @ 1083.2
1090.77	c Restart #18 #Var: 40 LB: 0 @ 1090.3
1101.45	c Restart #19 #Var: 40 LB: 0 @ 1101
1114.20	c Restart #20 #Var: 40 LB: 0 @ 1113.8
1123.09	c Restart #21 #Var: 40 LB: 0 @ 1122.7
1130.95	c Restart #22 #Var: 40 LB: 0 @ 1130.5
1136.57	c Restart #23 #Var: 40 LB: 0 @ 1136.1
1150.01	c Restart #24 #Var: 40 LB: 0 @ 1149.6
1172.43	c Restart #25 #Var: 40 LB: 0 @ 1172
1190.03	c Restart #26 #Var: 40 LB: 0 @ 1189.6
1199.92	c Restart #27 #Var: 40 LB: 0 @ 1199.5
1208.28	c Restart #28 #Var: 40 LB: 0 @ 1207.8
1221.53	c Restart #29 #Var: 40 LB: 0 @ 1221.1
1229.85	c Restart #30 #Var: 40 LB: 0 @ 1229.4
1237.00	c Restart #31 #Var: 40 LB: 0 @ 1236.5
1242.95	c Restart #32 #Var: 40 LB: 0 @ 1242.5
1248.12	c Restart #33 #Var: 40 LB: 0 @ 1247.7
1253.11	c Restart #34 #Var: 40 LB: 0 @ 1252.6
1258.48	c Restart #35 #Var: 40 LB: 0 @ 1258
1267.16	c Restart #36 #Var: 40 LB: 0 @ 1266.7
1276.92	c Restart #37 #Var: 40 LB: 0 @ 1276.4
1283.95	c Restart #38 #Var: 40 LB: 0 @ 1283.5
1292.36	c Restart #39 #Var: 40 LB: 0 @ 1291.9
1299.58	c Restart #40 #Var: 40 LB: 0 @ 1299.1
1310.28	c Restart #41 #Var: 40 LB: 0 @ 1309.8
1322.18	c Restart #42 #Var: 40 LB: 0 @ 1321.7
1335.15	c Restart #43 #Var: 40 LB: 0 @ 1334.7
1358.00	c Restart #44 #Var: 40 LB: 0 @ 1357.5
1370.94	c Restart #45 #Var: 40 LB: 0 @ 1370.4
1381.10	c Restart #46 #Var: 40 LB: 0 @ 1380.6
1395.35	c Restart #47 #Var: 40 LB: 0 @ 1394.8
1407.75	c Restart #48 #Var: 40 LB: 0 @ 1407.2
1422.08	c Restart #49 #Var: 40 LB: 0 @ 1421.6
1442.59	c Restart #50 #Var: 40 LB: 0 @ 1442.1
1462.68	c Restart #51 #Var: 40 LB: 0 @ 1462.1
1474.38	c Restart #52 #Var: 40 LB: 0 @ 1473.8
1482.89	c Restart #53 #Var: 40 LB: 0 @ 1482.4
1490.74	c Restart #54 #Var: 40 LB: 0 @ 1490.2
1499.96	c Restart #55 #Var: 40 LB: 0 @ 1499.4
1510.38	c Restart #56 #Var: 40 LB: 0 @ 1509.8
1524.88	c Restart #57 #Var: 40 LB: 0 @ 1524.3
1534.42	c Restart #58 #Var: 40 LB: 0 @ 1533.9
1545.91	c Restart #59 #Var: 40 LB: 0 @ 1545.4
1560.26	c Restart #60 #Var: 40 LB: 0 @ 1559.7
1570.45	c Restart #61 #Var: 40 LB: 0 @ 1569.9
1581.27	c Restart #62 #Var: 40 LB: 0 @ 1580.7
1592.31	c Restart #63 #Var: 40 LB: 0 @ 1591.7
1605.94	c Restart #64 #Var: 40 LB: 0 @ 1605.4
1630.85	c Restart #65 #Var: 40 LB: 0 @ 1630.3
1656.53	c Restart #66 #Var: 40 LB: 0 @ 1655.9
1681.00	c Restart #67 #Var: 40 LB: 0 @ 1680.4
1695.66	c Restart #68 #Var: 40 LB: 0 @ 1695.1
1705.45	c Restart #69 #Var: 40 LB: 0 @ 1704.9
1715.71	c Restart #70 #Var: 40 LB: 0 @ 1715.1
1731.31	c Restart #71 #Var: 40 LB: 0 @ 1730.7
1743.08	c Restart #72 #Var: 40 LB: 0 @ 1742.5
1756.46	c Restart #73 #Var: 40 LB: 0 @ 1755.8
1768.52	c Restart #74 #Var: 40 LB: 0 @ 1767.9
1777.91	c Restart #75 #Var: 40 LB: 0 @ 1777.3
1788.34	c Restart #76 #Var: 40 LB: 0 @ 1787.7
1800.91	c Restart #77 #Var: 40 LB: 0 @ 1800.3
1800.93	s UNKNOWN
1800.93	c Exit Code: 0
1800.93	c Total time: 1800.3 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

runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr

Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
command line: runsolver --timestamp -w ROOT/results/node21/watcher-50336-1154109586 -o ROOT/results/node21/solver-50336-1154109586 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node21/50336-1154109586/instance-50336-1154109586.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 0.99 0.98 3/64 23612
/proc/meminfo: memFree=1503248/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=4664 CPUtime=0
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 143 0 0 0 0 0 0 0 18 0 1 0 157819421 4775936 123 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8402112 0 0 4096 0 0 0 0 17 1 0 0
/proc/23612/statm: 1166 123 103 55 0 46 0

[startup+10.0015 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23612
/proc/meminfo: memFree=1443984/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=64400 CPUtime=9.95
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 15233 0 0 0 985 10 0 0 25 0 1 0 157819421 65945600 15130 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 16100 15130 297 55 0 14992 0
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 64400

[startup+20.0076 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23612
/proc/meminfo: memFree=1400464/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=108060 CPUtime=19.95
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 26133 0 0 0 1976 19 0 0 25 0 1 0 157819421 110653440 26002 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 27015 26002 297 55 0 25907 0
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 108060

[startup+30.0137 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23612
/proc/meminfo: memFree=1359440/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=149584 CPUtime=29.96
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 36397 0 0 0 2969 27 0 0 25 0 1 0 157819421 153174016 36232 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 37396 36232 297 55 0 36288 0
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 149584

[startup+40.0198 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23612
/proc/meminfo: memFree=1326672/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=182584 CPUtime=39.96
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 44589 0 0 0 3961 35 0 0 25 0 1 0 157819421 186966016 44400 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 45646 44400 297 55 0 44538 0
Current children cumulated CPU time (s) 39.96
Current children cumulated vsize (Kb) 182584

[startup+50.0259 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23612
/proc/meminfo: memFree=1304912/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=204392 CPUtime=49.97
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 50036 0 0 0 4957 40 0 0 25 0 1 0 157819421 209297408 49833 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528720 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 51098 49833 297 55 0 49990 0
Current children cumulated CPU time (s) 49.97
Current children cumulated vsize (Kb) 204392

[startup+60.032 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23612
/proc/meminfo: memFree=1283536/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=225704 CPUtime=59.97
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 55377 0 0 0 5952 45 0 0 25 0 1 0 157819421 231120896 55164 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 56426 55164 297 55 0 55318 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 225704

[startup+70.0381 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23612
/proc/meminfo: memFree=1265104/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=244436 CPUtime=69.97
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 60071 0 0 0 6948 49 0 0 25 0 1 0 157819421 250302464 59766 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 61109 59766 297 55 0 60001 0
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 244436

[startup+80.0442 s]
/proc/loadavg: 1.00 0.99 0.98 2/70 23678
/proc/meminfo: memFree=1248480/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=260560 CPUtime=79.97
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 64008 0 0 0 7940 57 0 0 25 0 1 0 157819421 266813440 63602 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 65140 63602 297 55 0 64032 0
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 260560

[startup+90.0513 s]
/proc/loadavg: 1.00 0.99 0.98 2/70 23728
/proc/meminfo: memFree=1239072/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=270376 CPUtime=89.95
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 66514 0 0 0 8934 61 0 0 25 0 1 0 157819421 276865024 65944 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 67594 65944 297 55 0 66486 0
Current children cumulated CPU time (s) 89.95
Current children cumulated vsize (Kb) 270376

[startup+100.058 s]
/proc/loadavg: 1.00 0.99 0.98 2/70 23794
/proc/meminfo: memFree=1223896/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=285344 CPUtime=99.93
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 70254 0 0 0 9926 67 0 0 25 0 1 0 157819421 292192256 69682 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 71336 69683 297 55 0 70228 0
Current children cumulated CPU time (s) 99.93
Current children cumulated vsize (Kb) 285344

[startup+110.066 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=1211272/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=299156 CPUtime=109.92
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 73694 0 0 0 10922 70 0 0 25 0 1 0 157819421 306335744 73116 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 74789 73116 297 55 0 73681 0
Current children cumulated CPU time (s) 109.92
Current children cumulated vsize (Kb) 299156

[startup+120.073 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=1199632/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=310880 CPUtime=119.92
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 76618 0 0 0 11919 73 0 0 25 0 1 0 157819421 318341120 76035 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 77720 76035 297 55 0 76612 0
Current children cumulated CPU time (s) 119.92
Current children cumulated vsize (Kb) 310880

[startup+130.079 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=1189456/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=321044 CPUtime=129.93
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 79161 0 0 0 12918 75 0 0 25 0 1 0 157819421 328749056 78577 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 80261 78577 297 55 0 79153 0
Current children cumulated CPU time (s) 129.93
Current children cumulated vsize (Kb) 321044

[startup+140.085 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=1176336/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=334016 CPUtime=139.93
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 82430 0 0 0 13916 77 0 0 25 0 1 0 157819421 342032384 81846 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 83504 81846 297 55 0 82396 0
Current children cumulated CPU time (s) 139.93
Current children cumulated vsize (Kb) 334016

[startup+150.091 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=1155856/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=354604 CPUtime=149.93
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 87554 0 0 0 14912 81 0 0 25 0 1 0 157819421 363114496 86961 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529182 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 88651 86961 297 55 0 87543 0
Current children cumulated CPU time (s) 149.93
Current children cumulated vsize (Kb) 354604

[startup+160.097 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=1134224/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=376220 CPUtime=159.94
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 92964 0 0 0 15907 87 0 0 25 0 1 0 157819421 385249280 92363 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 94055 92363 297 55 0 92947 0
Current children cumulated CPU time (s) 159.94
Current children cumulated vsize (Kb) 376220

[startup+170.103 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=1111504/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=399428 CPUtime=169.93
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 98814 0 0 0 16901 92 0 0 25 0 1 0 157819421 409014272 98035 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 99857 98035 297 55 0 98749 0
Current children cumulated CPU time (s) 169.93
Current children cumulated vsize (Kb) 399428

[startup+180.11 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=1093712/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=417496 CPUtime=179.94
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 103407 0 0 0 17898 96 0 0 25 0 1 0 157819421 427515904 102464 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 104374 102464 297 55 0 103266 0
Current children cumulated CPU time (s) 179.94
Current children cumulated vsize (Kb) 417496

[startup+190.116 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=1078800/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=432152 CPUtime=189.94
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 107125 0 0 0 18894 100 0 0 25 0 1 0 157819421 442523648 106182 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 108038 106182 297 55 0 106930 0
Current children cumulated CPU time (s) 189.94
Current children cumulated vsize (Kb) 432152

[startup+200.122 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=1061712/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=449824 CPUtime=199.95
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 111484 0 0 0 19891 104 0 0 25 0 1 0 157819421 460619776 110453 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 112456 110453 297 55 0 111348 0
Current children cumulated CPU time (s) 199.95
Current children cumulated vsize (Kb) 449824

[startup+210.129 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810

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

Current children cumulated CPU time (s) 1760.45
Current children cumulated vsize (Kb) 1492940

[startup+1771.08 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=23760/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1501180 CPUtime=1770.46
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 380424 0 0 0 176639 407 0 0 25 0 1 0 157819421 1537208320 369396 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 375295 369396 297 55 0 374187 0
Current children cumulated CPU time (s) 1770.46
Current children cumulated vsize (Kb) 1501180

[startup+1781.09 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=16336/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1511476 CPUtime=1780.46
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 383020 0 0 0 177636 410 0 0 25 0 1 0 157819421 1547751424 371992 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 377869 371992 297 55 0 376761 0
Current children cumulated CPU time (s) 1780.46
Current children cumulated vsize (Kb) 1511476

[startup+1782.09 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=16080/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1513324 CPUtime=1781.47
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 383476 0 0 0 177737 410 0 0 25 0 1 0 157819421 1549643776 372448 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 378331 372448 297 55 0 377223 0
Current children cumulated CPU time (s) 1781.47
Current children cumulated vsize (Kb) 1513324

[startup+1783.1 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=15888/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1515040 CPUtime=1782.47
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 383899 0 0 0 177837 410 0 0 25 0 1 0 157819421 1551400960 372871 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 378760 372871 297 55 0 377652 0
Current children cumulated CPU time (s) 1782.47
Current children cumulated vsize (Kb) 1515040

[startup+1784.1 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=15952/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1516492 CPUtime=1783.47
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 384272 0 0 0 177937 410 0 0 25 0 1 0 157819421 1552887808 373244 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 379123 373244 297 55 0 378015 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (Kb) 1516492

[startup+1785.11 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=15184/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1518736 CPUtime=1784.48
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 384849 0 0 0 178037 411 0 0 25 0 1 0 157819421 1555185664 373821 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 379684 373821 297 55 0 378576 0
Current children cumulated CPU time (s) 1784.48
Current children cumulated vsize (Kb) 1518736

[startup+1786.12 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=14992/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1519000 CPUtime=1785.48
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 384886 0 0 0 178137 411 0 0 25 0 1 0 157819421 1555456000 373858 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 379750 373858 297 55 0 378642 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (Kb) 1519000

[startup+1787.12 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=16208/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1519264 CPUtime=1786.49
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 384962 0 0 0 178238 411 0 0 25 0 1 0 157819421 1555726336 373934 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 379816 373934 297 55 0 378708 0
Current children cumulated CPU time (s) 1786.49
Current children cumulated vsize (Kb) 1519264

[startup+1788.13 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=16208/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1519264 CPUtime=1787.49
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 384962 0 0 0 178338 411 0 0 25 0 1 0 157819421 1555726336 373934 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 379816 373934 297 55 0 378708 0
Current children cumulated CPU time (s) 1787.49
Current children cumulated vsize (Kb) 1519264

[startup+1789.13 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=15888/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1520544 CPUtime=1788.5
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 385320 0 0 0 178438 412 0 0 25 0 1 0 157819421 1557037056 373970 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 380136 373970 297 55 0 379028 0
Current children cumulated CPU time (s) 1788.5
Current children cumulated vsize (Kb) 1520544

[startup+1790.13 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=15888/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1520544 CPUtime=1789.51
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 385320 0 0 0 178539 412 0 0 25 0 1 0 157819421 1557037056 373970 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 380136 373970 297 55 0 379028 0
Current children cumulated CPU time (s) 1789.51
Current children cumulated vsize (Kb) 1520544

[startup+1791.14 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=15504/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1521072 CPUtime=1790.51
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 385461 0 0 0 178639 412 0 0 25 0 1 0 157819421 1557577728 374111 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 380268 374111 297 55 0 379160 0
Current children cumulated CPU time (s) 1790.51
Current children cumulated vsize (Kb) 1521072

[startup+1792.14 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=16016/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1522128 CPUtime=1791.51
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 385737 0 0 0 178739 412 0 0 25 0 1 0 157819421 1558659072 374387 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534997 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 380532 374387 297 55 0 379424 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 1522128

[startup+1793.15 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=16336/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1523448 CPUtime=1792.51
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 386047 0 0 0 178839 412 0 0 25 0 1 0 157819421 1560010752 374697 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 380862 374697 297 55 0 379754 0
Current children cumulated CPU time (s) 1792.51
Current children cumulated vsize (Kb) 1523448

[startup+1794.15 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=16080/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1525164 CPUtime=1793.52
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 386496 0 0 0 178939 413 0 0 25 0 1 0 157819421 1561767936 375146 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 381291 375146 297 55 0 380183 0
Current children cumulated CPU time (s) 1793.52
Current children cumulated vsize (Kb) 1525164

[startup+1795.16 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=15248/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1525956 CPUtime=1794.53
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 386691 0 0 0 179040 413 0 0 25 0 1 0 157819421 1562578944 375341 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 381489 375341 297 55 0 380381 0
Current children cumulated CPU time (s) 1794.53
Current children cumulated vsize (Kb) 1525956

[startup+1796.17 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=15952/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1526880 CPUtime=1795.53
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 386898 0 0 0 179140 413 0 0 25 0 1 0 157819421 1563525120 375548 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 381720 375548 297 55 0 380612 0
Current children cumulated CPU time (s) 1795.53
Current children cumulated vsize (Kb) 1526880

[startup+1797.17 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=15440/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1527408 CPUtime=1796.54
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 387039 0 0 0 179240 414 0 0 25 0 1 0 157819421 1564065792 375689 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 381852 375689 297 55 0 380744 0
Current children cumulated CPU time (s) 1796.54
Current children cumulated vsize (Kb) 1527408

[startup+1798.17 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=15504/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1528860 CPUtime=1797.54
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 387404 0 0 0 179340 414 0 0 25 0 1 0 157819421 1565552640 376054 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 382215 376054 297 55 0 381107 0
Current children cumulated CPU time (s) 1797.54
Current children cumulated vsize (Kb) 1528860

[startup+1799.18 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=15760/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1530180 CPUtime=1798.55
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 387723 0 0 0 179440 415 0 0 25 0 1 0 157819421 1566904320 376373 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 382545 376373 297 55 0 381437 0
Current children cumulated CPU time (s) 1798.55
Current children cumulated vsize (Kb) 1530180

[startup+1800.18 s]
/proc/loadavg: 1.00 0.99 0.98 2/64 23810
/proc/meminfo: memFree=15696/2055920 swapFree=4182912/4192956
[pid=23612] ppid=23610 vsize=1530180 CPUtime=1799.55
/proc/23612/stat : 23612 (bsolo) R 23610 23612 23563 0 -1 0 387738 0 0 0 179540 415 0 0 25 0 1 0 157819421 1566904320 376388 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529346 0 0 4096 16384 0 0 0 17 1 0 0
/proc/23612/statm: 382545 376388 297 55 0 381437 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (Kb) 1530180

Child status: 0
Real time (s): 1801.17
CPU time (s): 1800.54
CPU user time (s): 1796.15
CPU system time (s): 4.38233
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (Kb): 1530180
The end

Launcher Data (download as text)

Begin job on node21 on Fri Jul 28 17:59:46 UTC 2006


FILE ID= 50336-1154109586

PBS_JOBID= 886423

BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_5_40_3.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node21/50336-1154109586/instance-50336-1154109586.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node21/watcher-50336-1154109586 -o ROOT/results/node21/solver-50336-1154109586 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node21/50336-1154109586/instance-50336-1154109586.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  37c74b9e914d30b1ddfc0838676dd479

RANDOM SEED= 963920500

TIMEOUT= 1800 seconds


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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1503456 kB
Buffers:         24316 kB
Cached:         478388 kB
SwapCached:       3692 kB
Active:          49264 kB
Inactive:       461920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1503456 kB
SwapTotal:     4192956 kB
SwapFree:      4182912 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14464 kB
Slab:            27304 kB
Committed_AS:   702208 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 node21 on Fri Jul 28 18:29:48 UTC 2006