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-fpga15_14_sat_pb.cnf.cr.opb
MD5SUM	6fc7fbb8e05218938564d50faef1e68f
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	16
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.222965
Number of variables	315
Total number of constraints	253
Number of constraints which are clauses	224
Number of constraints which are cardinality constraints (but not clauses)	29
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	15
Trace number 39414

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 08:52:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27480 boxname=wulflinc2 idbench=38 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  6fc7fbb8e05218938564d50faef1e68f  /oldhome/oroussel/tmp/wulflinc2/normalized-fpga15_14_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-fpga15_14_sat_pb.cnf.cr.opb
IDLAUNCH: 27480
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        271192 kB
Buffers:         34072 kB
Cached:         705692 kB
SwapCached:       1164 kB
Active:          41660 kB
Inactive:       700592 kB
HighTotal:      131008 kB
HighFree:        17332 kB
LowTotal:       903652 kB
LowFree:        253860 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15532 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 09:12:10 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 27480 7 1175.12 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 315 variables and 253 constraints.
c After prepocess the problem consists of 315 variables and 253 constraints.
c preprocess terminated 0.19 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.96 0.91 1/54 22023
Raw data (stat): 22023 (runsolver) R 22022 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891702595 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.0009 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 2966 0 0 0 988 9 0 0 25 0 1 0 891702595 15208448 2884 4294967295 134512640 134716908 3221224560 3221223152 134549520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3713 2884 1111 63 0 3650 0
vsize: 14852
[startup+20.002 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 4458 0 0 0 1982 14 0 0 25 0 1 0 891702595 21430272 4376 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5232 4376 1111 63 0 5169 0
vsize: 20928
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 5539 0 0 0 2977 19 0 0 25 0 1 0 891702595 25755648 5457 4294967295 134512640 134716908 3221224560 3221223100 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6288 5457 1111 63 0 6225 0
vsize: 25152
[startup+40.0034 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 6827 0 0 0 3974 23 0 0 25 0 1 0 891702595 31031296 6745 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7576 6745 1111 63 0 7513 0
vsize: 30304
[startup+50.0041 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 7690 0 0 0 4971 26 0 0 25 0 1 0 891702595 34680832 7608 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8467 7608 1111 63 0 8404 0
vsize: 33868
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 8454 0 0 0 5968 29 0 0 25 0 1 0 891702595 37834752 8372 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9237 8372 1111 63 0 9174 0
vsize: 36948
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 8901 0 0 0 6966 31 0 0 25 0 1 0 891702595 39768064 8819 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9709 8819 1111 63 0 9646 0
vsize: 38836
[startup+80.0052 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 9294 0 0 0 7965 32 0 0 25 0 1 0 891702595 41394176 9211 4294967295 134512640 134716908 3221224560 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10106 9211 1111 63 0 10043 0
vsize: 40424
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 9589 0 0 0 8964 33 0 0 25 0 1 0 891702595 42610688 9506 4294967295 134512640 134716908 3221224560 3221223344 134529341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10403 9506 1111 63 0 10340 0
vsize: 41612
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 9952 0 0 0 9963 35 0 0 25 0 1 0 891702595 44105728 9869 4294967295 134512640 134716908 3221224560 3221223184 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10768 9869 1111 63 0 10705 0
vsize: 43072
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 11438 0 0 0 10959 39 0 0 25 0 1 0 891702595 50192384 11355 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12254 11355 1111 63 0 12191 0
vsize: 49016
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 13059 0 0 0 11953 45 0 0 25 0 1 0 891702595 56815616 12976 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13871 12976 1111 63 0 13808 0
vsize: 55484
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 14760 0 0 0 12948 51 0 0 25 0 1 0 891702595 63729664 14677 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15559 14677 1111 63 0 15496 0
vsize: 62236
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 15935 0 0 0 13943 56 0 0 25 0 1 0 891702595 68624384 15849 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16754 15849 1111 63 0 16691 0
vsize: 67016
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 17245 0 0 0 14939 60 0 0 25 0 1 0 891702595 74027008 17157 4294967295 134512640 134716908 3221224560 3221223324 134552548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18073 17158 1111 63 0 18010 0
vsize: 72292
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 18659 0 0 0 15936 63 0 0 25 0 1 0 891702595 79855616 18571 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19496 18571 1111 63 0 19433 0
vsize: 77984
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 19702 0 0 0 16932 67 0 0 25 0 1 0 891702595 84082688 19612 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20528 19612 1111 63 0 20465 0
vsize: 82112
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 20453 0 0 0 17930 70 0 0 25 0 1 0 891702595 87191552 20363 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21287 20363 1111 63 0 21224 0
vsize: 85148
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 20956 0 0 0 18928 72 0 0 25 0 1 0 891702595 89231360 20866 4294967295 134512640 134716908 3221224560 3221223200 134536650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21785 20866 1111 63 0 21722 0
vsize: 87140
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 21503 0 0 0 19926 74 0 0 25 0 1 0 891702595 91529216 21413 4294967295 134512640 134716908 3221224560 3221223188 134698595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22346 21413 1111 63 0 22283 0
vsize: 89384
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 22003 0 0 0 20923 77 0 0 25 0 1 0 891702595 93564928 21913 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22843 21913 1111 63 0 22780 0
vsize: 91372
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 22430 0 0 0 21922 78 0 0 25 0 1 0 891702595 95387648 22340 4294967295 134512640 134716908 3221224560 3221223184 134549780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23288 22340 1111 63 0 23225 0
vsize: 93152
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 23052 0 0 0 22920 81 0 0 25 0 1 0 891702595 97955840 22962 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23915 22962 1111 63 0 23852 0
vsize: 95660
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 23530 0 0 0 23918 83 0 0 25 0 1 0 891702595 99950592 23439 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24402 23439 1111 63 0 24339 0
vsize: 97608
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 24016 0 0 0 24916 85 0 0 25 0 1 0 891702595 101990400 23925 4294967295 134512640 134716908 3221224560 3221223212 134536831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24900 23925 1111 63 0 24837 0
vsize: 99600
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 24343 0 0 0 25915 86 0 0 25 0 1 0 891702595 103206912 24252 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25197 24252 1111 63 0 25134 0
vsize: 100788
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 24853 0 0 0 26913 88 0 0 25 0 1 0 891702595 105369600 24761 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25725 24761 1111 63 0 25662 0
vsize: 102900
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 25226 0 0 0 27911 91 0 0 25 0 1 0 891702595 106991616 25134 4294967295 134512640 134716908 3221224560 3221223100 134613768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26121 25134 1111 63 0 26058 0
vsize: 104484
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 25632 0 0 0 28909 92 0 0 25 0 1 0 891702595 108613632 25540 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26517 25540 1111 63 0 26454 0
vsize: 106068
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 25961 0 0 0 29908 94 0 0 25 0 1 0 891702595 110002176 25869 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26856 25869 1111 63 0 26793 0
vsize: 107424
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 26494 0 0 0 30907 95 0 0 25 0 1 0 891702595 112164864 26400 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27384 26400 1111 63 0 27321 0
vsize: 109536
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 26864 0 0 0 31906 96 0 0 25 0 1 0 891702595 113655808 26770 4294967295 134512640 134716908 3221224560 3221223184 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27748 26771 1111 63 0 27685 0
vsize: 110992
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 27392 0 0 0 32903 99 0 0 25 0 1 0 891702595 115818496 27297 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28276 27297 1111 63 0 28213 0
vsize: 113104
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 27948 0 0 0 33901 101 0 0 25 0 1 0 891702595 118116352 27853 4294967295 134512640 134716908 3221224560 3221223184 134536680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28837 27853 1111 63 0 28774 0
vsize: 115348
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 28274 0 0 0 34900 102 0 0 25 0 1 0 891702595 119476224 28179 4294967295 134512640 134716908 3221224560 3221223200 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29169 28179 1111 63 0 29106 0
vsize: 116676
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 28652 0 0 0 35899 104 0 0 25 0 1 0 891702595 121110528 28557 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29568 28557 1111 63 0 29505 0
vsize: 118272
[startup+370.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 28931 0 0 0 36898 105 0 0 25 0 1 0 891702595 122191872 28834 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29832 28834 1111 63 0 29769 0
vsize: 119328
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 29234 0 0 0 37897 106 0 0 25 0 1 0 891702595 123576320 29137 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30170 29137 1111 63 0 30107 0
vsize: 120680
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 29471 0 0 0 38896 107 0 0 25 0 1 0 891702595 124526592 29374 4294967295 134512640 134716908 3221224560 3221223120 134535985 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30402 29374 1111 63 0 30339 0
vsize: 121608
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 29694 0 0 0 39896 108 0 0 25 0 1 0 891702595 125337600 29597 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30600 29597 1111 63 0 30537 0
vsize: 122400
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 29951 0 0 0 40895 109 0 0 25 0 1 0 891702595 126418944 29854 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30864 29854 1111 63 0 30801 0
vsize: 123456
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 30163 0 0 0 41894 110 0 0 25 0 1 0 891702595 127373312 30066 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31097 30066 1111 63 0 31034 0
vsize: 124388
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 30380 0 0 0 42893 111 0 0 25 0 1 0 891702595 128323584 30283 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31329 30283 1111 63 0 31266 0
vsize: 125316
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22023
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 30482 0 0 0 43893 112 0 0 25 0 1 0 891702595 128741376 30385 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31431 30385 1111 63 0 31368 0
vsize: 125724
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 22059
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 31334 0 0 0 44890 115 0 0 25 0 1 0 891702595 132313088 31234 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32303 31234 1111 63 0 32240 0
vsize: 129212
[startup+460.014 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 22076
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 31660 0 0 0 45883 121 0 0 25 0 1 0 891702595 133529600 31560 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32600 31560 1111 63 0 32537 0
vsize: 130400
[startup+470.015 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 22076
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 32255 0 0 0 46880 124 0 0 25 0 1 0 891702595 136097792 32154 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33227 32154 1111 63 0 33164 0
vsize: 132908
[startup+480.015 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 22076
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 33203 0 0 0 47878 126 0 0 25 0 1 0 891702595 139882496 33102 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34151 33102 1111 63 0 34088 0
vsize: 136604
[startup+490.015 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 22076
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 33688 0 0 0 48876 128 0 0 25 0 1 0 891702595 141910016 33586 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34646 33586 1111 63 0 34583 0
vsize: 138584
[startup+500.016 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 22076
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 33946 0 0 0 49875 130 0 0 25 0 1 0 891702595 142991360 33844 4294967295 134512640 134716908 3221224560 3221223296 134558504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34910 33844 1111 63 0 34847 0
vsize: 139640
[startup+510.016 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 22076
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 34300 0 0 0 50874 131 0 0 25 0 1 0 891702595 144478208 34197 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35273 34197 1111 63 0 35210 0
vsize: 141092
[startup+520.017 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 22076
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 34729 0 0 0 51872 133 0 0 25 0 1 0 891702595 146235392 34626 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35702 34626 1111 63 0 35639 0
vsize: 142808
[startup+530.017 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 35328 0 0 0 52870 136 0 0 25 0 1 0 891702595 148705280 35225 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36305 35225 1111 63 0 36242 0
vsize: 145220
[startup+540.016 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 35610 0 0 0 53869 137 0 0 25 0 1 0 891702595 149921792 35507 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36602 35507 1111 63 0 36539 0
vsize: 146408
[startup+550.018 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 35851 0 0 0 54868 138 0 0 25 0 1 0 891702595 150876160 35748 4294967295 134512640 134716908 3221224560 3221222824 134613973 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36835 35748 1111 63 0 36772 0
vsize: 147340
[startup+560.018 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 35990 0 0 0 55868 139 0 0 25 0 1 0 891702595 151416832 35887 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36967 35887 1111 63 0 36904 0
vsize: 147868
[startup+570.018 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 36140 0 0 0 56867 139 0 0 25 0 1 0 891702595 152092672 36037 4294967295 134512640 134716908 3221224560 3221223120 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37132 36037 1111 63 0 37069 0
vsize: 148528
[startup+580.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 36238 0 0 0 57867 140 0 0 25 0 1 0 891702595 152506368 36135 4294967295 134512640 134716908 3221224560 3221223296 134528625 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37233 36135 1111 63 0 37170 0
vsize: 148932
[startup+590.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 36542 0 0 0 58866 141 0 0 25 0 1 0 891702595 153722880 36439 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37530 36439 1111 63 0 37467 0
vsize: 150120
[startup+600.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 36817 0 0 0 59865 142 0 0 25 0 1 0 891702595 154804224 36714 4294967295 134512640 134716908 3221224560 3221223184 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37794 36714 1111 63 0 37731 0
vsize: 151176
[startup+610.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 37187 0 0 0 60863 144 0 0 25 0 1 0 891702595 156327936 37080 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38166 37080 1111 63 0 38103 0
vsize: 152664
[startup+620.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 37568 0 0 0 61862 146 0 0 25 0 1 0 891702595 157945856 37461 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38561 37461 1111 63 0 38498 0
vsize: 154244
[startup+630.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 38024 0 0 0 62860 148 0 0 25 0 1 0 891702595 159703040 37917 4294967295 134512640 134716908 3221224560 3221223212 134536769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38990 37917 1111 63 0 38927 0
vsize: 155960
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 38334 0 0 0 63859 149 0 0 25 0 1 0 891702595 161054720 38227 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39320 38227 1111 63 0 39257 0
vsize: 157280
[startup+650.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 38473 0 0 0 64859 150 0 0 25 0 1 0 891702595 161595392 38366 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39452 38366 1111 63 0 39389 0
vsize: 157808
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 38823 0 0 0 65857 151 0 0 25 0 1 0 891702595 162947072 38716 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39782 38716 1111 63 0 39719 0
vsize: 159128
[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 39168 0 0 0 66857 152 0 0 25 0 1 0 891702595 164433920 39061 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40145 39061 1111 63 0 40082 0
vsize: 160580
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 39409 0 0 0 67856 152 0 0 25 0 1 0 891702595 165380096 39302 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40376 39302 1111 63 0 40313 0
vsize: 161504
[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 39546 0 0 0 68856 153 0 0 25 0 1 0 891702595 165920768 39439 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40508 39439 1111 63 0 40445 0
vsize: 162032
[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 39676 0 0 0 69856 153 0 0 25 0 1 0 891702595 166473728 39569 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40643 39569 1111 63 0 40580 0
vsize: 162572
[startup+710.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 40060 0 0 0 70855 155 0 0 25 0 1 0 891702595 168169472 39951 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41057 39951 1111 63 0 40994 0
vsize: 164228
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 40326 0 0 0 71853 156 0 0 25 0 1 0 891702595 169250816 40217 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41321 40217 1111 63 0 41258 0
vsize: 165284
[startup+730.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 40584 0 0 0 72853 157 0 0 25 0 1 0 891702595 170274816 40475 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41571 40475 1111 63 0 41508 0
vsize: 166284
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 40922 0 0 0 73851 158 0 0 25 0 1 0 891702595 171720704 40810 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41924 40810 1111 63 0 41861 0
vsize: 167696
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 41174 0 0 0 74851 159 0 0 25 0 1 0 891702595 172802048 41062 4294967295 134512640 134716908 3221224560 3221223272 134535770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42188 41062 1111 63 0 42125 0
vsize: 168752
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22078
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 41332 0 0 0 75850 160 0 0 25 0 1 0 891702595 173481984 41219 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42354 41219 1111 63 0 42291 0
vsize: 169416
[startup+770.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 41580 0 0 0 76848 162 0 0 25 0 1 0 891702595 174428160 41466 4294967295 134512640 134716908 3221224560 3221223248 134551950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42585 41466 1111 63 0 42522 0
vsize: 170340
[startup+780.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 41808 0 0 0 77847 164 0 0 25 0 1 0 891702595 175374336 41694 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42816 41694 1111 63 0 42753 0
vsize: 171264
[startup+790.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 42150 0 0 0 78845 165 0 0 25 0 1 0 891702595 176726016 42036 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43146 42036 1111 63 0 43083 0
vsize: 172584
[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 42489 0 0 0 79845 166 0 0 25 0 1 0 891702595 178077696 42375 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43476 42375 1111 63 0 43413 0
vsize: 173904
[startup+810.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 42754 0 0 0 80844 167 0 0 25 0 1 0 891702595 179376128 42631 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43793 42631 1111 63 0 43730 0
vsize: 175172
[startup+820.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 43009 0 0 0 81842 169 0 0 25 0 1 0 891702595 180342784 42886 4294967295 134512640 134716908 3221224560 3221223308 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44029 42886 1111 63 0 43966 0
vsize: 176116
[startup+830.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 43186 0 0 0 82842 170 0 0 25 0 1 0 891702595 181153792 43063 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44227 43063 1111 63 0 44164 0
vsize: 176908
[startup+840.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 43438 0 0 0 83841 171 0 0 25 0 1 0 891702595 182099968 43315 4294967295 134512640 134716908 3221224560 3221223308 134551608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44458 43315 1111 63 0 44395 0
vsize: 177832
[startup+850.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 43787 0 0 0 84840 172 0 0 25 0 1 0 891702595 183586816 43664 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44821 43664 1111 63 0 44758 0
vsize: 179284
[startup+860.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 43981 0 0 0 85839 173 0 0 25 0 1 0 891702595 184262656 43858 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44986 43858 1111 63 0 44923 0
vsize: 179944
[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 44152 0 0 0 86839 174 0 0 25 0 1 0 891702595 185090048 44029 4294967295 134512640 134716908 3221224560 3221223216 134536710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45188 44029 1111 63 0 45125 0
vsize: 180752
[startup+880.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 44325 0 0 0 87838 174 0 0 25 0 1 0 891702595 185774080 44202 4294967295 134512640 134716908 3221224560 3221223072 134535017 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45355 44202 1111 63 0 45292 0
vsize: 181420
[startup+890.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 44542 0 0 0 88837 175 0 0 25 0 1 0 891702595 186585088 44419 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45553 44419 1111 63 0 45490 0
vsize: 182212
[startup+900.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 45062 0 0 0 89835 178 0 0 25 0 1 0 891702595 188747776 44939 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46081 44939 1111 63 0 46018 0
vsize: 184324
[startup+910.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 45363 0 0 0 90834 179 0 0 25 0 1 0 891702595 190001152 45240 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46387 45240 1111 63 0 46324 0
vsize: 185548
[startup+920.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 45612 0 0 0 91833 181 0 0 25 0 1 0 891702595 190947328 45489 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46618 45489 1111 63 0 46555 0
vsize: 186472
[startup+930.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 45798 0 0 0 92832 182 0 0 25 0 1 0 891702595 191758336 45675 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46816 45675 1111 63 0 46753 0
vsize: 187264
[startup+940.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 46130 0 0 0 93830 184 0 0 25 0 1 0 891702595 193142784 46007 4294967295 134512640 134716908 3221224560 3221223264 134528653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47154 46007 1111 63 0 47091 0
vsize: 188616
[startup+950.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 46410 0 0 0 94828 186 0 0 25 0 1 0 891702595 194379776 46287 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47456 46287 1111 63 0 47393 0
vsize: 189824
[startup+960.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 46594 0 0 0 95828 186 0 0 25 0 1 0 891702595 195088384 46471 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47629 46471 1111 63 0 47566 0
vsize: 190516
[startup+970.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 46782 0 0 0 96827 187 0 0 25 0 1 0 891702595 195932160 46658 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47835 46658 1111 63 0 47772 0
vsize: 191340
[startup+980.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 46978 0 0 0 97827 188 0 0 25 0 1 0 891702595 196771840 46853 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48040 46853 1111 63 0 47977 0
vsize: 192160
[startup+990.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 47150 0 0 0 98826 189 0 0 25 0 1 0 891702595 197447680 47025 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48205 47025 1111 63 0 48142 0
vsize: 192820
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 47243 0 0 0 99826 189 0 0 25 0 1 0 891702595 197873664 47118 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48309 47118 1111 63 0 48246 0
vsize: 193236
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 47388 0 0 0 100825 190 0 0 25 0 1 0 891702595 198414336 47263 4294967295 134512640 134716908 3221224560 3221223212 134536804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48441 47263 1111 63 0 48378 0
vsize: 193764
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 47566 0 0 0 101824 191 0 0 25 0 1 0 891702595 199233536 47441 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48641 47441 1111 63 0 48578 0
vsize: 194564
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 47798 0 0 0 102823 192 0 0 25 0 1 0 891702595 200192000 47672 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48875 47672 1111 63 0 48812 0
vsize: 195500
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 47976 0 0 0 103823 193 0 0 25 0 1 0 891702595 201039872 47846 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49082 47846 1111 63 0 49019 0
vsize: 196328
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 48116 0 0 0 104823 193 0 0 25 0 1 0 891702595 201596928 47986 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49218 47986 1111 63 0 49155 0
vsize: 196872
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 48239 0 0 0 105822 194 0 0 25 0 1 0 891702595 202141696 48109 4294967295 134512640 134716908 3221224560 3221223328 134529115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49351 48109 1111 63 0 49288 0
vsize: 197404
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 48333 0 0 0 106822 194 0 0 25 0 1 0 891702595 202412032 48203 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49417 48203 1111 63 0 49354 0
vsize: 197668
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 48438 0 0 0 107822 195 0 0 25 0 1 0 891702595 202952704 48308 4294967295 134512640 134716908 3221224560 3221223344 134529393 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49549 48308 1111 63 0 49486 0
vsize: 198196
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 48530 0 0 0 108821 195 0 0 25 0 1 0 891702595 203223040 48400 4294967295 134512640 134716908 3221224560 3221223264 134528702 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49615 48400 1111 63 0 49552 0
vsize: 198460
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 48958 0 0 0 109819 198 0 0 25 0 1 0 891702595 204980224 48828 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50044 48828 1111 63 0 49981 0
vsize: 200176
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 49493 0 0 0 110817 200 0 0 25 0 1 0 891702595 207142912 49363 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50572 49363 1111 63 0 50509 0
vsize: 202288
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 49955 0 0 0 111816 201 0 0 25 0 1 0 891702595 209035264 49825 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51034 49825 1111 63 0 50971 0
vsize: 204136
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 50373 0 0 0 112814 203 0 0 25 0 1 0 891702595 210792448 50243 4294967295 134512640 134716908 3221224560 3221223100 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51463 50243 1111 63 0 51400 0
vsize: 205852
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 51040 0 0 0 113812 206 0 0 25 0 1 0 891702595 213495808 50910 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52123 50910 1111 63 0 52060 0
vsize: 208492
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 51620 0 0 0 114810 208 0 0 25 0 1 0 891702595 215990272 51484 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52732 51484 1111 63 0 52669 0
vsize: 210928
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 52059 0 0 0 115808 210 0 0 25 0 1 0 891702595 217882624 51923 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53194 51923 1111 63 0 53131 0
vsize: 212776
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 52532 0 0 0 116807 211 0 0 25 0 1 0 891702595 219770880 52396 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53655 52396 1111 63 0 53592 0
vsize: 214620
[startup+1174.95 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 22080
Raw data (stat): 22023 (bsolo_lpr-v2) R 22022 31399 31398 0 -1 0 52532 0 0 0 116807 211 0 0 25 0 1 0 891702595 219770880 52396 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53655 52396 1111 63 0 53592 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.12
CPU user time (s): 1172.89
CPU system time (s): 2.22266
CPU usage (%): 100.014
Max. virtual memory (Kb): 214620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####