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-fpga45_43_sat_pb.cnf.cr.opb
MD5SUM	f711bed5ebfe5c735a8c12d953afb97c
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	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.61454
Number of variables	2903
Total number of constraints	2066
Number of constraints which are clauses	1978
Number of constraints which are cardinality constraints (but not clauses)	88
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 39433

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 09:49:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27497 boxname=wulflinc3 idbench=55 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  f711bed5ebfe5c735a8c12d953afb97c  /oldhome/oroussel/tmp/wulflinc3/normalized-fpga45_43_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-fpga45_43_sat_pb.cnf.cr.opb
IDLAUNCH: 27497
/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:        278592 kB
Buffers:         34036 kB
Cached:         698492 kB
SwapCached:        240 kB
Active:          63972 kB
Inactive:       671004 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        278340 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15364 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 10:09:13 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 27497 7 1175.02 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 2903 variables and 2066 constraints.
c After prepocess the problem consists of 2903 variables and 2066 constraints.
c preprocess terminated 8.128 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.91 0.95 0.92 1/54 9096
Raw data (stat): 9096 (runsolver) R 9095 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892032838 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.0009 s]
Raw data (loadavg): 0.93 0.95 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2220 0 0 0 991 6 0 0 25 0 1 0 892032838 12300288 2138 4294967295 134512640 134716908 3221224560 3221223248 134594336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3003 2138 1111 63 0 2940 0
vsize: 12012
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2305 0 0 0 1989 8 0 0 25 0 1 0 892032838 12570624 2223 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3069 2223 1111 63 0 3006 0
vsize: 12276
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2360 0 0 0 2988 10 0 0 25 0 1 0 892032838 12804096 2278 4294967295 134512640 134716908 3221224560 3221223284 1076647544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3126 2278 1111 63 0 3063 0
vsize: 12504
[startup+40.0021 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2406 0 0 0 3987 11 0 0 25 0 1 0 892032838 13074432 2324 4294967295 134512640 134716908 3221224560 3221223200 134698321 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3192 2324 1111 63 0 3129 0
vsize: 12768
[startup+50.002 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2451 0 0 0 4986 12 0 0 25 0 1 0 892032838 13209600 2369 4294967295 134512640 134716908 3221224560 3221223312 134592443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3225 2369 1111 63 0 3162 0
vsize: 12900
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2482 0 0 0 5984 14 0 0 25 0 1 0 892032838 13344768 2400 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3258 2400 1111 63 0 3195 0
vsize: 13032
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2495 0 0 0 6982 15 0 0 25 0 1 0 892032838 13344768 2413 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3258 2413 1111 63 0 3195 0
vsize: 13032
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2510 0 0 0 7981 17 0 0 25 0 1 0 892032838 13479936 2428 4294967295 134512640 134716908 3221224560 3221223256 134528705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3291 2428 1111 63 0 3228 0
vsize: 13164
[startup+90.0036 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2545 0 0 0 8980 18 0 0 25 0 1 0 892032838 13615104 2463 4294967295 134512640 134716908 3221224560 3221223252 134524465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3324 2463 1111 63 0 3261 0
vsize: 13296
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2593 0 0 0 9978 19 0 0 25 0 1 0 892032838 13733888 2511 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3353 2511 1111 63 0 3290 0
vsize: 13412
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2641 0 0 0 10977 21 0 0 25 0 1 0 892032838 13996032 2559 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3417 2559 1111 63 0 3354 0
vsize: 13668
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2694 0 0 0 11976 22 0 0 25 0 1 0 892032838 14200832 2612 4294967295 134512640 134716908 3221224560 3221223308 134558545 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3467 2612 1111 63 0 3404 0
vsize: 13868
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2740 0 0 0 12974 24 0 0 25 0 1 0 892032838 14336000 2658 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3500 2658 1111 63 0 3437 0
vsize: 14000
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2752 0 0 0 13972 26 0 0 25 0 1 0 892032838 14471168 2670 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3533 2670 1111 63 0 3470 0
vsize: 14132
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2801 0 0 0 14971 28 0 0 25 0 1 0 892032838 14606336 2719 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3566 2719 1111 63 0 3503 0
vsize: 14264
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2841 0 0 0 15969 30 0 0 25 0 1 0 892032838 14741504 2759 4294967295 134512640 134716908 3221224560 3221223264 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3599 2759 1111 63 0 3536 0
vsize: 14396
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2855 0 0 0 16969 31 0 0 25 0 1 0 892032838 14876672 2773 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3632 2773 1111 63 0 3569 0
vsize: 14528
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2879 0 0 0 17967 32 0 0 25 0 1 0 892032838 14917632 2797 4294967295 134512640 134716908 3221224560 3221223296 134534154 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3642 2797 1111 63 0 3579 0
vsize: 14568
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2915 0 0 0 18966 34 0 0 25 0 1 0 892032838 15052800 2833 4294967295 134512640 134716908 3221224560 3221223320 134592433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3675 2833 1111 63 0 3612 0
vsize: 14700
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2938 0 0 0 19965 35 0 0 25 0 1 0 892032838 15187968 2856 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3708 2856 1111 63 0 3645 0
vsize: 14832
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2952 0 0 0 20964 36 0 0 25 0 1 0 892032838 15187968 2870 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3708 2870 1111 63 0 3645 0
vsize: 14832
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2978 0 0 0 21963 37 0 0 25 0 1 0 892032838 15323136 2896 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3741 2896 1111 63 0 3678 0
vsize: 14964
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2988 0 0 0 22962 39 0 0 25 0 1 0 892032838 15458304 2906 4294967295 134512640 134716908 3221224560 3221223168 134548659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3774 2906 1111 63 0 3711 0
vsize: 15096
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2988 0 0 0 23961 40 0 0 25 0 1 0 892032838 15458304 2906 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3774 2906 1111 63 0 3711 0
vsize: 15096
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2988 0 0 0 24960 41 0 0 25 0 1 0 892032838 15458304 2906 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3774 2906 1111 63 0 3711 0
vsize: 15096
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 2988 0 0 0 25958 43 0 0 25 0 1 0 892032838 15413248 2906 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3763 2906 1111 63 0 3700 0
vsize: 15052
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3011 0 0 0 26957 44 0 0 25 0 1 0 892032838 15548416 2929 4294967295 134512640 134716908 3221224560 3221223148 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3796 2929 1111 63 0 3733 0
vsize: 15184
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3011 0 0 0 27956 46 0 0 25 0 1 0 892032838 15548416 2929 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3796 2929 1111 63 0 3733 0
vsize: 15184
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3016 0 0 0 28954 48 0 0 25 0 1 0 892032838 15548416 2934 4294967295 134512640 134716908 3221224560 3221223128 1077377501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3796 2934 1111 63 0 3733 0
vsize: 15184
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3030 0 0 0 29953 49 0 0 25 0 1 0 892032838 15548416 2948 4294967295 134512640 134716908 3221224560 3221223248 134524412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3796 2948 1111 63 0 3733 0
vsize: 15184
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3068 0 0 0 30952 50 0 0 25 0 1 0 892032838 15683584 2986 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3829 2986 1111 63 0 3766 0
vsize: 15316
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3079 0 0 0 31951 51 0 0 25 0 1 0 892032838 15814656 2997 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3861 2997 1111 63 0 3798 0
vsize: 15444
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3081 0 0 0 32950 52 0 0 25 0 1 0 892032838 15814656 2999 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3861 2999 1111 63 0 3798 0
vsize: 15444
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3103 0 0 0 33949 54 0 0 25 0 1 0 892032838 15814656 3021 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3861 3021 1111 63 0 3798 0
vsize: 15444
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3103 0 0 0 34948 55 0 0 25 0 1 0 892032838 15814656 3021 4294967295 134512640 134716908 3221224560 3221223200 134698337 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3861 3021 1111 63 0 3798 0
vsize: 15444
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3103 0 0 0 35946 57 0 0 25 0 1 0 892032838 15814656 3021 4294967295 134512640 134716908 3221224560 3221223180 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3861 3021 1111 63 0 3798 0
vsize: 15444
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3126 0 0 0 36945 58 0 0 25 0 1 0 892032838 15941632 3044 4294967295 134512640 134716908 3221224560 3221223184 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3044 1111 63 0 3829 0
vsize: 15568
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3126 0 0 0 37944 59 0 0 25 0 1 0 892032838 15941632 3044 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3044 1111 63 0 3829 0
vsize: 15568
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3126 0 0 0 38944 60 0 0 25 0 1 0 892032838 15941632 3044 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 3044 1111 63 0 3829 0
vsize: 15568
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3152 0 0 0 39942 61 0 0 25 0 1 0 892032838 16076800 3070 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3925 3070 1111 63 0 3862 0
vsize: 15700
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3164 0 0 0 40941 63 0 0 25 0 1 0 892032838 16076800 3082 4294967295 134512640 134716908 3221224560 3221223152 134698707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3925 3082 1111 63 0 3862 0
vsize: 15700
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3187 0 0 0 41940 64 0 0 25 0 1 0 892032838 16211968 3105 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3958 3105 1111 63 0 3895 0
vsize: 15832
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3187 0 0 0 42939 65 0 0 25 0 1 0 892032838 16211968 3105 4294967295 134512640 134716908 3221224560 3221223136 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3958 3105 1111 63 0 3895 0
vsize: 15832
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3193 0 0 0 43938 67 0 0 25 0 1 0 892032838 16211968 3111 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3958 3111 1111 63 0 3895 0
vsize: 15832
[startup+450.014 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3210 0 0 0 44937 68 0 0 25 0 1 0 892032838 16347136 3128 4294967295 134512640 134716908 3221224560 3221223232 134524431 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3991 3128 1111 63 0 3928 0
vsize: 15964
[startup+460.014 s]
Raw data (loadavg): 1.14 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3232 0 0 0 45936 69 0 0 25 0 1 0 892032838 16347136 3150 4294967295 134512640 134716908 3221224560 3221223324 134552684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3991 3150 1111 63 0 3928 0
vsize: 15964
[startup+470.015 s]
Raw data (loadavg): 1.11 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3258 0 0 0 46933 72 0 0 25 0 1 0 892032838 16482304 3176 4294967295 134512640 134716908 3221224560 3221223200 134539576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4024 3176 1111 63 0 3961 0
vsize: 16096
[startup+480.015 s]
Raw data (loadavg): 1.10 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3284 0 0 0 47932 73 0 0 25 0 1 0 892032838 16674816 3202 4294967295 134512640 134716908 3221224560 3221223292 134543835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4071 3202 1111 63 0 4008 0
vsize: 16284
[startup+490.015 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3318 0 0 0 48931 75 0 0 25 0 1 0 892032838 16809984 3236 4294967295 134512640 134716908 3221224560 3221223136 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4104 3236 1111 63 0 4041 0
vsize: 16416
[startup+500.016 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3323 0 0 0 49930 76 0 0 25 0 1 0 892032838 16809984 3241 4294967295 134512640 134716908 3221224560 3221223308 134558496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4104 3241 1111 63 0 4041 0
vsize: 16416
[startup+510.016 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3353 0 0 0 50929 77 0 0 25 0 1 0 892032838 16945152 3271 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4137 3271 1111 63 0 4074 0
vsize: 16548
[startup+520.016 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3367 0 0 0 51928 79 0 0 25 0 1 0 892032838 16945152 3285 4294967295 134512640 134716908 3221224560 3221223264 134528438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4137 3285 1111 63 0 4074 0
vsize: 16548
[startup+530.016 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3397 0 0 0 52927 79 0 0 25 0 1 0 892032838 17080320 3315 4294967295 134512640 134716908 3221224560 3221223344 134529240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4170 3315 1111 63 0 4107 0
vsize: 16680
[startup+540.016 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3397 0 0 0 53925 81 0 0 25 0 1 0 892032838 17080320 3315 4294967295 134512640 134716908 3221224560 3221223280 134584759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4170 3315 1111 63 0 4107 0
vsize: 16680
[startup+550.017 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3397 0 0 0 54924 82 0 0 25 0 1 0 892032838 17080320 3315 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4170 3315 1111 63 0 4107 0
vsize: 16680
[startup+560.017 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3397 0 0 0 55923 84 0 0 25 0 1 0 892032838 17076224 3315 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4169 3315 1111 63 0 4106 0
vsize: 16676
[startup+570.018 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3445 0 0 0 56921 86 0 0 25 0 1 0 892032838 17211392 3363 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+580.018 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3445 0 0 0 57920 87 0 0 25 0 1 0 892032838 17211392 3363 4294967295 134512640 134716908 3221224560 3221223200 134698450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+590.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3445 0 0 0 58919 88 0 0 25 0 1 0 892032838 17211392 3363 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+600.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3445 0 0 0 59917 90 0 0 25 0 1 0 892032838 17211392 3363 4294967295 134512640 134716908 3221224560 3221223128 1077377480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+610.018 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3445 0 0 0 60916 92 0 0 25 0 1 0 892032838 17211392 3363 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+620.019 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 9096
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3445 0 0 0 61915 93 0 0 25 0 1 0 892032838 17211392 3363 4294967295 134512640 134716908 3221224560 3221223200 134613447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 0.93 3/57 9145
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3445 0 0 0 62915 94 0 0 25 0 1 0 892032838 17211392 3363 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+640.026 s]
Raw data (loadavg): 1.15 1.03 0.94 2/54 9149
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3445 0 0 0 63913 96 0 0 25 0 1 0 892032838 17211392 3363 4294967295 134512640 134716908 3221224560 3221223352 134558597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+650.027 s]
Raw data (loadavg): 1.13 1.03 0.94 2/54 9149
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3445 0 0 0 64912 97 0 0 25 0 1 0 892032838 17211392 3363 4294967295 134512640 134716908 3221224560 3221223344 134551781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4202 3363 1111 63 0 4139 0
vsize: 16808
[startup+660.027 s]
Raw data (loadavg): 1.11 1.03 0.94 2/54 9149
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3469 0 0 0 65911 99 0 0 25 0 1 0 892032838 17346560 3387 4294967295 134512640 134716908 3221224560 3221223128 1077378441 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4235 3387 1111 63 0 4172 0
vsize: 16940
[startup+670.028 s]
Raw data (loadavg): 1.09 1.03 0.94 2/54 9149
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3471 0 0 0 66910 100 0 0 25 0 1 0 892032838 17346560 3389 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4235 3389 1111 63 0 4172 0
vsize: 16940
[startup+680.029 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 9149
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3495 0 0 0 67909 101 0 0 25 0 1 0 892032838 17481728 3413 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3413 1111 63 0 4205 0
vsize: 17072
[startup+690.029 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 9149
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3495 0 0 0 68908 102 0 0 25 0 1 0 892032838 17481728 3413 4294967295 134512640 134716908 3221224560 3221223188 134698598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3413 1111 63 0 4205 0
vsize: 17072
[startup+700.029 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3495 0 0 0 69907 103 0 0 25 0 1 0 892032838 17481728 3413 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3413 1111 63 0 4205 0
vsize: 17072
[startup+710.028 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3495 0 0 0 70906 104 0 0 25 0 1 0 892032838 17481728 3413 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3413 1111 63 0 4205 0
vsize: 17072
[startup+720.029 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3495 0 0 0 71905 106 0 0 25 0 1 0 892032838 17481728 3413 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3413 1111 63 0 4205 0
vsize: 17072
[startup+730.029 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3495 0 0 0 72904 107 0 0 25 0 1 0 892032838 17481728 3413 4294967295 134512640 134716908 3221224560 3221223300 134591993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3413 1111 63 0 4205 0
vsize: 17072
[startup+740.029 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3497 0 0 0 73903 108 0 0 25 0 1 0 892032838 17481728 3415 4294967295 134512640 134716908 3221224560 3221223296 134558537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3415 1111 63 0 4205 0
vsize: 17072
[startup+750.029 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3500 0 0 0 74902 109 0 0 25 0 1 0 892032838 17481728 3418 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3418 1111 63 0 4205 0
vsize: 17072
[startup+760.028 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3507 0 0 0 75901 110 0 0 25 0 1 0 892032838 17481728 3425 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4268 3425 1111 63 0 4205 0
vsize: 17072
[startup+770.029 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3565 0 0 0 76899 112 0 0 25 0 1 0 892032838 17752064 3483 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 3483 1111 63 0 4271 0
vsize: 17336
[startup+780.029 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3565 0 0 0 77898 114 0 0 25 0 1 0 892032838 17752064 3483 4294967295 134512640 134716908 3221224560 3221223184 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 3483 1111 63 0 4271 0
vsize: 17336
[startup+790.029 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3565 0 0 0 78897 115 0 0 25 0 1 0 892032838 17752064 3483 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 3483 1111 63 0 4271 0
vsize: 17336
[startup+800.03 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3565 0 0 0 79896 116 0 0 25 0 1 0 892032838 17752064 3483 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 3483 1111 63 0 4271 0
vsize: 17336
[startup+810.03 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3565 0 0 0 80895 117 0 0 25 0 1 0 892032838 17752064 3483 4294967295 134512640 134716908 3221224560 3221223188 1077374180 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4334 3483 1111 63 0 4271 0
vsize: 17336
[startup+820.03 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3601 0 0 0 81894 118 0 0 25 0 1 0 892032838 17887232 3519 4294967295 134512640 134716908 3221224560 3221222964 134699567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4367 3519 1111 63 0 4304 0
vsize: 17468
[startup+830.031 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3629 0 0 0 82893 120 0 0 25 0 1 0 892032838 18001920 3547 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4395 3547 1111 63 0 4332 0
vsize: 17580
[startup+840.031 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3654 0 0 0 83891 122 0 0 25 0 1 0 892032838 18137088 3572 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4428 3572 1111 63 0 4365 0
vsize: 17712
[startup+850.031 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3686 0 0 0 84890 123 0 0 25 0 1 0 892032838 18272256 3604 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4461 3604 1111 63 0 4398 0
vsize: 17844
[startup+860.032 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3686 0 0 0 85889 124 0 0 25 0 1 0 892032838 18272256 3604 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4461 3604 1111 63 0 4398 0
vsize: 17844
[startup+870.032 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3686 0 0 0 86887 126 0 0 25 0 1 0 892032838 18272256 3604 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4461 3604 1111 63 0 4398 0
vsize: 17844
[startup+880.032 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3686 0 0 0 87886 128 0 0 25 0 1 0 892032838 18272256 3604 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4461 3604 1111 63 0 4398 0
vsize: 17844
[startup+890.031 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3712 0 0 0 88884 129 0 0 25 0 1 0 892032838 18407424 3630 4294967295 134512640 134716908 3221224560 3221223352 134558587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4494 3630 1111 63 0 4431 0
vsize: 17976
[startup+900.032 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3712 0 0 0 89883 131 0 0 25 0 1 0 892032838 18407424 3630 4294967295 134512640 134716908 3221224560 3221223268 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4494 3630 1111 63 0 4431 0
vsize: 17976
[startup+910.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3726 0 0 0 90881 133 0 0 25 0 1 0 892032838 18391040 3644 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4490 3644 1111 63 0 4427 0
vsize: 17960
[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3740 0 0 0 91881 134 0 0 25 0 1 0 892032838 18526208 3658 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4523 3658 1111 63 0 4460 0
vsize: 18092
[startup+930.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3772 0 0 0 92879 135 0 0 25 0 1 0 892032838 18661376 3690 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4556 3690 1111 63 0 4493 0
vsize: 18224
[startup+940.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3772 0 0 0 93878 137 0 0 25 0 1 0 892032838 18661376 3690 4294967295 134512640 134716908 3221224560 3221223192 134523385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4556 3690 1111 63 0 4493 0
vsize: 18224
[startup+950.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3772 0 0 0 94876 138 0 0 25 0 1 0 892032838 18661376 3690 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4556 3690 1111 63 0 4493 0
vsize: 18224
[startup+960.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3793 0 0 0 95875 140 0 0 25 0 1 0 892032838 18747392 3711 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3711 1111 63 0 4514 0
vsize: 18308
[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9151
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3819 0 0 0 96874 141 0 0 25 0 1 0 892032838 18747392 3737 4294967295 134512640 134716908 3221224560 3221223144 134549705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3737 1111 63 0 4514 0
vsize: 18308
[startup+980.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3819 0 0 0 97873 142 0 0 25 0 1 0 892032838 18747392 3737 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3737 1111 63 0 4514 0
vsize: 18308
[startup+990.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3819 0 0 0 98872 144 0 0 25 0 1 0 892032838 18747392 3737 4294967295 134512640 134716908 3221224560 3221223072 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 3737 1111 63 0 4514 0
vsize: 18308
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3829 0 0 0 99871 145 0 0 25 0 1 0 892032838 18882560 3747 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4610 3747 1111 63 0 4547 0
vsize: 18440
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3848 0 0 0 100870 146 0 0 25 0 1 0 892032838 18882560 3766 4294967295 134512640 134716908 3221224560 3221223052 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4610 3766 1111 63 0 4547 0
vsize: 18440
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3848 0 0 0 101869 147 0 0 25 0 1 0 892032838 18882560 3766 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4610 3766 1111 63 0 4547 0
vsize: 18440
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3848 0 0 0 102867 149 0 0 25 0 1 0 892032838 18882560 3766 4294967295 134512640 134716908 3221224560 3221223184 134536678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4610 3766 1111 63 0 4547 0
vsize: 18440
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3910 0 0 0 103866 150 0 0 25 0 1 0 892032838 19152896 3828 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4676 3828 1111 63 0 4613 0
vsize: 18704
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3910 0 0 0 104864 152 0 0 25 0 1 0 892032838 19152896 3828 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4676 3828 1111 63 0 4613 0
vsize: 18704
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3923 0 0 0 105864 153 0 0 25 0 1 0 892032838 19288064 3841 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4709 3841 1111 63 0 4646 0
vsize: 18836
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3951 0 0 0 106862 155 0 0 25 0 1 0 892032838 19288064 3869 4294967295 134512640 134716908 3221224560 3221223272 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4709 3869 1111 63 0 4646 0
vsize: 18836
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3970 0 0 0 107861 156 0 0 25 0 1 0 892032838 19423232 3888 4294967295 134512640 134716908 3221224560 3221223276 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4742 3888 1111 63 0 4679 0
vsize: 18968
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 3981 0 0 0 108860 157 0 0 25 0 1 0 892032838 19423232 3899 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4742 3899 1111 63 0 4679 0
vsize: 18968
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 4021 0 0 0 109858 159 0 0 25 0 1 0 892032838 19693568 3939 4294967295 134512640 134716908 3221224560 3221223200 134613424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4808 3939 1111 63 0 4745 0
vsize: 19232
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 4026 0 0 0 110857 160 0 0 25 0 1 0 892032838 19693568 3944 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4808 3944 1111 63 0 4745 0
vsize: 19232
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 4044 0 0 0 111856 162 0 0 25 0 1 0 892032838 19693568 3962 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4808 3962 1111 63 0 4745 0
vsize: 19232
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 4060 0 0 0 112855 163 0 0 25 0 1 0 892032838 19828736 3978 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4841 3978 1111 63 0 4778 0
vsize: 19364
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 4084 0 0 0 113854 164 0 0 25 0 1 0 892032838 19828736 4002 4294967295 134512640 134716908 3221224560 3221223240 134594352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4841 4002 1111 63 0 4778 0
vsize: 19364
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 4100 0 0 0 114853 165 0 0 25 0 1 0 892032838 19963904 4018 4294967295 134512640 134716908 3221224560 3221223288 134524052 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4874 4018 1111 63 0 4811 0
vsize: 19496
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 4115 0 0 0 115852 166 0 0 25 0 1 0 892032838 19963904 4033 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4874 4033 1111 63 0 4811 0
vsize: 19496
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 4129 0 0 0 116851 168 0 0 25 0 1 0 892032838 20099072 4047 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4907 4047 1111 63 0 4844 0
vsize: 19628
[startup+1174.86 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 9153
Raw data (stat): 9096 (bsolo_lpr-v2) R 9095 20224 20223 0 -1 0 4129 0 0 0 116851 168 0 0 25 0 1 0 892032838 20099072 4047 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4907 4047 1111 63 0 4844 0
vsize: 0

Child status: 0
Real time (s): 1174.86
CPU time (s): 1175.02
CPU user time (s): 1173.31
CPU system time (s): 1.70174
CPU usage (%): 100.014
Max. virtual memory (Kb): 19628
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####