Trace number 39653

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.02 1800.61

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/
FPGA_SAT05/normalized-fpga25_25_sat_pb.cnf.cr.opb
MD5SUM67169e121732ee6d464f6ac82d33a699
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.015996
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved NO
Number of variables938
Total number of constraints700
Number of constraints which are clauses650
Number of constraints which are cardinality constraints (but not clauses)50
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 938 variables and 700 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.061
0.07	c After prepocess the problem consists of 938 variables and 700 constraints.
0.12	c Restart #1 #Var: 938 LB: 0 @ 0.114
0.16	c Restart #2 #Var: 938 LB: 0 @ 0.15
0.19	c Restart #3 #Var: 938 LB: 0 @ 0.183
0.30	c Restart #4 #Var: 938 LB: 0 @ 0.297
0.44	c Restart #5 #Var: 938 LB: 0 @ 0.433
0.67	c Restart #6 #Var: 938 LB: 0 @ 0.663
0.95	c Restart #7 #Var: 938 LB: 0 @ 0.944
1.27	c Restart #8 #Var: 938 LB: 0 @ 1.258
1.68	c Restart #9 #Var: 938 LB: 0 @ 1.675
2.12	c Restart #10 #Var: 938 LB: 0 @ 2.108
2.64	c Restart #11 #Var: 938 LB: 0 @ 2.634
3.29	c Restart #12 #Var: 938 LB: 0 @ 3.278
3.98	c Restart #13 #Var: 938 LB: 0 @ 3.968
4.72	c Restart #14 #Var: 938 LB: 0 @ 4.711
5.58	c Restart #15 #Var: 938 LB: 0 @ 5.574
6.51	c Restart #16 #Var: 938 LB: 0 @ 6.502
7.50	c Restart #17 #Var: 938 LB: 0 @ 7.495
8.60	c Restart #18 #Var: 938 LB: 0 @ 8.592
9.70	c Restart #19 #Var: 938 LB: 0 @ 9.695
11.01	c Restart #20 #Var: 938 LB: 0 @ 10.996
12.57	c Restart #21 #Var: 938 LB: 0 @ 12.559
14.12	c Restart #22 #Var: 938 LB: 0 @ 14.11
15.89	c Restart #23 #Var: 938 LB: 0 @ 15.876
17.73	c Restart #24 #Var: 938 LB: 0 @ 17.716
19.65	c Restart #25 #Var: 938 LB: 0 @ 19.638
21.81	c Restart #26 #Var: 938 LB: 0 @ 21.796
24.56	c Restart #27 #Var: 938 LB: 0 @ 24.546
26.96	c Restart #28 #Var: 938 LB: 0 @ 26.938
29.81	c Restart #29 #Var: 938 LB: 0 @ 29.786
33.85	c Restart #30 #Var: 938 LB: 0 @ 33.824
36.80	c Restart #31 #Var: 938 LB: 0 @ 36.776
41.64	c Restart #32 #Var: 938 LB: 0 @ 41.618
45.11	c Restart #33 #Var: 938 LB: 0 @ 45.083
50.75	c Restart #34 #Var: 938 LB: 0 @ 50.724
55.26	c Restart #35 #Var: 938 LB: 0 @ 55.237
59.55	c Restart #36 #Var: 938 LB: 0 @ 59.519
64.76	c Restart #37 #Var: 938 LB: 0 @ 64.729
69.74	c Restart #38 #Var: 938 LB: 0 @ 69.709
74.83	c Restart #39 #Var: 938 LB: 0 @ 74.794
82.43	c Restart #40 #Var: 938 LB: 0 @ 82.391
87.96	c Restart #41 #Var: 938 LB: 0 @ 87.922
93.75	c Restart #42 #Var: 938 LB: 0 @ 93.706
99.65	c Restart #43 #Var: 938 LB: 0 @ 99.612
105.26	c Restart #44 #Var: 938 LB: 0 @ 105.22
113.73	c Restart #45 #Var: 938 LB: 0 @ 113.68
120.45	c Restart #46 #Var: 938 LB: 0 @ 120.4
127.32	c Restart #47 #Var: 938 LB: 0 @ 127.27
134.82	c Restart #48 #Var: 938 LB: 0 @ 134.76
142.35	c Restart #49 #Var: 938 LB: 0 @ 142.29
153.01	c Restart #50 #Var: 938 LB: 0 @ 152.95
160.35	c Restart #51 #Var: 938 LB: 0 @ 160.29
173.43	c Restart #52 #Var: 938 LB: 0 @ 173.37
182.25	c Restart #53 #Var: 938 LB: 0 @ 182.18
190.69	c Restart #54 #Var: 938 LB: 0 @ 190.62
199.27	c Restart #55 #Var: 938 LB: 0 @ 199.19
208.49	c Restart #56 #Var: 938 LB: 0 @ 208.41
218.72	c Restart #57 #Var: 938 LB: 0 @ 218.64
233.24	c Restart #58 #Var: 938 LB: 0 @ 233.15
243.99	c Restart #59 #Var: 938 LB: 0 @ 243.9
255.10	c Restart #60 #Var: 938 LB: 0 @ 255.01
271.35	c Restart #61 #Var: 938 LB: 0 @ 271.26
283.84	c Restart #62 #Var: 938 LB: 0 @ 283.74
295.74	c Restart #63 #Var: 938 LB: 0 @ 295.64
307.65	c Restart #64 #Var: 938 LB: 0 @ 307.54
324.48	c Restart #65 #Var: 938 LB: 0 @ 324.37
336.34	c Restart #66 #Var: 938 LB: 0 @ 336.22
349.85	c Restart #67 #Var: 938 LB: 0 @ 349.73
362.43	c Restart #68 #Var: 938 LB: 0 @ 362.3
378.72	c Restart #69 #Var: 938 LB: 0 @ 378.58
392.38	c Restart #70 #Var: 938 LB: 0 @ 392.24
406.79	c Restart #71 #Var: 938 LB: 0 @ 406.65
421.37	c Restart #72 #Var: 938 LB: 0 @ 421.22
438.28	c Restart #73 #Var: 938 LB: 0 @ 438.12
454.53	c Restart #74 #Var: 938 LB: 0 @ 454.37
470.82	c Restart #75 #Var: 938 LB: 0 @ 470.66
487.45	c Restart #76 #Var: 938 LB: 0 @ 487.28
511.54	c Restart #77 #Var: 938 LB: 0 @ 511.37
528.34	c Restart #78 #Var: 938 LB: 0 @ 528.16
546.61	c Restart #79 #Var: 938 LB: 0 @ 546.43
564.83	c Restart #80 #Var: 938 LB: 0 @ 564.64
590.65	c Restart #81 #Var: 938 LB: 0 @ 590.45
610.23	c Restart #82 #Var: 938 LB: 0 @ 610.02
629.91	c Restart #83 #Var: 938 LB: 0 @ 629.7
652.23	c Restart #84 #Var: 938 LB: 0 @ 652.01
681.44	c Restart #85 #Var: 938 LB: 0 @ 681.21
701.21	c Restart #86 #Var: 938 LB: 0 @ 700.97
721.57	c Restart #87 #Var: 938 LB: 0 @ 721.33
750.19	c Restart #88 #Var: 938 LB: 0 @ 749.94
770.87	c Restart #89 #Var: 938 LB: 0 @ 770.61
793.99	c Restart #90 #Var: 938 LB: 0 @ 793.72
815.46	c Restart #91 #Var: 938 LB: 0 @ 815.18
839.36	c Restart #92 #Var: 938 LB: 0 @ 839.08
873.88	c Restart #93 #Var: 938 LB: 0 @ 873.59
900.10	c Restart #94 #Var: 938 LB: 0 @ 899.8
927.37	c CHANGE Heuristic... 
927.37	c Restart #0 #Var: 938 LB: 0 @ 927.05
927.42	c Restart #1 #Var: 938 LB: 0 @ 927.11
927.63	c Restart #2 #Var: 938 LB: 0 @ 927.32
927.96	c Restart #3 #Var: 938 LB: 0 @ 927.65
928.44	c Restart #4 #Var: 938 LB: 0 @ 928.12
928.97	c Restart #5 #Var: 938 LB: 0 @ 928.65
929.50	c Restart #6 #Var: 938 LB: 0 @ 929.19
930.21	c Restart #7 #Var: 938 LB: 0 @ 929.89
931.10	c Restart #8 #Var: 938 LB: 0 @ 930.78
932.03	c Restart #9 #Var: 938 LB: 0 @ 931.72
933.22	c Restart #10 #Var: 938 LB: 0 @ 932.91
934.56	c Restart #11 #Var: 938 LB: 0 @ 934.25
936.17	c Restart #12 #Var: 938 LB: 0 @ 935.85
937.95	c Restart #13 #Var: 938 LB: 0 @ 937.64
940.19	c Restart #14 #Var: 938 LB: 0 @ 939.88
942.29	c Restart #15 #Var: 938 LB: 0 @ 941.98
945.67	c Restart #16 #Var: 938 LB: 0 @ 945.36
948.60	c Restart #17 #Var: 938 LB: 0 @ 948.28
951.68	c Restart #18 #Var: 938 LB: 0 @ 951.36
955.03	c Restart #19 #Var: 938 LB: 0 @ 954.72
958.38	c Restart #20 #Var: 938 LB: 0 @ 958.06
962.10	c Restart #21 #Var: 938 LB: 0 @ 961.78
966.26	c Restart #22 #Var: 938 LB: 0 @ 965.94
970.61	c Restart #23 #Var: 938 LB: 0 @ 970.29
974.88	c Restart #24 #Var: 938 LB: 0 @ 974.55
979.39	c Restart #25 #Var: 938 LB: 0 @ 979.06
983.69	c Restart #26 #Var: 938 LB: 0 @ 983.36
988.27	c Restart #27 #Var: 938 LB: 0 @ 987.93
994.18	c Restart #28 #Var: 938 LB: 0 @ 993.85
999.37	c Restart #29 #Var: 938 LB: 0 @ 999.04
1004.15	c Restart #30 #Var: 938 LB: 0 @ 1003.8
1009.91	c Restart #31 #Var: 938 LB: 0 @ 1009.6
1017.17	c Restart #32 #Var: 938 LB: 0 @ 1016.8
1023.57	c Restart #33 #Var: 938 LB: 0 @ 1023.2
1031.51	c Restart #34 #Var: 938 LB: 0 @ 1031.2
1038.60	c Restart #35 #Var: 938 LB: 0 @ 1038.3
1045.26	c Restart #36 #Var: 938 LB: 0 @ 1044.9
1053.56	c Restart #37 #Var: 938 LB: 0 @ 1053.2
1059.90	c Restart #38 #Var: 938 LB: 0 @ 1059.5
1067.95	c Restart #39 #Var: 938 LB: 0 @ 1067.6
1077.23	c Restart #40 #Var: 938 LB: 0 @ 1076.9
1086.54	c Restart #41 #Var: 938 LB: 0 @ 1086.2
1096.74	c Restart #42 #Var: 938 LB: 0 @ 1096.4
1106.05	c Restart #43 #Var: 938 LB: 0 @ 1105.7
1116.98	c Restart #44 #Var: 938 LB: 0 @ 1116.6
1127.96	c Restart #45 #Var: 938 LB: 0 @ 1127.6
1138.10	c Restart #46 #Var: 938 LB: 0 @ 1137.7
1151.86	c Restart #47 #Var: 938 LB: 0 @ 1151.5
1163.31	c Restart #48 #Var: 938 LB: 0 @ 1162.9
1174.14	c Restart #49 #Var: 938 LB: 0 @ 1173.8
1185.55	c Restart #50 #Var: 938 LB: 0 @ 1185.2
1199.28	c Restart #51 #Var: 938 LB: 0 @ 1198.9
1213.13	c Restart #52 #Var: 938 LB: 0 @ 1212.7
1225.69	c Restart #53 #Var: 938 LB: 0 @ 1225.3
1238.63	c Restart #54 #Var: 938 LB: 0 @ 1238.2
1252.59	c Restart #55 #Var: 938 LB: 0 @ 1252.2
1267.24	c Restart #56 #Var: 938 LB: 0 @ 1266.8
1280.83	c Restart #57 #Var: 938 LB: 0 @ 1280.4
1294.27	c Restart #58 #Var: 938 LB: 0 @ 1293.8
1311.33	c Restart #59 #Var: 938 LB: 0 @ 1310.9
1327.85	c Restart #60 #Var: 938 LB: 0 @ 1327.4
1346.83	c Restart #61 #Var: 938 LB: 0 @ 1346.4
1362.32	c Restart #62 #Var: 938 LB: 0 @ 1361.9
1378.35	c Restart #63 #Var: 938 LB: 0 @ 1377.9
1393.01	c Restart #64 #Var: 938 LB: 0 @ 1392.6
1413.83	c Restart #65 #Var: 938 LB: 0 @ 1413.4
1430.46	c Restart #66 #Var: 938 LB: 0 @ 1430
1448.92	c Restart #67 #Var: 938 LB: 0 @ 1448.4
1467.89	c Restart #68 #Var: 938 LB: 0 @ 1467.4
1486.76	c Restart #69 #Var: 938 LB: 0 @ 1486.3
1505.77	c Restart #70 #Var: 938 LB: 0 @ 1505.3
1524.46	c Restart #71 #Var: 938 LB: 0 @ 1524
1547.21	c Restart #72 #Var: 938 LB: 0 @ 1546.7
1566.94	c Restart #73 #Var: 938 LB: 0 @ 1566.4
1586.22	c Restart #74 #Var: 938 LB: 0 @ 1585.7
1608.77	c Restart #75 #Var: 938 LB: 0 @ 1608.2
1631.56	c Restart #76 #Var: 938 LB: 0 @ 1631
1655.91	c Restart #77 #Var: 938 LB: 0 @ 1655.4
1678.61	c Restart #78 #Var: 938 LB: 0 @ 1678.1
1698.56	c Restart #79 #Var: 938 LB: 0 @ 1698
1725.51	c Restart #80 #Var: 938 LB: 0 @ 1724.9
1753.31	c Restart #81 #Var: 938 LB: 0 @ 1752.7
1775.27	c Restart #82 #Var: 938 LB: 0 @ 1774.7
1800.60	s UNKNOWN
1800.60	c Exit Code: 0
1800.60	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/node68/watcher-39653-1149229088 -o ROOT/results/node68/solver-39653-1149229088 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node68/39653-1149229088/instance-39653-1149229088.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.84 0.94 0.90 2/64 9288
/proc/meminfo: memFree=1753184/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=4932 CPUtime=0
/proc/9288/stat : 9288 (bsolo) D 9286 9288 9243 0 -1 0 366 0 0 0 0 0 0 0 18 0 1 0 188578333 5050368 330 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 1 0 0
/proc/9288/statm: 1233 330 226 55 0 125 0

[startup+10.0022 s]
/proc/loadavg: 0.87 0.94 0.90 2/64 9288
/proc/meminfo: memFree=1742576/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=15212 CPUtime=9.98
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 3050 0 0 0 995 3 0 0 25 0 1 0 188578333 15577088 2965 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 3803 2965 297 55 0 2695 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 15212

[startup+20.0089 s]
/proc/loadavg: 0.89 0.94 0.90 2/64 9288
/proc/meminfo: memFree=1740664/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=17028 CPUtime=19.98
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 3524 0 0 0 1993 5 0 0 25 0 1 0 188578333 17436672 3439 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 4257 3439 297 55 0 3149 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 17028

[startup+30.0156 s]
/proc/loadavg: 0.90 0.94 0.90 2/64 9288
/proc/meminfo: memFree=1737720/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=20024 CPUtime=29.99
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 4265 0 0 0 2992 7 0 0 25 0 1 0 188578333 20504576 4180 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632654 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 5006 4180 297 55 0 3898 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 20024

[startup+40.0214 s]
/proc/loadavg: 0.92 0.94 0.90 2/64 9288
/proc/meminfo: memFree=1735288/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=22500 CPUtime=39.99
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 4868 0 0 0 3991 8 0 0 25 0 1 0 188578333 23040000 4783 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134604086 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 5625 4783 297 55 0 4517 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 22500

[startup+50.0281 s]
/proc/loadavg: 0.93 0.94 0.90 2/64 9288
/proc/meminfo: memFree=1733752/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=23936 CPUtime=49.99
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 5257 0 0 0 4990 9 0 0 25 0 1 0 188578333 24510464 5172 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 5984 5172 297 55 0 4876 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 23936

[startup+60.0338 s]
/proc/loadavg: 0.94 0.95 0.90 2/64 9288
/proc/meminfo: memFree=1732536/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=25120 CPUtime=60
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 5549 0 0 0 5989 11 0 0 25 0 1 0 188578333 25722880 5464 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 6280 5464 297 55 0 5172 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 25120

[startup+70.0395 s]
/proc/loadavg: 0.95 0.95 0.91 2/64 9288
/proc/meminfo: memFree=1731832/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=25896 CPUtime=70
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 5736 0 0 0 6988 12 0 0 25 0 1 0 188578333 26517504 5651 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533958 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 6474 5651 297 55 0 5366 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 25896

[startup+80.0452 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 9288
/proc/meminfo: memFree=1731256/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=26424 CPUtime=80
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 5871 0 0 0 7987 13 0 0 25 0 1 0 188578333 27058176 5786 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 6606 5786 297 55 0 5498 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 26424

[startup+90.051 s]
/proc/loadavg: 0.96 0.95 0.91 2/64 9288
/proc/meminfo: memFree=1730680/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=27068 CPUtime=90
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 6018 0 0 0 8986 14 0 0 25 0 1 0 188578333 27717632 5933 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 6767 5933 297 55 0 5659 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 27068

[startup+100.057 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 9288
/proc/meminfo: memFree=1729848/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=27860 CPUtime=100.01
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 6221 0 0 0 9985 16 0 0 25 0 1 0 188578333 28528640 6136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542153 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 6965 6136 297 55 0 5857 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 27860

[startup+110.062 s]
/proc/loadavg: 0.97 0.95 0.91 2/64 9288
/proc/meminfo: memFree=1728952/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=28748 CPUtime=110.01
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 6443 0 0 0 10984 17 0 0 25 0 1 0 188578333 29437952 6358 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718272 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 7187 6358 297 55 0 6079 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 28748

[startup+120.068 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 9288
/proc/meminfo: memFree=1728312/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=29408 CPUtime=120.01
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 6600 0 0 0 11983 18 0 0 25 0 1 0 188578333 30113792 6515 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 7352 6515 297 55 0 6244 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 29408

[startup+130.074 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 9288
/proc/meminfo: memFree=1727864/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=29792 CPUtime=130.01
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 6720 0 0 0 12981 20 0 0 25 0 1 0 188578333 30507008 6635 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 7448 6635 297 55 0 6340 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 29792

[startup+140.08 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 9288
/proc/meminfo: memFree=1727544/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=30156 CPUtime=140.01
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 6797 0 0 0 13980 21 0 0 25 0 1 0 188578333 30879744 6712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 7539 6712 297 55 0 6431 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 30156

[startup+150.085 s]
/proc/loadavg: 0.98 0.95 0.91 2/64 9288
/proc/meminfo: memFree=1727288/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=30420 CPUtime=150.02
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 6855 0 0 0 14980 22 0 0 25 0 1 0 188578333 31150080 6770 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 7605 6770 297 55 0 6497 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 30420

[startup+160.091 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 9288
/proc/meminfo: memFree=1726776/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=30920 CPUtime=160.02
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 6996 0 0 0 15979 23 0 0 25 0 1 0 188578333 31662080 6911 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 7730 6911 297 55 0 6622 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 30920

[startup+170.097 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 9288
/proc/meminfo: memFree=1726712/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=31068 CPUtime=170.02
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 7008 0 0 0 16978 24 0 0 25 0 1 0 188578333 31813632 6923 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 7767 6923 297 55 0 6659 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 31068

[startup+180.102 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 9288
/proc/meminfo: memFree=1726328/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=31448 CPUtime=180.03
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 7104 0 0 0 17977 26 0 0 25 0 1 0 188578333 32202752 7019 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 7862 7019 297 55 0 6754 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 31448

[startup+190.108 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 9288
/proc/meminfo: memFree=1725624/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=32108 CPUtime=190.03
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 7271 0 0 0 18976 27 0 0 25 0 1 0 188578333 32878592 7186 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 8027 7186 297 55 0 6919 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 32108

[startup+200.114 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 9288
/proc/meminfo: memFree=1725240/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=32484 CPUtime=200.03
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 7366 0 0 0 19974 29 0 0 25 0 1 0 188578333 33263616 7281 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 8121 7281 297 55 0 7013 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 32484

[startup+210.12 s]
/proc/loadavg: 0.99 0.96 0.91 2/64 9288
/proc/meminfo: memFree=1724984/2055920 swapFree=4182316/4192956

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

/proc/9288/statm: 19258 18365 297 55 0 18150 0
Current children cumulated CPU time (s) 1760.45
Current children cumulated vsize (Kb) 77032

[startup+1771.04 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9290
/proc/meminfo: memFree=1680384/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77280 CPUtime=1770.45
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18494 0 0 0 176851 194 0 0 25 0 1 0 188578333 79134720 18409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19320 18409 297 55 0 18212 0
Current children cumulated CPU time (s) 1770.45
Current children cumulated vsize (Kb) 77280

[startup+1781.05 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9290
/proc/meminfo: memFree=1680320/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77280 CPUtime=1780.45
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18506 0 0 0 177851 194 0 0 25 0 1 0 188578333 79134720 18421 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548521 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19320 18421 297 55 0 18212 0
Current children cumulated CPU time (s) 1780.45
Current children cumulated vsize (Kb) 77280

[startup+1782.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9290
/proc/meminfo: memFree=1680320/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77280 CPUtime=1781.46
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18510 0 0 0 177952 194 0 0 25 0 1 0 188578333 79134720 18425 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19320 18425 297 55 0 18212 0
Current children cumulated CPU time (s) 1781.46
Current children cumulated vsize (Kb) 77280

[startup+1783.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9290
/proc/meminfo: memFree=1680320/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77280 CPUtime=1782.46
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18510 0 0 0 178052 194 0 0 25 0 1 0 188578333 79134720 18425 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548453 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19320 18425 297 55 0 18212 0
Current children cumulated CPU time (s) 1782.46
Current children cumulated vsize (Kb) 77280

[startup+1784.06 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9290
/proc/meminfo: memFree=1680320/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77280 CPUtime=1783.47
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18510 0 0 0 178152 195 0 0 25 0 1 0 188578333 79134720 18425 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632952 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19320 18425 297 55 0 18212 0
Current children cumulated CPU time (s) 1783.47
Current children cumulated vsize (Kb) 77280

[startup+1785.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9290
/proc/meminfo: memFree=1680256/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77280 CPUtime=1784.48
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18514 0 0 0 178253 195 0 0 25 0 1 0 188578333 79134720 18429 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19320 18429 297 55 0 18212 0
Current children cumulated CPU time (s) 1784.48
Current children cumulated vsize (Kb) 77280

[startup+1786.07 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9290
/proc/meminfo: memFree=1680256/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77412 CPUtime=1785.48
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18520 0 0 0 178353 195 0 0 25 0 1 0 188578333 79269888 18435 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19353 18435 297 55 0 18245 0
Current children cumulated CPU time (s) 1785.48
Current children cumulated vsize (Kb) 77412

[startup+1787.08 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9290
/proc/meminfo: memFree=1680256/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77412 CPUtime=1786.48
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18520 0 0 0 178453 195 0 0 25 0 1 0 188578333 79269888 18435 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19353 18435 297 55 0 18245 0
Current children cumulated CPU time (s) 1786.48
Current children cumulated vsize (Kb) 77412

[startup+1788.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9290
/proc/meminfo: memFree=1680256/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77412 CPUtime=1787.49
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18520 0 0 0 178554 195 0 0 25 0 1 0 188578333 79269888 18435 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19353 18435 297 55 0 18245 0
Current children cumulated CPU time (s) 1787.49
Current children cumulated vsize (Kb) 77412

[startup+1789.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9290
/proc/meminfo: memFree=1680256/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77412 CPUtime=1788.49
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18520 0 0 0 178654 195 0 0 25 0 1 0 188578333 79269888 18435 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19353 18435 297 55 0 18245 0
Current children cumulated CPU time (s) 1788.49
Current children cumulated vsize (Kb) 77412

[startup+1790.09 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9290
/proc/meminfo: memFree=1680256/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77412 CPUtime=1789.49
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18521 0 0 0 178754 195 0 0 25 0 1 0 188578333 79269888 18436 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534835 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19353 18436 297 55 0 18245 0
Current children cumulated CPU time (s) 1789.49
Current children cumulated vsize (Kb) 77412

[startup+1791.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9290
/proc/meminfo: memFree=1680256/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77412 CPUtime=1790.5
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18524 0 0 0 178855 195 0 0 25 0 1 0 188578333 79269888 18439 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548617 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19353 18439 297 55 0 18245 0
Current children cumulated CPU time (s) 1790.5
Current children cumulated vsize (Kb) 77412

[startup+1792.1 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9290
/proc/meminfo: memFree=1680192/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77412 CPUtime=1791.51
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18532 0 0 0 178955 196 0 0 25 0 1 0 188578333 79269888 18447 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19353 18447 297 55 0 18245 0
Current children cumulated CPU time (s) 1791.51
Current children cumulated vsize (Kb) 77412

[startup+1793.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9290
/proc/meminfo: memFree=1680128/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77412 CPUtime=1792.51
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18544 0 0 0 179055 196 0 0 25 0 1 0 188578333 79269888 18459 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19353 18459 297 55 0 18245 0
Current children cumulated CPU time (s) 1792.51
Current children cumulated vsize (Kb) 77412

[startup+1794.11 s]
/proc/loadavg: 0.99 0.97 0.91 2/64 9290
/proc/meminfo: memFree=1680128/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77412 CPUtime=1793.52
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18548 0 0 0 179156 196 0 0 25 0 1 0 188578333 79269888 18463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19353 18463 297 55 0 18245 0
Current children cumulated CPU time (s) 1793.52
Current children cumulated vsize (Kb) 77412

[startup+1795.12 s]
/proc/loadavg: 1.07 0.99 0.91 2/64 9290
/proc/meminfo: memFree=1680128/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77412 CPUtime=1794.52
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18548 0 0 0 179256 196 0 0 25 0 1 0 188578333 79269888 18463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548612 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19353 18463 297 55 0 18245 0
Current children cumulated CPU time (s) 1794.52
Current children cumulated vsize (Kb) 77412

[startup+1796.12 s]
/proc/loadavg: 1.07 0.99 0.91 2/64 9290
/proc/meminfo: memFree=1680128/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77412 CPUtime=1795.52
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18548 0 0 0 179356 196 0 0 25 0 1 0 188578333 79269888 18463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19353 18463 297 55 0 18245 0
Current children cumulated CPU time (s) 1795.52
Current children cumulated vsize (Kb) 77412

[startup+1797.13 s]
/proc/loadavg: 1.07 0.99 0.91 2/64 9290
/proc/meminfo: memFree=1680128/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77412 CPUtime=1796.57
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18548 0 0 0 179461 196 0 0 25 0 1 0 188578333 79269888 18463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19353 18463 297 55 0 18245 0
Current children cumulated CPU time (s) 1796.57
Current children cumulated vsize (Kb) 77412

[startup+1798.17 s]
/proc/loadavg: 1.07 0.99 0.91 2/64 9290
/proc/meminfo: memFree=1680128/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77544 CPUtime=1797.57
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18554 0 0 0 179561 196 0 0 25 0 1 0 188578333 79405056 18469 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548609 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19386 18469 297 55 0 18278 0
Current children cumulated CPU time (s) 1797.57
Current children cumulated vsize (Kb) 77544

[startup+1799.18 s]
/proc/loadavg: 1.07 0.99 0.91 2/64 9290
/proc/meminfo: memFree=1680128/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77544 CPUtime=1798.58
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18555 0 0 0 179662 196 0 0 25 0 1 0 188578333 79405056 18470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19386 18470 297 55 0 18278 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (Kb) 77544

[startup+1800.18 s]
/proc/loadavg: 1.07 0.99 0.91 2/64 9290
/proc/meminfo: memFree=1680064/2055920 swapFree=4182316/4192956
[pid=9288] ppid=9286 vsize=77544 CPUtime=1799.58
/proc/9288/stat : 9288 (bsolo) R 9286 9288 9243 0 -1 0 18566 0 0 0 179762 196 0 0 25 0 1 0 188578333 79405056 18481 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/9288/statm: 19386 18481 297 55 0 18278 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (Kb) 77544

Child status: 0
Real time (s): 1800.61
CPU time (s): 1800.02
CPU user time (s): 1798.04
CPU system time (s): 1.9807
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (Kb): 77544

Launcher Data (download as text)

Begin job on node68 on Fri Jun  2 06:18:08 UTC 2006


FILE ID= 39653-1149229088

PBS_JOBID= 296238

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  67169e121732ee6d464f6ac82d33a699

RANDOM SEED= 192349057


/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.279
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.279
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:       1753392 kB
Buffers:          8368 kB
Cached:         230808 kB
SwapCached:       2292 kB
Active:          29328 kB
Inactive:       218440 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1753392 kB
SwapTotal:     4192956 kB
SwapFree:      4182316 kB
Dirty:             160 kB
Writeback:           0 kB
Mapped:          15568 kB
Slab:            40812 kB
Committed_AS:   209224 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node68 on Fri Jun  2 06:48:09 UTC 2006