Trace number 50334

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/05Signal 1746.19 1746.79

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_4.opb
MD5SUM153ea7f27a80a18c7caefc8ed55018be
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 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 1207
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3621
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.004
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.012
0.06	c Restart #2 #Var: 40 LB: 0 @ 0.029
0.09	c Restart #3 #Var: 40 LB: 0 @ 0.056
0.13	c Restart #4 #Var: 40 LB: 0 @ 0.098
0.18	c Restart #5 #Var: 40 LB: 0 @ 0.146
0.25	c Restart #6 #Var: 40 LB: 0 @ 0.214
0.32	c Restart #7 #Var: 40 LB: 0 @ 0.289
0.43	c Restart #8 #Var: 40 LB: 0 @ 0.39
0.52	c Restart #9 #Var: 40 LB: 0 @ 0.482
0.62	c Restart #10 #Var: 40 LB: 0 @ 0.589
0.81	c Restart #11 #Var: 40 LB: 0 @ 0.779
1.06	c Restart #12 #Var: 40 LB: 0 @ 1.024
1.54	c Restart #13 #Var: 40 LB: 0 @ 1.508
2.03	c Restart #14 #Var: 40 LB: 0 @ 1.995
2.41	c Restart #15 #Var: 40 LB: 0 @ 2.37
2.87	c Restart #16 #Var: 40 LB: 0 @ 2.831
3.16	c Restart #17 #Var: 40 LB: 0 @ 3.126
3.57	c Restart #18 #Var: 40 LB: 0 @ 3.533
4.46	c Restart #19 #Var: 40 LB: 0 @ 4.423
4.87	c Restart #20 #Var: 40 LB: 0 @ 4.831
5.26	c Restart #21 #Var: 40 LB: 0 @ 5.226
5.81	c Restart #22 #Var: 40 LB: 0 @ 5.775
6.57	c Restart #23 #Var: 40 LB: 0 @ 6.538
7.45	c Restart #24 #Var: 40 LB: 0 @ 7.409
7.90	c Restart #25 #Var: 40 LB: 0 @ 7.865
8.36	c Restart #26 #Var: 40 LB: 0 @ 8.322
9.08	c Restart #27 #Var: 40 LB: 0 @ 9.043
10.13	c Restart #28 #Var: 40 LB: 0 @ 10.091
11.16	c Restart #29 #Var: 40 LB: 0 @ 11.115
11.94	c Restart #30 #Var: 40 LB: 0 @ 11.898
12.85	c Restart #31 #Var: 40 LB: 0 @ 12.807
13.72	c Restart #32 #Var: 40 LB: 0 @ 13.672
14.43	c Restart #33 #Var: 40 LB: 0 @ 14.385
15.46	c Restart #34 #Var: 40 LB: 0 @ 15.411
16.35	c Restart #35 #Var: 40 LB: 0 @ 16.305
17.32	c Restart #36 #Var: 40 LB: 0 @ 17.274
18.39	c Restart #37 #Var: 40 LB: 0 @ 18.342
19.36	c Restart #38 #Var: 40 LB: 0 @ 19.314
20.27	c Restart #39 #Var: 40 LB: 0 @ 20.224
21.27	c Restart #40 #Var: 40 LB: 0 @ 21.22
22.41	c Restart #41 #Var: 40 LB: 0 @ 22.366
23.78	c Restart #42 #Var: 40 LB: 0 @ 23.729
25.01	c Restart #43 #Var: 40 LB: 0 @ 24.96
26.39	c Restart #44 #Var: 40 LB: 0 @ 26.347
27.51	c Restart #45 #Var: 40 LB: 0 @ 27.458
28.67	c Restart #46 #Var: 40 LB: 0 @ 28.619
29.83	c Restart #47 #Var: 40 LB: 0 @ 29.784
31.07	c Restart #48 #Var: 40 LB: 0 @ 31.016
32.69	c Restart #49 #Var: 40 LB: 0 @ 32.645
34.86	c Restart #50 #Var: 40 LB: 0 @ 34.805
36.13	c Restart #51 #Var: 40 LB: 0 @ 36.079
37.84	c Restart #52 #Var: 40 LB: 0 @ 37.786
39.52	c Restart #53 #Var: 40 LB: 0 @ 39.464
41.36	c Restart #54 #Var: 40 LB: 0 @ 41.312
43.31	c Restart #55 #Var: 40 LB: 0 @ 43.256
45.25	c Restart #56 #Var: 40 LB: 0 @ 45.194
47.05	c Restart #57 #Var: 40 LB: 0 @ 46.997
49.23	c Restart #58 #Var: 40 LB: 0 @ 49.177
51.71	c Restart #59 #Var: 40 LB: 0 @ 51.651
54.07	c Restart #60 #Var: 40 LB: 0 @ 54.012
57.07	c Restart #61 #Var: 40 LB: 0 @ 57.014
60.23	c Restart #62 #Var: 40 LB: 0 @ 60.168
66.21	c Restart #63 #Var: 40 LB: 0 @ 66.153
70.78	c Restart #64 #Var: 40 LB: 0 @ 70.717
76.47	c Restart #65 #Var: 40 LB: 0 @ 76.41
80.12	c Restart #66 #Var: 40 LB: 0 @ 80.05
84.35	c Restart #67 #Var: 40 LB: 0 @ 84.287
89.41	c Restart #68 #Var: 40 LB: 0 @ 89.343
95.98	c Restart #69 #Var: 40 LB: 0 @ 95.913
102.15	c Restart #70 #Var: 40 LB: 0 @ 102.08
108.15	c Restart #71 #Var: 40 LB: 0 @ 108.07
113.42	c Restart #72 #Var: 40 LB: 0 @ 113.34
119.02	c Restart #73 #Var: 40 LB: 0 @ 118.94
124.22	c Restart #74 #Var: 40 LB: 0 @ 124.14
130.46	c Restart #75 #Var: 40 LB: 0 @ 130.38
137.35	c Restart #76 #Var: 40 LB: 0 @ 137.26
142.16	c Restart #77 #Var: 40 LB: 0 @ 142.07
147.84	c Restart #78 #Var: 40 LB: 0 @ 147.75
153.99	c Restart #79 #Var: 40 LB: 0 @ 153.9
159.24	c Restart #80 #Var: 40 LB: 0 @ 159.15
165.45	c Restart #81 #Var: 40 LB: 0 @ 165.36
170.13	c Restart #82 #Var: 40 LB: 0 @ 170.04
174.48	c Restart #83 #Var: 40 LB: 0 @ 174.38
179.97	c Restart #84 #Var: 40 LB: 0 @ 179.88
187.05	c Restart #85 #Var: 40 LB: 0 @ 186.95
194.26	c Restart #86 #Var: 40 LB: 0 @ 194.16
207.23	c Restart #87 #Var: 40 LB: 0 @ 207.12
215.61	c Restart #88 #Var: 40 LB: 0 @ 215.5
223.31	c Restart #89 #Var: 40 LB: 0 @ 223.2
230.62	c Restart #90 #Var: 40 LB: 0 @ 230.5
237.88	c Restart #91 #Var: 40 LB: 0 @ 237.76
243.57	c Restart #92 #Var: 40 LB: 0 @ 243.45
249.28	c Restart #93 #Var: 40 LB: 0 @ 249.16
255.79	c Restart #94 #Var: 40 LB: 0 @ 255.67
262.10	c Restart #95 #Var: 40 LB: 0 @ 261.98
270.17	c Restart #96 #Var: 40 LB: 0 @ 270.05
278.10	c Restart #97 #Var: 40 LB: 0 @ 277.97
285.62	c Restart #98 #Var: 40 LB: 0 @ 285.49
292.33	c Restart #99 #Var: 40 LB: 0 @ 292.2
297.87	c Restart #100 #Var: 40 LB: 0 @ 297.73
304.12	c Restart #101 #Var: 40 LB: 0 @ 303.98
310.63	c Restart #102 #Var: 40 LB: 0 @ 310.49
316.00	c Restart #103 #Var: 40 LB: 0 @ 315.86
320.46	c Restart #104 #Var: 40 LB: 0 @ 320.32
326.98	c Restart #105 #Var: 40 LB: 0 @ 326.83
332.94	c Restart #106 #Var: 40 LB: 0 @ 332.8
338.95	c Restart #107 #Var: 40 LB: 0 @ 338.8
345.92	c Restart #108 #Var: 40 LB: 0 @ 345.77
353.97	c Restart #109 #Var: 40 LB: 0 @ 353.82
361.44	c Restart #110 #Var: 40 LB: 0 @ 361.29
368.27	c Restart #111 #Var: 40 LB: 0 @ 368.11
377.65	c Restart #112 #Var: 40 LB: 0 @ 377.49
391.85	c Restart #113 #Var: 40 LB: 0 @ 391.69
402.77	c Restart #114 #Var: 40 LB: 0 @ 402.61
413.30	c Restart #115 #Var: 40 LB: 0 @ 413.13
421.60	c Restart #116 #Var: 40 LB: 0 @ 421.43
435.29	c Restart #117 #Var: 40 LB: 0 @ 435.12
472.62	c Restart #118 #Var: 40 LB: 0 @ 472.43
494.08	c Restart #119 #Var: 40 LB: 0 @ 493.88
512.63	c Restart #120 #Var: 40 LB: 0 @ 512.43
545.73	c Restart #121 #Var: 40 LB: 0 @ 545.51
581.98	c Restart #122 #Var: 40 LB: 0 @ 581.75
651.85	c Restart #123 #Var: 40 LB: 0 @ 651.6
672.19	c Restart #124 #Var: 40 LB: 0 @ 671.94
687.88	c Restart #125 #Var: 40 LB: 0 @ 687.62
704.78	c Restart #126 #Var: 40 LB: 0 @ 704.51
719.58	c Restart #127 #Var: 40 LB: 0 @ 719.31
738.73	c Restart #128 #Var: 40 LB: 0 @ 738.46
773.15	c Restart #129 #Var: 40 LB: 0 @ 772.86
806.90	c Restart #130 #Var: 40 LB: 0 @ 806.6
842.48	c Restart #131 #Var: 40 LB: 0 @ 842.17
871.37	c Restart #132 #Var: 40 LB: 0 @ 871.05
884.26	c Restart #133 #Var: 40 LB: 0 @ 883.94
901.00	c CHANGE Heuristic... 
901.00	c Restart #0 #Var: 40 LB: 0 @ 900.68
905.70	c Restart #1 #Var: 40 LB: 0 @ 905.37
910.46	c Restart #2 #Var: 40 LB: 0 @ 910.13
913.69	c Restart #3 #Var: 40 LB: 0 @ 913.36
916.85	c Restart #4 #Var: 40 LB: 0 @ 916.51
919.80	c Restart #5 #Var: 40 LB: 0 @ 919.47
922.93	c Restart #6 #Var: 40 LB: 0 @ 922.59
925.97	c Restart #7 #Var: 40 LB: 0 @ 925.64
929.41	c Restart #8 #Var: 40 LB: 0 @ 929.08
933.04	c Restart #9 #Var: 40 LB: 0 @ 932.7
936.24	c Restart #10 #Var: 40 LB: 0 @ 935.91
939.33	c Restart #11 #Var: 40 LB: 0 @ 938.99
942.59	c Restart #12 #Var: 40 LB: 0 @ 942.25
945.74	c Restart #13 #Var: 40 LB: 0 @ 945.4
948.91	c Restart #14 #Var: 40 LB: 0 @ 948.57
952.06	c Restart #15 #Var: 40 LB: 0 @ 951.71
955.34	c Restart #16 #Var: 40 LB: 0 @ 955
958.71	c Restart #17 #Var: 40 LB: 0 @ 958.36
962.00	c Restart #18 #Var: 40 LB: 0 @ 961.65
965.23	c Restart #19 #Var: 40 LB: 0 @ 964.89
968.55	c Restart #20 #Var: 40 LB: 0 @ 968.2
972.93	c Restart #21 #Var: 40 LB: 0 @ 972.58
977.28	c Restart #22 #Var: 40 LB: 0 @ 976.93
981.35	c Restart #23 #Var: 40 LB: 0 @ 981
985.59	c Restart #24 #Var: 40 LB: 0 @ 985.24
989.27	c Restart #25 #Var: 40 LB: 0 @ 988.92
992.77	c Restart #26 #Var: 40 LB: 0 @ 992.42
996.11	c Restart #27 #Var: 40 LB: 0 @ 995.75
999.80	c Restart #28 #Var: 40 LB: 0 @ 999.44
1003.33	c Restart #29 #Var: 40 LB: 0 @ 1003
1007.17	c Restart #30 #Var: 40 LB: 0 @ 1006.8
1011.13	c Restart #31 #Var: 40 LB: 0 @ 1010.8
1015.25	c Restart #32 #Var: 40 LB: 0 @ 1014.9
1020.27	c Restart #33 #Var: 40 LB: 0 @ 1019.9
1029.48	c Restart #34 #Var: 40 LB: 0 @ 1029.1
1037.47	c Restart #35 #Var: 40 LB: 0 @ 1037.1
1048.47	c Restart #36 #Var: 40 LB: 0 @ 1048.1
1058.86	c Restart #37 #Var: 40 LB: 0 @ 1058.5
1068.89	c Restart #38 #Var: 40 LB: 0 @ 1068.5
1075.94	c Restart #39 #Var: 40 LB: 0 @ 1075.6
1083.50	c Restart #40 #Var: 40 LB: 0 @ 1083.1
1090.81	c Restart #41 #Var: 40 LB: 0 @ 1090.4
1097.32	c Restart #42 #Var: 40 LB: 0 @ 1096.9
1104.67	c Restart #43 #Var: 40 LB: 0 @ 1104.3
1111.39	c Restart #44 #Var: 40 LB: 0 @ 1111
1120.47	c Restart #45 #Var: 40 LB: 0 @ 1120.1
1129.28	c Restart #46 #Var: 40 LB: 0 @ 1128.9
1139.65	c Restart #47 #Var: 40 LB: 0 @ 1139.2
1148.03	c Restart #48 #Var: 40 LB: 0 @ 1147.6
1158.89	c Restart #49 #Var: 40 LB: 0 @ 1158.5
1167.68	c Restart #50 #Var: 40 LB: 0 @ 1167.3
1177.41	c Restart #51 #Var: 40 LB: 0 @ 1177
1186.60	c Restart #52 #Var: 40 LB: 0 @ 1186.2
1193.84	c Restart #53 #Var: 40 LB: 0 @ 1193.4
1201.20	c Restart #54 #Var: 40 LB: 0 @ 1200.8
1209.12	c Restart #55 #Var: 40 LB: 0 @ 1208.7
1216.96	c Restart #56 #Var: 40 LB: 0 @ 1216.5
1224.90	c Restart #57 #Var: 40 LB: 0 @ 1224.5
1232.24	c Restart #58 #Var: 40 LB: 0 @ 1231.8
1242.35	c Restart #59 #Var: 40 LB: 0 @ 1241.9
1251.94	c Restart #60 #Var: 40 LB: 0 @ 1251.5
1265.48	c Restart #61 #Var: 40 LB: 0 @ 1265
1285.40	c Restart #62 #Var: 40 LB: 0 @ 1285
1297.56	c Restart #63 #Var: 40 LB: 0 @ 1297.1
1308.87	c Restart #64 #Var: 40 LB: 0 @ 1308.4
1323.28	c Restart #65 #Var: 40 LB: 0 @ 1322.8
1336.51	c Restart #66 #Var: 40 LB: 0 @ 1336
1348.85	c Restart #67 #Var: 40 LB: 0 @ 1348.4
1366.44	c Restart #68 #Var: 40 LB: 0 @ 1366
1378.40	c Restart #69 #Var: 40 LB: 0 @ 1377.9
1390.35	c Restart #70 #Var: 40 LB: 0 @ 1389.9
1403.00	c Restart #71 #Var: 40 LB: 0 @ 1402.5
1411.56	c Restart #72 #Var: 40 LB: 0 @ 1411.1
1421.90	c Restart #73 #Var: 40 LB: 0 @ 1421.4
1434.69	c Restart #74 #Var: 40 LB: 0 @ 1434.2
1449.30	c Restart #75 #Var: 40 LB: 0 @ 1448.8
1463.63	c Restart #76 #Var: 40 LB: 0 @ 1463.1
1489.98	c Restart #77 #Var: 40 LB: 0 @ 1489.5
1520.51	c Restart #78 #Var: 40 LB: 0 @ 1520
1530.18	c Restart #79 #Var: 40 LB: 0 @ 1529.7
1540.32	c Restart #80 #Var: 40 LB: 0 @ 1539.8
1552.29	c Restart #81 #Var: 40 LB: 0 @ 1551.8
1576.00	c Restart #82 #Var: 40 LB: 0 @ 1575.5
1599.06	c Restart #83 #Var: 40 LB: 0 @ 1598.5
1608.48	c Restart #84 #Var: 40 LB: 0 @ 1607.9
1618.39	c Restart #85 #Var: 40 LB: 0 @ 1617.8
1629.83	c Restart #86 #Var: 40 LB: 0 @ 1629.3
1642.97	c Restart #87 #Var: 40 LB: 0 @ 1642.4
1655.92	c Restart #88 #Var: 40 LB: 0 @ 1655.3
1672.37	c Restart #89 #Var: 40 LB: 0 @ 1671.8
1687.04	c Restart #90 #Var: 40 LB: 0 @ 1686.5
1699.03	c Restart #91 #Var: 40 LB: 0 @ 1698.4
1711.51	c Restart #92 #Var: 40 LB: 0 @ 1710.9
1724.34	c Restart #93 #Var: 40 LB: 0 @ 1723.7
1736.65	c Restart #94 #Var: 40 LB: 0 @ 1736.1

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.1 (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/node64/watcher-50334-1149930490 -o ROOT/results/node64/solver-50334-1149930490 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node64/50334-1149930490/instance-50334-1149930490.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.03 1.03 0.94 2/64 9371
/proc/meminfo: memFree=1833648/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=2900 CPUtime=0
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 43 0 0 0 0 0 0 0 18 0 1 0 5737720 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6959908 0 0 4096 0 0 0 0 17 1 0 0
/proc/9371/statm: 725 27 19 55 0 38 0

[startup+10.0022 s]
/proc/loadavg: 1.03 1.03 0.94 2/64 9371
/proc/meminfo: memFree=1779632/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=58992 CPUtime=9.95
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 13906 0 0 0 986 9 0 0 25 0 1 0 5737720 60407808 13812 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 14748 13812 297 55 0 13640 0
Current children cumulated CPU time (s) 9.95
Current children cumulated vsize (Kb) 58992

[startup+20.0078 s]
/proc/loadavg: 1.02 1.03 0.94 2/64 9371
/proc/meminfo: memFree=1729968/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=108908 CPUtime=19.95
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 26329 0 0 0 1976 19 0 0 25 0 1 0 5737720 111521792 26207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 27227 26207 297 55 0 26119 0
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 108908

[startup+30.0135 s]
/proc/loadavg: 1.02 1.03 0.94 2/64 9371
/proc/meminfo: memFree=1681392/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=157584 CPUtime=29.96
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 38464 0 0 0 2967 29 0 0 25 0 1 0 5737720 161366016 38315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 39396 38315 297 55 0 38288 0
Current children cumulated CPU time (s) 29.96
Current children cumulated vsize (Kb) 157584

[startup+40.0192 s]
/proc/loadavg: 1.02 1.03 0.94 2/64 9371
/proc/meminfo: memFree=1638896/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=200300 CPUtime=39.95
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 49109 0 0 0 3960 35 0 0 25 0 1 0 5737720 205107200 48925 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 50075 48925 297 55 0 48967 0
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 200300

[startup+50.0258 s]
/proc/loadavg: 1.01 1.03 0.94 2/64 9371
/proc/meminfo: memFree=1599792/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=239656 CPUtime=49.96
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 58909 0 0 0 4954 42 0 0 25 0 1 0 5737720 245407744 58703 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134696158 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 59914 58703 297 55 0 58806 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 239656

[startup+60.0325 s]
/proc/loadavg: 1.01 1.02 0.94 2/64 9371
/proc/meminfo: memFree=1568176/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=271904 CPUtime=59.97
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 67060 0 0 0 5947 50 0 0 25 0 1 0 5737720 278429696 66591 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 67976 66591 297 55 0 66868 0
Current children cumulated CPU time (s) 59.97
Current children cumulated vsize (Kb) 271904

[startup+70.0392 s]
/proc/loadavg: 1.01 1.02 0.94 2/64 9371
/proc/meminfo: memFree=1551472/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=289280 CPUtime=69.97
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 71263 0 0 0 6944 53 0 0 25 0 1 0 5737720 296222720 70756 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529180 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 72320 70756 297 55 0 71212 0
Current children cumulated CPU time (s) 69.97
Current children cumulated vsize (Kb) 289280

[startup+80.0458 s]
/proc/loadavg: 1.01 1.02 0.94 2/64 9371
/proc/meminfo: memFree=1532592/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=308024 CPUtime=79.97
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 75969 0 0 0 7940 57 0 0 25 0 1 0 5737720 315416576 75461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 77006 75461 297 55 0 75898 0
Current children cumulated CPU time (s) 79.97
Current children cumulated vsize (Kb) 308024

[startup+90.0515 s]
/proc/loadavg: 1.00 1.02 0.94 2/64 9371
/proc/meminfo: memFree=1513392/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=327512 CPUtime=89.98
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 80848 0 0 0 8936 62 0 0 25 0 1 0 5737720 335372288 80255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 81878 80255 297 55 0 80770 0
Current children cumulated CPU time (s) 89.98
Current children cumulated vsize (Kb) 327512

[startup+100.057 s]
/proc/loadavg: 1.00 1.02 0.94 2/64 9371
/proc/meminfo: memFree=1497840/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=343336 CPUtime=99.97
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 84884 0 0 0 9933 64 0 0 25 0 1 0 5737720 351576064 84127 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 85834 84127 297 55 0 84726 0
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 343336

[startup+110.064 s]
/proc/loadavg: 1.00 1.02 0.94 2/64 9371
/proc/meminfo: memFree=1480816/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=360540 CPUtime=109.98
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 89295 0 0 0 10928 70 0 0 25 0 1 0 5737720 369192960 88371 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534873 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 90135 88371 297 55 0 89027 0
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 360540

[startup+120.071 s]
/proc/loadavg: 1.00 1.02 0.94 2/64 9371
/proc/meminfo: memFree=1463984/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=377360 CPUtime=119.98
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 93579 0 0 0 11924 74 0 0 25 0 1 0 5737720 386416640 92573 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 94340 92573 297 55 0 93232 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 377360

[startup+130.076 s]
/proc/loadavg: 1.00 1.02 0.94 2/64 9371
/proc/meminfo: memFree=1445744/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=395984 CPUtime=129.99
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 98256 0 0 0 12921 78 0 0 25 0 1 0 5737720 405487616 97127 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 98996 97127 297 55 0 97888 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 395984

[startup+140.082 s]
/proc/loadavg: 1.00 1.02 0.94 2/64 9371
/proc/meminfo: memFree=1429808/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=412212 CPUtime=139.99
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 102312 0 0 0 13917 82 0 0 25 0 1 0 5737720 422105088 101101 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533602 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 103053 101101 297 55 0 101945 0
Current children cumulated CPU time (s) 139.99
Current children cumulated vsize (Kb) 412212

[startup+150.089 s]
/proc/loadavg: 1.00 1.02 0.94 2/64 9371
/proc/meminfo: memFree=1410800/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=430832 CPUtime=149.99
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 107053 0 0 0 14914 85 0 0 25 0 1 0 5737720 441171968 105842 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 107708 105842 297 55 0 106600 0
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 430832

[startup+160.094 s]
/proc/loadavg: 1.00 1.02 0.94 2/64 9371
/proc/meminfo: memFree=1392432/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=449624 CPUtime=160
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 111875 0 0 0 15911 89 0 0 25 0 1 0 5737720 460414976 110417 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 112406 110417 297 55 0 111298 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 449624

[startup+170.1 s]
/proc/loadavg: 1.00 1.01 0.94 2/64 9371
/proc/meminfo: memFree=1371312/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=470744 CPUtime=170
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 117167 0 0 0 16905 95 0 0 25 0 1 0 5737720 482041856 115709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534980 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 117686 115709 297 55 0 116578 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 470744

[startup+180.106 s]
/proc/loadavg: 1.00 1.01 0.94 2/64 9371
/proc/meminfo: memFree=1348592/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=493140 CPUtime=180
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 122862 0 0 0 17900 100 0 0 25 0 1 0 5737720 504975360 121363 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 123285 121363 297 55 0 122177 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 493140

[startup+190.111 s]
/proc/loadavg: 1.00 1.01 0.94 2/64 9371
/proc/meminfo: memFree=1332208/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=509112 CPUtime=190
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 126960 0 0 0 18896 104 0 0 25 0 1 0 5737720 521330688 125461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 127278 125461 297 55 0 126170 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 509112

[startup+200.117 s]
/proc/loadavg: 1.00 1.01 0.94 2/64 9371
/proc/meminfo: memFree=1320176/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=521636 CPUtime=200.01
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 130122 0 0 0 19894 107 0 0 25 0 1 0 5737720 534155264 128461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 130409 128461 297 55 0 129301 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 521636

[startup+210.123 s]
/proc/loadavg: 1.00 1.01 0.94 2/64 9371

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

Current children cumulated CPU time (s) 1530.37
Current children cumulated vsize (Kb) 1658516

[startup+1540.91 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=184240/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1668812 CPUtime=1540.36
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 422072 0 0 0 153653 383 0 0 25 0 1 0 5737720 1708863488 411837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 417203 411837 297 55 0 416095 0
Current children cumulated CPU time (s) 1540.36
Current children cumulated vsize (Kb) 1668812

[startup+1550.91 s]
/proc/loadavg: 1.00 1.00 0.95 3/64 9373
/proc/meminfo: memFree=173488/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1679240 CPUtime=1550.37
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 424752 0 0 0 154650 387 0 0 25 0 1 0 5737720 1719541760 414517 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 419810 414517 297 55 0 418702 0
Current children cumulated CPU time (s) 1550.37
Current children cumulated vsize (Kb) 1679240

[startup+1560.92 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=167408/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1685500 CPUtime=1560.37
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 426354 0 0 0 155649 388 0 0 25 0 1 0 5737720 1725952000 416037 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 421375 416037 297 55 0 420267 0
Current children cumulated CPU time (s) 1560.37
Current children cumulated vsize (Kb) 1685500

[startup+1570.92 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=164080/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1688800 CPUtime=1570.37
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 427184 0 0 0 156648 389 0 0 25 0 1 0 5737720 1729331200 416867 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 422200 416867 297 55 0 421092 0
Current children cumulated CPU time (s) 1570.37
Current children cumulated vsize (Kb) 1688800

[startup+1580.93 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=161008/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1691836 CPUtime=1580.38
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 427946 0 0 0 157648 390 0 0 25 0 1 0 5737720 1732440064 417629 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 422959 417629 297 55 0 421851 0
Current children cumulated CPU time (s) 1580.38
Current children cumulated vsize (Kb) 1691836

[startup+1590.93 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=159792/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1693024 CPUtime=1590.38
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 428259 0 0 0 158647 391 0 0 25 0 1 0 5737720 1733656576 417942 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 423256 417942 297 55 0 422148 0
Current children cumulated CPU time (s) 1590.38
Current children cumulated vsize (Kb) 1693024

[startup+1600.94 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=152048/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1701056 CPUtime=1600.38
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 430335 0 0 0 159645 393 0 0 25 0 1 0 5737720 1741881344 419856 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 425264 419856 297 55 0 424156 0
Current children cumulated CPU time (s) 1600.38
Current children cumulated vsize (Kb) 1701056

[startup+1610.94 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=140656/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1712144 CPUtime=1610.38
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 433179 0 0 0 160643 395 0 0 25 0 1 0 5737720 1753235456 422700 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 428036 422700 297 55 0 426928 0
Current children cumulated CPU time (s) 1610.38
Current children cumulated vsize (Kb) 1712144

[startup+1620.95 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=128944/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1724400 CPUtime=1620.39
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 436276 0 0 0 161641 398 0 0 25 0 1 0 5737720 1765785600 425635 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 431100 425635 297 55 0 429992 0
Current children cumulated CPU time (s) 1620.39
Current children cumulated vsize (Kb) 1724400

[startup+1630.96 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=118704/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1734696 CPUtime=1630.39
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 438829 0 0 0 162639 400 0 0 25 0 1 0 5737720 1776328704 428188 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 433674 428188 297 55 0 432566 0
Current children cumulated CPU time (s) 1630.39
Current children cumulated vsize (Kb) 1734696

[startup+1640.96 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=107568/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1745652 CPUtime=1640.39
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 441607 0 0 0 163637 402 0 0 25 0 1 0 5737720 1787547648 430966 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 436413 430966 297 55 0 435305 0
Current children cumulated CPU time (s) 1640.39
Current children cumulated vsize (Kb) 1745652

[startup+1650.97 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=100528/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1752780 CPUtime=1650.39
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 443383 0 0 0 164634 405 0 0 25 0 1 0 5737720 1794846720 432742 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 438195 432742 297 55 0 437087 0
Current children cumulated CPU time (s) 1650.39
Current children cumulated vsize (Kb) 1752780

[startup+1660.97 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=91056/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1762020 CPUtime=1660.39
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 445735 0 0 0 165632 407 0 0 25 0 1 0 5737720 1804308480 435094 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 440505 435094 297 55 0 439397 0
Current children cumulated CPU time (s) 1660.39
Current children cumulated vsize (Kb) 1762020

[startup+1670.98 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=84272/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1769260 CPUtime=1670.4
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 447586 0 0 0 166631 409 0 0 25 0 1 0 5737720 1811722240 436783 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 442315 436783 297 55 0 441207 0
Current children cumulated CPU time (s) 1670.4
Current children cumulated vsize (Kb) 1769260

[startup+1680.99 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=76208/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1778392 CPUtime=1680.4
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 449913 0 0 0 167629 411 0 0 25 0 1 0 5737720 1821073408 438787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 444598 438787 297 55 0 443490 0
Current children cumulated CPU time (s) 1680.4
Current children cumulated vsize (Kb) 1778392

[startup+1690.99 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=69232/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1785388 CPUtime=1690.4
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 451668 0 0 0 168627 413 0 0 25 0 1 0 5737720 1828237312 440542 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533554 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 446347 440542 297 55 0 445239 0
Current children cumulated CPU time (s) 1690.4
Current children cumulated vsize (Kb) 1785388

[startup+1701 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=60528/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1793836 CPUtime=1700.41
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 453826 0 0 0 169626 415 0 0 25 0 1 0 5737720 1836888064 442700 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 448459 442700 297 55 0 447351 0
Current children cumulated CPU time (s) 1700.41
Current children cumulated vsize (Kb) 1793836

[startup+1711 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=48496/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1805716 CPUtime=1710.41
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 456822 0 0 0 170623 418 0 0 25 0 1 0 5737720 1849053184 445696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 451429 445696 297 55 0 450321 0
Current children cumulated CPU time (s) 1710.41
Current children cumulated vsize (Kb) 1805716

[startup+1721.01 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=38640/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1815616 CPUtime=1720.42
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 459292 0 0 0 171622 420 0 0 25 0 1 0 5737720 1859190784 448166 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 453904 448166 297 55 0 452796 0
Current children cumulated CPU time (s) 1720.42
Current children cumulated vsize (Kb) 1815616

[startup+1731.02 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=29552/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1825612 CPUtime=1730.41
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 461879 0 0 0 172619 422 0 0 25 0 1 0 5737720 1869426688 450431 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 456403 450431 297 55 0 455295 0
Current children cumulated CPU time (s) 1730.41
Current children cumulated vsize (Kb) 1825612

[startup+1741.02 s]
/proc/loadavg: 1.00 1.00 0.95 2/64 9373
/proc/meminfo: memFree=20784/2055920 swapFree=4192956/4192956
[pid=9371] ppid=9369 vsize=1834192 CPUtime=1740.42
/proc/9371/stat : 9371 (bsolo) R 9369 9371 9325 0 -1 0 464054 0 0 0 173618 424 0 0 25 0 1 0 5737720 1878212608 452606 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9371/statm: 458548 452606 297 55 0 457440 0
Current children cumulated CPU time (s) 1740.42
Current children cumulated vsize (Kb) 1834192

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1746.79
CPU time (s): 1746.19
CPU user time (s): 1741.64
CPU system time (s): 4.54631
CPU usage (%): 99.9656
Max. virtual memory (cumulated for all children) (Kb): 1834192
The end

Launcher Data (download as text)

Begin job on node64 on Sat Jun 10 09:08:10 UTC 2006


FILE ID= 50334-1149930490

PBS_JOBID= 385591

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  153ea7f27a80a18c7caefc8ed55018be

RANDOM SEED= 893841768


/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.263
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.263
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:       1833856 kB
Buffers:         28440 kB
Cached:         138908 kB
SwapCached:          0 kB
Active:          76372 kB
Inactive:       105504 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1833856 kB
SwapTotal:     4192956 kB
SwapFree:      4192956 kB
Dirty:             208 kB
Writeback:           0 kB
Mapped:          24920 kB
Slab:            26172 kB
Committed_AS:   113128 kB
PageTables:       1476 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node64 on Sat Jun 10 09:37:17 UTC 2006