Trace number 39677

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 NameAnswerCPU timeWall clock time
bsolo 2006/05? 1800.01 1800.52

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
MD5SUM7b1cf6104f891053895193aa96c054c6
Bench CategorySATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.015997
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables900
Total number of constraints673
Number of constraints which are clauses624
Number of constraints which are cardinality constraints (but not clauses)49
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint12
Maximum length of a constraint25
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 26
Number of bits of the biggest sum of numbers5
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.06	c Initial problem consists of 900 variables and 673 constraints.
0.07	c Using non-optimization problem switches.
0.07	c No problem reductions applied in OPT. instance.
0.07	c	preprocess terminated. Elapsed time: 0.054
0.07	c After prepocess the problem consists of 900 variables and 673 constraints.
0.09	c Restart #1 #Var: 900 LB: 0 @ 0.079
0.13	c Restart #2 #Var: 900 LB: 0 @ 0.12
0.20	c Restart #3 #Var: 900 LB: 0 @ 0.187
0.32	c Restart #4 #Var: 900 LB: 0 @ 0.31
0.51	c Restart #5 #Var: 900 LB: 0 @ 0.498
0.75	c Restart #6 #Var: 900 LB: 0 @ 0.739
1.04	c Restart #7 #Var: 900 LB: 0 @ 1.03
1.43	c Restart #8 #Var: 900 LB: 0 @ 1.416
1.84	c Restart #9 #Var: 900 LB: 0 @ 1.831
2.30	c Restart #10 #Var: 900 LB: 0 @ 2.283
2.85	c Restart #11 #Var: 900 LB: 0 @ 2.838
3.42	c Restart #12 #Var: 900 LB: 0 @ 3.407
4.06	c Restart #13 #Var: 900 LB: 0 @ 4.049
4.79	c Restart #14 #Var: 900 LB: 0 @ 4.778
5.56	c Restart #15 #Var: 900 LB: 0 @ 5.545
6.40	c Restart #16 #Var: 900 LB: 0 @ 6.391
7.41	c Restart #17 #Var: 900 LB: 0 @ 7.393
8.33	c Restart #18 #Var: 900 LB: 0 @ 8.314
9.36	c Restart #19 #Var: 900 LB: 0 @ 9.348
10.43	c Restart #20 #Var: 900 LB: 0 @ 10.406
11.58	c Restart #21 #Var: 900 LB: 0 @ 11.561
12.91	c Restart #22 #Var: 900 LB: 0 @ 12.893
14.23	c Restart #23 #Var: 900 LB: 0 @ 14.211
15.70	c Restart #24 #Var: 900 LB: 0 @ 15.684
17.19	c Restart #25 #Var: 900 LB: 0 @ 17.168
19.13	c Restart #26 #Var: 900 LB: 0 @ 19.106
21.20	c Restart #27 #Var: 900 LB: 0 @ 21.175
23.28	c Restart #28 #Var: 900 LB: 0 @ 23.257
25.09	c Restart #29 #Var: 900 LB: 0 @ 25.063
27.05	c Restart #30 #Var: 900 LB: 0 @ 27.031
29.17	c Restart #31 #Var: 900 LB: 0 @ 29.144
31.58	c Restart #32 #Var: 900 LB: 0 @ 31.552
34.12	c Restart #33 #Var: 900 LB: 0 @ 34.095
36.79	c Restart #34 #Var: 900 LB: 0 @ 36.761
39.61	c Restart #35 #Var: 900 LB: 0 @ 39.583
42.64	c Restart #36 #Var: 900 LB: 0 @ 42.608
45.80	c Restart #37 #Var: 900 LB: 0 @ 45.776
49.35	c Restart #38 #Var: 900 LB: 0 @ 49.319
52.86	c Restart #39 #Var: 900 LB: 0 @ 52.832
56.83	c Restart #40 #Var: 900 LB: 0 @ 56.798
60.93	c Restart #41 #Var: 900 LB: 0 @ 60.9
65.26	c Restart #42 #Var: 900 LB: 0 @ 65.226
69.71	c Restart #43 #Var: 900 LB: 0 @ 69.679
74.46	c Restart #44 #Var: 900 LB: 0 @ 74.419
79.44	c Restart #45 #Var: 900 LB: 0 @ 79.402
84.37	c Restart #46 #Var: 900 LB: 0 @ 84.328
89.39	c Restart #47 #Var: 900 LB: 0 @ 89.351
94.72	c Restart #48 #Var: 900 LB: 0 @ 94.678
100.37	c Restart #49 #Var: 900 LB: 0 @ 100.32
106.22	c Restart #50 #Var: 900 LB: 0 @ 106.18
111.87	c Restart #51 #Var: 900 LB: 0 @ 111.83
117.95	c Restart #52 #Var: 900 LB: 0 @ 117.9
124.09	c Restart #53 #Var: 900 LB: 0 @ 124.04
130.29	c Restart #54 #Var: 900 LB: 0 @ 130.24
136.97	c Restart #55 #Var: 900 LB: 0 @ 136.91
143.82	c Restart #56 #Var: 900 LB: 0 @ 143.76
154.55	c Restart #57 #Var: 900 LB: 0 @ 154.49
161.61	c Restart #58 #Var: 900 LB: 0 @ 161.55
168.58	c Restart #59 #Var: 900 LB: 0 @ 168.51
176.07	c Restart #60 #Var: 900 LB: 0 @ 176.01
184.26	c Restart #61 #Var: 900 LB: 0 @ 184.19
192.45	c Restart #62 #Var: 900 LB: 0 @ 192.38
200.58	c Restart #63 #Var: 900 LB: 0 @ 200.51
209.65	c Restart #64 #Var: 900 LB: 0 @ 209.57
218.48	c Restart #65 #Var: 900 LB: 0 @ 218.4
227.71	c Restart #66 #Var: 900 LB: 0 @ 227.63
237.11	c Restart #67 #Var: 900 LB: 0 @ 237.03
250.34	c Restart #68 #Var: 900 LB: 0 @ 250.26
260.41	c Restart #69 #Var: 900 LB: 0 @ 260.32
269.78	c Restart #70 #Var: 900 LB: 0 @ 269.69
282.80	c Restart #71 #Var: 900 LB: 0 @ 282.71
292.79	c Restart #72 #Var: 900 LB: 0 @ 292.69
304.81	c Restart #73 #Var: 900 LB: 0 @ 304.71
316.25	c Restart #74 #Var: 900 LB: 0 @ 316.14
328.35	c Restart #75 #Var: 900 LB: 0 @ 328.25
340.39	c Restart #76 #Var: 900 LB: 0 @ 340.28
352.07	c Restart #77 #Var: 900 LB: 0 @ 351.96
364.75	c Restart #78 #Var: 900 LB: 0 @ 364.63
378.59	c Restart #79 #Var: 900 LB: 0 @ 378.47
392.20	c Restart #80 #Var: 900 LB: 0 @ 392.08
405.98	c Restart #81 #Var: 900 LB: 0 @ 405.86
420.82	c Restart #82 #Var: 900 LB: 0 @ 420.69
440.50	c Restart #83 #Var: 900 LB: 0 @ 440.36
457.43	c Restart #84 #Var: 900 LB: 0 @ 457.29
472.57	c Restart #85 #Var: 900 LB: 0 @ 472.43
490.25	c Restart #86 #Var: 900 LB: 0 @ 490.1
506.83	c Restart #87 #Var: 900 LB: 0 @ 506.67
522.15	c Restart #88 #Var: 900 LB: 0 @ 521.99
539.65	c Restart #89 #Var: 900 LB: 0 @ 539.48
556.91	c Restart #90 #Var: 900 LB: 0 @ 556.74
574.52	c Restart #91 #Var: 900 LB: 0 @ 574.34
592.12	c Restart #92 #Var: 900 LB: 0 @ 591.95
611.52	c Restart #93 #Var: 900 LB: 0 @ 611.34
634.84	c Restart #94 #Var: 900 LB: 0 @ 634.65
653.34	c Restart #95 #Var: 900 LB: 0 @ 653.14
671.48	c Restart #96 #Var: 900 LB: 0 @ 671.28
691.10	c Restart #97 #Var: 900 LB: 0 @ 690.9
710.79	c Restart #98 #Var: 900 LB: 0 @ 710.58
728.59	c Restart #99 #Var: 900 LB: 0 @ 728.37
748.71	c Restart #100 #Var: 900 LB: 0 @ 748.49
769.68	c Restart #101 #Var: 900 LB: 0 @ 769.46
790.16	c Restart #102 #Var: 900 LB: 0 @ 789.93
811.75	c Restart #103 #Var: 900 LB: 0 @ 811.51
832.49	c Restart #104 #Var: 900 LB: 0 @ 832.24
853.73	c Restart #105 #Var: 900 LB: 0 @ 853.48
874.90	c Restart #106 #Var: 900 LB: 0 @ 874.64
897.06	c Restart #107 #Var: 900 LB: 0 @ 896.8
919.90	c CHANGE Heuristic... 
919.90	c Restart #0 #Var: 900 LB: 0 @ 919.64
919.96	c Restart #1 #Var: 900 LB: 0 @ 919.69
920.07	c Restart #2 #Var: 900 LB: 0 @ 919.8
920.20	c Restart #3 #Var: 900 LB: 0 @ 919.93
920.46	c Restart #4 #Var: 900 LB: 0 @ 920.19
920.71	c Restart #5 #Var: 900 LB: 0 @ 920.44
921.11	c Restart #6 #Var: 900 LB: 0 @ 920.84
921.60	c Restart #7 #Var: 900 LB: 0 @ 921.34
922.11	c Restart #8 #Var: 900 LB: 0 @ 921.84
922.61	c Restart #9 #Var: 900 LB: 0 @ 922.35
923.32	c Restart #10 #Var: 900 LB: 0 @ 923.05
924.15	c Restart #11 #Var: 900 LB: 0 @ 923.88
924.98	c Restart #12 #Var: 900 LB: 0 @ 924.71
925.93	c Restart #13 #Var: 900 LB: 0 @ 925.66
926.94	c Restart #14 #Var: 900 LB: 0 @ 926.67
928.07	c Restart #15 #Var: 900 LB: 0 @ 927.8
929.40	c Restart #16 #Var: 900 LB: 0 @ 929.13
930.74	c Restart #17 #Var: 900 LB: 0 @ 930.47
932.21	c Restart #18 #Var: 900 LB: 0 @ 931.93
933.49	c Restart #19 #Var: 900 LB: 0 @ 933.21
935.17	c Restart #20 #Var: 900 LB: 0 @ 934.9
937.00	c Restart #21 #Var: 900 LB: 0 @ 936.73
938.93	c Restart #22 #Var: 900 LB: 0 @ 938.66
940.70	c Restart #23 #Var: 900 LB: 0 @ 940.43
942.78	c Restart #24 #Var: 900 LB: 0 @ 942.5
944.63	c Restart #25 #Var: 900 LB: 0 @ 944.35
946.97	c Restart #26 #Var: 900 LB: 0 @ 946.69
949.33	c Restart #27 #Var: 900 LB: 0 @ 949.05
951.83	c Restart #28 #Var: 900 LB: 0 @ 951.55
954.65	c Restart #29 #Var: 900 LB: 0 @ 954.37
957.53	c Restart #30 #Var: 900 LB: 0 @ 957.25
960.59	c Restart #31 #Var: 900 LB: 0 @ 960.31
963.66	c Restart #32 #Var: 900 LB: 0 @ 963.38
966.83	c Restart #33 #Var: 900 LB: 0 @ 966.54
970.04	c Restart #34 #Var: 900 LB: 0 @ 969.76
973.48	c Restart #35 #Var: 900 LB: 0 @ 973.19
976.53	c Restart #36 #Var: 900 LB: 0 @ 976.25
980.17	c Restart #37 #Var: 900 LB: 0 @ 979.89
983.90	c Restart #38 #Var: 900 LB: 0 @ 983.61
987.82	c Restart #39 #Var: 900 LB: 0 @ 987.53
991.77	c Restart #40 #Var: 900 LB: 0 @ 991.48
996.31	c Restart #41 #Var: 900 LB: 0 @ 996.02
1000.97	c Restart #42 #Var: 900 LB: 0 @ 1000.7
1005.50	c Restart #43 #Var: 900 LB: 0 @ 1005.2
1010.57	c Restart #44 #Var: 900 LB: 0 @ 1010.3
1016.59	c Restart #45 #Var: 900 LB: 0 @ 1016.3
1022.17	c Restart #46 #Var: 900 LB: 0 @ 1021.9
1027.37	c Restart #47 #Var: 900 LB: 0 @ 1027.1
1032.89	c Restart #48 #Var: 900 LB: 0 @ 1032.6
1039.81	c Restart #49 #Var: 900 LB: 0 @ 1039.5
1045.68	c Restart #50 #Var: 900 LB: 0 @ 1045.4
1052.99	c Restart #51 #Var: 900 LB: 0 @ 1052.7
1059.39	c Restart #52 #Var: 900 LB: 0 @ 1059.1
1066.00	c Restart #53 #Var: 900 LB: 0 @ 1065.7
1073.64	c Restart #54 #Var: 900 LB: 0 @ 1073.3
1081.08	c Restart #55 #Var: 900 LB: 0 @ 1080.8
1088.39	c Restart #56 #Var: 900 LB: 0 @ 1088.1
1095.71	c Restart #57 #Var: 900 LB: 0 @ 1095.4
1103.41	c Restart #58 #Var: 900 LB: 0 @ 1103.1
1111.05	c Restart #59 #Var: 900 LB: 0 @ 1110.7
1120.24	c Restart #60 #Var: 900 LB: 0 @ 1119.9
1128.65	c Restart #61 #Var: 900 LB: 0 @ 1128.3
1137.22	c Restart #62 #Var: 900 LB: 0 @ 1136.9
1147.23	c Restart #63 #Var: 900 LB: 0 @ 1146.9
1156.22	c Restart #64 #Var: 900 LB: 0 @ 1155.9
1165.47	c Restart #65 #Var: 900 LB: 0 @ 1165.1
1174.71	c Restart #66 #Var: 900 LB: 0 @ 1174.4
1184.56	c Restart #67 #Var: 900 LB: 0 @ 1184.2
1195.52	c Restart #68 #Var: 900 LB: 0 @ 1195.2
1204.72	c Restart #69 #Var: 900 LB: 0 @ 1204.4
1215.41	c Restart #70 #Var: 900 LB: 0 @ 1215.1
1226.47	c Restart #71 #Var: 900 LB: 0 @ 1226.1
1237.96	c Restart #72 #Var: 900 LB: 0 @ 1237.6
1249.36	c Restart #73 #Var: 900 LB: 0 @ 1249
1263.27	c Restart #74 #Var: 900 LB: 0 @ 1262.9
1274.53	c Restart #75 #Var: 900 LB: 0 @ 1274.2
1286.79	c Restart #76 #Var: 900 LB: 0 @ 1286.4
1298.86	c Restart #77 #Var: 900 LB: 0 @ 1298.5
1312.37	c Restart #78 #Var: 900 LB: 0 @ 1312
1324.60	c Restart #79 #Var: 900 LB: 0 @ 1324.2
1340.73	c Restart #80 #Var: 900 LB: 0 @ 1340.3
1355.21	c Restart #81 #Var: 900 LB: 0 @ 1354.8
1369.49	c Restart #82 #Var: 900 LB: 0 @ 1369.1
1384.37	c Restart #83 #Var: 900 LB: 0 @ 1384
1399.66	c Restart #84 #Var: 900 LB: 0 @ 1399.3
1414.47	c Restart #85 #Var: 900 LB: 0 @ 1414.1
1431.42	c Restart #86 #Var: 900 LB: 0 @ 1431
1450.73	c Restart #87 #Var: 900 LB: 0 @ 1450.3
1468.01	c Restart #88 #Var: 900 LB: 0 @ 1467.6
1484.13	c Restart #89 #Var: 900 LB: 0 @ 1483.7
1502.02	c Restart #90 #Var: 900 LB: 0 @ 1501.6
1519.02	c Restart #91 #Var: 900 LB: 0 @ 1518.6
1537.16	c Restart #92 #Var: 900 LB: 0 @ 1536.7
1559.00	c Restart #93 #Var: 900 LB: 0 @ 1558.6
1578.04	c Restart #94 #Var: 900 LB: 0 @ 1577.6
1600.63	c Restart #95 #Var: 900 LB: 0 @ 1600.2
1622.23	c Restart #96 #Var: 900 LB: 0 @ 1621.8
1643.47	c Restart #97 #Var: 900 LB: 0 @ 1643
1665.39	c Restart #98 #Var: 900 LB: 0 @ 1664.9
1688.64	c Restart #99 #Var: 900 LB: 0 @ 1688.2
1714.40	c Restart #100 #Var: 900 LB: 0 @ 1713.9
1736.12	c Restart #101 #Var: 900 LB: 0 @ 1735.6
1760.25	c Restart #102 #Var: 900 LB: 0 @ 1759.8
1788.14	c Restart #103 #Var: 900 LB: 0 @ 1787.6
1800.51	s UNKNOWN
1800.51	c Exit Code: 0
1800.51	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/node35/watcher-39677-1149232575 -o ROOT/results/node35/solver-39677-1149232575 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node35/39677-1149232575/instance-39677-1149232575.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.76 0.91 0.89 2/64 27558
/proc/meminfo: memFree=1293136/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=3224 CPUtime=0
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 55 0 0 0 0 0 0 0 19 0 1 0 188921388 3301376 38 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1463076 0 0 4096 0 0 0 0 17 1 0 0
/proc/27558/statm: 806 39 29 55 0 40 0

[startup+10.0023 s]
/proc/loadavg: 0.80 0.91 0.89 2/64 27558
/proc/meminfo: memFree=1285792/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=11940 CPUtime=9.97
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 2240 0 0 0 995 2 0 0 25 0 1 0 188921388 12226560 2155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 2985 2155 297 55 0 1877 0
Current children cumulated CPU time (s) 9.97
Current children cumulated vsize (Kb) 11940

[startup+20.0095 s]
/proc/loadavg: 0.83 0.92 0.89 2/64 27558
/proc/meminfo: memFree=1284512/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=13200 CPUtime=19.98
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 2559 0 0 0 1993 5 0 0 25 0 1 0 188921388 13516800 2474 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 3300 2474 297 55 0 2192 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 13200

[startup+30.0157 s]
/proc/loadavg: 0.85 0.92 0.89 2/64 27558
/proc/meminfo: memFree=1283488/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=14240 CPUtime=29.98
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 2821 0 0 0 2991 7 0 0 25 0 1 0 188921388 14581760 2736 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 3560 2736 297 55 0 2452 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 14240

[startup+40.0209 s]
/proc/loadavg: 0.88 0.92 0.90 2/64 27558
/proc/meminfo: memFree=1280992/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=16676 CPUtime=39.98
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 3442 0 0 0 3989 9 0 0 25 0 1 0 188921388 17076224 3357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 4169 3357 297 55 0 3061 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 16676

[startup+50.0271 s]
/proc/loadavg: 0.89 0.92 0.90 2/64 27558
/proc/meminfo: memFree=1279264/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=18380 CPUtime=49.99
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 3862 0 0 0 4988 11 0 0 25 0 1 0 188921388 18821120 3777 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 4595 3777 297 55 0 3487 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 18380

[startup+60.0333 s]
/proc/loadavg: 0.91 0.92 0.90 2/64 27558
/proc/meminfo: memFree=1278176/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=19568 CPUtime=59.99
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 4135 0 0 0 5986 13 0 0 25 0 1 0 188921388 20037632 4050 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 4892 4050 297 55 0 3784 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 19568

[startup+70.0395 s]
/proc/loadavg: 0.92 0.93 0.90 2/64 27558
/proc/meminfo: memFree=1277280/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=20340 CPUtime=69.99
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 4359 0 0 0 6985 14 0 0 25 0 1 0 188921388 20828160 4274 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 5085 4274 297 55 0 3977 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 20340

[startup+80.0457 s]
/proc/loadavg: 0.93 0.93 0.90 2/64 27558
/proc/meminfo: memFree=1276832/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=20840 CPUtime=80
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 4479 0 0 0 7983 17 0 0 25 0 1 0 188921388 21340160 4394 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 5210 4394 297 55 0 4102 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 20840

[startup+90.052 s]
/proc/loadavg: 0.94 0.93 0.90 2/64 27558
/proc/meminfo: memFree=1276448/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=21204 CPUtime=90
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 4567 0 0 0 8981 19 0 0 25 0 1 0 188921388 21712896 4482 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 5301 4482 297 55 0 4193 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 21204

[startup+100.057 s]
/proc/loadavg: 0.95 0.93 0.90 2/64 27558
/proc/meminfo: memFree=1275872/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=21760 CPUtime=100.01
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 4710 0 0 0 9980 21 0 0 25 0 1 0 188921388 22282240 4625 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542246 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 5440 4625 297 55 0 4332 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 21760

[startup+110.063 s]
/proc/loadavg: 0.96 0.93 0.90 2/64 27558
/proc/meminfo: memFree=1275616/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=22124 CPUtime=110.01
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 4782 0 0 0 10979 22 0 0 25 0 1 0 188921388 22654976 4697 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 5531 4697 297 55 0 4423 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 22124

[startup+120.07 s]
/proc/loadavg: 0.97 0.93 0.90 2/64 27558
/proc/meminfo: memFree=1275168/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=22520 CPUtime=120.01
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 4882 0 0 0 11978 23 0 0 25 0 1 0 188921388 23060480 4797 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 5630 4797 297 55 0 4522 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 22520

[startup+130.076 s]
/proc/loadavg: 0.97 0.94 0.90 2/64 27558
/proc/meminfo: memFree=1274784/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=22840 CPUtime=130.02
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 4985 0 0 0 12976 26 0 0 25 0 1 0 188921388 23388160 4900 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529363 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 5710 4900 297 55 0 4602 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 22840

[startup+140.082 s]
/proc/loadavg: 0.97 0.94 0.91 2/64 27558
/proc/meminfo: memFree=1274336/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=23368 CPUtime=140.01
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 5100 0 0 0 13974 27 0 0 25 0 1 0 188921388 23928832 5015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 5842 5015 297 55 0 4734 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 23368

[startup+150.088 s]
/proc/loadavg: 0.98 0.94 0.91 2/64 27558
/proc/meminfo: memFree=1273952/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=23764 CPUtime=150.02
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 5196 0 0 0 14974 28 0 0 25 0 1 0 188921388 24334336 5111 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 5941 5111 297 55 0 4833 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 23764

[startup+160.093 s]
/proc/loadavg: 0.98 0.94 0.91 2/64 27558
/proc/meminfo: memFree=1273632/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=24028 CPUtime=160.02
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 5262 0 0 0 15973 29 0 0 25 0 1 0 188921388 24604672 5177 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1896535 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 6007 5177 297 55 0 4899 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 24028

[startup+170.1 s]
/proc/loadavg: 0.98 0.94 0.91 2/64 27558
/proc/meminfo: memFree=1273376/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=24252 CPUtime=170.03
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 5325 0 0 0 16972 31 0 0 25 0 1 0 188921388 24834048 5240 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 6063 5240 297 55 0 4955 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 24252

[startup+180.106 s]
/proc/loadavg: 0.98 0.94 0.91 2/64 27558
/proc/meminfo: memFree=1273120/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=24644 CPUtime=180.03
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 5402 0 0 0 17971 32 0 0 25 0 1 0 188921388 25235456 5317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 6161 5317 297 55 0 5053 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 24644

[startup+190.112 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 27558
/proc/meminfo: memFree=1272736/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=24908 CPUtime=190.03
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 5493 0 0 0 18970 33 0 0 25 0 1 0 188921388 25505792 5408 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 6227 5408 297 55 0 5119 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 24908

[startup+200.118 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 27558
/proc/meminfo: memFree=1272480/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=25172 CPUtime=200.04
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 5561 0 0 0 19969 35 0 0 25 0 1 0 188921388 25776128 5476 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 6293 5476 297 55 0 5185 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 25172

[startup+210.125 s]
/proc/loadavg: 0.99 0.95 0.91 2/64 27558
/proc/meminfo: memFree=1272224/2055920 swapFree=4180884/4192956

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

/proc/27558/statm: 12327 11501 297 55 0 11219 0
Current children cumulated CPU time (s) 1760.66
Current children cumulated vsize (Kb) 49308

[startup+1771.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247968/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49308 CPUtime=1770.67
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11586 0 0 0 176829 238 0 0 25 0 1 0 188921388 50491392 11501 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12327 11501 297 55 0 11219 0
Current children cumulated CPU time (s) 1770.67
Current children cumulated vsize (Kb) 49308

[startup+1781.18 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247904/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1780.67
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11606 0 0 0 177828 239 0 0 25 0 1 0 188921388 50626560 11521 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11521 297 55 0 11252 0
Current children cumulated CPU time (s) 1780.67
Current children cumulated vsize (Kb) 49440

[startup+1782.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1781.68
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11616 0 0 0 177929 239 0 0 25 0 1 0 188921388 50626560 11531 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11531 297 55 0 11252 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (Kb) 49440

[startup+1783.19 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1782.68
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11616 0 0 0 178029 239 0 0 25 0 1 0 188921388 50626560 11531 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11531 297 55 0 11252 0
Current children cumulated CPU time (s) 1782.68
Current children cumulated vsize (Kb) 49440

[startup+1784.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1783.68
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11618 0 0 0 178129 239 0 0 25 0 1 0 188921388 50626560 11533 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11533 297 55 0 11252 0
Current children cumulated CPU time (s) 1783.68
Current children cumulated vsize (Kb) 49440

[startup+1785.2 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1784.69
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11618 0 0 0 178230 239 0 0 25 0 1 0 188921388 50626560 11533 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718209 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11533 297 55 0 11252 0
Current children cumulated CPU time (s) 1784.69
Current children cumulated vsize (Kb) 49440

[startup+1786.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1785.69
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11619 0 0 0 178330 239 0 0 25 0 1 0 188921388 50626560 11534 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11534 297 55 0 11252 0
Current children cumulated CPU time (s) 1785.69
Current children cumulated vsize (Kb) 49440

[startup+1787.21 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1786.7
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11619 0 0 0 178431 239 0 0 25 0 1 0 188921388 50626560 11534 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11534 297 55 0 11252 0
Current children cumulated CPU time (s) 1786.7
Current children cumulated vsize (Kb) 49440

[startup+1788.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1787.7
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 178531 239 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11535 297 55 0 11252 0
Current children cumulated CPU time (s) 1787.7
Current children cumulated vsize (Kb) 49440

[startup+1789.22 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1788.71
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 178631 240 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11535 297 55 0 11252 0
Current children cumulated CPU time (s) 1788.71
Current children cumulated vsize (Kb) 49440

[startup+1790.23 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1789.72
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 178732 240 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11535 297 55 0 11252 0
Current children cumulated CPU time (s) 1789.72
Current children cumulated vsize (Kb) 49440

[startup+1791.23 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1790.72
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 178832 240 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11535 297 55 0 11252 0
Current children cumulated CPU time (s) 1790.72
Current children cumulated vsize (Kb) 49440

[startup+1792.24 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1791.73
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 178933 240 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11535 297 55 0 11252 0
Current children cumulated CPU time (s) 1791.73
Current children cumulated vsize (Kb) 49440

[startup+1793.24 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1792.73
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 179033 240 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11535 297 55 0 11252 0
Current children cumulated CPU time (s) 1792.73
Current children cumulated vsize (Kb) 49440

[startup+1794.25 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1793.74
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 179134 240 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11535 297 55 0 11252 0
Current children cumulated CPU time (s) 1793.74
Current children cumulated vsize (Kb) 49440

[startup+1795.25 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1794.74
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 179234 240 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719535 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11535 297 55 0 11252 0
Current children cumulated CPU time (s) 1794.74
Current children cumulated vsize (Kb) 49440

[startup+1796.26 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1795.74
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11620 0 0 0 179334 240 0 0 25 0 1 0 188921388 50626560 11535 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11535 297 55 0 11252 0
Current children cumulated CPU time (s) 1795.74
Current children cumulated vsize (Kb) 49440

[startup+1797.26 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1796.75
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11625 0 0 0 179435 240 0 0 25 0 1 0 188921388 50626560 11540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11540 297 55 0 11252 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (Kb) 49440

[startup+1798.27 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1797.75
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11625 0 0 0 179535 240 0 0 25 0 1 0 188921388 50626560 11540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11540 297 55 0 11252 0
Current children cumulated CPU time (s) 1797.75
Current children cumulated vsize (Kb) 49440

[startup+1799.27 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1798.75
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11625 0 0 0 179635 240 0 0 25 0 1 0 188921388 50626560 11540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134554127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11540 297 55 0 11252 0
Current children cumulated CPU time (s) 1798.75
Current children cumulated vsize (Kb) 49440

[startup+1800.28 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 27560
/proc/meminfo: memFree=1247840/2055920 swapFree=4180884/4192956
[pid=27558] ppid=27556 vsize=49440 CPUtime=1799.76
/proc/27558/stat : 27558 (bsolo) R 27556 27558 27513 0 -1 0 11626 0 0 0 179735 241 0 0 25 0 1 0 188921388 50626560 11541 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/27558/statm: 12360 11541 297 55 0 11252 0
Current children cumulated CPU time (s) 1799.76
Current children cumulated vsize (Kb) 49440

Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.01
CPU user time (s): 1797.59
CPU system time (s): 2.41963
CPU usage (%): 99.9716
Max. virtual memory (cumulated for all children) (Kb): 49440

Launcher Data (download as text)

Begin job on node35 on Fri Jun  2 07:16:15 UTC 2006


FILE ID= 39677-1149232575

PBS_JOBID= 296554

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  7b1cf6104f891053895193aa96c054c6

RANDOM SEED= 179911411


/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.210
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.210
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:       1293344 kB
Buffers:         24500 kB
Cached:         668772 kB
SwapCached:       4000 kB
Active:         118324 kB
Inactive:       583856 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1293344 kB
SwapTotal:     4192956 kB
SwapFree:      4180884 kB
Dirty:             272 kB
Writeback:           0 kB
Mapped:          14924 kB
Slab:            46384 kB
Committed_AS:   241024 kB
PageTables:       1432 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node35 on Fri Jun  2 07:46:15 UTC 2006