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-chnl20_25_pb.cnf.cr.opb
MD5SUM	6c328ef6f9d8d5a179eec9bf3550b7fd
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.027995
Number of variables	1000
Total number of constraints	90
Number of constraints which are clauses	50
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	20
Maximum length of a constraint	25
Trace number 39385

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 07:23:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27451 boxname=wulflinc1 idbench=9 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  6c328ef6f9d8d5a179eec9bf3550b7fd  /oldhome/oroussel/tmp/wulflinc1/normalized-chnl20_25_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-chnl20_25_pb.cnf.cr.opb
IDLAUNCH: 27451
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        293800 kB
Buffers:         34388 kB
Cached:         680848 kB
SwapCached:        668 kB
Active:          60840 kB
Inactive:       656668 kB
HighTotal:      131008 kB
HighFree:          336 kB
LowTotal:       903652 kB
LowFree:        293464 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5840 kB
Slab:            17504 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 07:42:44 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 27451 7 1175.1 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 1000 variables and 90 constraints.
c After prepocess the problem consists of 1000 variables and 90 constraints.
c preprocess terminated 0.268 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.92 0.59 2/55 3527
Raw data (stat): 3527 (runsolver) R 3526 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 834305431 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0007 s]
Raw data (loadavg): 0.93 0.92 0.59 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 3804 0 0 0 987 10 0 0 25 0 1 0 834305431 18731008 3722 4294967295 134512640 134716908 3221224576 3221223360 134528959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4573 3722 1111 63 0 4510 0
vsize: 18292
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.92 0.59 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 5064 0 0 0 1983 15 0 0 25 0 1 0 834305431 23875584 4982 4294967295 134512640 134716908 3221224576 3221223228 134536823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5829 4982 1111 63 0 5766 0
vsize: 23316
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.93 0.60 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 5993 0 0 0 2981 17 0 0 25 0 1 0 834305431 27676672 5911 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6757 5911 1111 63 0 6694 0
vsize: 27028
[startup+40.001 s]
Raw data (loadavg): 0.95 0.93 0.60 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 6662 0 0 0 3978 20 0 0 25 0 1 0 834305431 30380032 6580 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7417 6580 1111 63 0 7354 0
vsize: 29668
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.93 0.60 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 7299 0 0 0 4977 22 0 0 25 0 1 0 834305431 33095680 7217 4294967295 134512640 134716908 3221224576 3221223128 134698829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8080 7217 1111 63 0 8017 0
vsize: 32320
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.93 0.61 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 7956 0 0 0 5974 24 0 0 25 0 1 0 834305431 35799040 7874 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8740 7874 1111 63 0 8677 0
vsize: 34960
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.93 0.61 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 8335 0 0 0 6973 26 0 0 25 0 1 0 834305431 37294080 8253 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9105 8253 1111 63 0 9042 0
vsize: 36420
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.94 0.62 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 8661 0 0 0 7972 27 0 0 25 0 1 0 834305431 38649856 8579 4294967295 134512640 134716908 3221224576 3221223264 134551890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9436 8579 1111 63 0 9373 0
vsize: 37744
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.94 0.62 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 8849 0 0 0 8971 29 0 0 25 0 1 0 834305431 39460864 8767 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9634 8767 1111 63 0 9571 0
vsize: 38536
[startup+100.003 s]
Raw data (loadavg): 0.98 0.94 0.62 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 9011 0 0 0 9970 30 0 0 25 0 1 0 834305431 40165376 8929 4294967295 134512640 134716908 3221224576 3221223328 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9806 8929 1111 63 0 9743 0
vsize: 39224
[startup+110.003 s]
Raw data (loadavg): 0.98 0.94 0.63 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 9377 0 0 0 10967 33 0 0 25 0 1 0 834305431 41652224 9295 4294967295 134512640 134716908 3221224576 3221223304 134558807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10169 9295 1111 63 0 10106 0
vsize: 40676
[startup+120.004 s]
Raw data (loadavg): 0.99 0.94 0.63 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 11222 0 0 0 11961 39 0 0 25 0 1 0 834305431 49213440 11140 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12015 11140 1111 63 0 11952 0
vsize: 48060
[startup+130.004 s]
Raw data (loadavg): 0.99 0.94 0.64 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 12046 0 0 0 12958 42 0 0 25 0 1 0 834305431 52596736 11964 4294967295 134512640 134716908 3221224576 3221223360 134528768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12841 11964 1111 63 0 12778 0
vsize: 51364
[startup+140.005 s]
Raw data (loadavg): 0.99 0.94 0.64 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 12637 0 0 0 13955 46 0 0 25 0 1 0 834305431 55054336 12554 4294967295 134512640 134716908 3221224576 3221223360 134529365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13441 12554 1111 63 0 13378 0
vsize: 53764
[startup+150.006 s]
Raw data (loadavg): 0.99 0.95 0.64 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 13024 0 0 0 14953 47 0 0 25 0 1 0 834305431 56672256 12941 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13836 12941 1111 63 0 13773 0
vsize: 55344
[startup+160.006 s]
Raw data (loadavg): 0.99 0.95 0.65 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 13232 0 0 0 15952 48 0 0 25 0 1 0 834305431 57499648 13149 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14038 13149 1111 63 0 13975 0
vsize: 56152
[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.65 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 13754 0 0 0 16951 50 0 0 25 0 1 0 834305431 59662336 13670 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14566 13670 1111 63 0 14503 0
vsize: 58264
[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.65 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 14655 0 0 0 17948 53 0 0 25 0 1 0 834305431 63324160 14571 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15460 14571 1111 63 0 15397 0
vsize: 61840
[startup+190.007 s]
Raw data (loadavg): 0.99 0.95 0.65 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 15347 0 0 0 18945 56 0 0 25 0 1 0 834305431 66162688 15263 4294967295 134512640 134716908 3221224576 3221223048 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16153 15263 1111 63 0 16090 0
vsize: 64612
[startup+200.007 s]
Raw data (loadavg): 0.99 0.95 0.66 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 15800 0 0 0 19943 58 0 0 25 0 1 0 834305431 68055040 15716 4294967295 134512640 134716908 3221224576 3221223144 1077377168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16615 15716 1111 63 0 16552 0
vsize: 66460
[startup+210.008 s]
Raw data (loadavg): 0.99 0.95 0.66 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 16452 0 0 0 20942 60 0 0 25 0 1 0 834305431 70758400 16367 4294967295 134512640 134716908 3221224576 3221223168 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17275 16367 1111 63 0 17212 0
vsize: 69100
[startup+220.009 s]
Raw data (loadavg): 0.99 0.95 0.66 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 16782 0 0 0 21939 63 0 0 25 0 1 0 834305431 72110080 16697 4294967295 134512640 134716908 3221224576 3221223132 134535984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17605 16697 1111 63 0 17542 0
vsize: 70420
[startup+230.009 s]
Raw data (loadavg): 0.99 0.95 0.67 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 17145 0 0 0 22937 64 0 0 25 0 1 0 834305431 73625600 17060 4294967295 134512640 134716908 3221224576 3221223072 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17975 17060 1111 63 0 17912 0
vsize: 71900
[startup+240.008 s]
Raw data (loadavg): 0.99 0.95 0.67 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 17418 0 0 0 23936 66 0 0 25 0 1 0 834305431 74706944 17333 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18239 17333 1111 63 0 18176 0
vsize: 72956
[startup+250.01 s]
Raw data (loadavg): 0.99 0.95 0.67 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 17621 0 0 0 24935 67 0 0 25 0 1 0 834305431 75517952 17536 4294967295 134512640 134716908 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18437 17536 1111 63 0 18374 0
vsize: 73748
[startup+260.01 s]
Raw data (loadavg): 0.99 0.96 0.67 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 17717 0 0 0 25934 68 0 0 25 0 1 0 834305431 75927552 17632 4294967295 134512640 134716908 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18537 17632 1111 63 0 18474 0
vsize: 74148
[startup+270.01 s]
Raw data (loadavg): 0.99 0.96 0.68 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 18250 0 0 0 26932 71 0 0 25 0 1 0 834305431 78123008 18163 4294967295 134512640 134716908 3221224576 3221223336 134552645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19073 18163 1111 63 0 19010 0
vsize: 76292
[startup+280.01 s]
Raw data (loadavg): 0.99 0.96 0.68 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 18652 0 0 0 27930 73 0 0 25 0 1 0 834305431 79745024 18565 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19469 18565 1111 63 0 19406 0
vsize: 77876
[startup+290.009 s]
Raw data (loadavg): 0.99 0.96 0.68 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 19026 0 0 0 28928 75 0 0 25 0 1 0 834305431 81367040 18939 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19865 18939 1111 63 0 19802 0
vsize: 79460
[startup+300.009 s]
Raw data (loadavg): 0.99 0.96 0.69 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 19507 0 0 0 29926 77 0 0 25 0 1 0 834305431 83271680 19420 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20330 19420 1111 63 0 20267 0
vsize: 81320
[startup+310.01 s]
Raw data (loadavg): 0.99 0.96 0.69 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 19797 0 0 0 30925 78 0 0 25 0 1 0 834305431 84516864 19710 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20634 19710 1111 63 0 20571 0
vsize: 82536
[startup+320.011 s]
Raw data (loadavg): 0.99 0.96 0.69 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 20033 0 0 0 31924 80 0 0 25 0 1 0 834305431 85463040 19946 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20865 19946 1111 63 0 20802 0
vsize: 83460
[startup+330.01 s]
Raw data (loadavg): 0.99 0.96 0.70 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 20212 0 0 0 32923 81 0 0 25 0 1 0 834305431 86274048 20125 4294967295 134512640 134716908 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21063 20125 1111 63 0 21000 0
vsize: 84252
[startup+340.011 s]
Raw data (loadavg): 0.99 0.96 0.70 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 20341 0 0 0 33923 81 0 0 25 0 1 0 834305431 86814720 20254 4294967295 134512640 134716908 3221224576 3221223320 134591816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21195 20254 1111 63 0 21132 0
vsize: 84780
[startup+350.011 s]
Raw data (loadavg): 0.99 0.96 0.70 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 20401 0 0 0 34921 83 0 0 25 0 1 0 834305431 87109632 20314 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21267 20314 1111 63 0 21204 0
vsize: 85068
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.70 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 20708 0 0 0 35919 85 0 0 25 0 1 0 834305431 88342528 20621 4294967295 134512640 134716908 3221224576 3221223132 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21568 20621 1111 63 0 21505 0
vsize: 86272
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.71 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 21118 0 0 0 36917 87 0 0 25 0 1 0 834305431 90103808 21029 4294967295 134512640 134716908 3221224576 3221223228 134536784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21998 21029 1111 63 0 21935 0
vsize: 87992
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.71 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 21406 0 0 0 37916 88 0 0 25 0 1 0 834305431 91201536 21317 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22266 21317 1111 63 0 22203 0
vsize: 89064
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.71 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 21706 0 0 0 38914 90 0 0 25 0 1 0 834305431 92418048 21617 4294967295 134512640 134716908 3221224576 3221223232 134536710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22563 21617 1111 63 0 22500 0
vsize: 90252
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.72 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 21938 0 0 0 39914 91 0 0 25 0 1 0 834305431 93364224 21848 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22794 21848 1111 63 0 22731 0
vsize: 91176
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.72 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 22098 0 0 0 40913 92 0 0 25 0 1 0 834305431 94076928 22008 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22968 22008 1111 63 0 22905 0
vsize: 91872
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.72 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 22173 0 0 0 41913 93 0 0 25 0 1 0 834305431 94519296 22083 4294967295 134512640 134716908 3221224576 3221223256 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23076 22083 1111 63 0 23013 0
vsize: 92304
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.72 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 22450 0 0 0 42912 93 0 0 25 0 1 0 834305431 95600640 22358 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23340 22358 1111 63 0 23277 0
vsize: 93360
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.73 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 22714 0 0 0 43910 95 0 0 25 0 1 0 834305431 96710656 22622 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23611 22622 1111 63 0 23548 0
vsize: 94444
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.73 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 22907 0 0 0 44910 96 0 0 25 0 1 0 834305431 97411072 22815 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23782 22815 1111 63 0 23719 0
vsize: 95128
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.73 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 23105 0 0 0 45909 97 0 0 25 0 1 0 834305431 98242560 23013 4294967295 134512640 134716908 3221224576 3221223168 134549742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23985 23013 1111 63 0 23922 0
vsize: 95940
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.73 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 23303 0 0 0 46908 98 0 0 25 0 1 0 834305431 99053568 23211 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24183 23211 1111 63 0 24120 0
vsize: 96732
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.74 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 23880 0 0 0 47906 100 0 0 25 0 1 0 834305431 101494784 23787 4294967295 134512640 134716908 3221224576 3221223216 134536655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24779 23787 1111 63 0 24716 0
vsize: 99116
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.74 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 24315 0 0 0 48904 103 0 0 25 0 1 0 834305431 103251968 24222 4294967295 134512640 134716908 3221224576 3221223320 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25208 24222 1111 63 0 25145 0
vsize: 100832
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.74 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 24570 0 0 0 49902 104 0 0 25 0 1 0 834305431 104325120 24477 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25470 24477 1111 63 0 25407 0
vsize: 101880
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.74 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 24843 0 0 0 50901 106 0 0 25 0 1 0 834305431 105406464 24750 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25734 24750 1111 63 0 25671 0
vsize: 102936
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.74 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 25183 0 0 0 51899 108 0 0 25 0 1 0 834305431 106758144 25090 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26064 25090 1111 63 0 26001 0
vsize: 104256
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 25366 0 0 0 52899 109 0 0 25 0 1 0 834305431 107552768 25273 4294967295 134512640 134716908 3221224576 3221223132 134535512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26258 25273 1111 63 0 26195 0
vsize: 105032
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 25450 0 0 0 53898 109 0 0 25 0 1 0 834305431 107839488 25357 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26328 25357 1111 63 0 26265 0
vsize: 105312
[startup+550.025 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 25856 0 0 0 54897 111 0 0 25 0 1 0 834305431 109461504 25763 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26724 25763 1111 63 0 26661 0
vsize: 106896
[startup+560.025 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 26141 0 0 0 55896 112 0 0 25 0 1 0 834305431 110678016 26048 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27021 26048 1111 63 0 26958 0
vsize: 108084
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 26308 0 0 0 56896 113 0 0 25 0 1 0 834305431 111353856 26215 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27186 26215 1111 63 0 27123 0
vsize: 108744
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.75 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 26403 0 0 0 57895 113 0 0 25 0 1 0 834305431 111783936 26310 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27291 26310 1111 63 0 27228 0
vsize: 109164
[startup+590.026 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 26457 0 0 0 58894 115 0 0 25 0 1 0 834305431 111919104 26364 4294967295 134512640 134716908 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27324 26364 1111 63 0 27261 0
vsize: 109296
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 26539 0 0 0 59894 115 0 0 25 0 1 0 834305431 112324608 26446 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27423 26446 1111 63 0 27360 0
vsize: 109692
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 26739 0 0 0 60893 117 0 0 25 0 1 0 834305431 113127424 26646 4294967295 134512640 134716908 3221224576 3221223132 134535631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27619 26646 1111 63 0 27556 0
vsize: 110476
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 26899 0 0 0 61891 118 0 0 25 0 1 0 834305431 113803264 26806 4294967295 134512640 134716908 3221224576 3221223168 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27784 26806 1111 63 0 27721 0
vsize: 111136
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.76 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 26972 0 0 0 62891 119 0 0 25 0 1 0 834305431 114073600 26879 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27850 26879 1111 63 0 27787 0
vsize: 111400
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 27177 0 0 0 63891 119 0 0 25 0 1 0 834305431 115032064 27084 4294967295 134512640 134716908 3221224576 3221223148 134535488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28084 27084 1111 63 0 28021 0
vsize: 112336
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 27355 0 0 0 64890 120 0 0 25 0 1 0 834305431 115707904 27262 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28249 27262 1111 63 0 28186 0
vsize: 112996
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 27569 0 0 0 65889 121 0 0 25 0 1 0 834305431 116518912 27476 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28447 27476 1111 63 0 28384 0
vsize: 113788
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 27762 0 0 0 66888 122 0 0 25 0 1 0 834305431 117329920 27669 4294967295 134512640 134716908 3221224576 3221223072 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28645 27669 1111 63 0 28582 0
vsize: 114580
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.77 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 27886 0 0 0 67887 123 0 0 25 0 1 0 834305431 117870592 27793 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28777 27793 1111 63 0 28714 0
vsize: 115108
[startup+690.029 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 28166 0 0 0 68886 125 0 0 25 0 1 0 834305431 118972416 28073 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29046 28073 1111 63 0 28983 0
vsize: 116184
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 28506 0 0 0 69885 126 0 0 25 0 1 0 834305431 120459264 28413 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29409 28413 1111 63 0 29346 0
vsize: 117636
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 28794 0 0 0 70883 128 0 0 25 0 1 0 834305431 121540608 28701 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29673 28701 1111 63 0 29610 0
vsize: 118692
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 29049 0 0 0 71881 130 0 0 25 0 1 0 834305431 122613760 28956 4294967295 134512640 134716908 3221224576 3221223132 134535976 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29935 28956 1111 63 0 29872 0
vsize: 119740
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.78 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 29179 0 0 0 72880 131 0 0 25 0 1 0 834305431 123150336 29086 4294967295 134512640 134716908 3221224576 3221223152 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30066 29086 1111 63 0 30003 0
vsize: 120264
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 29389 0 0 0 73879 133 0 0 25 0 1 0 834305431 123961344 29295 4294967295 134512640 134716908 3221224576 3221223168 134549767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30264 29295 1111 63 0 30201 0
vsize: 121056
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 29583 0 0 0 74879 133 0 0 25 0 1 0 834305431 124772352 29489 4294967295 134512640 134716908 3221224576 3221223264 134551897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30462 29489 1111 63 0 30399 0
vsize: 121848
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 29669 0 0 0 75879 133 0 0 25 0 1 0 834305431 125177856 29575 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30561 29575 1111 63 0 30498 0
vsize: 122244
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 29759 0 0 0 76878 134 0 0 25 0 1 0 834305431 125538304 29665 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30649 29665 1111 63 0 30586 0
vsize: 122596
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.79 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 29892 0 0 0 77877 135 0 0 25 0 1 0 834305431 126078976 29798 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30781 29798 1111 63 0 30718 0
vsize: 123124
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 30017 0 0 0 78876 136 0 0 25 0 1 0 834305431 126619648 29923 4294967295 134512640 134716908 3221224576 3221223360 134529359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30913 29923 1111 63 0 30850 0
vsize: 123652
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 30147 0 0 0 79875 137 0 0 25 0 1 0 834305431 127160320 30053 4294967295 134512640 134716908 3221224576 3221223360 134529269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31045 30053 1111 63 0 30982 0
vsize: 124180
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 30393 0 0 0 80874 139 0 0 25 0 1 0 834305431 128106496 30299 4294967295 134512640 134716908 3221224576 3221223168 134549517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31276 30299 1111 63 0 31213 0
vsize: 125104
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 30616 0 0 0 81873 140 0 0 25 0 1 0 834305431 129052672 30522 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31507 30522 1111 63 0 31444 0
vsize: 126028
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 30730 0 0 0 82872 141 0 0 25 0 1 0 834305431 129454080 30636 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31605 30636 1111 63 0 31542 0
vsize: 126420
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 30866 0 0 0 83871 142 0 0 25 0 1 0 834305431 129994752 30772 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31737 30772 1111 63 0 31674 0
vsize: 126948
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 31130 0 0 0 84869 144 0 0 25 0 1 0 834305431 131108864 31036 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32009 31036 1111 63 0 31946 0
vsize: 128036
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 31326 0 0 0 85868 146 0 0 25 0 1 0 834305431 131899392 31232 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32202 31232 1111 63 0 32139 0
vsize: 128808
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 31426 0 0 0 86867 147 0 0 25 0 1 0 834305431 132304896 31332 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32301 31332 1111 63 0 32238 0
vsize: 129204
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 31500 0 0 0 87867 147 0 0 25 0 1 0 834305431 132575232 31406 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32367 31406 1111 63 0 32304 0
vsize: 129468
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 31822 0 0 0 88865 149 0 0 25 0 1 0 834305431 133959680 31728 4294967295 134512640 134716908 3221224576 3221223120 134674918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32705 31728 1111 63 0 32642 0
vsize: 130820
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 31965 0 0 0 89864 151 0 0 25 0 1 0 834305431 134500352 31871 4294967295 134512640 134716908 3221224576 3221223164 134535503 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32837 31871 1111 63 0 32774 0
vsize: 131348
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 32090 0 0 0 90862 152 0 0 25 0 1 0 834305431 135041024 31996 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32969 31996 1111 63 0 32906 0
vsize: 131876
[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 32235 0 0 0 91861 154 0 0 25 0 1 0 834305431 135757824 32141 4294967295 134512640 134716908 3221224576 3221223360 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33144 32141 1111 63 0 33081 0
vsize: 132576
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 32413 0 0 0 92860 155 0 0 25 0 1 0 834305431 136437760 32318 4294967295 134512640 134716908 3221224576 3221223324 134558545 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33310 32318 1111 63 0 33247 0
vsize: 133240
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 32556 0 0 0 93859 156 0 0 25 0 1 0 834305431 137113600 32461 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33475 32461 1111 63 0 33412 0
vsize: 133900
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 32715 0 0 0 94858 157 0 0 25 0 1 0 834305431 137654272 32620 4294967295 134512640 134716908 3221224576 3221223360 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33607 32620 1111 63 0 33544 0
vsize: 134428
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 32768 0 0 0 95858 157 0 0 25 0 1 0 834305431 137924608 32673 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33673 32673 1111 63 0 33610 0
vsize: 134692
[startup+970.038 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 32886 0 0 0 96857 159 0 0 25 0 1 0 834305431 138330112 32791 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33772 32791 1111 63 0 33709 0
vsize: 135088
[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 32996 0 0 0 97856 160 0 0 25 0 1 0 834305431 138870784 32901 4294967295 134512640 134716908 3221224576 3221223204 134698632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33904 32901 1111 63 0 33841 0
vsize: 135616
[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 33129 0 0 0 98855 160 0 0 25 0 1 0 834305431 139427840 33034 4294967295 134512640 134716908 3221224576 3221223200 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34040 33034 1111 63 0 33977 0
vsize: 136160
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 33292 0 0 0 99855 161 0 0 25 0 1 0 834305431 140103680 33197 4294967295 134512640 134716908 3221224576 3221223184 134523607 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34205 33197 1111 63 0 34142 0
vsize: 136820
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 33382 0 0 0 100854 162 0 0 25 0 1 0 834305431 140509184 33287 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34304 33287 1111 63 0 34241 0
vsize: 137216
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 33468 0 0 0 101853 163 0 0 25 0 1 0 834305431 140779520 33373 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34370 33373 1111 63 0 34307 0
vsize: 137480
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 33511 0 0 0 102852 164 0 0 25 0 1 0 834305431 140910592 33416 4294967295 134512640 134716908 3221224576 3221223280 134528656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34402 33416 1111 63 0 34339 0
vsize: 137608
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 33597 0 0 0 103852 165 0 0 25 0 1 0 834305431 141316096 33502 4294967295 134512640 134716908 3221224576 3221223072 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34501 33502 1111 63 0 34438 0
vsize: 138004
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 33684 0 0 0 104851 166 0 0 25 0 1 0 834305431 141721600 33589 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34600 33589 1111 63 0 34537 0
vsize: 138400
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 33728 0 0 0 105850 167 0 0 25 0 1 0 834305431 141856768 33633 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34633 33633 1111 63 0 34570 0
vsize: 138532
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 33771 0 0 0 106850 168 0 0 25 0 1 0 834305431 142127104 33676 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34699 33676 1111 63 0 34636 0
vsize: 138796
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 33800 0 0 0 107849 168 0 0 25 0 1 0 834305431 142290944 33705 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34739 33705 1111 63 0 34676 0
vsize: 138956
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 33936 0 0 0 108849 169 0 0 25 0 1 0 834305431 142831616 33841 4294967295 134512640 134716908 3221224576 3221223336 134592427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34871 33841 1111 63 0 34808 0
vsize: 139484
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 34015 0 0 0 109848 170 0 0 25 0 1 0 834305431 143101952 33920 4294967295 134512640 134716908 3221224576 3221223200 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34937 33920 1111 63 0 34874 0
vsize: 139748
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 34060 0 0 0 110847 171 0 0 25 0 1 0 834305431 143237120 33965 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34970 33965 1111 63 0 34907 0
vsize: 139880
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 34178 0 0 0 111846 172 0 0 25 0 1 0 834305431 143777792 34083 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35102 34083 1111 63 0 35039 0
vsize: 140408
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 34215 0 0 0 112845 173 0 0 25 0 1 0 834305431 143912960 34120 4294967295 134512640 134716908 3221224576 3221223168 134549585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35135 34120 1111 63 0 35072 0
vsize: 140540
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 34298 0 0 0 113844 174 0 0 25 0 1 0 834305431 144326656 34203 4294967295 134512640 134716908 3221224576 3221222988 1077379921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35236 34203 1111 63 0 35173 0
vsize: 140944
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 34361 0 0 0 114844 175 0 0 25 0 1 0 834305431 144596992 34266 4294967295 134512640 134716908 3221224576 3221223160 134549708 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35302 34266 1111 63 0 35239 0
vsize: 141208
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 34409 0 0 0 115844 175 0 0 25 0 1 0 834305431 144863232 34314 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35367 34314 1111 63 0 35304 0
vsize: 141468
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 34444 0 0 0 116843 176 0 0 25 0 1 0 834305431 145051648 34349 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35413 34349 1111 63 0 35350 0
vsize: 141652
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.97 0.84 1/54 3527
Raw data (stat): 3527 (bsolo_lpr-v2) R 3526 8378 8377 0 -1 0 34444 0 0 0 116843 176 0 0 25 0 1 0 834305431 145051648 34349 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35413 34349 1111 63 0 35350 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.1
CPU user time (s): 1173.26
CPU system time (s): 1.83972
CPU usage (%): 100.013
Max. virtual memory (Kb): 141652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####