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-fpga14_14_sat_pb.cnf.cr.opb
MD5SUM	fe97068efc5fde8cbd48a084444e76d6
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	15
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.071988
Number of variables	294
Total number of constraints	238
Number of constraints which are clauses	210
Number of constraints which are cardinality constraints (but not clauses)	28
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	14
Trace number 39412

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 08:47:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27478 boxname=wulflinc4 idbench=36 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  fe97068efc5fde8cbd48a084444e76d6  /oldhome/oroussel/tmp/wulflinc4/normalized-fpga14_14_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-fpga14_14_sat_pb.cnf.cr.opb
IDLAUNCH: 27478
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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.169
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:        404968 kB
Buffers:         34384 kB
Cached:         571880 kB
SwapCached:        568 kB
Active:          56532 kB
Inactive:       551840 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        404716 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            15456 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 09:06:54 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 27478 7 1175.14 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 294 variables and 238 constraints.
c After prepocess the problem consists of 294 variables and 238 constraints.
c preprocess terminated 0.175 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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.90 2/54 12094
Raw data (stat): 12094 (runsolver) R 12093 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891657930 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 3539 0 0 0 987 10 0 0 25 0 1 0 891657930 17645568 3457 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4308 3457 1111 63 0 4245 0
vsize: 17232
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 5739 0 0 0 1982 16 0 0 25 0 1 0 891657930 26566656 5657 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6486 5657 1111 63 0 6423 0
vsize: 25944
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 7115 0 0 0 2977 20 0 0 25 0 1 0 891657930 32256000 7033 4294967295 134512640 134716908 3221224560 3221223368 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7875 7033 1111 63 0 7812 0
vsize: 31500
[startup+40.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 8301 0 0 0 3972 26 0 0 25 0 1 0 891657930 37138432 8219 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9067 8219 1111 63 0 9004 0
vsize: 36268
[startup+50.0042 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 9206 0 0 0 4969 29 0 0 25 0 1 0 891657930 40972288 9119 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10003 9119 1111 63 0 9940 0
vsize: 40012
[startup+60.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 10179 0 0 0 5964 34 0 0 25 0 1 0 891657930 45084672 10092 4294967295 134512640 134716908 3221224560 3221223256 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11007 10092 1111 63 0 10944 0
vsize: 44028
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 11264 0 0 0 6961 38 0 0 25 0 1 0 891657930 49545216 11177 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12096 11177 1111 63 0 12033 0
vsize: 48384
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 11964 0 0 0 7957 41 0 0 25 0 1 0 891657930 52264960 11877 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12760 11877 1111 63 0 12697 0
vsize: 51040
[startup+90.0056 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 12748 0 0 0 8954 45 0 0 25 0 1 0 891657930 55533568 12660 4294967295 134512640 134716908 3221224560 3221223152 134549770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13558 12660 1111 63 0 13495 0
vsize: 54232
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 13669 0 0 0 9949 49 0 0 25 0 1 0 891657930 59318272 13580 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14482 13580 1111 63 0 14419 0
vsize: 57928
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 14499 0 0 0 10946 53 0 0 25 0 1 0 891657930 62697472 14409 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15307 14409 1111 63 0 15244 0
vsize: 61228
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 15368 0 0 0 11944 55 0 0 25 0 1 0 891657930 66211840 15278 4294967295 134512640 134716908 3221224560 3221223328 134529136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16165 15278 1111 63 0 16102 0
vsize: 64660
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 16003 0 0 0 12941 58 0 0 25 0 1 0 891657930 68968448 15911 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16838 15911 1111 63 0 16775 0
vsize: 67352
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 16567 0 0 0 13939 61 0 0 25 0 1 0 891657930 71335936 16474 4294967295 134512640 134716908 3221224560 3221223180 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17416 16474 1111 63 0 17353 0
vsize: 69664
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 18069 0 0 0 14935 64 0 0 25 0 1 0 891657930 77451264 17975 4294967295 134512640 134716908 3221224560 3221223344 134529252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18909 17975 1111 63 0 18846 0
vsize: 75636
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 19263 0 0 0 15930 69 0 0 25 0 1 0 891657930 82317312 19169 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20097 19169 1111 63 0 20034 0
vsize: 80388
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 20472 0 0 0 16927 73 0 0 25 0 1 0 891657930 87318528 20378 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21318 20378 1111 63 0 21255 0
vsize: 85272
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 21119 0 0 0 17925 75 0 0 25 0 1 0 891657930 89894912 21025 4294967295 134512640 134716908 3221224560 3221223088 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21947 21025 1111 63 0 21884 0
vsize: 87788
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 22021 0 0 0 18920 80 0 0 25 0 1 0 891657930 93708288 21927 4294967295 134512640 134716908 3221224560 3221223192 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22878 21927 1111 63 0 22815 0
vsize: 91512
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 22946 0 0 0 19917 83 0 0 25 0 1 0 891657930 97632256 22852 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23836 22852 1111 63 0 23773 0
vsize: 95344
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 23512 0 0 0 20915 86 0 0 25 0 1 0 891657930 99794944 23418 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24364 23418 1111 63 0 24301 0
vsize: 97456
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 24286 0 0 0 21912 89 0 0 25 0 1 0 891657930 103038976 24192 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25156 24192 1111 63 0 25093 0
vsize: 100624
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 24831 0 0 0 22910 91 0 0 25 0 1 0 891657930 105279488 24733 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25703 24733 1111 63 0 25640 0
vsize: 102812
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 25229 0 0 0 23909 92 0 0 25 0 1 0 891657930 106930176 25129 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26106 25129 1111 63 0 26043 0
vsize: 104424
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 25636 0 0 0 24908 94 0 0 25 0 1 0 891657930 108589056 25536 4294967295 134512640 134716908 3221224560 3221223176 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26511 25536 1111 63 0 26448 0
vsize: 106044
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 26427 0 0 0 25905 96 0 0 25 0 1 0 891657930 111849472 26326 4294967295 134512640 134716908 3221224560 3221223184 134549773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27307 26326 1111 63 0 27244 0
vsize: 109228
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 27433 0 0 0 26902 100 0 0 25 0 1 0 891657930 116043776 27331 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28331 27331 1111 63 0 28268 0
vsize: 113324
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 28280 0 0 0 27899 102 0 0 25 0 1 0 891657930 119435264 28177 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29159 28177 1111 63 0 29096 0
vsize: 116636
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 29062 0 0 0 28898 104 0 0 25 0 1 0 891657930 122679296 28959 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29951 28960 1111 63 0 29888 0
vsize: 119804
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 29654 0 0 0 29896 106 0 0 25 0 1 0 891657930 125140992 29551 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30552 29551 1111 63 0 30489 0
vsize: 122208
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 30223 0 0 0 30894 109 0 0 25 0 1 0 891657930 127438848 30120 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31113 30120 1111 63 0 31050 0
vsize: 124452
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 30680 0 0 0 31893 110 0 0 25 0 1 0 891657930 129331200 30577 4294967295 134512640 134716908 3221224560 3221223320 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31575 30577 1111 63 0 31512 0
vsize: 126300
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 31151 0 0 0 32891 112 0 0 25 0 1 0 891657930 131244032 31048 4294967295 134512640 134716908 3221224560 3221223132 134535876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32042 31048 1111 63 0 31979 0
vsize: 128168
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 31548 0 0 0 33890 113 0 0 25 0 1 0 891657930 132890624 31443 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32444 31443 1111 63 0 32381 0
vsize: 129776
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 32042 0 0 0 34888 115 0 0 25 0 1 0 891657930 134918144 31937 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32939 31937 1111 63 0 32876 0
vsize: 131756
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 32709 0 0 0 35885 118 0 0 25 0 1 0 891657930 137674752 32604 4294967295 134512640 134716908 3221224560 3221223164 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33612 32604 1111 63 0 33549 0
vsize: 134448
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 32955 0 0 0 36884 119 0 0 25 0 1 0 891657930 138756096 32849 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33876 32849 1111 63 0 33813 0
vsize: 135504
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 33429 0 0 0 37882 120 0 0 25 0 1 0 891657930 140660736 33322 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34341 33322 1111 63 0 34278 0
vsize: 137364
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 33862 0 0 0 38881 122 0 0 25 0 1 0 891657930 142508032 33755 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34792 33755 1111 63 0 34729 0
vsize: 139168
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 34271 0 0 0 39880 124 0 0 25 0 1 0 891657930 144326656 34164 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35236 34164 1111 63 0 35173 0
vsize: 140944
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 34724 0 0 0 40878 125 0 0 25 0 1 0 891657930 146292736 34613 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35716 34613 1111 63 0 35653 0
vsize: 142864
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 35307 0 0 0 41876 127 0 0 25 0 1 0 891657930 148598784 35195 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36279 35195 1111 63 0 36216 0
vsize: 145116
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 36152 0 0 0 42874 130 0 0 25 0 1 0 891657930 152178688 36032 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37153 36032 1111 63 0 37090 0
vsize: 148612
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 37067 0 0 0 43871 133 0 0 25 0 1 0 891657930 155963392 36947 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38077 36947 1111 63 0 38014 0
vsize: 152308
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 37775 0 0 0 44868 136 0 0 25 0 1 0 891657930 158801920 37655 4294967295 134512640 134716908 3221224560 3221223212 134536781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38770 37655 1111 63 0 38707 0
vsize: 155080
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 38244 0 0 0 45867 138 0 0 25 0 1 0 891657930 160694272 38124 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39232 38124 1111 63 0 39169 0
vsize: 156928
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 38655 0 0 0 46865 140 0 0 25 0 1 0 891657930 162447360 38534 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39660 38534 1111 63 0 39597 0
vsize: 158640
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 39030 0 0 0 47863 141 0 0 25 0 1 0 891657930 163942400 38909 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40025 38909 1111 63 0 39962 0
vsize: 160100
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 39272 0 0 0 48863 142 0 0 25 0 1 0 891657930 164888576 39151 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40256 39151 1111 63 0 40193 0
vsize: 161024
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 39975 0 0 0 49860 145 0 0 25 0 1 0 891657930 167784448 39854 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40963 39854 1111 63 0 40900 0
vsize: 163852
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 40751 0 0 0 50857 148 0 0 25 0 1 0 891657930 171028480 40630 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41755 40630 1111 63 0 41692 0
vsize: 167020
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 41417 0 0 0 51855 150 0 0 25 0 1 0 891657930 173731840 41295 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42415 41295 1111 63 0 42352 0
vsize: 169660
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 42138 0 0 0 52853 153 0 0 25 0 1 0 891657930 176701440 42016 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43140 42016 1111 63 0 43077 0
vsize: 172560
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 42677 0 0 0 53851 155 0 0 25 0 1 0 891657930 178868224 42554 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43669 42554 1111 63 0 43606 0
vsize: 174676
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 43039 0 0 0 54849 157 0 0 25 0 1 0 891657930 180355072 42916 4294967295 134512640 134716908 3221224560 3221223116 134535942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44032 42916 1111 63 0 43969 0
vsize: 176128
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 43395 0 0 0 55848 158 0 0 25 0 1 0 891657930 181899264 43271 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44409 43271 1111 63 0 44346 0
vsize: 177636
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 43801 0 0 0 56847 159 0 0 25 0 1 0 891657930 183525376 43677 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44806 43677 1111 63 0 44743 0
vsize: 179224
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 44160 0 0 0 57846 161 0 0 25 0 1 0 891657930 185012224 44036 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45169 44036 1111 63 0 45106 0
vsize: 180676
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 44379 0 0 0 58845 161 0 0 25 0 1 0 891657930 185966592 44255 4294967295 134512640 134716908 3221224560 3221223116 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45402 44255 1111 63 0 45339 0
vsize: 181608
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 44639 0 0 0 59845 163 0 0 25 0 1 0 891657930 187097088 44514 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45678 44514 1111 63 0 45615 0
vsize: 182712
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 45139 0 0 0 60843 164 0 0 25 0 1 0 891657930 188989440 45014 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46140 45014 1111 63 0 46077 0
vsize: 184560
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 45583 0 0 0 61842 166 0 0 25 0 1 0 891657930 190881792 45458 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46602 45458 1111 63 0 46539 0
vsize: 186408
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 45869 0 0 0 62840 168 0 0 25 0 1 0 891657930 191963136 45744 4294967295 134512640 134716908 3221224560 3221223324 134552560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46866 45744 1111 63 0 46803 0
vsize: 187464
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 46140 0 0 0 63840 168 0 0 25 0 1 0 891657930 193040384 46015 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47129 46015 1111 63 0 47066 0
vsize: 188516
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 46371 0 0 0 64839 170 0 0 25 0 1 0 891657930 193986560 46246 4294967295 134512640 134716908 3221224560 3221223216 134536643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47360 46246 1111 63 0 47297 0
vsize: 189440
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 46690 0 0 0 65837 171 0 0 25 0 1 0 891657930 195395584 46564 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47704 46564 1111 63 0 47641 0
vsize: 190816
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 47236 0 0 0 66835 173 0 0 25 0 1 0 891657930 197783552 47105 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48287 47105 1111 63 0 48224 0
vsize: 193148
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 47651 0 0 0 67834 175 0 0 25 0 1 0 891657930 199405568 47520 4294967295 134512640 134716908 3221224560 3221223248 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48683 47520 1111 63 0 48620 0
vsize: 194732
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 47889 0 0 0 68833 176 0 0 25 0 1 0 891657930 200417280 47758 4294967295 134512640 134716908 3221224560 3221223116 134535978 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48930 47758 1111 63 0 48867 0
vsize: 195720
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 48114 0 0 0 69832 177 0 0 25 0 1 0 891657930 201330688 47978 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49153 47978 1111 63 0 49090 0
vsize: 196612
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 48348 0 0 0 70831 178 0 0 25 0 1 0 891657930 202518528 48206 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49443 48206 1111 63 0 49380 0
vsize: 197772
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 48589 0 0 0 71830 179 0 0 25 0 1 0 891657930 203464704 48447 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49674 48447 1111 63 0 49611 0
vsize: 198696
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 48868 0 0 0 72830 180 0 0 25 0 1 0 891657930 204550144 48723 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49939 48723 1111 63 0 49876 0
vsize: 199756
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 49068 0 0 0 73829 180 0 0 25 0 1 0 891657930 205393920 48923 4294967295 134512640 134716908 3221224560 3221223280 134523874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50145 48923 1111 63 0 50082 0
vsize: 200580
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 49452 0 0 0 74828 182 0 0 25 0 1 0 891657930 207060992 49304 4294967295 134512640 134716908 3221224560 3221223168 134549802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50552 49304 1111 63 0 50489 0
vsize: 202208
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12094
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 49714 0 0 0 75827 183 0 0 25 0 1 0 891657930 208183296 49566 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50826 49566 1111 63 0 50763 0
vsize: 203304
[startup+770.026 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 12147
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 49938 0 0 0 76825 184 0 0 25 0 1 0 891657930 208994304 49790 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51024 49790 1111 63 0 50961 0
vsize: 204096
[startup+780.031 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 12147
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 50061 0 0 0 77826 185 0 0 25 0 1 0 891657930 209534976 49912 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51156 49912 1111 63 0 51093 0
vsize: 204624
[startup+790.032 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 12147
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 50225 0 0 0 78825 185 0 0 25 0 1 0 891657930 210120704 50072 4294967295 134512640 134716908 3221224560 3221223056 134535462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51299 50072 1111 63 0 51236 0
vsize: 205196
[startup+800.033 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12147
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 50461 0 0 0 79825 186 0 0 25 0 1 0 891657930 211120128 50306 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51543 50306 1111 63 0 51480 0
vsize: 206172
[startup+810.033 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12147
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 50693 0 0 0 80824 187 0 0 25 0 1 0 891657930 212213760 50538 4294967295 134512640 134716908 3221224560 3221223296 134523932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51810 50538 1111 63 0 51747 0
vsize: 207240
[startup+820.034 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12147
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 50936 0 0 0 81823 189 0 0 25 0 1 0 891657930 213164032 50781 4294967295 134512640 134716908 3221224560 3221223212 134536848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52042 50781 1111 63 0 51979 0
vsize: 208168
[startup+830.034 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12147
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 51080 0 0 0 82822 190 0 0 25 0 1 0 891657930 213741568 50923 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52183 50923 1111 63 0 52120 0
vsize: 208732
[startup+840.034 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 51243 0 0 0 83821 190 0 0 25 0 1 0 891657930 214417408 51083 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52348 51083 1111 63 0 52285 0
vsize: 209392
[startup+850.036 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 51449 0 0 0 84821 191 0 0 25 0 1 0 891657930 215240704 51285 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52549 51285 1111 63 0 52486 0
vsize: 210196
[startup+860.035 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 51725 0 0 0 85820 192 0 0 25 0 1 0 891657930 216522752 51559 4294967295 134512640 134716908 3221224560 3221223056 134535442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52862 51559 1111 63 0 52799 0
vsize: 211448
[startup+870.036 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 51944 0 0 0 86819 193 0 0 25 0 1 0 891657930 217341952 51778 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53062 51778 1111 63 0 52999 0
vsize: 212248
[startup+880.037 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 52209 0 0 0 87818 194 0 0 25 0 1 0 891657930 218484736 52041 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53341 52041 1111 63 0 53278 0
vsize: 213364
[startup+890.038 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 52456 0 0 0 88817 195 0 0 25 0 1 0 891657930 219529216 52287 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53596 52287 1111 63 0 53533 0
vsize: 214384
[startup+900.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 52780 0 0 0 89816 197 0 0 25 0 1 0 891657930 221118464 52611 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53984 52611 1111 63 0 53921 0
vsize: 215936
[startup+910.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 53040 0 0 0 90815 198 0 0 25 0 1 0 891657930 222064640 52871 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54215 52871 1111 63 0 54152 0
vsize: 216860
[startup+920.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 53322 0 0 0 91814 199 0 0 25 0 1 0 891657930 223350784 53150 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54529 53150 1111 63 0 54466 0
vsize: 218116
[startup+930.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 53605 0 0 0 92813 200 0 0 25 0 1 0 891657930 224567296 53433 4294967295 134512640 134716908 3221224560 3221223216 134536710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54826 53433 1111 63 0 54763 0
vsize: 219304
[startup+940.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 53962 0 0 0 93813 201 0 0 25 0 1 0 891657930 225927168 53790 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55158 53790 1111 63 0 55095 0
vsize: 220632
[startup+950.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 54318 0 0 0 94811 203 0 0 25 0 1 0 891657930 227454976 54145 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55531 54145 1111 63 0 55468 0
vsize: 222124
[startup+960.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 54646 0 0 0 95811 203 0 0 25 0 1 0 891657930 228872192 54465 4294967295 134512640 134716908 3221224560 3221223240 134552633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55877 54465 1111 63 0 55814 0
vsize: 223508
[startup+970.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 54875 0 0 0 96810 205 0 0 25 0 1 0 891657930 229826560 54694 4294967295 134512640 134716908 3221224560 3221223116 134535628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56110 54694 1111 63 0 56047 0
vsize: 224440
[startup+980.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 55136 0 0 0 97809 205 0 0 25 0 1 0 891657930 230776832 54955 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56342 54955 1111 63 0 56279 0
vsize: 225368
[startup+990.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 55406 0 0 0 98809 206 0 0 25 0 1 0 891657930 232124416 55212 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56671 55212 1111 63 0 56608 0
vsize: 226684
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 55592 0 0 0 99808 206 0 0 25 0 1 0 891657930 232820736 55394 4294967295 134512640 134716908 3221224560 3221223216 134524069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56841 55394 1111 63 0 56778 0
vsize: 227364
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 55799 0 0 0 100808 207 0 0 25 0 1 0 891657930 233893888 55592 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57103 55592 1111 63 0 57040 0
vsize: 228412
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 56123 0 0 0 101807 208 0 0 25 0 1 0 891657930 235339776 55907 4294967295 134512640 134716908 3221224560 3221223248 134528607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57456 55907 1111 63 0 57393 0
vsize: 229824
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 56305 0 0 0 102806 210 0 0 25 0 1 0 891657930 236015616 56089 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57621 56089 1111 63 0 57558 0
vsize: 230484
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 56534 0 0 0 103804 211 0 0 25 0 1 0 891657930 237027328 56318 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57868 56318 1111 63 0 57805 0
vsize: 231472
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 56760 0 0 0 104804 212 0 0 25 0 1 0 891657930 237981696 56544 4294967295 134512640 134716908 3221224560 3221223148 134542288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58101 56544 1111 63 0 58038 0
vsize: 232404
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 56940 0 0 0 105803 213 0 0 25 0 1 0 891657930 238673920 56720 4294967295 134512640 134716908 3221224560 3221223196 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58270 56720 1111 63 0 58207 0
vsize: 233080
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 57175 0 0 0 106803 213 0 0 25 0 1 0 891657930 239620096 56955 4294967295 134512640 134716908 3221224560 3221223212 134536784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58501 56955 1111 63 0 58438 0
vsize: 234004
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 57436 0 0 0 107802 215 0 0 25 0 1 0 891657930 240771072 57208 4294967295 134512640 134716908 3221224560 3221223056 134535333 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58782 57208 1111 63 0 58719 0
vsize: 235128
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 57699 0 0 0 108801 216 0 0 25 0 1 0 891657930 241917952 57463 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59062 57463 1111 63 0 58999 0
vsize: 236248
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 57855 0 0 0 109800 217 0 0 25 0 1 0 891657930 242458624 57619 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59194 57619 1111 63 0 59131 0
vsize: 236776
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12149
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 57976 0 0 0 110800 217 0 0 25 0 1 0 891657930 243032064 57740 4294967295 134512640 134716908 3221224560 3221223344 134529259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59334 57740 1111 63 0 59271 0
vsize: 237336
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12151
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 58123 0 0 0 111800 218 0 0 25 0 1 0 891657930 243638272 57885 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59482 57885 1111 63 0 59419 0
vsize: 237928
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12151
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 58269 0 0 0 112799 218 0 0 25 0 1 0 891657930 244211712 58031 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59622 58031 1111 63 0 59559 0
vsize: 238488
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12151
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 58477 0 0 0 113799 219 0 0 25 0 1 0 891657930 245239808 58236 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59873 58236 1111 63 0 59810 0
vsize: 239492
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12151
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 58637 0 0 0 114799 219 0 0 25 0 1 0 891657930 245981184 58394 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60054 58394 1111 63 0 59991 0
vsize: 240216
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12151
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 58722 0 0 0 115799 219 0 0 25 0 1 0 891657930 246280192 58477 4294967295 134512640 134716908 3221224560 3221223116 134535628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60127 58477 1111 63 0 60064 0
vsize: 240508
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12151
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 58868 0 0 0 116799 220 0 0 25 0 1 0 891657930 246853632 58620 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60267 58620 1111 63 0 60204 0
vsize: 241068
[startup+1175 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 12151
Raw data (stat): 12094 (bsolo_lpr-v2) R 12093 21152 21151 0 -1 0 58868 0 0 0 116799 220 0 0 25 0 1 0 891657930 246853632 58620 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60267 58620 1111 63 0 60204 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.14
CPU user time (s): 1172.83
CPU system time (s): 2.30965
CPU usage (%): 100.012
Max. virtual memory (Kb): 241068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####