Trace number 40709

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

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/
lp/data/normalized-mps-v2-20-10-shell.opb
MD5SUM812fb8d8b2de50e0f82554fbb1bd21a5
Bench CategoryOPT-BIGINT (optimisation, big 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 variables45231
Total number of constraints653
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints653
Minimum length of a constraint19
Maximum length of a constraint1560
Number of terms in the objective function 39844
Biggest coefficient in the objective function 2101312749568
Number of bits for the biggest coefficient in the objective function 41
Sum of the numbers in the objective function 249967315526150
Number of bits of the sum of numbers in the objective function 48
Biggest number in a constraint 2101312749568
Number of bits of the biggest number in a constraint 41
Biggest sum of numbers in a constraint 249967315526150
Number of bits of the biggest sum of numbers48
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.01	c INFO: OSL Context initialized.
0.01	c BIG Int formula...
4.01	c Initial problem consists of 45231 variables and 1187 constraints.
4.12	c No problem reductions applied in OPT. instance.
4.12	c	preprocess terminated. Elapsed time: 4.109
4.12	c After prepocess the problem consists of 36298 variables and 1079 constraints.
4.12	c Initial Lower Bound: 1325676544
4.73	c Restart #1 #Var: 36298 LB: 1325676544 @ 4.719
5.77	c Restart #2 #Var: 36298 LB: 1325676544 @ 5.762
7.89	c Restart #3 #Var: 36298 LB: 1325676544 @ 7.875
9.92	c Restart #4 #Var: 36298 LB: 1325676544 @ 9.904
12.18	c Restart #5 #Var: 36298 LB: 1325676544 @ 12.167
14.94	c Restart #6 #Var: 36298 LB: 1325676544 @ 14.925
18.20	c Restart #7 #Var: 36298 LB: 1325676544 @ 18.179
22.72	c Restart #8 #Var: 36298 LB: 1325676544 @ 22.699
26.01	c Restart #9 #Var: 36298 LB: 1325676544 @ 25.993
28.62	c Restart #10 #Var: 36298 LB: 1325676544 @ 28.594
32.52	c Restart #11 #Var: 36298 LB: 1325676544 @ 32.494
35.17	c Restart #12 #Var: 36298 LB: 1325676544 @ 35.146
35.45	c Restart #13 #Var: 36298 LB: 1325676544 @ 35.424
35.75	c Restart #14 #Var: 36298 LB: 1325676544 @ 35.727
36.08	c Restart #15 #Var: 36298 LB: 1325676544 @ 36.053
36.72	c Restart #16 #Var: 36298 LB: 1325676544 @ 36.689
36.94	c Restart #17 #Var: 36298 LB: 1325676544 @ 36.912
37.47	c Restart #18 #Var: 36298 LB: 1325676544 @ 37.441
37.73	c Restart #19 #Var: 36298 LB: 1325676544 @ 37.703
38.04	c Restart #20 #Var: 36298 LB: 1325676544 @ 38.009
38.45	c Restart #21 #Var: 36298 LB: 1325676544 @ 38.427
38.87	c Restart #22 #Var: 36298 LB: 1325676544 @ 38.839
39.42	c Restart #23 #Var: 36298 LB: 1325676544 @ 39.392
39.91	c Restart #24 #Var: 36298 LB: 1325676544 @ 39.883
40.59	c Restart #25 #Var: 36298 LB: 1325676544 @ 40.56
41.13	c Restart #26 #Var: 36298 LB: 1325676544 @ 41.103
41.93	c Restart #27 #Var: 36298 LB: 1325676544 @ 41.9
42.59	c Restart #28 #Var: 36298 LB: 1325676544 @ 42.558
43.21	c Restart #29 #Var: 36298 LB: 1325676544 @ 43.186
45.61	c Restart #30 #Var: 36298 LB: 1325676544 @ 45.586
46.85	c Restart #31 #Var: 36298 LB: 1325676544 @ 46.82
47.63	c Restart #32 #Var: 36298 LB: 1325676544 @ 47.601
50.79	c Restart #33 #Var: 36298 LB: 1325676544 @ 50.763
54.94	c Restart #34 #Var: 36298 LB: 1325676544 @ 54.905
59.03	c Restart #35 #Var: 36298 LB: 1325676544 @ 59.001
63.09	c Restart #36 #Var: 36298 LB: 1325676544 @ 63.061
67.09	c Restart #37 #Var: 36298 LB: 1325676544 @ 67.06
71.60	c Restart #38 #Var: 36298 LB: 1325676544 @ 71.563
76.07	c Restart #39 #Var: 36298 LB: 1325676544 @ 76.033
80.46	c Restart #40 #Var: 36298 LB: 1325676544 @ 80.423
83.82	c Restart #41 #Var: 36298 LB: 1325676544 @ 83.776
87.79	c Restart #42 #Var: 36298 LB: 1325676544 @ 87.753
100.76	c Restart #43 #Var: 36298 LB: 1325676544 @ 100.72
115.89	c Restart #44 #Var: 36298 LB: 1325676544 @ 115.84
132.27	c Restart #45 #Var: 36296 LB: 1325676544 @ 132.22
136.42	c Restart #46 #Var: 36296 LB: 1325676544 @ 136.37
150.56	c Restart #47 #Var: 36291 LB: 1325676544 @ 150.51
165.59	c Restart #48 #Var: 36291 LB: 1325676544 @ 165.53
171.85	c Restart #49 #Var: 36289 LB: 1325676544 @ 171.79
188.46	c Restart #50 #Var: 36289 LB: 1325676544 @ 188.39
194.74	c Restart #51 #Var: 36284 LB: 1325676544 @ 194.67
196.49	c Restart #52 #Var: 36284 LB: 1325676544 @ 196.42
202.91	c Restart #53 #Var: 36284 LB: 1325676544 @ 202.84
225.92	c Restart #54 #Var: 36284 LB: 1325676544 @ 225.84
234.52	c Restart #55 #Var: 36284 LB: 1325676544 @ 234.44
279.22	c Restart #56 #Var: 36284 LB: 1325676544 @ 279.12
288.84	c Restart #57 #Var: 36284 LB: 1325676544 @ 288.74
313.24	c Restart #58 #Var: 36284 LB: 1325676544 @ 313.13
347.21	c Restart #59 #Var: 36284 LB: 1325676544 @ 347.1
388.59	c Restart #60 #Var: 36280 LB: 1325676544 @ 388.46
391.15	c Restart #61 #Var: 36279 LB: 1325676544 @ 391.03
403.02	c Restart #62 #Var: 36279 LB: 1325676544 @ 402.89
405.17	c Restart #63 #Var: 36279 LB: 1325676544 @ 405.04
406.15	c Restart #64 #Var: 36279 LB: 1325676544 @ 406.02
408.50	c Restart #65 #Var: 36279 LB: 1325676544 @ 408.36
409.71	c Restart #66 #Var: 36279 LB: 1325676544 @ 409.58
412.65	c Restart #67 #Var: 36279 LB: 1325676544 @ 412.51
414.13	c Restart #68 #Var: 36279 LB: 1325676544 @ 413.99
416.74	c Restart #69 #Var: 36279 LB: 1325676544 @ 416.6
418.04	c Restart #70 #Var: 36279 LB: 1325676544 @ 417.9
420.85	c Restart #71 #Var: 36279 LB: 1325676544 @ 420.71
422.39	c Restart #72 #Var: 36279 LB: 1325676544 @ 422.25
425.24	c Restart #73 #Var: 36279 LB: 1325676544 @ 425.1
426.81	c Restart #74 #Var: 36279 LB: 1325676544 @ 426.67
429.99	c Restart #75 #Var: 36279 LB: 1325676544 @ 429.85
431.55	c Restart #76 #Var: 36279 LB: 1325676544 @ 431.41
434.95	c Restart #77 #Var: 36279 LB: 1325676544 @ 434.8
436.46	c Restart #78 #Var: 36279 LB: 1325676544 @ 436.32
439.94	c Restart #79 #Var: 36279 LB: 1325676544 @ 439.8
452.47	c Restart #80 #Var: 36279 LB: 1325676544 @ 452.32
656.64	c Restart #81 #Var: 36278 LB: 1325676544 @ 656.43
750.57	c Restart #82 #Var: 36278 LB: 1325676544 @ 750.34
834.14	c Restart #83 #Var: 36278 LB: 1325676544 @ 833.88
891.94	c Restart #84 #Var: 36277 LB: 1325676544 @ 891.66
909.29	c CHANGE Heuristic... 
909.29	c Restart #0 #Var: 36273 LB: 1325676544 @ 909.02
909.46	c Restart #1 #Var: 36271 LB: 1325676544 @ 909.19
909.55	c Restart #2 #Var: 36271 LB: 1325676544 @ 909.27
909.59	c Restart #3 #Var: 36271 LB: 1325676544 @ 909.31
910.84	c Restart #4 #Var: 36271 LB: 1325676544 @ 910.56
911.48	c Restart #5 #Var: 36271 LB: 1325676544 @ 911.2
919.76	c Restart #6 #Var: 36271 LB: 1325676544 @ 919.48
929.20	c Restart #7 #Var: 36271 LB: 1325676544 @ 928.92
936.15	c Restart #8 #Var: 36271 LB: 1325676544 @ 935.86
936.77	c Restart #9 #Var: 36271 LB: 1325676544 @ 936.49
937.53	c Restart #10 #Var: 36271 LB: 1325676544 @ 937.25
942.00	c Restart #11 #Var: 36271 LB: 1325676544 @ 941.71
947.60	c Restart #12 #Var: 36271 LB: 1325676544 @ 947.31
960.31	c Restart #13 #Var: 36270 LB: 1325676544 @ 960.02
961.20	c Restart #14 #Var: 36270 LB: 1325676544 @ 960.91
978.02	c Restart #15 #Var: 36270 LB: 1325676544 @ 977.72
988.61	c Restart #16 #Var: 36269 LB: 1325676544 @ 988.31
1003.40	c Restart #17 #Var: 36269 LB: 1325676544 @ 1003.1
1041.52	c Restart #18 #Var: 36269 LB: 1325676544 @ 1041.2
1043.32	c Restart #19 #Var: 36269 LB: 1325676544 @ 1043
1043.74	c Restart #20 #Var: 36269 LB: 1325676544 @ 1043.4
1044.18	c Restart #21 #Var: 36269 LB: 1325676544 @ 1043.9
1044.71	c Restart #22 #Var: 36269 LB: 1325676544 @ 1044.4
1045.23	c Restart #23 #Var: 36269 LB: 1325676544 @ 1044.9
1045.82	c Restart #24 #Var: 36269 LB: 1325676544 @ 1045.5
1046.43	c Restart #25 #Var: 36269 LB: 1325676544 @ 1046.1
1047.13	c Restart #26 #Var: 36269 LB: 1325676544 @ 1046.8
1047.87	c Restart #27 #Var: 36269 LB: 1325676544 @ 1047.5
1048.60	c Restart #28 #Var: 36269 LB: 1325676544 @ 1048.3
1049.42	c Restart #29 #Var: 36269 LB: 1325676544 @ 1049.1
1050.28	c Restart #30 #Var: 36269 LB: 1325676544 @ 1050
1051.22	c Restart #31 #Var: 36269 LB: 1325676544 @ 1050.9
1052.22	c Restart #32 #Var: 36269 LB: 1325676544 @ 1051.9
1053.33	c Restart #33 #Var: 36269 LB: 1325676544 @ 1053
1054.46	c Restart #34 #Var: 36269 LB: 1325676544 @ 1054.1
1055.45	c Restart #35 #Var: 36269 LB: 1325676544 @ 1055.1
1056.62	c Restart #36 #Var: 36269 LB: 1325676544 @ 1056.3
1057.74	c Restart #37 #Var: 36269 LB: 1325676544 @ 1057.4
1059.00	c Restart #38 #Var: 36269 LB: 1325676544 @ 1058.7
1060.18	c Restart #39 #Var: 36269 LB: 1325676544 @ 1059.9
1061.34	c Restart #40 #Var: 36269 LB: 1325676544 @ 1061
1062.47	c Restart #41 #Var: 36269 LB: 1325676544 @ 1062.2
1063.69	c Restart #42 #Var: 36269 LB: 1325676544 @ 1063.4
1064.92	c Restart #43 #Var: 36269 LB: 1325676544 @ 1064.6
1066.13	c Restart #44 #Var: 36269 LB: 1325676544 @ 1065.8
1067.51	c Restart #45 #Var: 36269 LB: 1325676544 @ 1067.2
1068.86	c Restart #46 #Var: 36269 LB: 1325676544 @ 1068.5
1070.35	c Restart #47 #Var: 36269 LB: 1325676544 @ 1070
1072.18	c Restart #48 #Var: 36269 LB: 1325676544 @ 1071.9
1074.21	c Restart #49 #Var: 36269 LB: 1325676544 @ 1073.9
1076.21	c Restart #50 #Var: 36269 LB: 1325676544 @ 1075.9
1078.05	c Restart #51 #Var: 36269 LB: 1325676544 @ 1077.7
1080.09	c Restart #52 #Var: 36269 LB: 1325676544 @ 1079.8
1081.97	c Restart #53 #Var: 36269 LB: 1325676544 @ 1081.6
1083.95	c Restart #54 #Var: 36269 LB: 1325676544 @ 1083.6
1086.05	c Restart #55 #Var: 36269 LB: 1325676544 @ 1085.7
1087.90	c Restart #56 #Var: 36269 LB: 1325676544 @ 1087.6
1089.75	c Restart #57 #Var: 36269 LB: 1325676544 @ 1089.4
1091.55	c Restart #58 #Var: 36269 LB: 1325676544 @ 1091.2
1093.34	c Restart #59 #Var: 36269 LB: 1325676544 @ 1093
1095.24	c Restart #60 #Var: 36269 LB: 1325676544 @ 1094.9
1097.17	c Restart #61 #Var: 36269 LB: 1325676544 @ 1096.8
1099.20	c Restart #62 #Var: 36269 LB: 1325676544 @ 1098.9
1101.19	c Restart #63 #Var: 36269 LB: 1325676544 @ 1100.9
1103.24	c Restart #64 #Var: 36269 LB: 1325676544 @ 1102.9
1105.35	c Restart #65 #Var: 36269 LB: 1325676544 @ 1105
1107.76	c Restart #66 #Var: 36269 LB: 1325676544 @ 1107.4
1110.07	c Restart #67 #Var: 36269 LB: 1325676544 @ 1109.7
1112.70	c Restart #68 #Var: 36269 LB: 1325676544 @ 1112.4
1115.19	c Restart #69 #Var: 36269 LB: 1325676544 @ 1114.8
1117.79	c Restart #70 #Var: 36269 LB: 1325676544 @ 1117.4
1120.54	c Restart #71 #Var: 36269 LB: 1325676544 @ 1120.2
1123.13	c Restart #72 #Var: 36269 LB: 1325676544 @ 1122.8
1125.80	c Restart #73 #Var: 36269 LB: 1325676544 @ 1125.5
1128.24	c Restart #74 #Var: 36269 LB: 1325676544 @ 1127.9
1130.86	c Restart #75 #Var: 36269 LB: 1325676544 @ 1130.5
1133.46	c Restart #76 #Var: 36269 LB: 1325676544 @ 1133.1
1136.25	c Restart #77 #Var: 36269 LB: 1325676544 @ 1135.9
1139.08	c Restart #78 #Var: 36269 LB: 1325676544 @ 1138.7
1148.33	c Restart #79 #Var: 36269 LB: 1325676544 @ 1148
1171.13	c Restart #80 #Var: 36268 LB: 1325676544 @ 1170.8
1311.91	c Restart #81 #Var: 36268 LB: 1325676544 @ 1311.5
1524.55	c Restart #82 #Var: 36268 LB: 1325676544 @ 1524.1
1547.56	c Restart #83 #Var: 36268 LB: 1325676544 @ 1547.1
1606.13	c Restart #84 #Var: 36268 LB: 1325676544 @ 1605.6
1704.50	c Restart #85 #Var: 36268 LB: 1325676544 @ 1703.9
1705.59	c Restart #86 #Var: 36268 LB: 1325676544 @ 1705
1707.07	c Restart #87 #Var: 36268 LB: 1325676544 @ 1706.5
1715.33	c Restart #88 #Var: 36268 LB: 1325676544 @ 1714.7
1717.18	c Restart #89 #Var: 36268 LB: 1325676544 @ 1716.5
1742.36	c Restart #90 #Var: 36268 LB: 1325676544 @ 1741.7
1743.71	c Restart #91 #Var: 36268 LB: 1325676544 @ 1743
1769.41	c Restart #92 #Var: 36268 LB: 1325676544 @ 1768.7
1770.96	c Restart #93 #Var: 36268 LB: 1325676544 @ 1770.3
1772.46	c Restart #94 #Var: 36268 LB: 1325676544 @ 1771.8
1800.76	s UNKNOWN
1800.76	c Exit Code: 0
1800.76	c Total time: 1800 s

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGKILL): 1843200 Kb
Enforcing VSIZE limit: 1887436800 bytes
runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node84/watcher-40709-1149312890 -o ROOT/results/node84/solver-40709-1149312890 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40709-1149312890/instance-40709-1149312890.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.95 0.97 2/67 22683
/proc/meminfo: memFree=1565864/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=4664 CPUtime=0
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 72 0 0 0 0 0 0 0 19 0 1 0 196928329 4775936 55 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8108829 0 0 4096 0 0 0 0 17 1 0 0
/proc/22683/statm: 1167 61 45 55 0 45 0

[startup+10.002 s]
/proc/loadavg: 0.93 0.95 0.97 2/67 22683
/proc/meminfo: memFree=1513192/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=58600 CPUtime=9.98
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 526538 0 0 0 833 165 0 0 25 0 1 0 196928329 60006400 13424 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719391 0 0 4096 16384 0 0 0 17 0 0 0
/proc/22683/statm: 14650 13424 294 55 0 13541 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 58600

[startup+20.0081 s]
/proc/loadavg: 0.94 0.96 0.97 2/67 22683
/proc/meminfo: memFree=1513192/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=58600 CPUtime=19.97
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 526540 0 0 0 1792 205 0 0 25 0 1 0 196928329 60006400 13426 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 14650 13426 294 55 0 13541 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 58600

[startup+30.0141 s]
/proc/loadavg: 0.95 0.96 0.97 2/67 22683
/proc/meminfo: memFree=1513192/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=58728 CPUtime=29.98
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 526561 0 0 0 2746 252 0 0 25 0 1 0 196928329 60137472 13447 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718240 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 14682 13447 294 55 0 13573 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 58728

[startup+40.0202 s]
/proc/loadavg: 0.95 0.96 0.97 2/67 22683
/proc/meminfo: memFree=1450152/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=121776 CPUtime=39.98
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 542321 0 0 0 3712 286 0 0 25 0 1 0 196928329 124698624 29204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8542251 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 30444 29204 294 55 0 29335 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 121776

[startup+50.0263 s]
/proc/loadavg: 0.96 0.96 0.97 2/67 22683
/proc/meminfo: memFree=1362728/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=209244 CPUtime=49.98
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 564140 0 0 0 4701 297 0 0 25 0 1 0 196928329 214265856 51023 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 52311 51023 294 55 0 51202 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 209244

[startup+60.0314 s]
/proc/loadavg: 0.97 0.96 0.97 2/67 22683
/proc/meminfo: memFree=1333416/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=238544 CPUtime=59.99
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 571454 0 0 0 5695 304 0 0 25 0 1 0 196928329 244269056 58336 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 59636 58336 294 55 0 58527 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 238544

[startup+70.0364 s]
/proc/loadavg: 0.97 0.96 0.97 2/67 22683
/proc/meminfo: memFree=1304040/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=267964 CPUtime=69.99
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 578790 0 0 0 6688 311 0 0 25 0 1 0 196928329 274395136 65667 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 66991 65667 294 55 0 65882 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 267964

[startup+80.0425 s]
/proc/loadavg: 0.98 0.96 0.97 2/67 22683
/proc/meminfo: memFree=1275304/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=296740 CPUtime=79.99
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 585957 0 0 0 7683 316 0 0 25 0 1 0 196928329 303861760 72828 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 74185 72828 294 55 0 73076 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 296740

[startup+90.0486 s]
/proc/loadavg: 0.98 0.96 0.97 2/67 22683
/proc/meminfo: memFree=1246952/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=325124 CPUtime=89.99
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 593023 0 0 0 8678 321 0 0 25 0 1 0 196928329 332926976 79893 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 81281 79893 294 55 0 80172 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 325124

[startup+100.055 s]
/proc/loadavg: 0.98 0.96 0.97 2/67 22683
/proc/meminfo: memFree=1240616/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=331460 CPUtime=100
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 594620 0 0 0 9677 323 0 0 25 0 1 0 196928329 339415040 81488 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134601380 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 82865 81488 294 55 0 81756 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 331460

[startup+110.061 s]
/proc/loadavg: 0.98 0.96 0.97 2/67 22683
/proc/meminfo: memFree=1236456/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=335676 CPUtime=110
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 595649 0 0 0 10675 325 0 0 25 0 1 0 196928329 343732224 82517 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 83919 82517 294 55 0 82810 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 335676

[startup+120.066 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 22683
/proc/meminfo: memFree=1233192/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=338976 CPUtime=120.01
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 596473 0 0 0 11674 327 0 0 25 0 1 0 196928329 347111424 83341 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 84744 83341 294 55 0 83635 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 338976

[startup+130.071 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 22683
/proc/meminfo: memFree=1232680/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=339368 CPUtime=130.01
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 596591 0 0 0 12673 328 0 0 25 0 1 0 196928329 347512832 83459 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528947 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 84842 83459 294 55 0 83733 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 339368

[startup+140.077 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 22683
/proc/meminfo: memFree=1231208/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=340816 CPUtime=140.01
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 596956 0 0 0 13672 329 0 0 25 0 1 0 196928329 348995584 83824 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 85204 83824 294 55 0 84095 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 340816

[startup+150.083 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 22683
/proc/meminfo: memFree=1223400/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=348608 CPUtime=150.01
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 598906 0 0 0 14668 333 0 0 25 0 1 0 196928329 356974592 85774 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 87152 85774 294 55 0 86043 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 348608

[startup+160.089 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 22683
/proc/meminfo: memFree=1222952/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=349132 CPUtime=160.02
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 599011 0 0 0 15668 334 0 0 25 0 1 0 196928329 357511168 85879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533927 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 87283 85879 294 55 0 86174 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 349132

[startup+170.095 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 22683
/proc/meminfo: memFree=1220968/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=351076 CPUtime=170.03
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 599505 0 0 0 16667 336 0 0 25 0 1 0 196928329 359501824 86373 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 87769 86373 294 55 0 86660 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 351076

[startup+180.101 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 22683
/proc/meminfo: memFree=1216232/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=355816 CPUtime=180.02
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 600697 0 0 0 17665 337 0 0 25 0 1 0 196928329 364355584 87565 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8542251 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 88954 87565 294 55 0 87845 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 355816

[startup+190.107 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 22683
/proc/meminfo: memFree=1208424/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=363604 CPUtime=190.03
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 602650 0 0 0 18664 339 0 0 25 0 1 0 196928329 372330496 89518 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534013 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 90901 89518 294 55 0 89792 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 363604

[startup+200.113 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 22683
/proc/meminfo: memFree=1189544/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=382472 CPUtime=200.03
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 607359 0 0 0 19659 344 0 0 25 0 1 0 196928329 391651328 94227 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 95618 94227 294 55 0 94509 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 382472

[startup+210.12 s]
/proc/loadavg: 0.99 0.97 0.97 2/67 22683
/proc/meminfo: memFree=1185832/2055892 swapFree=4085292/4096564

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

/proc/22683/statm: 425090 421683 294 55 0 423981 0
Current children cumulated CPU time (s) 1760.31
Current children cumulated vsize (Kb) 1700360

[startup+1771.03 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15976/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1732044 CPUtime=1770.32
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 944883 0 0 0 176416 616 0 0 25 0 1 0 196928329 1773613056 429543 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 433011 429543 294 55 0 431902 0
Current children cumulated CPU time (s) 1770.32
Current children cumulated vsize (Kb) 1732044

[startup+1781.04 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15592/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751096 CPUtime=1780.32
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949629 0 0 0 177412 620 0 0 25 0 1 0 196928329 1793122304 434274 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437774 434274 294 55 0 436665 0
Current children cumulated CPU time (s) 1780.32
Current children cumulated vsize (Kb) 1751096

[startup+1782.04 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15592/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751096 CPUtime=1781.33
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949630 0 0 0 177513 620 0 0 25 0 1 0 196928329 1793122304 434275 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437774 434275 294 55 0 436665 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (Kb) 1751096

[startup+1783.05 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15592/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751096 CPUtime=1782.33
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949638 0 0 0 177613 620 0 0 25 0 1 0 196928329 1793122304 434283 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437774 434283 294 55 0 436665 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (Kb) 1751096

[startup+1784.05 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15592/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751096 CPUtime=1783.34
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949642 0 0 0 177714 620 0 0 25 0 1 0 196928329 1793122304 434287 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437774 434287 294 55 0 436665 0
Current children cumulated CPU time (s) 1783.34
Current children cumulated vsize (Kb) 1751096

[startup+1785.06 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15656/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751096 CPUtime=1784.34
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949644 0 0 0 177814 620 0 0 25 0 1 0 196928329 1793122304 434289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437774 434289 294 55 0 436665 0
Current children cumulated CPU time (s) 1784.34
Current children cumulated vsize (Kb) 1751096

[startup+1786.07 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15656/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751096 CPUtime=1785.35
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949646 0 0 0 177915 620 0 0 25 0 1 0 196928329 1793122304 434291 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537710 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437774 434291 294 55 0 436665 0
Current children cumulated CPU time (s) 1785.35
Current children cumulated vsize (Kb) 1751096

[startup+1787.07 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15656/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751096 CPUtime=1786.35
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949648 0 0 0 178015 620 0 0 25 0 1 0 196928329 1793122304 434293 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437774 434293 294 55 0 436665 0
Current children cumulated CPU time (s) 1786.35
Current children cumulated vsize (Kb) 1751096

[startup+1788.07 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15656/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751096 CPUtime=1787.36
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949649 0 0 0 178116 620 0 0 25 0 1 0 196928329 1793122304 434294 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437774 434294 294 55 0 436665 0
Current children cumulated CPU time (s) 1787.36
Current children cumulated vsize (Kb) 1751096

[startup+1789.08 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15656/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751228 CPUtime=1788.36
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949660 0 0 0 178216 620 0 0 25 0 1 0 196928329 1793257472 434305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437807 434305 294 55 0 436698 0
Current children cumulated CPU time (s) 1788.36
Current children cumulated vsize (Kb) 1751228

[startup+1790.08 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15656/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751228 CPUtime=1789.36
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949660 0 0 0 178316 620 0 0 25 0 1 0 196928329 1793257472 434305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437807 434305 294 55 0 436698 0
Current children cumulated CPU time (s) 1789.36
Current children cumulated vsize (Kb) 1751228

[startup+1791.09 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15656/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751228 CPUtime=1790.37
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949660 0 0 0 178417 620 0 0 25 0 1 0 196928329 1793257472 434305 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437807 434305 294 55 0 436698 0
Current children cumulated CPU time (s) 1790.37
Current children cumulated vsize (Kb) 1751228

[startup+1792.09 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15656/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751228 CPUtime=1791.37
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949661 0 0 0 178517 620 0 0 25 0 1 0 196928329 1793257472 434306 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437807 434306 294 55 0 436698 0
Current children cumulated CPU time (s) 1791.37
Current children cumulated vsize (Kb) 1751228

[startup+1793.1 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15720/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751228 CPUtime=1792.38
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949661 0 0 0 178618 620 0 0 25 0 1 0 196928329 1793257472 434306 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437807 434306 294 55 0 436698 0
Current children cumulated CPU time (s) 1792.38
Current children cumulated vsize (Kb) 1751228

[startup+1794.1 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15720/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751228 CPUtime=1793.38
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949667 0 0 0 178718 620 0 0 25 0 1 0 196928329 1793257472 434312 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437807 434312 294 55 0 436698 0
Current children cumulated CPU time (s) 1793.38
Current children cumulated vsize (Kb) 1751228

[startup+1795.11 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15720/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751228 CPUtime=1794.39
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949667 0 0 0 178819 620 0 0 25 0 1 0 196928329 1793257472 434312 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437807 434312 294 55 0 436698 0
Current children cumulated CPU time (s) 1794.39
Current children cumulated vsize (Kb) 1751228

[startup+1796.11 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15720/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751228 CPUtime=1795.39
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949667 0 0 0 178919 620 0 0 25 0 1 0 196928329 1793257472 434312 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437807 434312 294 55 0 436698 0
Current children cumulated CPU time (s) 1795.39
Current children cumulated vsize (Kb) 1751228

[startup+1797.12 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15784/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751228 CPUtime=1796.39
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949667 0 0 0 179019 620 0 0 25 0 1 0 196928329 1793257472 434312 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437807 434312 294 55 0 436698 0
Current children cumulated CPU time (s) 1796.39
Current children cumulated vsize (Kb) 1751228

[startup+1798.12 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15784/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751228 CPUtime=1797.4
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949669 0 0 0 179120 620 0 0 25 0 1 0 196928329 1793257472 434314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534119 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437807 434314 294 55 0 436698 0
Current children cumulated CPU time (s) 1797.4
Current children cumulated vsize (Kb) 1751228

[startup+1799.13 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15720/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751228 CPUtime=1798.4
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949679 0 0 0 179220 620 0 0 25 0 1 0 196928329 1793257472 434324 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437807 434324 294 55 0 436698 0
Current children cumulated CPU time (s) 1798.4
Current children cumulated vsize (Kb) 1751228

[startup+1800.13 s]
/proc/loadavg: 1.00 0.99 0.98 2/67 22880
/proc/meminfo: memFree=15656/2055892 swapFree=4085292/4096564
[pid=22683] ppid=22681 vsize=1751360 CPUtime=1799.4
/proc/22683/stat : 22683 (bsolo) R 22681 22683 22637 0 -1 0 949689 0 0 0 179320 620 0 0 25 0 1 0 196928329 1793392640 434334 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551574 0 0 4096 16384 0 0 0 17 1 0 0
/proc/22683/statm: 437840 434334 294 55 0 436731 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (Kb) 1751360

Child status: 0
Real time (s): 1801.01
CPU time (s): 1800.29
CPU user time (s): 1793.84
CPU system time (s): 6.45502
CPU usage (%): 99.9601
Max. virtual memory (cumulated for all children) (Kb): 1751360

Launcher Data (download as text)

Begin job on node84 on Sat Jun  3 05:34:50 UTC 2006


FILE ID= 40709-1149312890

PBS_JOBID= 308151

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-shell.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40709-1149312890/instance-40709-1149312890.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node84/watcher-40709-1149312890 -o ROOT/results/node84/solver-40709-1149312890 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node84/40709-1149312890/instance-40709-1149312890.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  812fb8d8b2de50e0f82554fbb1bd21a5

RANDOM SEED= 255334986


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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1566072 kB
Buffers:         31348 kB
Cached:         387560 kB
SwapCached:       2420 kB
Active:          36260 kB
Inactive:       391296 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1566072 kB
SwapTotal:     4096564 kB
SwapFree:      4085292 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          16424 kB
Slab:            48936 kB
Committed_AS:   380256 kB
PageTables:       1272 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node84 on Sat Jun  3 06:04:51 UTC 2006