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-fpga13_13_sat_pb.cnf.cr.opb
MD5SUM	477af24fc30fd084c6281beb06bd14f4
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	14
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.05599
Number of variables	254
Total number of constraints	208
Number of constraints which are clauses	182
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	13
Trace number 39409

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 08:33:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27475 boxname=wulflinc5 idbench=33 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  477af24fc30fd084c6281beb06bd14f4  /oldhome/oroussel/tmp/wulflinc5/normalized-fpga13_13_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga13_13_sat_pb.cnf.cr.opb
IDLAUNCH: 27475
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        348776 kB
Buffers:         34300 kB
Cached:         627316 kB
SwapCached:        568 kB
Active:          57132 kB
Inactive:       606504 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        348524 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16588 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:53:34 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 27475 7 1175.13 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 254 variables and 208 constraints.
c After prepocess the problem consists of 254 variables and 208 constraints.
c preprocess terminated 0.146 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.92 0.97 0.91 2/54 3041
Raw data (stat): 3041 (runsolver) R 3040 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891587359 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.0002 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 3090 0 0 0 985 12 0 0 25 0 1 0 891587359 15749120 3008 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3845 3008 1111 63 0 3782 0
vsize: 15380
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 4662 0 0 0 1979 18 0 0 25 0 1 0 891587359 22134784 4579 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5404 4579 1111 63 0 5341 0
vsize: 21616
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 6423 0 0 0 2973 25 0 0 25 0 1 0 891587359 29442048 6339 4294967295 134512640 134716908 3221224560 3221222896 134699867 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7188 6339 1111 63 0 7125 0
vsize: 28752
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 7652 0 0 0 3969 29 0 0 25 0 1 0 891587359 34619392 7565 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8452 7565 1111 63 0 8389 0
vsize: 33808
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 8790 0 0 0 4966 33 0 0 25 0 1 0 891587359 39223296 8703 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9576 8703 1111 63 0 9513 0
vsize: 38304
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 9546 0 0 0 5962 37 0 0 25 0 1 0 891587359 42332160 9458 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10335 9458 1111 63 0 10272 0
vsize: 41340
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 10170 0 0 0 6960 39 0 0 25 0 1 0 891587359 44900352 10082 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10962 10082 1111 63 0 10899 0
vsize: 43848
[startup+80.0045 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 11152 0 0 0 7957 42 0 0 25 0 1 0 891587359 48951296 11064 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11951 11064 1111 63 0 11888 0
vsize: 47804
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 11967 0 0 0 8954 45 0 0 25 0 1 0 891587359 52375552 11879 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12787 11879 1111 63 0 12724 0
vsize: 51148
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 12739 0 0 0 9950 49 0 0 25 0 1 0 891587359 55521280 12650 4294967295 134512640 134716908 3221224560 3221223228 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13555 12650 1111 63 0 13492 0
vsize: 54220
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 13439 0 0 0 10946 53 0 0 25 0 1 0 891587359 58359808 13350 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14248 13350 1111 63 0 14185 0
vsize: 56992
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 14055 0 0 0 11944 56 0 0 25 0 1 0 891587359 61014016 13961 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14896 13961 1111 63 0 14833 0
vsize: 59584
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 14755 0 0 0 12941 59 0 0 25 0 1 0 891587359 63860736 14661 4294967295 134512640 134716908 3221224560 3221223152 134549683 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15591 14661 1111 63 0 15528 0
vsize: 62364
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 15288 0 0 0 13940 60 0 0 25 0 1 0 891587359 66048000 15192 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16125 15192 1111 63 0 16062 0
vsize: 64500
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 15815 0 0 0 14938 63 0 0 25 0 1 0 891587359 68227072 15719 4294967295 134512640 134716908 3221224560 3221223280 134523874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16657 15719 1111 63 0 16594 0
vsize: 66628
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 16384 0 0 0 15935 65 0 0 25 0 1 0 891587359 70537216 16288 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17221 16288 1111 63 0 17158 0
vsize: 68884
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 16934 0 0 0 16933 67 0 0 25 0 1 0 891587359 72843264 16838 4294967295 134512640 134716908 3221224560 3221223184 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17784 16838 1111 63 0 17721 0
vsize: 71136
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 17585 0 0 0 17930 71 0 0 25 0 1 0 891587359 75427840 17489 4294967295 134512640 134716908 3221224560 3221223276 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18415 17489 1111 63 0 18352 0
vsize: 73660
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 18130 0 0 0 18929 72 0 0 25 0 1 0 891587359 77725696 18034 4294967295 134512640 134716908 3221224560 3221223100 134539214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18976 18034 1111 63 0 18913 0
vsize: 75904
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 18898 0 0 0 19925 76 0 0 25 0 1 0 891587359 80834560 18802 4294967295 134512640 134716908 3221224560 3221223164 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19735 18802 1111 63 0 19672 0
vsize: 78940
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 19622 0 0 0 20922 79 0 0 25 0 1 0 891587359 83824640 19522 4294967295 134512640 134716908 3221224560 3221223244 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20465 19522 1111 63 0 20402 0
vsize: 81860
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 20418 0 0 0 21920 82 0 0 25 0 1 0 891587359 87134208 20317 4294967295 134512640 134716908 3221224560 3221223324 134552560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21273 20317 1111 63 0 21210 0
vsize: 85092
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 21043 0 0 0 22917 85 0 0 25 0 1 0 891587359 89702400 20942 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21900 20942 1111 63 0 21837 0
vsize: 87600
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 21714 0 0 0 23914 88 0 0 25 0 1 0 891587359 92487680 21613 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22580 21613 1111 63 0 22517 0
vsize: 90320
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 22629 0 0 0 24910 92 0 0 25 0 1 0 891587359 96272384 22528 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23504 22528 1111 63 0 23441 0
vsize: 94016
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 23396 0 0 0 25908 95 0 0 25 0 1 0 891587359 99426304 23295 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24274 23295 1111 63 0 24211 0
vsize: 97096
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 24126 0 0 0 26905 98 0 0 25 0 1 0 891587359 102440960 24025 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25010 24025 1111 63 0 24947 0
vsize: 100040
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 24856 0 0 0 27901 102 0 0 25 0 1 0 891587359 105451520 24754 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25745 24754 1111 63 0 25682 0
vsize: 102980
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 25573 0 0 0 28899 104 0 0 25 0 1 0 891587359 108306432 25471 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26442 25471 1111 63 0 26379 0
vsize: 105768
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 26177 0 0 0 29897 106 0 0 25 0 1 0 891587359 110874624 26074 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27069 26074 1111 63 0 27006 0
vsize: 108276
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 26601 0 0 0 30894 109 0 0 25 0 1 0 891587359 112648192 26496 4294967295 134512640 134716908 3221224560 3221223088 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27502 26496 1111 63 0 27439 0
vsize: 110008
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 26991 0 0 0 31893 110 0 0 25 0 1 0 891587359 114135040 26886 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27865 26886 1111 63 0 27802 0
vsize: 111460
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 27352 0 0 0 32892 111 0 0 25 0 1 0 891587359 115675136 27244 4294967295 134512640 134716908 3221224560 3221223296 134528656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28241 27244 1111 63 0 28178 0
vsize: 112964
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 27691 0 0 0 33891 113 0 0 25 0 1 0 891587359 117161984 27583 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28604 27583 1111 63 0 28541 0
vsize: 114416
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 28220 0 0 0 34889 115 0 0 25 0 1 0 891587359 119189504 28112 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29099 28112 1111 63 0 29036 0
vsize: 116396
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 28548 0 0 0 35889 116 0 0 25 0 1 0 891587359 120614912 28440 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29447 28440 1111 63 0 29384 0
vsize: 117788
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 28812 0 0 0 36888 117 0 0 25 0 1 0 891587359 121843712 28704 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29747 28704 1111 63 0 29684 0
vsize: 118988
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 29088 0 0 0 37887 118 0 0 25 0 1 0 891587359 122925056 28980 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30011 28980 1111 63 0 29948 0
vsize: 120044
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 29336 0 0 0 38886 119 0 0 25 0 1 0 891587359 123871232 29228 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30242 29228 1111 63 0 30179 0
vsize: 120968
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 29551 0 0 0 39886 120 0 0 25 0 1 0 891587359 124682240 29443 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30440 29443 1111 63 0 30377 0
vsize: 121760
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 29795 0 0 0 40885 120 0 0 25 0 1 0 891587359 125833216 29684 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30721 29684 1111 63 0 30658 0
vsize: 122884
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 29992 0 0 0 41885 121 0 0 25 0 1 0 891587359 126644224 29881 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30919 29881 1111 63 0 30856 0
vsize: 123676
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 30212 0 0 0 42884 121 0 0 25 0 1 0 891587359 127594496 30100 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31151 30100 1111 63 0 31088 0
vsize: 124604
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 30422 0 0 0 43884 122 0 0 25 0 1 0 891587359 128405504 30310 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31349 30310 1111 63 0 31286 0
vsize: 125396
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 30665 0 0 0 44883 123 0 0 25 0 1 0 891587359 129540096 30553 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31626 30553 1111 63 0 31563 0
vsize: 126504
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 30919 0 0 0 45882 124 0 0 25 0 1 0 891587359 130486272 30807 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31857 30807 1111 63 0 31794 0
vsize: 127428
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 31168 0 0 0 46882 125 0 0 25 0 1 0 891587359 131641344 31053 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32139 31053 1111 63 0 32076 0
vsize: 128556
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 31390 0 0 0 47881 125 0 0 25 0 1 0 891587359 132476928 31274 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32343 31274 1111 63 0 32280 0
vsize: 129372
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 31629 0 0 0 48881 126 0 0 25 0 1 0 891587359 133439488 31513 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32578 31514 1111 63 0 32515 0
vsize: 130312
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 31903 0 0 0 49880 127 0 0 25 0 1 0 891587359 134656000 31787 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32875 31787 1111 63 0 32812 0
vsize: 131500
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 32101 0 0 0 50880 128 0 0 25 0 1 0 891587359 135467008 31985 4294967295 134512640 134716908 3221224560 3221223152 134549588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33073 31985 1111 63 0 33010 0
vsize: 132292
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 32354 0 0 0 51878 129 0 0 25 0 1 0 891587359 136409088 32238 4294967295 134512640 134716908 3221224560 3221223296 134535835 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33303 32238 1111 63 0 33240 0
vsize: 133212
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 32646 0 0 0 52877 131 0 0 25 0 1 0 891587359 137707520 32526 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33620 32526 1111 63 0 33557 0
vsize: 134480
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 32876 0 0 0 53877 131 0 0 25 0 1 0 891587359 138731520 32750 4294967295 134512640 134716908 3221224560 3221223212 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33870 32750 1111 63 0 33807 0
vsize: 135480
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 33014 0 0 0 54877 132 0 0 25 0 1 0 891587359 139272192 32888 4294967295 134512640 134716908 3221224560 3221223296 134523932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34002 32888 1111 63 0 33939 0
vsize: 136008
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 33215 0 0 0 55876 133 0 0 25 0 1 0 891587359 140152832 33085 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34217 33085 1111 63 0 34154 0
vsize: 136868
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 33356 0 0 0 56875 133 0 0 25 0 1 0 891587359 140697600 33226 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34350 33226 1111 63 0 34287 0
vsize: 137400
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 33486 0 0 0 57875 134 0 0 25 0 1 0 891587359 141238272 33356 4294967295 134512640 134716908 3221224560 3221223272 134551881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34482 33356 1111 63 0 34419 0
vsize: 137928
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 33647 0 0 0 58875 134 0 0 25 0 1 0 891587359 141914112 33517 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34647 33517 1111 63 0 34584 0
vsize: 138588
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 33818 0 0 0 59874 135 0 0 25 0 1 0 891587359 142589952 33688 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34812 33688 1111 63 0 34749 0
vsize: 139248
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 33976 0 0 0 60874 135 0 0 25 0 1 0 891587359 143323136 33845 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34991 33845 1111 63 0 34928 0
vsize: 139964
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 34135 0 0 0 61873 136 0 0 25 0 1 0 891587359 143937536 34001 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35141 34001 1111 63 0 35078 0
vsize: 140564
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 34291 0 0 0 62873 137 0 0 25 0 1 0 891587359 144613376 34157 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35306 34157 1111 63 0 35243 0
vsize: 141224
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 34453 0 0 0 63873 137 0 0 25 0 1 0 891587359 145289216 34319 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35471 34319 1111 63 0 35408 0
vsize: 141884
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 34592 0 0 0 64873 137 0 0 25 0 1 0 891587359 145829888 34458 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35603 34458 1111 63 0 35540 0
vsize: 142412
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 34731 0 0 0 65872 138 0 0 25 0 1 0 891587359 146370560 34597 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35735 34597 1111 63 0 35672 0
vsize: 142940
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 34883 0 0 0 66872 138 0 0 25 0 1 0 891587359 146931712 34748 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35872 34748 1111 63 0 35809 0
vsize: 143488
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 35086 0 0 0 67872 139 0 0 25 0 1 0 891587359 147800064 34946 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36084 34946 1111 63 0 36021 0
vsize: 144336
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 35248 0 0 0 68871 140 0 0 25 0 1 0 891587359 148484096 35108 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36251 35108 1111 63 0 36188 0
vsize: 145004
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 35425 0 0 0 69871 140 0 0 25 0 1 0 891587359 149172224 35285 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36419 35285 1111 63 0 36356 0
vsize: 145676
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 35573 0 0 0 70870 141 0 0 25 0 1 0 891587359 149848064 35433 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36584 35433 1111 63 0 36521 0
vsize: 146336
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 35741 0 0 0 71869 142 0 0 25 0 1 0 891587359 150540288 35601 4294967295 134512640 134716908 3221224560 3221223056 134535335 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36753 35601 1111 63 0 36690 0
vsize: 147012
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 35926 0 0 0 72869 143 0 0 25 0 1 0 891587359 151351296 35786 4294967295 134512640 134716908 3221224560 3221223376 134590021 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36951 35786 1111 63 0 36888 0
vsize: 147804
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 36050 0 0 0 73868 144 0 0 25 0 1 0 891587359 151756800 35910 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37050 35910 1111 63 0 36987 0
vsize: 148200
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 36215 0 0 0 74867 145 0 0 25 0 1 0 891587359 152432640 36075 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37215 36075 1111 63 0 37152 0
vsize: 148860
[startup+760.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 36410 0 0 0 75867 146 0 0 25 0 1 0 891587359 153243648 36270 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37413 36270 1111 63 0 37350 0
vsize: 149652
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 36565 0 0 0 76866 146 0 0 25 0 1 0 891587359 153919488 36425 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37578 36425 1111 63 0 37515 0
vsize: 150312
[startup+780.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 36769 0 0 0 77865 148 0 0 25 0 1 0 891587359 154730496 36629 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37776 36629 1111 63 0 37713 0
vsize: 151104
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 37005 0 0 0 78864 149 0 0 25 0 1 0 891587359 155832320 36865 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38045 36865 1111 63 0 37982 0
vsize: 152180
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 37189 0 0 0 79863 150 0 0 25 0 1 0 891587359 156508160 37049 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38210 37049 1111 63 0 38147 0
vsize: 152840
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 37382 0 0 0 80862 151 0 0 25 0 1 0 891587359 157319168 37242 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38408 37242 1111 63 0 38345 0
vsize: 153632
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 37563 0 0 0 81862 152 0 0 25 0 1 0 891587359 157995008 37423 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38573 37423 1111 63 0 38510 0
vsize: 154292
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 37759 0 0 0 82861 153 0 0 25 0 1 0 891587359 158801920 37619 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38770 37619 1111 63 0 38707 0
vsize: 155080
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 38010 0 0 0 83860 154 0 0 25 0 1 0 891587359 159883264 37870 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39034 37870 1111 63 0 38971 0
vsize: 156136
[startup+850.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 38270 0 0 0 84859 155 0 0 25 0 1 0 891587359 160964608 38130 4294967295 134512640 134716908 3221224560 3221223320 134552570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39298 38130 1111 63 0 39235 0
vsize: 157192
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 38503 0 0 0 85859 155 0 0 25 0 1 0 891587359 161910784 38363 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39529 38363 1111 63 0 39466 0
vsize: 158116
[startup+870.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 38748 0 0 0 86857 157 0 0 25 0 1 0 891587359 163004416 38608 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39796 38608 1111 63 0 39733 0
vsize: 159184
[startup+880.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 38986 0 0 0 87856 158 0 0 25 0 1 0 891587359 163950592 38846 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40027 38846 1111 63 0 39964 0
vsize: 160108
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 39218 0 0 0 88856 159 0 0 25 0 1 0 891587359 164896768 39078 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40258 39078 1111 63 0 40195 0
vsize: 161032
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 39439 0 0 0 89855 160 0 0 25 0 1 0 891587359 165707776 39299 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40456 39299 1111 63 0 40393 0
vsize: 161824
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 39631 0 0 0 90854 161 0 0 25 0 1 0 891587359 166522880 39488 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40655 39488 1111 63 0 40592 0
vsize: 162620
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 39832 0 0 0 91853 162 0 0 25 0 1 0 891587359 167333888 39689 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40853 39689 1111 63 0 40790 0
vsize: 163412
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 40018 0 0 0 92852 163 0 0 25 0 1 0 891587359 168144896 39875 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41051 39875 1111 63 0 40988 0
vsize: 164204
[startup+940.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 40208 0 0 0 93852 163 0 0 25 0 1 0 891587359 168955904 40065 4294967295 134512640 134716908 3221224560 3221223220 134523855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41249 40065 1111 63 0 41186 0
vsize: 164996
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 40347 0 0 0 94852 164 0 0 25 0 1 0 891587359 169496576 40204 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41381 40204 1111 63 0 41318 0
vsize: 165524
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 40561 0 0 0 95852 165 0 0 25 0 1 0 891587359 170381312 40418 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41597 40418 1111 63 0 41534 0
vsize: 166388
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 41237 0 0 0 96849 167 0 0 25 0 1 0 891587359 173219840 41094 4294967295 134512640 134716908 3221224560 3221223248 134528712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42290 41094 1111 63 0 42227 0
vsize: 169160
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 41683 0 0 0 97847 169 0 0 25 0 1 0 891587359 174977024 41540 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42719 41540 1111 63 0 42656 0
vsize: 170876
[startup+990.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 42394 0 0 0 98844 172 0 0 25 0 1 0 891587359 178089984 42242 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43479 42242 1111 63 0 43416 0
vsize: 173916
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 42975 0 0 0 99843 174 0 0 25 0 1 0 891587359 180387840 42823 4294967295 134512640 134716908 3221224560 3221223232 134536653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44040 42823 1111 63 0 43977 0
vsize: 176160
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 43496 0 0 0 100841 176 0 0 25 0 1 0 891587359 182550528 43344 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44568 43344 1111 63 0 44505 0
vsize: 178272
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 43900 0 0 0 101839 178 0 0 25 0 1 0 891587359 184172544 43748 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44964 43748 1111 63 0 44901 0
vsize: 179856
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 44246 0 0 0 102838 180 0 0 25 0 1 0 891587359 185663488 44094 4294967295 134512640 134716908 3221224560 3221223088 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45328 44094 1111 63 0 45265 0
vsize: 181312
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 44608 0 0 0 103837 181 0 0 25 0 1 0 891587359 187179008 44456 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45698 44456 1111 63 0 45635 0
vsize: 182792
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 45025 0 0 0 104835 183 0 0 25 0 1 0 891587359 188809216 44873 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46096 44873 1111 63 0 46033 0
vsize: 184384
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 45486 0 0 0 105833 185 0 0 25 0 1 0 891587359 190701568 45334 4294967295 134512640 134716908 3221224560 3221223280 134535795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46558 45334 1111 63 0 46495 0
vsize: 186232
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 45803 0 0 0 106832 186 0 0 25 0 1 0 891587359 192053248 45651 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46888 45651 1111 63 0 46825 0
vsize: 187552
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 46293 0 0 0 107830 189 0 0 25 0 1 0 891587359 194125824 46140 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47394 46140 1111 63 0 47331 0
vsize: 189576
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 46758 0 0 0 108828 191 0 0 25 0 1 0 891587359 196018176 46605 4294967295 134512640 134716908 3221224560 3221223296 134528816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47856 46605 1111 63 0 47793 0
vsize: 191424
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 47223 0 0 0 109825 194 0 0 25 0 1 0 891587359 197910528 47070 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48318 47070 1111 63 0 48255 0
vsize: 193272
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 47614 0 0 0 110824 195 0 0 25 0 1 0 891587359 199532544 47461 4294967295 134512640 134716908 3221224560 3221222964 134699726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48714 47461 1111 63 0 48651 0
vsize: 194856
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 47799 0 0 0 111823 196 0 0 25 0 1 0 891587359 200343552 47646 4294967295 134512640 134716908 3221224560 3221223332 134529375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48912 47646 1111 63 0 48849 0
vsize: 195648
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 48010 0 0 0 112822 198 0 0 25 0 1 0 891587359 201154560 47857 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49110 47857 1111 63 0 49047 0
vsize: 196440
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 48225 0 0 0 113821 199 0 0 25 0 1 0 891587359 202100736 48072 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49341 48072 1111 63 0 49278 0
vsize: 197364
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 48409 0 0 0 114821 199 0 0 25 0 1 0 891587359 202809344 48255 4294967295 134512640 134716908 3221224560 3221223216 134524259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49514 48255 1111 63 0 49451 0
vsize: 198056
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 48600 0 0 0 115820 200 0 0 25 0 1 0 891587359 203657216 48442 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49721 48442 1111 63 0 49658 0
vsize: 198884
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 48756 0 0 0 116820 200 0 0 25 0 1 0 891587359 204214272 48597 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49857 48597 1111 63 0 49794 0
vsize: 199428
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 3041
Raw data (stat): 3041 (bsolo_lpr-v2) R 3040 7266 7265 0 -1 0 48756 0 0 0 116820 200 0 0 25 0 1 0 891587359 204214272 48597 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49857 48597 1111 63 0 49794 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.13
CPU user time (s): 1173.03
CPU system time (s): 2.10168
CPU usage (%): 100.015
Max. virtual memory (Kb): 199428
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####