Trace number 50308

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 1800.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
market-split/normalized-market-split_5_40_2.opb
MD5SUM4618b6422bdc12197131d1d37f567363
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 1196
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 3589
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.04	c Time Limit set via PBTIMEOUT to 1800
0.11	c INFO: OSL Context initialized.
0.11	c Initial problem consists of 41 variables and 11 constraints.
0.11	c No problem reductions applied in OPT. instance.
0.11	c	preprocess terminated. Elapsed time: 0.005
0.11	c After prepocess the problem consists of 40 variables and 10 constraints.
0.11	c Initial Lower Bound: 0
0.12	c Restart #1 #Var: 40 LB: 0 @ 0.012
0.13	c Restart #2 #Var: 40 LB: 0 @ 0.03
0.16	c Restart #3 #Var: 40 LB: 0 @ 0.058
0.21	c Restart #4 #Var: 40 LB: 0 @ 0.102
0.27	c Restart #5 #Var: 40 LB: 0 @ 0.163
0.34	c Restart #6 #Var: 40 LB: 0 @ 0.237
0.41	c Restart #7 #Var: 40 LB: 0 @ 0.309
0.50	c Restart #8 #Var: 40 LB: 0 @ 0.398
0.64	c Restart #9 #Var: 40 LB: 0 @ 0.535
0.76	c Restart #10 #Var: 40 LB: 0 @ 0.66
0.95	c Restart #11 #Var: 40 LB: 0 @ 0.845
1.26	c Restart #12 #Var: 40 LB: 0 @ 1.156
1.79	c Restart #13 #Var: 40 LB: 0 @ 1.687
2.56	c Restart #14 #Var: 40 LB: 0 @ 2.459
2.96	c Restart #15 #Var: 40 LB: 0 @ 2.852
3.55	c Restart #16 #Var: 40 LB: 0 @ 3.446
5.52	c Restart #17 #Var: 40 LB: 0 @ 5.412
6.15	c Restart #18 #Var: 40 LB: 0 @ 6.051
6.84	c Restart #19 #Var: 40 LB: 0 @ 6.737
7.88	c Restart #20 #Var: 40 LB: 0 @ 7.776
9.15	c Restart #21 #Var: 40 LB: 0 @ 9.043
10.46	c Restart #22 #Var: 40 LB: 0 @ 10.347
11.60	c Restart #23 #Var: 40 LB: 0 @ 11.489
12.83	c Restart #24 #Var: 40 LB: 0 @ 12.722
14.00	c Restart #25 #Var: 40 LB: 0 @ 13.894
15.46	c Restart #26 #Var: 40 LB: 0 @ 15.354
17.13	c Restart #27 #Var: 40 LB: 0 @ 17.019
18.50	c Restart #28 #Var: 40 LB: 0 @ 18.388
20.01	c Restart #29 #Var: 40 LB: 0 @ 19.895
21.46	c Restart #30 #Var: 40 LB: 0 @ 21.348
23.27	c Restart #31 #Var: 40 LB: 0 @ 23.158
25.24	c Restart #32 #Var: 40 LB: 0 @ 25.124
27.34	c Restart #33 #Var: 40 LB: 0 @ 27.223
29.28	c Restart #34 #Var: 40 LB: 0 @ 29.169
31.78	c Restart #35 #Var: 40 LB: 0 @ 31.665
34.45	c Restart #36 #Var: 40 LB: 0 @ 34.338
36.68	c Restart #37 #Var: 40 LB: 0 @ 36.566
39.63	c Restart #38 #Var: 40 LB: 0 @ 39.513
42.50	c Restart #39 #Var: 40 LB: 0 @ 42.378
45.24	c Restart #40 #Var: 40 LB: 0 @ 45.121
48.60	c Restart #41 #Var: 40 LB: 0 @ 48.485
53.93	c Restart #42 #Var: 40 LB: 0 @ 53.805
58.57	c Restart #43 #Var: 40 LB: 0 @ 58.453
64.06	c Restart #44 #Var: 40 LB: 0 @ 63.936
66.73	c Restart #45 #Var: 40 LB: 0 @ 66.609
69.81	c Restart #46 #Var: 40 LB: 0 @ 69.687
73.79	c Restart #47 #Var: 40 LB: 0 @ 73.666
77.06	c Restart #48 #Var: 40 LB: 0 @ 76.93
79.58	c Restart #49 #Var: 40 LB: 0 @ 79.456
81.50	c Restart #50 #Var: 40 LB: 0 @ 81.377
84.38	c Restart #51 #Var: 40 LB: 0 @ 84.254
87.28	c Restart #52 #Var: 40 LB: 0 @ 87.153
90.26	c Restart #53 #Var: 40 LB: 0 @ 90.127
93.37	c Restart #54 #Var: 40 LB: 0 @ 93.237
96.98	c Restart #55 #Var: 40 LB: 0 @ 96.849
99.73	c Restart #56 #Var: 40 LB: 0 @ 99.596
105.53	c Restart #57 #Var: 40 LB: 0 @ 105.4
111.90	c Restart #58 #Var: 40 LB: 0 @ 111.76
115.85	c Restart #59 #Var: 40 LB: 0 @ 115.72
119.44	c Restart #60 #Var: 40 LB: 0 @ 119.3
123.51	c Restart #61 #Var: 40 LB: 0 @ 123.37
127.72	c Restart #62 #Var: 40 LB: 0 @ 127.58
131.39	c Restart #63 #Var: 40 LB: 0 @ 131.25
137.04	c Restart #64 #Var: 40 LB: 0 @ 136.9
142.72	c Restart #65 #Var: 40 LB: 0 @ 142.58
147.45	c Restart #66 #Var: 40 LB: 0 @ 147.31
152.55	c Restart #67 #Var: 40 LB: 0 @ 152.4
156.75	c Restart #68 #Var: 40 LB: 0 @ 156.61
159.89	c Restart #69 #Var: 40 LB: 0 @ 159.74
163.24	c Restart #70 #Var: 40 LB: 0 @ 163.09
169.55	c Restart #71 #Var: 40 LB: 0 @ 169.4
173.51	c Restart #72 #Var: 40 LB: 0 @ 173.36
177.39	c Restart #73 #Var: 40 LB: 0 @ 177.24
181.26	c Restart #74 #Var: 40 LB: 0 @ 181.11
185.38	c Restart #75 #Var: 40 LB: 0 @ 185.22
190.11	c Restart #76 #Var: 40 LB: 0 @ 189.95
196.03	c Restart #77 #Var: 40 LB: 0 @ 195.88
202.53	c Restart #78 #Var: 40 LB: 0 @ 202.37
206.92	c Restart #79 #Var: 40 LB: 0 @ 206.76
211.52	c Restart #80 #Var: 40 LB: 0 @ 211.36
217.93	c Restart #81 #Var: 40 LB: 0 @ 217.77
225.44	c Restart #82 #Var: 40 LB: 0 @ 225.27
231.21	c Restart #83 #Var: 40 LB: 0 @ 231.05
237.29	c Restart #84 #Var: 40 LB: 0 @ 237.12
243.98	c Restart #85 #Var: 40 LB: 0 @ 243.81
250.42	c Restart #86 #Var: 40 LB: 0 @ 250.25
258.21	c Restart #87 #Var: 40 LB: 0 @ 258.04
265.43	c Restart #88 #Var: 40 LB: 0 @ 265.25
274.88	c Restart #89 #Var: 40 LB: 0 @ 274.71
283.78	c Restart #90 #Var: 40 LB: 0 @ 283.61
293.61	c Restart #91 #Var: 40 LB: 0 @ 293.43
303.19	c Restart #92 #Var: 40 LB: 0 @ 303.01
315.41	c Restart #93 #Var: 40 LB: 0 @ 315.23
325.05	c Restart #94 #Var: 40 LB: 0 @ 324.86
335.21	c Restart #95 #Var: 40 LB: 0 @ 335.02
346.33	c Restart #96 #Var: 40 LB: 0 @ 346.13
356.00	c Restart #97 #Var: 40 LB: 0 @ 355.81
363.91	c Restart #98 #Var: 40 LB: 0 @ 363.72
371.59	c Restart #99 #Var: 40 LB: 0 @ 371.39
379.21	c Restart #100 #Var: 40 LB: 0 @ 379.01
388.46	c Restart #101 #Var: 40 LB: 0 @ 388.26
399.24	c Restart #102 #Var: 40 LB: 0 @ 399.03
408.60	c Restart #103 #Var: 40 LB: 0 @ 408.39
418.73	c Restart #104 #Var: 40 LB: 0 @ 418.52
430.08	c Restart #105 #Var: 40 LB: 0 @ 429.87
438.88	c Restart #106 #Var: 40 LB: 0 @ 438.66
449.64	c Restart #107 #Var: 40 LB: 0 @ 449.42
464.12	c Restart #108 #Var: 40 LB: 0 @ 463.89
488.23	c Restart #109 #Var: 40 LB: 0 @ 488
513.38	c Restart #110 #Var: 40 LB: 0 @ 513.15
546.17	c Restart #111 #Var: 40 LB: 0 @ 545.92
574.68	c Restart #112 #Var: 40 LB: 0 @ 574.42
593.34	c Restart #113 #Var: 40 LB: 0 @ 593.09
606.99	c Restart #114 #Var: 40 LB: 0 @ 606.74
629.18	c Restart #115 #Var: 40 LB: 0 @ 628.91
658.65	c Restart #116 #Var: 40 LB: 0 @ 658.38
680.77	c Restart #117 #Var: 40 LB: 0 @ 680.49
707.39	c Restart #118 #Var: 40 LB: 0 @ 707.1
723.05	c Restart #119 #Var: 40 LB: 0 @ 722.77
739.33	c Restart #120 #Var: 40 LB: 0 @ 739.04
755.41	c Restart #121 #Var: 40 LB: 0 @ 755.12
771.57	c Restart #122 #Var: 40 LB: 0 @ 771.27
787.67	c Restart #123 #Var: 40 LB: 0 @ 787.37
800.77	c Restart #124 #Var: 40 LB: 0 @ 800.46
819.10	c Restart #125 #Var: 40 LB: 0 @ 818.79
832.91	c Restart #126 #Var: 40 LB: 0 @ 832.6
847.00	c Restart #127 #Var: 40 LB: 0 @ 846.69
862.70	c Restart #128 #Var: 40 LB: 0 @ 862.38
880.69	c Restart #129 #Var: 40 LB: 0 @ 880.36
901.18	c CHANGE Heuristic... 
901.18	c Restart #0 #Var: 40 LB: 0 @ 900.85
905.65	c Restart #1 #Var: 40 LB: 0 @ 905.32
910.51	c Restart #2 #Var: 40 LB: 0 @ 910.18
915.07	c Restart #3 #Var: 40 LB: 0 @ 914.74
918.78	c Restart #4 #Var: 40 LB: 0 @ 918.45
922.44	c Restart #5 #Var: 40 LB: 0 @ 922.1
926.38	c Restart #6 #Var: 40 LB: 0 @ 926.04
930.43	c Restart #7 #Var: 40 LB: 0 @ 930.1
933.62	c Restart #8 #Var: 40 LB: 0 @ 933.29
936.75	c Restart #9 #Var: 40 LB: 0 @ 936.41
940.22	c Restart #10 #Var: 40 LB: 0 @ 939.88
943.86	c Restart #11 #Var: 40 LB: 0 @ 943.51
947.39	c Restart #12 #Var: 40 LB: 0 @ 947.05
950.87	c Restart #13 #Var: 40 LB: 0 @ 950.52
955.33	c Restart #14 #Var: 40 LB: 0 @ 954.98
959.74	c Restart #15 #Var: 40 LB: 0 @ 959.4
963.95	c Restart #16 #Var: 40 LB: 0 @ 963.6
968.42	c Restart #17 #Var: 40 LB: 0 @ 968.08
972.35	c Restart #18 #Var: 40 LB: 0 @ 972
976.50	c Restart #19 #Var: 40 LB: 0 @ 976.15
979.98	c Restart #20 #Var: 40 LB: 0 @ 979.63
983.53	c Restart #21 #Var: 40 LB: 0 @ 983.18
987.97	c Restart #22 #Var: 40 LB: 0 @ 987.61
992.25	c Restart #23 #Var: 40 LB: 0 @ 991.89
996.05	c Restart #24 #Var: 40 LB: 0 @ 995.7
1000.00	c Restart #25 #Var: 40 LB: 0 @ 999.65
1004.11	c Restart #26 #Var: 40 LB: 0 @ 1003.8
1008.93	c Restart #27 #Var: 40 LB: 0 @ 1008.6
1013.60	c Restart #28 #Var: 40 LB: 0 @ 1013.2
1019.00	c Restart #29 #Var: 40 LB: 0 @ 1018.6
1023.59	c Restart #30 #Var: 40 LB: 0 @ 1023.2
1028.86	c Restart #31 #Var: 40 LB: 0 @ 1028.5
1035.00	c Restart #32 #Var: 40 LB: 0 @ 1034.6
1042.03	c Restart #33 #Var: 40 LB: 0 @ 1041.7
1047.23	c Restart #34 #Var: 40 LB: 0 @ 1046.9
1054.32	c Restart #35 #Var: 40 LB: 0 @ 1054
1060.30	c Restart #36 #Var: 40 LB: 0 @ 1059.9
1066.04	c Restart #37 #Var: 40 LB: 0 @ 1065.7
1072.62	c Restart #38 #Var: 40 LB: 0 @ 1072.2
1078.98	c Restart #39 #Var: 40 LB: 0 @ 1078.6
1086.68	c Restart #40 #Var: 40 LB: 0 @ 1086.3
1095.80	c Restart #41 #Var: 40 LB: 0 @ 1095.4
1103.93	c Restart #42 #Var: 40 LB: 0 @ 1103.6
1111.78	c Restart #43 #Var: 40 LB: 0 @ 1111.4
1119.93	c Restart #44 #Var: 40 LB: 0 @ 1119.5
1128.28	c Restart #45 #Var: 40 LB: 0 @ 1127.9
1135.90	c Restart #46 #Var: 40 LB: 0 @ 1135.5
1142.64	c Restart #47 #Var: 40 LB: 0 @ 1142.3
1149.15	c Restart #48 #Var: 40 LB: 0 @ 1148.8
1157.25	c Restart #49 #Var: 40 LB: 0 @ 1156.9
1164.91	c Restart #50 #Var: 40 LB: 0 @ 1164.5
1174.38	c Restart #51 #Var: 40 LB: 0 @ 1174
1184.90	c Restart #52 #Var: 40 LB: 0 @ 1184.5
1193.56	c Restart #53 #Var: 40 LB: 0 @ 1193.2
1208.68	c Restart #54 #Var: 40 LB: 0 @ 1208.3
1223.39	c Restart #55 #Var: 40 LB: 0 @ 1223
1239.02	c Restart #56 #Var: 40 LB: 0 @ 1238.6
1250.60	c Restart #57 #Var: 40 LB: 0 @ 1250.2
1263.43	c Restart #58 #Var: 40 LB: 0 @ 1263
1283.32	c Restart #59 #Var: 40 LB: 0 @ 1282.9
1300.11	c Restart #60 #Var: 40 LB: 0 @ 1299.7
1316.39	c Restart #61 #Var: 40 LB: 0 @ 1316
1341.62	c Restart #62 #Var: 40 LB: 0 @ 1341.2
1379.02	c Restart #63 #Var: 40 LB: 0 @ 1378.6
1408.87	c Restart #64 #Var: 40 LB: 0 @ 1408.4
1440.46	c Restart #65 #Var: 40 LB: 0 @ 1440
1458.59	c Restart #66 #Var: 40 LB: 0 @ 1458.1
1482.60	c Restart #67 #Var: 40 LB: 0 @ 1482.1
1499.10	c Restart #68 #Var: 40 LB: 0 @ 1498.6
1520.91	c Restart #69 #Var: 40 LB: 0 @ 1520.4
1538.19	c Restart #70 #Var: 40 LB: 0 @ 1537.7
1560.28	c Restart #71 #Var: 40 LB: 0 @ 1559.8
1583.26	c Restart #72 #Var: 40 LB: 0 @ 1582.8
1604.90	c Restart #73 #Var: 40 LB: 0 @ 1604.4
1617.97	c Restart #74 #Var: 40 LB: 0 @ 1617.5
1631.84	c Restart #75 #Var: 40 LB: 0 @ 1631.3
1647.72	c Restart #76 #Var: 40 LB: 0 @ 1647.2
1661.08	c Restart #77 #Var: 40 LB: 0 @ 1660.6
1691.59	c Restart #78 #Var: 40 LB: 0 @ 1691.1
1743.47	c Restart #79 #Var: 40 LB: 0 @ 1742.9
1783.89	c Restart #80 #Var: 40 LB: 0 @ 1783.3
1800.56	s UNKNOWN
1800.56	c Exit Code: 0
1800.56	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

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/node18/watcher-50308-1154099526 -o ROOT/results/node18/solver-50308-1154099526 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node18/50308-1154099526/instance-50308-1154099526.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 0.98 3/64 10135
/proc/meminfo: memFree=519504/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=436 CPUtime=0
/proc/10135/stat : 10135 (bsolo) D 10133 10135 10086 0 -1 0 39 0 0 0 0 0 0 0 19 0 1 0 156813238 446464 23 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 7861156 0 0 4096 0 18446744071563479169 0 0 17 1 0 0
/proc/10135/statm: 109 23 18 55 0 18 0

[startup+10.0025 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=484816/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=36884 CPUtime=9.89
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 8419 0 10 0 983 6 0 0 25 0 1 0 156813238 37769216 8341 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134599035 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 9221 8341 297 55 0 8113 0
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (Kb) 36884

[startup+20.0095 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=460880/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=61020 CPUtime=19.89
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 14403 0 10 0 1977 12 0 0 25 0 1 0 156813238 62484480 14318 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 15255 14318 297 55 0 14147 0
Current children cumulated CPU time (s) 19.89
Current children cumulated vsize (Kb) 61020

[startup+30.0155 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=439568/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=82564 CPUtime=29.9
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 19728 0 10 0 2973 17 0 0 25 0 1 0 156813238 84545536 19633 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 20641 19633 297 55 0 19533 0
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 82564

[startup+40.0215 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=421584/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=100632 CPUtime=39.9
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 24225 0 10 0 3968 22 0 0 25 0 1 0 156813238 103047168 24115 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 25158 24115 297 55 0 24050 0
Current children cumulated CPU time (s) 39.9
Current children cumulated vsize (Kb) 100632

[startup+50.0274 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=405008/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=117188 CPUtime=49.9
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 28383 0 10 0 4964 26 0 0 25 0 1 0 156813238 120000512 28261 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 29297 28261 297 55 0 28189 0
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 117188

[startup+60.0334 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=393424/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=129140 CPUtime=59.9
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 31297 0 10 0 5961 29 0 0 25 0 1 0 156813238 132239360 31159 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 32285 31159 297 55 0 31177 0
Current children cumulated CPU time (s) 59.9
Current children cumulated vsize (Kb) 129140

[startup+70.0394 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=378704/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=144248 CPUtime=69.91
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 34985 0 10 0 6959 32 0 0 25 0 1 0 156813238 147709952 34828 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 36062 34828 297 55 0 34954 0
Current children cumulated CPU time (s) 69.91
Current children cumulated vsize (Kb) 144248

[startup+80.0464 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=358928/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=164336 CPUtime=79.91
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 40008 0 10 0 7955 36 0 0 25 0 1 0 156813238 168280064 39758 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 41084 39758 297 55 0 39976 0
Current children cumulated CPU time (s) 79.91
Current children cumulated vsize (Kb) 164336

[startup+90.0523 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=334352/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=189244 CPUtime=89.91
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 46187 0 10 0 8950 41 0 0 25 0 1 0 156813238 193785856 45924 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 47311 45924 297 55 0 46203 0
Current children cumulated CPU time (s) 89.91
Current children cumulated vsize (Kb) 189244

[startup+100.058 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=312080/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=211532 CPUtime=99.92
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 51811 0 10 0 9945 47 0 0 25 0 1 0 156813238 216608768 51461 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 52883 51461 297 55 0 51775 0
Current children cumulated CPU time (s) 99.92
Current children cumulated vsize (Kb) 211532

[startup+110.064 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=299920/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=223808 CPUtime=109.93
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 54869 0 10 0 10943 50 0 0 25 0 1 0 156813238 229179392 54499 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548372 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 55952 54499 297 55 0 54844 0
Current children cumulated CPU time (s) 109.93
Current children cumulated vsize (Kb) 223808

[startup+120.07 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=281296/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=243084 CPUtime=119.93
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 59700 0 10 0 11938 55 0 0 25 0 1 0 156813238 248918016 59145 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 60771 59145 297 55 0 59663 0
Current children cumulated CPU time (s) 119.93
Current children cumulated vsize (Kb) 243084

[startup+130.076 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=260176/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=263972 CPUtime=129.93
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 64967 0 10 0 12932 61 0 0 25 0 1 0 156813238 270307328 64410 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 65993 64410 297 55 0 64885 0
Current children cumulated CPU time (s) 129.93
Current children cumulated vsize (Kb) 263972

[startup+140.082 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=244112/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=280404 CPUtime=139.94
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 69000 0 10 0 13929 65 0 0 25 0 1 0 156813238 287133696 68412 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 70101 68412 297 55 0 68993 0
Current children cumulated CPU time (s) 139.94
Current children cumulated vsize (Kb) 280404

[startup+150.088 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=227728/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=296640 CPUtime=149.94
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 73100 0 10 0 14926 68 0 0 25 0 1 0 156813238 303759360 72512 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 8296059 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 74160 72512 297 55 0 73052 0
Current children cumulated CPU time (s) 149.94
Current children cumulated vsize (Kb) 296640

[startup+160.094 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=203920/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=320584 CPUtime=159.94
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 79121 0 10 0 15922 72 0 0 25 0 1 0 156813238 328278016 78437 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 80146 78437 297 55 0 79038 0
Current children cumulated CPU time (s) 159.94
Current children cumulated vsize (Kb) 320584

[startup+170.1 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=184848/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=339844 CPUtime=169.95
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 83975 0 10 0 16919 76 0 0 25 0 1 0 156813238 348000256 83206 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 84961 83206 297 55 0 83853 0
Current children cumulated CPU time (s) 169.95
Current children cumulated vsize (Kb) 339844

[startup+180.106 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=157840/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=366908 CPUtime=179.94
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 90728 0 10 0 17911 83 0 0 25 0 1 0 156813238 375713792 89949 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 91727 89949 297 55 0 90619 0
Current children cumulated CPU time (s) 179.94
Current children cumulated vsize (Kb) 366908

[startup+190.112 s]
/proc/loadavg: 1.00 1.00 0.98 3/64 10135
/proc/meminfo: memFree=136400/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=388288 CPUtime=189.95
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 96085 0 10 0 18906 89 0 0 25 0 1 0 156813238 397606912 95295 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 97072 95295 297 55 0 95964 0
Current children cumulated CPU time (s) 189.95
Current children cumulated vsize (Kb) 388288

[startup+200.118 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135
/proc/meminfo: memFree=121296/2055920 swapFree=4152732/4192956
[pid=10135] ppid=10133 vsize=403524 CPUtime=199.95
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 99867 0 10 0 19902 93 0 0 25 0 1 0 156813238 413208576 99065 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 100881 99065 297 55 0 99773 0
Current children cumulated CPU time (s) 199.95
Current children cumulated vsize (Kb) 403524

[startup+210.124 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10135

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

Current children cumulated CPU time (s) 1760.52
Current children cumulated vsize (Kb) 1551440

[startup+1771.08 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=16080/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1555136 CPUtime=1770.52
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 394070 0 10 0 176639 413 0 0 25 0 1 0 156813238 1592459264 383875 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 388784 383875 297 55 0 387676 0
Current children cumulated CPU time (s) 1770.52
Current children cumulated vsize (Kb) 1555136

[startup+1781.09 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=15504/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1558020 CPUtime=1780.53
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 394816 0 10 0 177639 414 0 0 25 0 1 0 156813238 1595412480 384459 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 389505 384459 297 55 0 388397 0
Current children cumulated CPU time (s) 1780.53
Current children cumulated vsize (Kb) 1558020

[startup+1782.09 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=14992/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1558548 CPUtime=1781.53
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 394942 0 10 0 177739 414 0 0 25 0 1 0 156813238 1595953152 384585 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 389637 384585 297 55 0 388529 0
Current children cumulated CPU time (s) 1781.53
Current children cumulated vsize (Kb) 1558548

[startup+1783.1 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=14864/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1558680 CPUtime=1782.53
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 394973 0 10 0 177839 414 0 0 25 0 1 0 156813238 1596088320 384616 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 389670 384616 297 55 0 388562 0
Current children cumulated CPU time (s) 1782.53
Current children cumulated vsize (Kb) 1558680

[startup+1784.1 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=14864/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1558680 CPUtime=1783.54
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 394973 0 10 0 177940 414 0 0 25 0 1 0 156813238 1596088320 384616 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528776 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 389670 384616 297 55 0 388562 0
Current children cumulated CPU time (s) 1783.54
Current children cumulated vsize (Kb) 1558680

[startup+1785.1 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=16336/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1558680 CPUtime=1784.54
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 394985 0 10 0 178040 414 0 0 25 0 1 0 156813238 1596088320 384628 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 389670 384628 297 55 0 388562 0
Current children cumulated CPU time (s) 1784.54
Current children cumulated vsize (Kb) 1558680

[startup+1786.11 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=15952/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1559960 CPUtime=1785.55
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 395385 0 10 0 178140 415 0 0 25 0 1 0 156813238 1597399040 384706 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 389990 384706 297 55 0 388882 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (Kb) 1559960

[startup+1787.11 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=15312/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1560620 CPUtime=1786.56
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 395557 0 10 0 178241 415 0 0 25 0 1 0 156813238 1598074880 384878 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 390155 384878 297 55 0 389047 0
Current children cumulated CPU time (s) 1786.56
Current children cumulated vsize (Kb) 1560620

[startup+1788.12 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=16272/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1561280 CPUtime=1787.56
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 395705 0 10 0 178341 415 0 0 25 0 1 0 156813238 1598750720 385026 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 390320 385026 297 55 0 389212 0
Current children cumulated CPU time (s) 1787.56
Current children cumulated vsize (Kb) 1561280

[startup+1789.13 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=16016/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1561544 CPUtime=1788.56
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 395767 0 10 0 178441 415 0 0 25 0 1 0 156813238 1599021056 385088 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 390386 385088 297 55 0 389278 0
Current children cumulated CPU time (s) 1788.56
Current children cumulated vsize (Kb) 1561544

[startup+1790.13 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=15440/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1562072 CPUtime=1789.57
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 395913 0 10 0 178541 416 0 0 25 0 1 0 156813238 1599561728 385234 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 390518 385234 297 55 0 389410 0
Current children cumulated CPU time (s) 1789.57
Current children cumulated vsize (Kb) 1562072

[startup+1791.14 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=15376/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1562204 CPUtime=1790.58
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 395933 0 10 0 178642 416 0 0 25 0 1 0 156813238 1599696896 385254 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 390551 385254 297 55 0 389443 0
Current children cumulated CPU time (s) 1790.58
Current children cumulated vsize (Kb) 1562204

[startup+1792.14 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=15120/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1562468 CPUtime=1791.58
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 395996 0 10 0 178742 416 0 0 25 0 1 0 156813238 1599967232 385317 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 390617 385317 297 55 0 389509 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (Kb) 1562468

[startup+1793.14 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=14928/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1562600 CPUtime=1792.59
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 396041 0 10 0 178843 416 0 0 25 0 1 0 156813238 1600102400 385362 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 390650 385362 297 55 0 389542 0
Current children cumulated CPU time (s) 1792.59
Current children cumulated vsize (Kb) 1562600

[startup+1794.15 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=16272/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1562864 CPUtime=1793.59
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 396090 0 10 0 178943 416 0 0 25 0 1 0 156813238 1600372736 385411 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 390716 385411 297 55 0 389608 0
Current children cumulated CPU time (s) 1793.59
Current children cumulated vsize (Kb) 1562864

[startup+1795.15 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=16208/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1562864 CPUtime=1794.59
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 396110 0 10 0 179043 416 0 0 25 0 1 0 156813238 1600372736 385431 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 390716 385431 297 55 0 389608 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (Kb) 1562864

[startup+1796.16 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=16016/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1563128 CPUtime=1795.6
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 396159 0 10 0 179144 416 0 0 25 0 1 0 156813238 1600643072 385480 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 390782 385480 297 55 0 389674 0
Current children cumulated CPU time (s) 1795.6
Current children cumulated vsize (Kb) 1563128

[startup+1797.16 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=15440/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1563656 CPUtime=1796.6
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 396298 0 10 0 179244 416 0 0 25 0 1 0 156813238 1601183744 385619 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533192 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 390914 385619 297 55 0 389806 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (Kb) 1563656

[startup+1798.17 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=15120/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1563920 CPUtime=1797.6
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 396375 0 10 0 179344 416 0 0 25 0 1 0 156813238 1601454080 385696 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 390980 385696 297 55 0 389872 0
Current children cumulated CPU time (s) 1797.6
Current children cumulated vsize (Kb) 1563920

[startup+1799.17 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=15888/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1564712 CPUtime=1798.61
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 396563 0 10 0 179444 417 0 0 25 0 1 0 156813238 1602265088 385884 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 391178 385884 297 55 0 390070 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (Kb) 1564712

[startup+1800.18 s]
/proc/loadavg: 1.00 1.00 0.98 2/64 10137
/proc/meminfo: memFree=15184/2055920 swapFree=4184084/4192956
[pid=10135] ppid=10133 vsize=1565372 CPUtime=1799.62
/proc/10135/stat : 10135 (bsolo) R 10133 10135 10086 0 -1 0 396737 0 10 0 179545 417 0 0 25 0 1 0 156813238 1602940928 386058 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/10135/statm: 391343 386058 297 55 0 390235 0
Current children cumulated CPU time (s) 1799.62
Current children cumulated vsize (Kb) 1565372

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.27
CPU user time (s): 1795.84
CPU system time (s): 4.43933
CPU usage (%): 99.969
Max. virtual memory (cumulated for all children) (Kb): 1565372
The end

Launcher Data (download as text)

Begin job on node18 on Fri Jul 28 15:12:06 UTC 2006


FILE ID= 50308-1154099526

PBS_JOBID= 886059

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  4618b6422bdc12197131d1d37f567363

RANDOM SEED= 699384834

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.236
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.236
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:        519648 kB
Buffers:         36988 kB
Cached:        1406152 kB
SwapCached:      33956 kB
Active:         304100 kB
Inactive:      1178900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:        519648 kB
SwapTotal:     4192956 kB
SwapFree:      4152732 kB
Dirty:             164 kB
Writeback:           0 kB
Mapped:          14556 kB
Slab:            39280 kB
Committed_AS:   630320 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 node18 on Fri Jul 28 15:42:07 UTC 2006