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-fpga12_12_sat_pb.cnf.cr.opb
MD5SUM	6137fb5f5f5e9a4f9b09d34c8e843809
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	13
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.053991
Number of variables	216
Total number of constraints	180
Number of constraints which are clauses	156
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	12
Trace number 39406

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 08:27:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27472 boxname=wulflinc4 idbench=30 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  6137fb5f5f5e9a4f9b09d34c8e843809  /oldhome/oroussel/tmp/wulflinc4/normalized-fpga12_12_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-fpga12_12_sat_pb.cnf.cr.opb
IDLAUNCH: 27472
/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:        405000 kB
Buffers:         34368 kB
Cached:         571828 kB
SwapCached:        568 kB
Active:          56524 kB
Inactive:       551808 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        404748 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            15568 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:47:12 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 27472 7 1175.15 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 216 variables and 180 constraints.
c After prepocess the problem consists of 216 variables and 180 constraints.
c preprocess terminated 0.118 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.06 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 1/54 12001
Raw data (stat): 12001 (runsolver) R 12000 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891539653 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 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 2871 0 0 0 987 9 0 0 25 0 1 0 891539653 14802944 2789 4294967295 134512640 134716908 3221224560 3221223152 134549855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3614 2789 1111 63 0 3551 0
vsize: 14456
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 4310 0 0 0 1980 17 0 0 25 0 1 0 891539653 20762624 4228 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4228 1111 63 0 5006 0
vsize: 20276
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 5365 0 0 0 2976 21 0 0 25 0 1 0 891539653 25096192 5283 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6127 5283 1111 63 0 6064 0
vsize: 24508
[startup+40.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 6629 0 0 0 3971 26 0 0 25 0 1 0 891539653 30294016 6547 4294967295 134512640 134716908 3221224560 3221223116 134535964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7396 6547 1111 63 0 7333 0
vsize: 29584
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 7927 0 0 0 4967 30 0 0 25 0 1 0 891539653 35721216 7843 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8721 7843 1111 63 0 8658 0
vsize: 34884
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 9234 0 0 0 5962 35 0 0 25 0 1 0 891539653 41132032 9150 4294967295 134512640 134716908 3221224560 3221223200 134536698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10042 9150 1111 63 0 9979 0
vsize: 40168
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 10188 0 0 0 6959 38 0 0 25 0 1 0 891539653 44929024 10103 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10969 10103 1111 63 0 10906 0
vsize: 43876
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 10890 0 0 0 7956 41 0 0 25 0 1 0 891539653 47902720 10805 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11695 10805 1111 63 0 11632 0
vsize: 46780
[startup+90.0134 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 11298 0 0 0 8956 43 0 0 25 0 1 0 891539653 49524736 11213 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12091 11213 1111 63 0 12028 0
vsize: 48364
[startup+100.014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 11641 0 0 0 9955 45 0 0 25 0 1 0 891539653 51027968 11555 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12458 11555 1111 63 0 12395 0
vsize: 49832
[startup+110.014 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 11941 0 0 0 10953 46 0 0 25 0 1 0 891539653 52244480 11854 4294967295 134512640 134716908 3221224560 3221223324 134552560 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12755 11854 1111 63 0 12692 0
vsize: 51020
[startup+120.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 12246 0 0 0 11951 48 0 0 25 0 1 0 891539653 53460992 12159 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13052 12159 1111 63 0 12989 0
vsize: 52208
[startup+130.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 12503 0 0 0 12950 50 0 0 25 0 1 0 891539653 54558720 12416 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13320 12416 1111 63 0 13257 0
vsize: 53280
[startup+140.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 12812 0 0 0 13948 51 0 0 25 0 1 0 891539653 55775232 12724 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13617 12724 1111 63 0 13554 0
vsize: 54468
[startup+150.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 13107 0 0 0 14947 53 0 0 25 0 1 0 891539653 56991744 13019 4294967295 134512640 134716908 3221224560 3221223296 134535837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13914 13019 1111 63 0 13851 0
vsize: 55656
[startup+160.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 13378 0 0 0 15945 55 0 0 25 0 1 0 891539653 58077184 13290 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14179 13290 1111 63 0 14116 0
vsize: 56716
[startup+170.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 13656 0 0 0 16944 56 0 0 25 0 1 0 891539653 59293696 13568 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14476 13568 1111 63 0 14413 0
vsize: 57904
[startup+180.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 13907 0 0 0 17943 58 0 0 25 0 1 0 891539653 60239872 13819 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14707 13819 1111 63 0 14644 0
vsize: 58828
[startup+190.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 14147 0 0 0 18942 58 0 0 25 0 1 0 891539653 61321216 14059 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14971 14059 1111 63 0 14908 0
vsize: 59884
[startup+200.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 14381 0 0 0 19941 59 0 0 25 0 1 0 891539653 62267392 14293 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15202 14293 1111 63 0 15139 0
vsize: 60808
[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 14697 0 0 0 20940 61 0 0 25 0 1 0 891539653 63488000 14609 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15500 14609 1111 63 0 15437 0
vsize: 62000
[startup+220.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 15395 0 0 0 21938 63 0 0 25 0 1 0 891539653 66490368 15306 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16233 15306 1111 63 0 16170 0
vsize: 64932
[startup+230.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 16368 0 0 0 22934 67 0 0 25 0 1 0 891539653 70414336 16279 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17191 16279 1111 63 0 17128 0
vsize: 68764
[startup+240.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 17063 0 0 0 23932 69 0 0 25 0 1 0 891539653 73330688 16971 4294967295 134512640 134716908 3221224560 3221223152 134549852 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17903 16971 1111 63 0 17840 0
vsize: 71612
[startup+250.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 17535 0 0 0 24931 71 0 0 25 0 1 0 891539653 75431936 17443 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18416 17443 1111 63 0 18353 0
vsize: 73664
[startup+260.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 17994 0 0 0 25929 73 0 0 25 0 1 0 891539653 77332480 17901 4294967295 134512640 134716908 3221224560 3221222724 134699567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18880 17901 1111 63 0 18817 0
vsize: 75520
[startup+270.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 18699 0 0 0 26926 76 0 0 25 0 1 0 891539653 80171008 18606 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19573 18606 1111 63 0 19510 0
vsize: 78292
[startup+280.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 19310 0 0 0 27923 79 0 0 25 0 1 0 891539653 82751488 19213 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20203 19213 1111 63 0 20140 0
vsize: 80812
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 20042 0 0 0 28920 82 0 0 25 0 1 0 891539653 85725184 19945 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20929 19945 1111 63 0 20866 0
vsize: 83716
[startup+300.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 20608 0 0 0 29918 84 0 0 25 0 1 0 891539653 88023040 20511 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21490 20511 1111 63 0 21427 0
vsize: 85960
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 21220 0 0 0 30916 87 0 0 25 0 1 0 891539653 90591232 21123 4294967295 134512640 134716908 3221224560 3221223344 134529126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22117 21123 1111 63 0 22054 0
vsize: 88468
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 21734 0 0 0 31913 90 0 0 25 0 1 0 891539653 92794880 21632 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22655 21632 1111 63 0 22592 0
vsize: 90620
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 22169 0 0 0 32912 91 0 0 25 0 1 0 891539653 94552064 22066 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23084 22066 1111 63 0 23021 0
vsize: 92336
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 22543 0 0 0 33910 93 0 0 25 0 1 0 891539653 96071680 22440 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23455 22440 1111 63 0 23392 0
vsize: 93820
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 22902 0 0 0 34908 95 0 0 25 0 1 0 891539653 97513472 22796 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23807 22796 1111 63 0 23744 0
vsize: 95228
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 23296 0 0 0 35908 96 0 0 25 0 1 0 891539653 99000320 23190 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24170 23190 1111 63 0 24107 0
vsize: 96680
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 23673 0 0 0 36906 97 0 0 25 0 1 0 891539653 100626432 23567 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24567 23567 1111 63 0 24504 0
vsize: 98268
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 23974 0 0 0 37906 98 0 0 25 0 1 0 891539653 101871616 23866 4294967295 134512640 134716908 3221224560 3221223212 134536848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24871 23866 1111 63 0 24808 0
vsize: 99484
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 24240 0 0 0 38904 100 0 0 25 0 1 0 891539653 102977536 24131 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25141 24131 1111 63 0 25078 0
vsize: 100564
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 24443 0 0 0 39904 100 0 0 25 0 1 0 891539653 103809024 24334 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25344 24334 1111 63 0 25281 0
vsize: 101376
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 24750 0 0 0 40903 101 0 0 25 0 1 0 891539653 105062400 24641 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25650 24641 1111 63 0 25587 0
vsize: 102600
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 25010 0 0 0 41903 102 0 0 25 0 1 0 891539653 106250240 24897 4294967295 134512640 134716908 3221224560 3221223248 134528607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25940 24897 1111 63 0 25877 0
vsize: 103760
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 25246 0 0 0 42901 103 0 0 25 0 1 0 891539653 107073536 25132 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26141 25132 1111 63 0 26078 0
vsize: 104564
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 25464 0 0 0 43901 104 0 0 25 0 1 0 891539653 108048384 25349 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26379 25349 1111 63 0 26316 0
vsize: 105516
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 25718 0 0 0 44900 106 0 0 25 0 1 0 891539653 109174784 25602 4294967295 134512640 134716908 3221224560 3221223248 134528707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26654 25602 1111 63 0 26591 0
vsize: 106616
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 26002 0 0 0 45899 107 0 0 25 0 1 0 891539653 110329856 25886 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26936 25886 1111 63 0 26873 0
vsize: 107744
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 26247 0 0 0 46898 107 0 0 25 0 1 0 891539653 111411200 26131 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27200 26131 1111 63 0 27137 0
vsize: 108800
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 26465 0 0 0 47898 108 0 0 25 0 1 0 891539653 112222208 26349 4294967295 134512640 134716908 3221224560 3221223280 134523872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27398 26349 1111 63 0 27335 0
vsize: 109592
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 26696 0 0 0 48897 109 0 0 25 0 1 0 891539653 113168384 26580 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27629 26580 1111 63 0 27566 0
vsize: 110516
[startup+500.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 26863 0 0 0 49895 111 0 0 25 0 1 0 891539653 113844224 26747 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27794 26747 1111 63 0 27731 0
vsize: 111176
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 27400 0 0 0 50893 113 0 0 25 0 1 0 891539653 116006912 27284 4294967295 134512640 134716908 3221224560 3221223344 134529252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28322 27284 1111 63 0 28259 0
vsize: 113288
[startup+520.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 28001 0 0 0 51891 115 0 0 25 0 1 0 891539653 118636544 27881 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28964 27881 1111 63 0 28901 0
vsize: 115856
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 28167 0 0 0 52891 116 0 0 25 0 1 0 891539653 119312384 28046 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29129 28046 1111 63 0 29066 0
vsize: 116516
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 28753 0 0 0 53889 118 0 0 25 0 1 0 891539653 121610240 28632 4294967295 134512640 134716908 3221224560 3221223168 134543759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29690 28632 1111 63 0 29627 0
vsize: 118760
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 29543 0 0 0 54887 120 0 0 25 0 1 0 891539653 124915712 29422 4294967295 134512640 134716908 3221224560 3221223296 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30497 29422 1111 63 0 30434 0
vsize: 121988
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 30211 0 0 0 55883 124 0 0 25 0 1 0 891539653 127627264 30090 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31159 30090 1111 63 0 31096 0
vsize: 124636
[startup+570.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 30781 0 0 0 56881 126 0 0 25 0 1 0 891539653 130109440 30660 4294967295 134512640 134716908 3221224560 3221223264 134528699 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31765 30660 1111 63 0 31702 0
vsize: 127060
[startup+580.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 31391 0 0 0 57879 129 0 0 25 0 1 0 891539653 132608000 31270 4294967295 134512640 134716908 3221224560 3221223344 134529401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32375 31270 1111 63 0 32312 0
vsize: 129500
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 31946 0 0 0 58876 131 0 0 25 0 1 0 891539653 134905856 31825 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32936 31825 1111 63 0 32873 0
vsize: 131744
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 32477 0 0 0 59875 133 0 0 25 0 1 0 891539653 137084928 32356 4294967295 134512640 134716908 3221224560 3221223284 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33468 32356 1111 63 0 33405 0
vsize: 133872
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 32894 0 0 0 60873 135 0 0 25 0 1 0 891539653 138838016 32764 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33896 32764 1111 63 0 33833 0
vsize: 135584
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 33338 0 0 0 61872 137 0 0 25 0 1 0 891539653 140775424 33208 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34369 33208 1111 63 0 34306 0
vsize: 137476
[startup+630.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 33878 0 0 0 62869 139 0 0 25 0 1 0 891539653 143028224 33747 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34919 33747 1111 63 0 34856 0
vsize: 139676
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 34076 0 0 0 63868 140 0 0 25 0 1 0 891539653 143839232 33945 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35117 33945 1111 63 0 35054 0
vsize: 140468
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 34342 0 0 0 64867 142 0 0 25 0 1 0 891539653 144924672 34210 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35382 34210 1111 63 0 35319 0
vsize: 141528
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 34583 0 0 0 65866 143 0 0 25 0 1 0 891539653 145870848 34451 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35613 34451 1111 63 0 35550 0
vsize: 142452
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 34828 0 0 0 66865 144 0 0 25 0 1 0 891539653 146952192 34696 4294967295 134512640 134716908 3221224560 3221223148 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35877 34696 1111 63 0 35814 0
vsize: 143508
[startup+680.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 35041 0 0 0 67865 145 0 0 25 0 1 0 891539653 147898368 34909 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36108 34909 1111 63 0 36045 0
vsize: 144432
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 35246 0 0 0 68864 145 0 0 25 0 1 0 891539653 148709376 35114 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36306 35114 1111 63 0 36243 0
vsize: 145224
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 35439 0 0 0 69863 147 0 0 25 0 1 0 891539653 149385216 35307 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36471 35307 1111 63 0 36408 0
vsize: 145884
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 35955 0 0 0 70861 149 0 0 25 0 1 0 891539653 151547904 35823 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36999 35823 1111 63 0 36936 0
vsize: 147996
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 36345 0 0 0 71859 151 0 0 25 0 1 0 891539653 153169920 36213 4294967295 134512640 134716908 3221224560 3221223296 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37395 36213 1111 63 0 37332 0
vsize: 149580
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 36626 0 0 0 72859 152 0 0 25 0 1 0 891539653 154312704 36494 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37674 36494 1111 63 0 37611 0
vsize: 150696
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 36831 0 0 0 73858 153 0 0 25 0 1 0 891539653 155164672 36699 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37882 36699 1111 63 0 37819 0
vsize: 151528
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 37033 0 0 0 74858 153 0 0 25 0 1 0 891539653 156069888 36892 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38103 36892 1111 63 0 38040 0
vsize: 152412
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 37218 0 0 0 75857 154 0 0 25 0 1 0 891539653 156745728 37076 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38268 37076 1111 63 0 38205 0
vsize: 153072
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 37378 0 0 0 76857 155 0 0 25 0 1 0 891539653 157437952 37236 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38437 37236 1111 63 0 38374 0
vsize: 153748
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 37522 0 0 0 77856 155 0 0 25 0 1 0 891539653 158031872 37380 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38582 37380 1111 63 0 38519 0
vsize: 154328
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 37686 0 0 0 78856 156 0 0 25 0 1 0 891539653 158806016 37542 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38771 37542 1111 63 0 38708 0
vsize: 155084
[startup+800.034 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 37914 0 0 0 79855 157 0 0 25 0 1 0 891539653 159731712 37766 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38997 37766 1111 63 0 38934 0
vsize: 155988
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 38210 0 0 0 80854 158 0 0 25 0 1 0 891539653 160948224 38062 4294967295 134512640 134716908 3221224560 3221223300 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39294 38062 1111 63 0 39231 0
vsize: 157176
[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 38790 0 0 0 81852 160 0 0 25 0 1 0 891539653 163246080 38642 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39855 38642 1111 63 0 39792 0
vsize: 159420
[startup+830.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 39138 0 0 0 82851 161 0 0 25 0 1 0 891539653 164597760 38990 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40185 38990 1111 63 0 40122 0
vsize: 160740
[startup+840.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 39541 0 0 0 83850 162 0 0 25 0 1 0 891539653 166420480 39388 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40630 39388 1111 63 0 40567 0
vsize: 162520
[startup+850.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 39708 0 0 0 84850 163 0 0 25 0 1 0 891539653 167096320 39555 4294967295 134512640 134716908 3221224560 3221223044 134699567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40795 39555 1111 63 0 40732 0
vsize: 163180
[startup+860.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 40023 0 0 0 85850 164 0 0 25 0 1 0 891539653 168337408 39869 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41098 39869 1111 63 0 41035 0
vsize: 164392
[startup+870.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 40258 0 0 0 86849 165 0 0 25 0 1 0 891539653 169283584 40104 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41329 40104 1111 63 0 41266 0
vsize: 165316
[startup+880.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 40438 0 0 0 87849 165 0 0 25 0 1 0 891539653 170094592 40284 4294967295 134512640 134716908 3221224560 3221223148 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41527 40284 1111 63 0 41464 0
vsize: 166108
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 40673 0 0 0 88848 166 0 0 25 0 1 0 891539653 171196416 40519 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41796 40519 1111 63 0 41733 0
vsize: 167184
[startup+900.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 40864 0 0 0 89847 167 0 0 25 0 1 0 891539653 172007424 40710 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41994 40710 1111 63 0 41931 0
vsize: 167976
[startup+910.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 41071 0 0 0 90846 168 0 0 25 0 1 0 891539653 172838912 40914 4294967295 134512640 134716908 3221224560 3221223052 134552651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42197 40914 1111 63 0 42134 0
vsize: 168788
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 41225 0 0 0 91845 169 0 0 25 0 1 0 891539653 173555712 41065 4294967295 134512640 134716908 3221224560 3221223164 134549858 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42372 41065 1111 63 0 42309 0
vsize: 169488
[startup+930.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 41361 0 0 0 92844 170 0 0 25 0 1 0 891539653 174096384 41201 4294967295 134512640 134716908 3221224560 3221223284 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42504 41201 1111 63 0 42441 0
vsize: 170016
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 41522 0 0 0 93844 171 0 0 25 0 1 0 891539653 174637056 41362 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42636 41362 1111 63 0 42573 0
vsize: 170544
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 41694 0 0 0 94843 172 0 0 25 0 1 0 891539653 175448064 41534 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42834 41534 1111 63 0 42771 0
vsize: 171336
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 41857 0 0 0 95842 173 0 0 25 0 1 0 891539653 176033792 41693 4294967295 134512640 134716908 3221224560 3221223224 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42977 41693 1111 63 0 42914 0
vsize: 171908
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 42021 0 0 0 96842 174 0 0 25 0 1 0 891539653 176709632 41857 4294967295 134512640 134716908 3221224560 3221223296 134528662 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43142 41857 1111 63 0 43079 0
vsize: 172568
[startup+980.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 42170 0 0 0 97841 175 0 0 25 0 1 0 891539653 177385472 42006 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43307 42006 1111 63 0 43244 0
vsize: 173228
[startup+990.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 42323 0 0 0 98841 175 0 0 25 0 1 0 891539653 177926144 42159 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43439 42159 1111 63 0 43376 0
vsize: 173756
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 42477 0 0 0 99841 176 0 0 25 0 1 0 891539653 178601984 42313 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43604 42313 1111 63 0 43541 0
vsize: 174416
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 42631 0 0 0 100840 176 0 0 25 0 1 0 891539653 179277824 42467 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43769 42467 1111 63 0 43706 0
vsize: 175076
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 42788 0 0 0 101840 177 0 0 25 0 1 0 891539653 179818496 42624 4294967295 134512640 134716908 3221224560 3221223284 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43901 42624 1111 63 0 43838 0
vsize: 175604
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 42946 0 0 0 102839 178 0 0 25 0 1 0 891539653 180494336 42782 4294967295 134512640 134716908 3221224560 3221223236 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44066 42782 1111 63 0 44003 0
vsize: 176264
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 43087 0 0 0 103839 178 0 0 25 0 1 0 891539653 181035008 42923 4294967295 134512640 134716908 3221224560 3221223344 134529206 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44198 42923 1111 63 0 44135 0
vsize: 176792
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 43235 0 0 0 104839 179 0 0 25 0 1 0 891539653 181710848 43071 4294967295 134512640 134716908 3221224560 3221223200 134536650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44363 43071 1111 63 0 44300 0
vsize: 177452
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 43374 0 0 0 105838 180 0 0 25 0 1 0 891539653 182251520 43210 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44495 43210 1111 63 0 44432 0
vsize: 177980
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 43507 0 0 0 106837 180 0 0 25 0 1 0 891539653 182796288 43343 4294967295 134512640 134716908 3221224560 3221223120 134535881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44628 43343 1111 63 0 44565 0
vsize: 178512
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 43635 0 0 0 107837 181 0 0 25 0 1 0 891539653 183201792 43471 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44727 43471 1111 63 0 44664 0
vsize: 178908
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 43758 0 0 0 108836 182 0 0 25 0 1 0 891539653 183742464 43594 4294967295 134512640 134716908 3221224560 3221223344 134529234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44859 43594 1111 63 0 44796 0
vsize: 179436
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 43871 0 0 0 109835 183 0 0 25 0 1 0 891539653 184147968 43707 4294967295 134512640 134716908 3221224560 3221223256 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44958 43707 1111 63 0 44895 0
vsize: 179832
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 43985 0 0 0 110835 184 0 0 25 0 1 0 891539653 184688640 43821 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45090 43821 1111 63 0 45027 0
vsize: 180360
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 44095 0 0 0 111835 184 0 0 25 0 1 0 891539653 185094144 43931 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45189 43931 1111 63 0 45126 0
vsize: 180756
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 44217 0 0 0 112834 185 0 0 25 0 1 0 891539653 185712640 44052 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45340 44052 1111 63 0 45277 0
vsize: 181360
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 44335 0 0 0 113834 186 0 0 25 0 1 0 891539653 186118144 44170 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45439 44170 1111 63 0 45376 0
vsize: 181756
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 44450 0 0 0 114834 186 0 0 25 0 1 0 891539653 186523648 44285 4294967295 134512640 134716908 3221224560 3221223296 134535750 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45538 44285 1111 63 0 45475 0
vsize: 182152
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 44577 0 0 0 115833 186 0 0 25 0 1 0 891539653 187109376 44412 4294967295 134512640 134716908 3221224560 3221223116 134535936 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45681 44412 1111 63 0 45618 0
vsize: 182724
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 44711 0 0 0 116833 187 0 0 25 0 1 0 891539653 187650048 44546 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45813 44546 1111 63 0 45750 0
vsize: 183252
[startup+1174.99 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 12001
Raw data (stat): 12001 (bsolo_lpr-v2) R 12000 21152 21151 0 -1 0 44711 0 0 0 116833 187 0 0 25 0 1 0 891539653 187650048 44546 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45813 44546 1111 63 0 45750 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.15
CPU user time (s): 1173.19
CPU system time (s): 1.9567
CPU usage (%): 100.013
Max. virtual memory (Kb): 183252
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####