PB'05 competition: run trace

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 in four parts:
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 provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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 1200 seconds. 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 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
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.
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.
General information on the benchmark

Name	normalized-opb/submitted/aloul/FPGA_SAT05/normalized-fpga25_23_sat_pb.cnf.cr.opb
MD5SUM	002d92124dd96ccf471b7e05fe08f2d6
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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 numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.252961
Number of variables	863
Total number of constraints	646
Number of constraints which are clauses	598
Number of constraints which are cardinality constraints (but not clauses)	48
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 39419

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 09:10:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27485 boxname=wulflinc3 idbench=43 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  002d92124dd96ccf471b7e05fe08f2d6  /oldhome/oroussel/tmp/wulflinc3/normalized-fpga25_23_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-fpga25_23_sat_pb.cnf.cr.opb
IDLAUNCH: 27485
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        279928 kB
Buffers:         34004 kB
Cached:         697436 kB
SwapCached:        240 kB
Active:          63584 kB
Inactive:       670320 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        279676 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15128 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 09:29:47 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 27485 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 863 variables and 646 constraints.
c After prepocess the problem consists of 863 variables and 646 constraints.
c preprocess terminated 0.871 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.98 0.94 1/54 8910
Raw data (stat): 8910 (runsolver) R 8909 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891796240 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 1772 0 0 0 992 5 0 0 25 0 1 0 891796240 10346496 1690 4294967295 134512640 134716908 3221224560 3221223140 134549797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2526 1690 1111 63 0 2463 0
vsize: 10104
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 2018 0 0 0 1990 7 0 0 25 0 1 0 891796240 11415552 1936 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2787 1936 1111 63 0 2724 0
vsize: 11148
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 2148 0 0 0 2988 9 0 0 25 0 1 0 891796240 11952128 2066 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2918 2066 1111 63 0 2855 0
vsize: 11672
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 2255 0 0 0 3988 10 0 0 25 0 1 0 891796240 12357632 2173 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3017 2173 1111 63 0 2954 0
vsize: 12068
[startup+50.0057 s]
Raw data (loadavg): 0.96 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 2475 0 0 0 4987 12 0 0 25 0 1 0 891796240 13303808 2393 4294967295 134512640 134716908 3221224560 3221223228 134543056 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3248 2393 1111 63 0 3185 0
vsize: 12992
[startup+60.0058 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 2475 0 0 0 5986 12 0 0 25 0 1 0 891796240 13127680 2380 4294967295 134512640 134716908 3221224560 3221223296 134523959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3205 2380 1111 63 0 3142 0
vsize: 12820
[startup+70.0064 s]
Raw data (loadavg): 0.97 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 2537 0 0 0 6985 14 0 0 25 0 1 0 891796240 13385728 2442 4294967295 134512640 134716908 3221224560 3221223200 134613434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 2442 1111 63 0 3205 0
vsize: 13072
[startup+80.0066 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 2537 0 0 0 7985 14 0 0 25 0 1 0 891796240 13385728 2442 4294967295 134512640 134716908 3221224560 3221223192 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 2442 1111 63 0 3205 0
vsize: 13072
[startup+90.0077 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 2564 0 0 0 8984 15 0 0 25 0 1 0 891796240 13520896 2469 4294967295 134512640 134716908 3221224560 3221223184 134698638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3301 2469 1111 63 0 3238 0
vsize: 13204
[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 2986 0 0 0 9982 17 0 0 25 0 1 0 891796240 15278080 2891 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3730 2891 1111 63 0 3667 0
vsize: 14920
[startup+110.008 s]
Raw data (loadavg): 0.98 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 3498 0 0 0 10979 20 0 0 25 0 1 0 891796240 17432576 3403 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4256 3403 1111 63 0 4193 0
vsize: 17024
[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 3869 0 0 0 11977 22 0 0 25 0 1 0 891796240 18919424 3774 4294967295 134512640 134716908 3221224560 3221223108 134699062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4619 3774 1111 63 0 4556 0
vsize: 18476
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 4347 0 0 0 12975 25 0 0 25 0 1 0 891796240 20811776 4252 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4252 1111 63 0 5018 0
vsize: 20324
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 4716 0 0 0 13972 28 0 0 25 0 1 0 891796240 22425600 4621 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5475 4621 1111 63 0 5412 0
vsize: 21900
[startup+150.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 5024 0 0 0 14971 30 0 0 25 0 1 0 891796240 23642112 4929 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5772 4929 1111 63 0 5709 0
vsize: 23088
[startup+160.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 5071 0 0 0 15970 31 0 0 25 0 1 0 891796240 23777280 4976 4294967295 134512640 134716908 3221224560 3221223180 134613768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5805 4976 1111 63 0 5742 0
vsize: 23220
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 5104 0 0 0 16969 32 0 0 25 0 1 0 891796240 23912448 5009 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5838 5009 1111 63 0 5775 0
vsize: 23352
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 5158 0 0 0 17967 33 0 0 25 0 1 0 891796240 24182784 5063 4294967295 134512640 134716908 3221224560 3221223132 134535988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5904 5063 1111 63 0 5841 0
vsize: 23616
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 5190 0 0 0 18967 34 0 0 25 0 1 0 891796240 24317952 5095 4294967295 134512640 134716908 3221224560 3221223144 134549705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5937 5095 1111 63 0 5874 0
vsize: 23748
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 5240 0 0 0 19966 35 0 0 25 0 1 0 891796240 24588288 5145 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6003 5145 1111 63 0 5940 0
vsize: 24012
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 5303 0 0 0 20965 36 0 0 25 0 1 0 891796240 24842240 5208 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 5208 1111 63 0 6002 0
vsize: 24260
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 5343 0 0 0 21963 38 0 0 25 0 1 0 891796240 24977408 5248 4294967295 134512640 134716908 3221224560 3221223224 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6098 5248 1111 63 0 6035 0
vsize: 24392
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 5688 0 0 0 22962 40 0 0 25 0 1 0 891796240 26292224 5593 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6419 5593 1111 63 0 6356 0
vsize: 25676
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 5945 0 0 0 23960 42 0 0 25 0 1 0 891796240 27373568 5850 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6683 5850 1111 63 0 6620 0
vsize: 26732
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 6153 0 0 0 24959 43 0 0 25 0 1 0 891796240 28319744 6058 4294967295 134512640 134716908 3221224560 3221223296 134535735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6914 6058 1111 63 0 6851 0
vsize: 27656
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 6243 0 0 0 25958 45 0 0 25 0 1 0 891796240 28590080 6148 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6980 6148 1111 63 0 6917 0
vsize: 27920
[startup+270.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 6317 0 0 0 26956 46 0 0 25 0 1 0 891796240 28987392 6222 4294967295 134512640 134716908 3221224560 3221223192 134536668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7077 6222 1111 63 0 7014 0
vsize: 28308
[startup+280.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 6386 0 0 0 27955 48 0 0 25 0 1 0 891796240 29257728 6291 4294967295 134512640 134716908 3221224560 3221223148 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7143 6291 1111 63 0 7080 0
vsize: 28572
[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 6515 0 0 0 28954 49 0 0 25 0 1 0 891796240 29798400 6420 4294967295 134512640 134716908 3221224560 3221223296 134529145 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7275 6420 1111 63 0 7212 0
vsize: 29100
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 6628 0 0 0 29953 50 0 0 25 0 1 0 891796240 30199808 6533 4294967295 134512640 134716908 3221224560 3221223188 134698595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7373 6533 1111 63 0 7310 0
vsize: 29492
[startup+310.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 7026 0 0 0 30951 52 0 0 25 0 1 0 891796240 31801344 6931 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7764 6931 1111 63 0 7701 0
vsize: 31056
[startup+320.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 7122 0 0 0 31950 54 0 0 25 0 1 0 891796240 32206848 7027 4294967295 134512640 134716908 3221224560 3221223324 134552560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7863 7027 1111 63 0 7800 0
vsize: 31452
[startup+330.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 7390 0 0 0 32948 56 0 0 25 0 1 0 891796240 33284096 7295 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8126 7295 1111 63 0 8063 0
vsize: 32504
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 7649 0 0 0 33946 58 0 0 25 0 1 0 891796240 34344960 7554 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8385 7555 1111 63 0 8322 0
vsize: 33540
[startup+350.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 7793 0 0 0 34944 60 0 0 25 0 1 0 891796240 35020800 7698 4294967295 134512640 134716908 3221224560 3221223104 134539213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8550 7698 1111 63 0 8487 0
vsize: 34200
[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 7885 0 0 0 35943 61 0 0 25 0 1 0 891796240 35426304 7790 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8649 7790 1111 63 0 8586 0
vsize: 34596
[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 8112 0 0 0 36942 63 0 0 25 0 1 0 891796240 36229120 8017 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8845 8017 1111 63 0 8782 0
vsize: 35380
[startup+380.017 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 8288 0 0 0 37941 64 0 0 25 0 1 0 891796240 37040128 8193 4294967295 134512640 134716908 3221224560 3221223212 134536845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9043 8193 1111 63 0 8980 0
vsize: 36172
[startup+390.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 8358 0 0 0 38939 65 0 0 25 0 1 0 891796240 37302272 8263 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9107 8263 1111 63 0 9044 0
vsize: 36428
[startup+400.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 8432 0 0 0 39939 66 0 0 25 0 1 0 891796240 37572608 8337 4294967295 134512640 134716908 3221224560 3221223196 1076647540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9173 8337 1111 63 0 9110 0
vsize: 36692
[startup+410.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 8562 0 0 0 40937 68 0 0 25 0 1 0 891796240 38105088 8467 4294967295 134512640 134716908 3221224560 3221223384 134590015 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9303 8467 1111 63 0 9240 0
vsize: 37212
[startup+420.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 8676 0 0 0 41935 70 0 0 25 0 1 0 891796240 38645760 8581 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9435 8581 1111 63 0 9372 0
vsize: 37740
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 8743 0 0 0 42934 71 0 0 25 0 1 0 891796240 38903808 8648 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9498 8648 1111 63 0 9435 0
vsize: 37992
[startup+440.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 8807 0 0 0 43934 72 0 0 25 0 1 0 891796240 39174144 8712 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9564 8712 1111 63 0 9501 0
vsize: 38256
[startup+450.019 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 8880 0 0 0 44933 73 0 0 25 0 1 0 891796240 39444480 8785 4294967295 134512640 134716908 3221224560 3221223276 134551979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9630 8785 1111 63 0 9567 0
vsize: 38520
[startup+460.02 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 9116 0 0 0 45931 75 0 0 25 0 1 0 891796240 40374272 9021 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9857 9021 1111 63 0 9794 0
vsize: 39428
[startup+470.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 9187 0 0 0 46929 77 0 0 25 0 1 0 891796240 40644608 9092 4294967295 134512640 134716908 3221224560 3221223216 134523856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9923 9092 1111 63 0 9860 0
vsize: 39692
[startup+480.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 9249 0 0 0 47929 77 0 0 25 0 1 0 891796240 40914944 9154 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9989 9154 1111 63 0 9926 0
vsize: 39956
[startup+490.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 9284 0 0 0 48928 78 0 0 25 0 1 0 891796240 41041920 9189 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10020 9189 1111 63 0 9957 0
vsize: 40080
[startup+500.021 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 9316 0 0 0 49928 79 0 0 25 0 1 0 891796240 41164800 9221 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10050 9221 1111 63 0 9987 0
vsize: 40200
[startup+510.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 9428 0 0 0 50928 79 0 0 25 0 1 0 891796240 41705472 9333 4294967295 134512640 134716908 3221224560 3221223168 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10182 9333 1111 63 0 10119 0
vsize: 40728
[startup+520.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 9668 0 0 0 51926 81 0 0 25 0 1 0 891796240 42651648 9573 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10413 9573 1111 63 0 10350 0
vsize: 41652
[startup+530.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 10040 0 0 0 52924 83 0 0 25 0 1 0 891796240 44138496 9945 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10776 9945 1111 63 0 10713 0
vsize: 43104
[startup+540.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 10242 0 0 0 53924 84 0 0 25 0 1 0 891796240 45080576 10147 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11006 10147 1111 63 0 10943 0
vsize: 44024
[startup+550.023 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 10393 0 0 0 54922 85 0 0 25 0 1 0 891796240 45613056 10298 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11136 10298 1111 63 0 11073 0
vsize: 44544
[startup+560.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 10521 0 0 0 55921 87 0 0 25 0 1 0 891796240 46153728 10426 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11268 10426 1111 63 0 11205 0
vsize: 45072
[startup+570.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 10599 0 0 0 56920 88 0 0 25 0 1 0 891796240 46546944 10504 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11364 10504 1111 63 0 11301 0
vsize: 45456
[startup+580.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 10754 0 0 0 57919 89 0 0 25 0 1 0 891796240 47087616 10659 4294967295 134512640 134716908 3221224560 3221223144 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11496 10659 1111 63 0 11433 0
vsize: 45984
[startup+590.024 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 10919 0 0 0 58918 91 0 0 25 0 1 0 891796240 47763456 10824 4294967295 134512640 134716908 3221224560 3221223344 134529301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11661 10824 1111 63 0 11598 0
vsize: 46644
[startup+600.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 11034 0 0 0 59917 92 0 0 25 0 1 0 891796240 48304128 10939 4294967295 134512640 134716908 3221224560 3221223248 134528712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11793 10939 1111 63 0 11730 0
vsize: 47172
[startup+610.025 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 11114 0 0 0 60916 93 0 0 25 0 1 0 891796240 48574464 11019 4294967295 134512640 134716908 3221224560 3221223172 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11859 11019 1111 63 0 11796 0
vsize: 47436
[startup+620.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 11189 0 0 0 61915 94 0 0 25 0 1 0 891796240 48844800 11094 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11925 11094 1111 63 0 11862 0
vsize: 47700
[startup+630.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 11230 0 0 0 62914 95 0 0 25 0 1 0 891796240 49106944 11135 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11989 11135 1111 63 0 11926 0
vsize: 47956
[startup+640.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 11256 0 0 0 63913 96 0 0 25 0 1 0 891796240 49242112 11161 4294967295 134512640 134716908 3221224560 3221223344 134529240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12022 11161 1111 63 0 11959 0
vsize: 48088
[startup+650.026 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 11358 0 0 0 64912 98 0 0 25 0 1 0 891796240 49635328 11263 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12118 11263 1111 63 0 12055 0
vsize: 48472
[startup+660.027 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 11428 0 0 0 65911 99 0 0 25 0 1 0 891796240 49905664 11333 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12184 11333 1111 63 0 12121 0
vsize: 48736
[startup+670.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 11488 0 0 0 66911 100 0 0 25 0 1 0 891796240 50176000 11393 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12250 11393 1111 63 0 12187 0
vsize: 49000
[startup+680.028 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 11676 0 0 0 67909 101 0 0 25 0 1 0 891796240 50851840 11581 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12415 11581 1111 63 0 12352 0
vsize: 49660
[startup+690.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 11853 0 0 0 68908 102 0 0 25 0 1 0 891796240 51654656 11758 4294967295 134512640 134716908 3221224560 3221222656 134699618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12611 11758 1111 63 0 12548 0
vsize: 50444
[startup+700.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 11950 0 0 0 69907 103 0 0 25 0 1 0 891796240 52047872 11855 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12707 11855 1111 63 0 12644 0
vsize: 50828
[startup+710.029 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 12203 0 0 0 70906 105 0 0 25 0 1 0 891796240 53125120 12108 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12970 12108 1111 63 0 12907 0
vsize: 51880
[startup+720.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 12362 0 0 0 71905 106 0 0 25 0 1 0 891796240 53665792 12267 4294967295 134512640 134716908 3221224560 3221223184 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13102 12267 1111 63 0 13039 0
vsize: 52408
[startup+730.03 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 12479 0 0 0 72904 107 0 0 25 0 1 0 891796240 54206464 12384 4294967295 134512640 134716908 3221224560 3221223164 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13234 12384 1111 63 0 13171 0
vsize: 52936
[startup+740.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 12672 0 0 0 73903 109 0 0 25 0 1 0 891796240 55017472 12577 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13432 12577 1111 63 0 13369 0
vsize: 53728
[startup+750.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 12796 0 0 0 74902 110 0 0 25 0 1 0 891796240 55558144 12701 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13564 12701 1111 63 0 13501 0
vsize: 54256
[startup+760.031 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 12930 0 0 0 75900 112 0 0 25 0 1 0 891796240 56098816 12835 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13696 12835 1111 63 0 13633 0
vsize: 54784
[startup+770.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 12971 0 0 0 76900 113 0 0 25 0 1 0 891796240 56225792 12876 4294967295 134512640 134716908 3221224560 3221222720 134699851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13727 12876 1111 63 0 13664 0
vsize: 54908
[startup+780.032 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13097 0 0 0 77898 114 0 0 25 0 1 0 891796240 56758272 13002 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13857 13002 1111 63 0 13794 0
vsize: 55428
[startup+790.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13163 0 0 0 78898 115 0 0 25 0 1 0 891796240 57028608 13068 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13923 13068 1111 63 0 13860 0
vsize: 55692
[startup+800.033 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13196 0 0 0 79896 117 0 0 25 0 1 0 891796240 57131008 13101 4294967295 134512640 134716908 3221224560 3221223232 134524431 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13948 13101 1111 63 0 13885 0
vsize: 55792
[startup+810.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13254 0 0 0 80895 118 0 0 25 0 1 0 891796240 57401344 13159 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14014 13159 1111 63 0 13951 0
vsize: 56056
[startup+820.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13324 0 0 0 81894 119 0 0 25 0 1 0 891796240 57655296 13229 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14076 13229 1111 63 0 14013 0
vsize: 56304
[startup+830.034 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13355 0 0 0 82893 120 0 0 25 0 1 0 891796240 57786368 13260 4294967295 134512640 134716908 3221224560 3221223200 134542892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14108 13260 1111 63 0 14045 0
vsize: 56432
[startup+840.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13367 0 0 0 83893 121 0 0 25 0 1 0 891796240 57786368 13272 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14108 13272 1111 63 0 14045 0
vsize: 56432
[startup+850.035 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13385 0 0 0 84891 122 0 0 25 0 1 0 891796240 57921536 13290 4294967295 134512640 134716908 3221224560 3221222976 134699762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14141 13290 1111 63 0 14078 0
vsize: 56564
[startup+860.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13407 0 0 0 85891 123 0 0 25 0 1 0 891796240 58056704 13312 4294967295 134512640 134716908 3221224560 3221223232 134594375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14174 13312 1111 63 0 14111 0
vsize: 56696
[startup+870.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13489 0 0 0 86889 125 0 0 25 0 1 0 891796240 58302464 13394 4294967295 134512640 134716908 3221224560 3221223304 134551624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14234 13394 1111 63 0 14171 0
vsize: 56936
[startup+880.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13527 0 0 0 87889 126 0 0 25 0 1 0 891796240 58437632 13432 4294967295 134512640 134716908 3221224560 3221222972 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14267 13432 1111 63 0 14204 0
vsize: 57068
[startup+890.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13553 0 0 0 88888 127 0 0 25 0 1 0 891796240 58564608 13458 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14298 13458 1111 63 0 14235 0
vsize: 57192
[startup+900.036 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13579 0 0 0 89887 128 0 0 25 0 1 0 891796240 58691584 13484 4294967295 134512640 134716908 3221224560 3221223048 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14329 13484 1111 63 0 14266 0
vsize: 57316
[startup+910.037 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13603 0 0 0 90887 128 0 0 25 0 1 0 891796240 58826752 13508 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 13508 1111 63 0 14299 0
vsize: 57448
[startup+920.037 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13603 0 0 0 91886 129 0 0 25 0 1 0 891796240 58826752 13508 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 13508 1111 63 0 14299 0
vsize: 57448
[startup+930.037 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13622 0 0 0 92886 130 0 0 25 0 1 0 891796240 58961920 13527 4294967295 134512640 134716908 3221224560 3221223216 134536594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14395 13527 1111 63 0 14332 0
vsize: 57580
[startup+940.037 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13641 0 0 0 93885 131 0 0 25 0 1 0 891796240 58953728 13546 4294967295 134512640 134716908 3221224560 3221223060 134699868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14393 13546 1111 63 0 14330 0
vsize: 57572
[startup+950.038 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13661 0 0 0 94884 131 0 0 25 0 1 0 891796240 59088896 13566 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14426 13566 1111 63 0 14363 0
vsize: 57704
[startup+960.038 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13665 0 0 0 95883 133 0 0 25 0 1 0 891796240 59088896 13570 4294967295 134512640 134716908 3221224560 3221223184 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14426 13570 1111 63 0 14363 0
vsize: 57704
[startup+970.039 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13689 0 0 0 96883 133 0 0 25 0 1 0 891796240 59224064 13594 4294967295 134512640 134716908 3221224560 3221223328 134529381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14459 13594 1111 63 0 14396 0
vsize: 57836
[startup+980.039 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13698 0 0 0 97882 135 0 0 25 0 1 0 891796240 59224064 13603 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14459 13603 1111 63 0 14396 0
vsize: 57836
[startup+990.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13717 0 0 0 98881 135 0 0 25 0 1 0 891796240 59359232 13622 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14492 13622 1111 63 0 14429 0
vsize: 57968
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13736 0 0 0 99880 137 0 0 25 0 1 0 891796240 59359232 13641 4294967295 134512640 134716908 3221224560 3221223324 134552579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14492 13641 1111 63 0 14429 0
vsize: 57968
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13779 0 0 0 100879 138 0 0 25 0 1 0 891796240 59617280 13684 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14555 13684 1111 63 0 14492 0
vsize: 58220
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13796 0 0 0 101879 138 0 0 25 0 1 0 891796240 59617280 13701 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14555 13701 1111 63 0 14492 0
vsize: 58220
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13798 0 0 0 102878 139 0 0 25 0 1 0 891796240 59617280 13703 4294967295 134512640 134716908 3221224560 3221222956 1077379869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14555 13703 1111 63 0 14492 0
vsize: 58220
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.94 3/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13808 0 0 0 103878 139 0 0 25 0 1 0 891796240 59756544 13713 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14589 13713 1111 63 0 14526 0
vsize: 58356
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13813 0 0 0 104877 140 0 0 25 0 1 0 891796240 59756544 13718 4294967295 134512640 134716908 3221224560 3221223216 134524376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14589 13718 1111 63 0 14526 0
vsize: 58356
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13864 0 0 0 105877 141 0 0 25 0 1 0 891796240 59891712 13769 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14622 13769 1111 63 0 14559 0
vsize: 58488
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.94 3/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13885 0 0 0 106877 141 0 0 25 0 1 0 891796240 60026880 13790 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14655 13790 1111 63 0 14592 0
vsize: 58620
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13905 0 0 0 107876 142 0 0 25 0 1 0 891796240 60162048 13810 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14688 13810 1111 63 0 14625 0
vsize: 58752
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 13990 0 0 0 108876 143 0 0 25 0 1 0 891796240 60432384 13895 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14754 13895 1111 63 0 14691 0
vsize: 59016
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 14278 0 0 0 109874 144 0 0 25 0 1 0 891796240 61644800 14183 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15050 14183 1111 63 0 14987 0
vsize: 60200
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 14437 0 0 0 110873 146 0 0 25 0 1 0 891796240 62320640 14342 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15215 14342 1111 63 0 15152 0
vsize: 60860
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 14603 0 0 0 111871 148 0 0 25 0 1 0 891796240 62980096 14508 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15376 14508 1111 63 0 15313 0
vsize: 61504
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 14702 0 0 0 112870 150 0 0 25 0 1 0 891796240 63385600 14607 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15475 14607 1111 63 0 15412 0
vsize: 61900
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 14781 0 0 0 113869 151 0 0 25 0 1 0 891796240 63655936 14686 4294967295 134512640 134716908 3221224560 3221223328 134529138 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15541 14686 1111 63 0 15478 0
vsize: 62164
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 15055 0 0 0 114867 152 0 0 25 0 1 0 891796240 64839680 14960 4294967295 134512640 134716908 3221224560 3221223248 134551887 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15830 14960 1111 63 0 15767 0
vsize: 63320
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 15194 0 0 0 115866 153 0 0 25 0 1 0 891796240 65355776 15099 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15956 15099 1111 63 0 15893 0
vsize: 63824
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.94 2/54 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 15324 0 0 0 116865 155 0 0 25 0 1 0 891796240 65896448 15229 4294967295 134512640 134716908 3221224560 3221222972 1077379898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16088 15229 1111 63 0 16025 0
vsize: 64352
[startup+1174.88 s]
Raw data (loadavg): 0.99 0.98 0.94 1/53 8910
Raw data (stat): 8910 (bsolo_lpr-v2) R 8909 20224 20223 0 -1 0 15324 0 0 0 116865 155 0 0 25 0 1 0 891796240 65896448 15229 4294967295 134512640 134716908 3221224560 3221222972 1077379898 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16088 15229 1111 63 0 16025 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.04
CPU user time (s): 1173.45
CPU system time (s): 1.58876
CPU usage (%): 100.014
Max. virtual memory (Kb): 64352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####