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-fpga11_11_sat_pb.cnf.cr.opb
MD5SUM	c8e6fe6db41022cd334d76fea54bd93c
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	12
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.047992
Number of variables	182
Total number of constraints	154
Number of constraints which are clauses	132
Number of constraints which are cardinality constraints (but not clauses)	22
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	11
Trace number 39402

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 08:13:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27468 boxname=wulflinc2 idbench=26 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  c8e6fe6db41022cd334d76fea54bd93c  /oldhome/oroussel/tmp/wulflinc2/normalized-fpga11_11_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-fpga11_11_sat_pb.cnf.cr.opb
IDLAUNCH: 27468
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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:        271188 kB
Buffers:         34040 kB
Cached:         705656 kB
SwapCached:       1164 kB
Active:          38484 kB
Inactive:       703668 kB
HighTotal:      131008 kB
HighFree:        17416 kB
LowTotal:       903652 kB
LowFree:        253772 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15652 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:32:45 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 27468 7 1175.17 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 182 variables and 154 constraints.
c After prepocess the problem consists of 182 variables and 154 constraints.
c preprocess terminated 0.099 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.08 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.89 0.99 0.92 2/54 21837
Raw data (stat): 21837 (runsolver) R 21836 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891466046 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.0004 s]
Raw data (loadavg): 0.91 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 2838 0 0 0 988 9 0 0 25 0 1 0 891466046 14663680 2756 4294967295 134512640 134716908 3221224560 3221223244 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3580 2756 1111 63 0 3517 0
vsize: 14320
[startup+20.001 s]
Raw data (loadavg): 0.92 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 3992 0 0 0 1985 13 0 0 25 0 1 0 891466046 19402752 3910 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4737 3911 1111 63 0 4674 0
vsize: 18948
[startup+30.0014 s]
Raw data (loadavg): 0.93 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 5050 0 0 0 2982 16 0 0 25 0 1 0 891466046 23736320 4967 4294967295 134512640 134716908 3221224560 3221223264 134528653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5795 4967 1111 63 0 5732 0
vsize: 23180
[startup+40.0014 s]
Raw data (loadavg): 0.94 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 5709 0 0 0 3979 18 0 0 25 0 1 0 891466046 26464256 5626 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6461 5626 1111 63 0 6398 0
vsize: 25844
[startup+50.0008 s]
Raw data (loadavg): 0.95 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 6411 0 0 0 4977 21 0 0 25 0 1 0 891466046 29437952 6328 4294967295 134512640 134716908 3221224560 3221223196 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7187 6328 1111 63 0 7124 0
vsize: 28748
[startup+60.0005 s]
Raw data (loadavg): 0.96 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 7128 0 0 0 5975 23 0 0 25 0 1 0 891466046 32288768 7044 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7883 7044 1111 63 0 7820 0
vsize: 31532
[startup+70.0005 s]
Raw data (loadavg): 0.96 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 7659 0 0 0 6972 26 0 0 25 0 1 0 891466046 34463744 7574 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8414 7574 1111 63 0 8351 0
vsize: 33656
[startup+80.0009 s]
Raw data (loadavg): 0.97 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 8476 0 0 0 7969 30 0 0 25 0 1 0 891466046 37842944 8391 4294967295 134512640 134716908 3221224560 3221223284 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9239 8391 1111 63 0 9176 0
vsize: 36956
[startup+90.001 s]
Raw data (loadavg): 0.97 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 8998 0 0 0 8967 31 0 0 25 0 1 0 891466046 40038400 8913 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9775 8913 1111 63 0 9712 0
vsize: 39100
[startup+100.001 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 9638 0 0 0 9965 34 0 0 25 0 1 0 891466046 42774528 9551 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10443 9551 1111 63 0 10380 0
vsize: 41772
[startup+110.001 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 10584 0 0 0 10963 36 0 0 25 0 1 0 891466046 46575616 10497 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11371 10497 1111 63 0 11308 0
vsize: 45484
[startup+120.001 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 11500 0 0 0 11959 40 0 0 25 0 1 0 891466046 50372608 11413 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12298 11413 1111 63 0 12235 0
vsize: 49192
[startup+130.001 s]
Raw data (loadavg): 0.98 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 12580 0 0 0 12955 44 0 0 25 0 1 0 891466046 54878208 12491 4294967295 134512640 134716908 3221224560 3221223296 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13398 12491 1111 63 0 13335 0
vsize: 53592
[startup+140 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 13391 0 0 0 13951 48 0 0 25 0 1 0 891466046 58130432 13302 4294967295 134512640 134716908 3221224560 3221223368 134558593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14192 13302 1111 63 0 14129 0
vsize: 56768
[startup+150 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 13940 0 0 0 14949 50 0 0 25 0 1 0 891466046 60432384 13851 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14754 13851 1111 63 0 14691 0
vsize: 59016
[startup+160.001 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 14739 0 0 0 15944 56 0 0 25 0 1 0 891466046 63680512 14648 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15547 14648 1111 63 0 15484 0
vsize: 62188
[startup+170 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 15610 0 0 0 16941 59 0 0 25 0 1 0 891466046 67264512 15515 4294967295 134512640 134716908 3221224560 3221223296 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16422 15515 1111 63 0 16359 0
vsize: 65688
[startup+180 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 16247 0 0 0 17939 61 0 0 25 0 1 0 891466046 69967872 16152 4294967295 134512640 134716908 3221224560 3221223296 134523939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17082 16152 1111 63 0 17019 0
vsize: 68328
[startup+190 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 16796 0 0 0 18937 63 0 0 25 0 1 0 891466046 72159232 16701 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17617 16701 1111 63 0 17554 0
vsize: 70468
[startup+199.999 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 17310 0 0 0 19935 66 0 0 25 0 1 0 891466046 74346496 17213 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18151 17213 1111 63 0 18088 0
vsize: 72604
[startup+209.999 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 18207 0 0 0 20932 68 0 0 25 0 1 0 891466046 78082048 18106 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19063 18106 1111 63 0 19000 0
vsize: 76252
[startup+220 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 18810 0 0 0 21930 71 0 0 25 0 1 0 891466046 80515072 18709 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19657 18709 1111 63 0 19594 0
vsize: 78628
[startup+230 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 19317 0 0 0 22927 74 0 0 25 0 1 0 891466046 82554880 19215 4294967295 134512640 134716908 3221224560 3221223280 134535760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20155 19215 1111 63 0 20092 0
vsize: 80620
[startup+240 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 19962 0 0 0 23925 76 0 0 25 0 1 0 891466046 85254144 19859 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20814 19859 1111 63 0 20751 0
vsize: 83256
[startup+250 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 20547 0 0 0 24923 78 0 0 25 0 1 0 891466046 87707648 20436 4294967295 134512640 134716908 3221224560 3221223272 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21413 20436 1111 63 0 21350 0
vsize: 85652
[startup+260.001 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 21037 0 0 0 25921 80 0 0 25 0 1 0 891466046 89759744 20926 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21914 20926 1111 63 0 21851 0
vsize: 87656
[startup+270.001 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 21516 0 0 0 26920 82 0 0 25 0 1 0 891466046 91787264 21404 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22409 21404 1111 63 0 22346 0
vsize: 89636
[startup+280.001 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 21963 0 0 0 27918 84 0 0 25 0 1 0 891466046 93605888 21851 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22853 21851 1111 63 0 22790 0
vsize: 91412
[startup+290.002 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 22319 0 0 0 28916 86 0 0 25 0 1 0 891466046 95129600 22206 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23225 22206 1111 63 0 23162 0
vsize: 92900
[startup+300.001 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 22719 0 0 0 29913 89 0 0 25 0 1 0 891466046 96796672 22606 4294967295 134512640 134716908 3221224560 3221223300 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23632 22606 1111 63 0 23569 0
vsize: 94528
[startup+310.001 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 23084 0 0 0 30912 91 0 0 25 0 1 0 891466046 98353152 22971 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24012 22971 1111 63 0 23949 0
vsize: 96048
[startup+320.002 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 23509 0 0 0 31911 92 0 0 25 0 1 0 891466046 100225024 23383 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24469 23383 1111 63 0 24406 0
vsize: 97876
[startup+330.003 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 23851 0 0 0 32909 94 0 0 25 0 1 0 891466046 101576704 23725 4294967295 134512640 134716908 3221224560 3221223296 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24799 23725 1111 63 0 24736 0
vsize: 99196
[startup+340.002 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 24217 0 0 0 33908 95 0 0 25 0 1 0 891466046 103063552 24091 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25162 24091 1111 63 0 25099 0
vsize: 100648
[startup+350.002 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 24517 0 0 0 34906 97 0 0 25 0 1 0 891466046 104280064 24391 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25459 24391 1111 63 0 25396 0
vsize: 101836
[startup+360.002 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 24743 0 0 0 35905 98 0 0 25 0 1 0 891466046 105226240 24616 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25690 24616 1111 63 0 25627 0
vsize: 102760
[startup+370.003 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 25164 0 0 0 36904 100 0 0 25 0 1 0 891466046 106983424 25037 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26119 25037 1111 63 0 26056 0
vsize: 104476
[startup+380.003 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 25457 0 0 0 37903 101 0 0 25 0 1 0 891466046 108064768 25330 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26383 25330 1111 63 0 26320 0
vsize: 105532
[startup+390.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 25696 0 0 0 38902 103 0 0 25 0 1 0 891466046 109182976 25569 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26656 25569 1111 63 0 26593 0
vsize: 106624
[startup+400.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 25979 0 0 0 39900 105 0 0 25 0 1 0 891466046 110264320 25852 4294967295 134512640 134716908 3221224560 3221223248 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26920 25852 1111 63 0 26857 0
vsize: 107680
[startup+410.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 26291 0 0 0 40898 106 0 0 25 0 1 0 891466046 111497216 26164 4294967295 134512640 134716908 3221224560 3221223212 134536763 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27221 26164 1111 63 0 27158 0
vsize: 108884
[startup+420.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 26548 0 0 0 41897 108 0 0 25 0 1 0 891466046 112615424 26420 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27494 26420 1111 63 0 27431 0
vsize: 109976
[startup+430.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 26916 0 0 0 42896 109 0 0 25 0 1 0 891466046 114184192 26785 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27877 26785 1111 63 0 27814 0
vsize: 111508
[startup+440.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 27234 0 0 0 43895 110 0 0 25 0 1 0 891466046 115400704 27103 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28174 27103 1111 63 0 28111 0
vsize: 112696
[startup+450.004 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 27540 0 0 0 44894 111 0 0 25 0 1 0 891466046 116715520 27407 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28495 27407 1111 63 0 28432 0
vsize: 113980
[startup+460.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 27841 0 0 0 45893 112 0 0 25 0 1 0 891466046 118075392 27708 4294967295 134512640 134716908 3221224560 3221223200 134523171 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28827 27708 1111 63 0 28764 0
vsize: 115308
[startup+470.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 28130 0 0 0 46893 113 0 0 25 0 1 0 891466046 119238656 27993 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29111 27993 1111 63 0 29048 0
vsize: 116444
[startup+480.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 28474 0 0 0 47892 114 0 0 25 0 1 0 891466046 120590336 28337 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29441 28337 1111 63 0 29378 0
vsize: 117764
[startup+490.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 28817 0 0 0 48890 116 0 0 25 0 1 0 891466046 122077184 28680 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29804 28680 1111 63 0 29741 0
vsize: 119216
[startup+500.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 29164 0 0 0 49889 117 0 0 25 0 1 0 891466046 123449344 29027 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30139 29027 1111 63 0 30076 0
vsize: 120556
[startup+510.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 29403 0 0 0 50888 118 0 0 25 0 1 0 891466046 124411904 29266 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30374 29266 1111 63 0 30311 0
vsize: 121496
[startup+520.005 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 29662 0 0 0 51887 119 0 0 25 0 1 0 891466046 125636608 29514 4294967295 134512640 134716908 3221224560 3221223216 134523859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30673 29514 1111 63 0 30610 0
vsize: 122692
[startup+530.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 30261 0 0 0 52885 122 0 0 25 0 1 0 891466046 128090112 30111 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31272 30111 1111 63 0 31209 0
vsize: 125088
[startup+540.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 30822 0 0 0 53884 123 0 0 25 0 1 0 891466046 130387968 30672 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31833 30672 1111 63 0 31770 0
vsize: 127332
[startup+550.006 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 31243 0 0 0 54882 125 0 0 25 0 1 0 891466046 132145152 31093 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32262 31093 1111 63 0 32199 0
vsize: 129048
[startup+560.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 31699 0 0 0 55879 128 0 0 25 0 1 0 891466046 133902336 31549 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32691 31549 1111 63 0 32628 0
vsize: 130764
[startup+570.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 32224 0 0 0 56878 130 0 0 25 0 1 0 891466046 136286208 32073 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33273 32073 1111 63 0 33210 0
vsize: 133092
[startup+580.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 32654 0 0 0 57876 132 0 0 25 0 1 0 891466046 137932800 32502 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33675 32502 1111 63 0 33612 0
vsize: 134700
[startup+590.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 33127 0 0 0 58874 134 0 0 25 0 1 0 891466046 139960320 32975 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34170 32975 1111 63 0 34107 0
vsize: 136680
[startup+600.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 33560 0 0 0 59872 136 0 0 25 0 1 0 891466046 141717504 33408 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34599 33408 1111 63 0 34536 0
vsize: 138396
[startup+610.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 33771 0 0 0 60871 137 0 0 25 0 1 0 891466046 142528512 33619 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34797 33619 1111 63 0 34734 0
vsize: 139188
[startup+620.007 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 34150 0 0 0 61869 139 0 0 25 0 1 0 891466046 144150528 33998 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35193 33998 1111 63 0 35130 0
vsize: 140772
[startup+630.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 34496 0 0 0 62869 140 0 0 25 0 1 0 891466046 145502208 34344 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35523 34344 1111 63 0 35460 0
vsize: 142092
[startup+640.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 34883 0 0 0 63867 142 0 0 25 0 1 0 891466046 147124224 34731 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35919 34731 1111 63 0 35856 0
vsize: 143676
[startup+650.008 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 35135 0 0 0 64867 143 0 0 25 0 1 0 891466046 148221952 34982 4294967295 134512640 134716908 3221224560 3221223104 134698786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36187 34982 1111 63 0 36124 0
vsize: 144748
[startup+660.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 35445 0 0 0 65866 144 0 0 25 0 1 0 891466046 149442560 35292 4294967295 134512640 134716908 3221224560 3221223328 134529376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36485 35292 1111 63 0 36422 0
vsize: 145940
[startup+670.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 35775 0 0 0 66865 145 0 0 25 0 1 0 891466046 150794240 35622 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36815 35622 1111 63 0 36752 0
vsize: 147260
[startup+680.009 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 36117 0 0 0 67863 147 0 0 25 0 1 0 891466046 152150016 35964 4294967295 134512640 134716908 3221224560 3221223264 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37146 35964 1111 63 0 37083 0
vsize: 148584
[startup+690.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 36546 0 0 0 68862 148 0 0 25 0 1 0 891466046 153907200 36393 4294967295 134512640 134716908 3221224560 3221223056 134535477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37575 36393 1111 63 0 37512 0
vsize: 150300
[startup+700.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 36839 0 0 0 69861 150 0 0 25 0 1 0 891466046 155123712 36686 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37872 36686 1111 63 0 37809 0
vsize: 151488
[startup+710.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 37160 0 0 0 70859 151 0 0 25 0 1 0 891466046 156418048 37007 4294967295 134512640 134716908 3221224560 3221223264 134528647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38188 37007 1111 63 0 38125 0
vsize: 152752
[startup+720.01 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 37471 0 0 0 71859 152 0 0 25 0 1 0 891466046 157769728 37318 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38518 37318 1111 63 0 38455 0
vsize: 154072
[startup+730.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 37709 0 0 0 72858 153 0 0 25 0 1 0 891466046 158769152 37556 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38762 37556 1111 63 0 38699 0
vsize: 155048
[startup+740.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 37911 0 0 0 73857 154 0 0 25 0 1 0 891466046 159604736 37754 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38966 37754 1111 63 0 38903 0
vsize: 155864
[startup+750.011 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 38154 0 0 0 74856 155 0 0 25 0 1 0 891466046 160550912 37996 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39197 37996 1111 63 0 39134 0
vsize: 156788
[startup+760.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 38470 0 0 0 75855 157 0 0 25 0 1 0 891466046 161767424 38312 4294967295 134512640 134716908 3221224560 3221223212 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39494 38312 1111 63 0 39431 0
vsize: 157976
[startup+770.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 38862 0 0 0 76854 158 0 0 25 0 1 0 891466046 163389440 38704 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39890 38704 1111 63 0 39827 0
vsize: 159560
[startup+780.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 39239 0 0 0 77853 159 0 0 25 0 1 0 891466046 165011456 39081 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40286 39081 1111 63 0 40223 0
vsize: 161144
[startup+790.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 39666 0 0 0 78851 162 0 0 25 0 1 0 891466046 166645760 39508 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40685 39508 1111 63 0 40622 0
vsize: 162740
[startup+800.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 40010 0 0 0 79849 164 0 0 25 0 1 0 891466046 168165376 39851 4294967295 134512640 134716908 3221224560 3221223184 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41056 39851 1111 63 0 40993 0
vsize: 164224
[startup+810.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 40334 0 0 0 80848 165 0 0 25 0 1 0 891466046 169517056 40175 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41386 40175 1111 63 0 41323 0
vsize: 165544
[startup+820.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 40598 0 0 0 81847 166 0 0 25 0 1 0 891466046 170610688 40438 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41653 40438 1111 63 0 41590 0
vsize: 166612
[startup+830.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 40938 0 0 0 82846 167 0 0 25 0 1 0 891466046 171962368 40778 4294967295 134512640 134716908 3221224560 3221223088 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41983 40778 1111 63 0 41920 0
vsize: 167932
[startup+840.012 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 41301 0 0 0 83844 169 0 0 25 0 1 0 891466046 173449216 41141 4294967295 134512640 134716908 3221224560 3221223324 134523848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42346 41141 1111 63 0 42283 0
vsize: 169384
[startup+850.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 41519 0 0 0 84844 169 0 0 25 0 1 0 891466046 174424064 41356 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42584 41356 1111 63 0 42521 0
vsize: 170336
[startup+860.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 41693 0 0 0 85844 170 0 0 25 0 1 0 891466046 175099904 41530 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42749 41530 1111 63 0 42686 0
vsize: 170996
[startup+870.013 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 41821 0 0 0 86843 170 0 0 25 0 1 0 891466046 175640576 41658 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42881 41658 1111 63 0 42818 0
vsize: 171524
[startup+880.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 42029 0 0 0 87842 171 0 0 25 0 1 0 891466046 176451584 41866 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43079 41866 1111 63 0 43016 0
vsize: 172316
[startup+890.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 42245 0 0 0 88842 172 0 0 25 0 1 0 891466046 177397760 42082 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43310 42082 1111 63 0 43247 0
vsize: 173240
[startup+900.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 42409 0 0 0 89841 173 0 0 25 0 1 0 891466046 178073600 42246 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43475 42246 1111 63 0 43412 0
vsize: 173900
[startup+910.014 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 42582 0 0 0 90840 174 0 0 25 0 1 0 891466046 178749440 42419 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43640 42419 1111 63 0 43577 0
vsize: 174560
[startup+920.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 42721 0 0 0 91839 175 0 0 25 0 1 0 891466046 179290112 42558 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43772 42558 1111 63 0 43709 0
vsize: 175088
[startup+930.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 42864 0 0 0 92839 176 0 0 25 0 1 0 891466046 179830784 42701 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43904 42701 1111 63 0 43841 0
vsize: 175616
[startup+940.015 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 42992 0 0 0 93838 177 0 0 25 0 1 0 891466046 180371456 42829 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44036 42829 1111 63 0 43973 0
vsize: 176144
[startup+950.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 43162 0 0 0 94837 178 0 0 25 0 1 0 891466046 181047296 42999 4294967295 134512640 134716908 3221224560 3221223264 134528738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44201 42999 1111 63 0 44138 0
vsize: 176804
[startup+960.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 43314 0 0 0 95837 179 0 0 25 0 1 0 891466046 181723136 43151 4294967295 134512640 134716908 3221224560 3221223216 134524376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44366 43151 1111 63 0 44303 0
vsize: 177464
[startup+970.016 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 43455 0 0 0 96836 179 0 0 25 0 1 0 891466046 182263808 43292 4294967295 134512640 134716908 3221224560 3221223276 134551880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44498 43292 1111 63 0 44435 0
vsize: 177992
[startup+980.017 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 43601 0 0 0 97836 180 0 0 25 0 1 0 891466046 182943744 43438 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44664 43438 1111 63 0 44601 0
vsize: 178656
[startup+990.018 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 43707 0 0 0 98836 180 0 0 25 0 1 0 891466046 183353344 43544 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44764 43544 1111 63 0 44701 0
vsize: 179056
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 43825 0 0 0 99836 181 0 0 25 0 1 0 891466046 183758848 43662 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44863 43662 1111 63 0 44800 0
vsize: 179452
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 43953 0 0 0 100835 181 0 0 25 0 1 0 891466046 184303616 43790 4294967295 134512640 134716908 3221224560 3221223184 134549520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44996 43790 1111 63 0 44933 0
vsize: 179984
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 44067 0 0 0 101835 181 0 0 25 0 1 0 891466046 184844288 43904 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45128 43904 1111 63 0 45065 0
vsize: 180512
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 44203 0 0 0 102835 182 0 0 25 0 1 0 891466046 185384960 44040 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45260 44040 1111 63 0 45197 0
vsize: 181040
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 44393 0 0 0 103835 182 0 0 25 0 1 0 891466046 186060800 44230 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45425 44230 1111 63 0 45362 0
vsize: 181700
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 44509 0 0 0 104834 183 0 0 25 0 1 0 891466046 186601472 44346 4294967295 134512640 134716908 3221224560 3221223116 134535964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45557 44346 1111 63 0 45494 0
vsize: 182228
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 44671 0 0 0 105834 184 0 0 25 0 1 0 891466046 187277312 44508 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45722 44508 1111 63 0 45659 0
vsize: 182888
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 44800 0 0 0 106833 184 0 0 25 0 1 0 891466046 187817984 44637 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45854 44637 1111 63 0 45791 0
vsize: 183416
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 44945 0 0 0 107833 185 0 0 25 0 1 0 891466046 188559360 44779 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46035 44779 1111 63 0 45972 0
vsize: 184140
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 45125 0 0 0 108832 186 0 0 25 0 1 0 891466046 189235200 44959 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46200 44959 1111 63 0 46137 0
vsize: 184800
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 45356 0 0 0 109831 188 0 0 25 0 1 0 891466046 190181376 45190 4294967295 134512640 134716908 3221224560 3221223344 134529259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46431 45190 1111 63 0 46368 0
vsize: 185724
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 45536 0 0 0 110830 189 0 0 25 0 1 0 891466046 190992384 45370 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46629 45370 1111 63 0 46566 0
vsize: 186516
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 45754 0 0 0 111829 190 0 0 25 0 1 0 891466046 191803392 45588 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46827 45588 1111 63 0 46764 0
vsize: 187308
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 45966 0 0 0 112829 190 0 0 25 0 1 0 891466046 192614400 45800 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47025 45800 1111 63 0 46962 0
vsize: 188100
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 46241 0 0 0 113828 191 0 0 25 0 1 0 891466046 193830912 46075 4294967295 134512640 134716908 3221224560 3221223200 134698428 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47322 46075 1111 63 0 47259 0
vsize: 189288
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 46433 0 0 0 114828 192 0 0 25 0 1 0 891466046 194506752 46267 4294967295 134512640 134716908 3221224560 3221223216 134536635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47487 46267 1111 63 0 47424 0
vsize: 189948
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 46567 0 0 0 115828 192 0 0 25 0 1 0 891466046 195215360 46397 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47660 46397 1111 63 0 47597 0
vsize: 190640
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.99 0.92 2/54 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 46685 0 0 0 116828 192 0 0 25 0 1 0 891466046 195620864 46515 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47759 46515 1111 63 0 47696 0
vsize: 191036
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.99 0.92 1/53 21837
Raw data (stat): 21837 (bsolo_lpr-v2) R 21836 31399 31398 0 -1 0 46685 0 0 0 116828 192 0 0 25 0 1 0 891466046 195620864 46515 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47759 46515 1111 63 0 47696 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.17
CPU user time (s): 1173.16
CPU system time (s): 2.01469
CPU usage (%): 100.016
Max. virtual memory (Kb): 191036
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####