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_21_pb.cnf.cr.opb
MD5SUM	112c693a7a90a8dc93ad23dc136d9b75
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	22
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.026995
Number of variables	840
Total number of constraints	82
Number of constraints which are clauses	42
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	21
Trace number 39384

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        348672 kB
Buffers:         34236 kB
Cached:         627108 kB
SwapCached:        568 kB
Active:          47468 kB
Inactive:       615916 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        348420 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            16912 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 07:34:44 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 27450 7 1175.11 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 840 variables and 82 constraints.
c After prepocess the problem consists of 840 variables and 82 constraints.
c preprocess terminated 0.204 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.57 0.23 1/54 2612
Raw data (stat): 2612 (runsolver) R 2611 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891114262 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.0004 s]
Raw data (loadavg): 0.92 0.58 0.24 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 3784 0 0 0 986 11 0 0 25 0 1 0 891114262 18591744 3702 4294967295 134512640 134716908 3221224576 3221223216 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 3702 1111 63 0 4476 0
vsize: 18156
[startup+20.0011 s]
Raw data (loadavg): 0.93 0.60 0.25 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 5352 0 0 0 1980 17 0 0 25 0 1 0 891114262 25092096 5270 4294967295 134512640 134716908 3221224576 3221223232 134536736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6126 5270 1111 63 0 6063 0
vsize: 24504
[startup+30.0019 s]
Raw data (loadavg): 0.94 0.61 0.26 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 6143 0 0 0 2978 20 0 0 25 0 1 0 891114262 28340224 6061 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6919 6061 1111 63 0 6856 0
vsize: 27676
[startup+40.0025 s]
Raw data (loadavg): 0.95 0.62 0.27 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 6518 0 0 0 3977 21 0 0 25 0 1 0 891114262 29982720 6436 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7320 6436 1111 63 0 7257 0
vsize: 29280
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.63 0.27 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 8291 0 0 0 4972 26 0 0 25 0 1 0 891114262 37142528 8209 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9068 8209 1111 63 0 9005 0
vsize: 36272
[startup+60.011 s]
Raw data (loadavg): 0.96 0.65 0.28 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 9199 0 0 0 5970 29 0 0 25 0 1 0 891114262 40943616 9117 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9996 9117 1111 63 0 9933 0
vsize: 39984
[startup+70.0177 s]
Raw data (loadavg): 0.97 0.66 0.29 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 9813 0 0 0 6968 31 0 0 25 0 1 0 891114262 43511808 9731 4294967295 134512640 134716908 3221224576 3221223168 134549600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10623 9731 1111 63 0 10560 0
vsize: 42492
[startup+80.0185 s]
Raw data (loadavg): 0.97 0.67 0.29 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 10512 0 0 0 7967 33 0 0 25 0 1 0 891114262 46350336 10430 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11316 10430 1111 63 0 11253 0
vsize: 45264
[startup+90.0192 s]
Raw data (loadavg): 0.98 0.68 0.30 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 11024 0 0 0 8964 36 0 0 25 0 1 0 891114262 48517120 10942 4294967295 134512640 134716908 3221224576 3221223072 134535442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11845 10942 1111 63 0 11782 0
vsize: 47380
[startup+100.019 s]
Raw data (loadavg): 0.98 0.69 0.31 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 11810 0 0 0 9962 39 0 0 25 0 1 0 891114262 51625984 11728 4294967295 134512640 134716908 3221224576 3221223360 134528943 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12604 11728 1111 63 0 12541 0
vsize: 50416
[startup+110.019 s]
Raw data (loadavg): 0.98 0.70 0.31 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 12554 0 0 0 10959 41 0 0 25 0 1 0 891114262 54747136 12472 4294967295 134512640 134716908 3221224576 3221223168 134549789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13366 12472 1111 63 0 13303 0
vsize: 53464
[startup+120.019 s]
Raw data (loadavg): 0.98 0.71 0.32 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 13012 0 0 0 11958 42 0 0 25 0 1 0 891114262 56504320 12930 4294967295 134512640 134716908 3221224576 3221223132 134535626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13795 12930 1111 63 0 13732 0
vsize: 55180
[startup+130.019 s]
Raw data (loadavg): 0.99 0.72 0.33 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 13652 0 0 0 12956 45 0 0 25 0 1 0 891114262 59224064 13570 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14459 13570 1111 63 0 14396 0
vsize: 57836
[startup+140.02 s]
Raw data (loadavg): 0.99 0.72 0.34 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 14285 0 0 0 13954 47 0 0 25 0 1 0 891114262 61808640 14203 4294967295 134512640 134716908 3221224576 3221223144 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15090 14203 1111 63 0 15027 0
vsize: 60360
[startup+150.021 s]
Raw data (loadavg): 0.99 0.73 0.34 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 14756 0 0 0 14952 49 0 0 25 0 1 0 891114262 63700992 14674 4294967295 134512640 134716908 3221224576 3221223144 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15552 14674 1111 63 0 15489 0
vsize: 62208
[startup+160.02 s]
Raw data (loadavg): 0.99 0.74 0.35 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 15202 0 0 0 15951 51 0 0 25 0 1 0 891114262 65593344 15120 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16014 15120 1111 63 0 15951 0
vsize: 64056
[startup+170.021 s]
Raw data (loadavg): 0.99 0.75 0.36 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 15520 0 0 0 16950 52 0 0 25 0 1 0 891114262 66859008 15438 4294967295 134512640 134716908 3221224576 3221223232 134536743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16323 15438 1111 63 0 16260 0
vsize: 65292
[startup+180.021 s]
Raw data (loadavg): 0.99 0.76 0.36 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 15897 0 0 0 17948 53 0 0 25 0 1 0 891114262 68485120 15811 4294967295 134512640 134716908 3221224576 3221223132 134535964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16720 15811 1111 63 0 16657 0
vsize: 66880
[startup+190.021 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 16130 0 0 0 18948 54 0 0 25 0 1 0 891114262 69574656 16043 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16986 16043 1111 63 0 16923 0
vsize: 67944
[startup+200.021 s]
Raw data (loadavg): 0.99 0.77 0.37 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 16509 0 0 0 19947 56 0 0 25 0 1 0 891114262 71061504 16422 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17349 16422 1111 63 0 17286 0
vsize: 69396
[startup+210.021 s]
Raw data (loadavg): 0.99 0.78 0.38 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 17002 0 0 0 20946 57 0 0 25 0 1 0 891114262 73285632 16915 4294967295 134512640 134716908 3221224576 3221223300 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17892 16915 1111 63 0 17829 0
vsize: 71568
[startup+220.022 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 17351 0 0 0 21943 59 0 0 25 0 1 0 891114262 74645504 17264 4294967295 134512640 134716908 3221224576 3221223072 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18224 17264 1111 63 0 18161 0
vsize: 72896
[startup+230.021 s]
Raw data (loadavg): 0.99 0.79 0.39 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 17476 0 0 0 22943 60 0 0 25 0 1 0 891114262 75186176 17389 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18356 17389 1111 63 0 18293 0
vsize: 73424
[startup+240.022 s]
Raw data (loadavg): 0.99 0.80 0.40 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 17874 0 0 0 23941 62 0 0 25 0 1 0 891114262 76894208 17783 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18773 17783 1111 63 0 18710 0
vsize: 75092
[startup+250.023 s]
Raw data (loadavg): 0.99 0.81 0.40 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 18125 0 0 0 24941 63 0 0 25 0 1 0 891114262 77840384 18031 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19004 18031 1111 63 0 18941 0
vsize: 76016
[startup+260.023 s]
Raw data (loadavg): 0.99 0.81 0.41 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 18381 0 0 0 25940 64 0 0 25 0 1 0 891114262 78917632 18287 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19267 18287 1111 63 0 19204 0
vsize: 77068
[startup+270.023 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 18637 0 0 0 26939 65 0 0 25 0 1 0 891114262 79998976 18543 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19531 18543 1111 63 0 19468 0
vsize: 78124
[startup+280.023 s]
Raw data (loadavg): 0.99 0.82 0.42 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 18851 0 0 0 27937 67 0 0 25 0 1 0 891114262 80809984 18757 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19729 18757 1111 63 0 19666 0
vsize: 78916
[startup+290.024 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 19297 0 0 0 28935 69 0 0 25 0 1 0 891114262 82702336 19203 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20191 19203 1111 63 0 20128 0
vsize: 80764
[startup+300.024 s]
Raw data (loadavg): 0.99 0.83 0.43 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 19495 0 0 0 29934 70 0 0 25 0 1 0 891114262 83501056 19401 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20386 19401 1111 63 0 20323 0
vsize: 81544
[startup+310.024 s]
Raw data (loadavg): 0.99 0.84 0.44 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 19709 0 0 0 30934 71 0 0 25 0 1 0 891114262 84312064 19615 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20584 19615 1111 63 0 20521 0
vsize: 82336
[startup+320.025 s]
Raw data (loadavg): 0.99 0.84 0.45 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 20107 0 0 0 31933 72 0 0 25 0 1 0 891114262 85934080 20013 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20980 20013 1111 63 0 20917 0
vsize: 83920
[startup+330.026 s]
Raw data (loadavg): 0.99 0.85 0.45 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 20406 0 0 0 32931 74 0 0 25 0 1 0 891114262 87142400 20312 4294967295 134512640 134716908 3221224576 3221223248 134523874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21275 20312 1111 63 0 21212 0
vsize: 85100
[startup+340.026 s]
Raw data (loadavg): 0.99 0.85 0.46 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 20610 0 0 0 33930 76 0 0 25 0 1 0 891114262 88100864 20515 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21509 20515 1111 63 0 21446 0
vsize: 86036
[startup+350.027 s]
Raw data (loadavg): 0.99 0.86 0.46 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 20895 0 0 0 34929 77 0 0 25 0 1 0 891114262 89182208 20799 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21773 20799 1111 63 0 21710 0
vsize: 87092
[startup+360.027 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 21131 0 0 0 35928 77 0 0 25 0 1 0 891114262 90148864 21035 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22009 21035 1111 63 0 21946 0
vsize: 88036
[startup+370.028 s]
Raw data (loadavg): 0.99 0.86 0.47 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 21344 0 0 0 36927 79 0 0 25 0 1 0 891114262 91095040 21248 4294967295 134512640 134716908 3221224576 3221223260 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22240 21248 1111 63 0 22177 0
vsize: 88960
[startup+380.029 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 21643 0 0 0 37926 80 0 0 25 0 1 0 891114262 92319744 21547 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22539 21547 1111 63 0 22476 0
vsize: 90156
[startup+390.029 s]
Raw data (loadavg): 0.99 0.87 0.48 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 22170 0 0 0 38924 82 0 0 25 0 1 0 891114262 94482432 22074 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23067 22074 1111 63 0 23004 0
vsize: 92268
[startup+400.03 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 22353 0 0 0 39924 83 0 0 25 0 1 0 891114262 95293440 22257 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23265 22257 1111 63 0 23202 0
vsize: 93060
[startup+410.029 s]
Raw data (loadavg): 0.99 0.88 0.49 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 22872 0 0 0 40921 86 0 0 25 0 1 0 891114262 97456128 22776 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23793 22776 1111 63 0 23730 0
vsize: 95172
[startup+420.03 s]
Raw data (loadavg): 0.99 0.88 0.50 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 23297 0 0 0 41919 88 0 0 25 0 1 0 891114262 99078144 23201 4294967295 134512640 134716908 3221224576 3221222888 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24189 23201 1111 63 0 24126 0
vsize: 96756
[startup+430.03 s]
Raw data (loadavg): 0.99 0.89 0.50 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 23533 0 0 0 42918 89 0 0 25 0 1 0 891114262 100151296 23437 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24451 23437 1111 63 0 24388 0
vsize: 97804
[startup+440.031 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 23865 0 0 0 43917 91 0 0 25 0 1 0 891114262 101502976 23769 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24781 23769 1111 63 0 24718 0
vsize: 99124
[startup+450.031 s]
Raw data (loadavg): 0.99 0.89 0.51 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 24116 0 0 0 44915 92 0 0 25 0 1 0 891114262 102518784 24020 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25029 24020 1111 63 0 24966 0
vsize: 100116
[startup+460.031 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 24280 0 0 0 45914 94 0 0 25 0 1 0 891114262 103194624 24184 4294967295 134512640 134716908 3221224576 3221223232 134536680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25194 24184 1111 63 0 25131 0
vsize: 100776
[startup+470.032 s]
Raw data (loadavg): 0.99 0.90 0.52 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 24626 0 0 0 46912 96 0 0 25 0 1 0 891114262 104681472 24530 4294967295 134512640 134716908 3221224576 3221223148 134535515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25557 24530 1111 63 0 25494 0
vsize: 102228
[startup+480.035 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 24872 0 0 0 47912 97 0 0 25 0 1 0 891114262 105627648 24776 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25788 24776 1111 63 0 25725 0
vsize: 103152
[startup+490.035 s]
Raw data (loadavg): 0.99 0.90 0.53 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 25002 0 0 0 48912 97 0 0 25 0 1 0 891114262 106176512 24904 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25922 24904 1111 63 0 25859 0
vsize: 103688
[startup+500.035 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 25206 0 0 0 49911 98 0 0 25 0 1 0 891114262 107126784 25107 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26154 25107 1111 63 0 26091 0
vsize: 104616
[startup+510.036 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 25424 0 0 0 50909 100 0 0 25 0 1 0 891114262 107937792 25325 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26352 25325 1111 63 0 26289 0
vsize: 105408
[startup+520.037 s]
Raw data (loadavg): 0.99 0.91 0.54 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 25578 0 0 0 51909 100 0 0 25 0 1 0 891114262 108613632 25479 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26517 25479 1111 63 0 26454 0
vsize: 106068
[startup+530.036 s]
Raw data (loadavg): 0.99 0.91 0.55 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 25882 0 0 0 52908 102 0 0 25 0 1 0 891114262 109834240 25783 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26815 25783 1111 63 0 26752 0
vsize: 107260
[startup+540.037 s]
Raw data (loadavg): 0.99 0.92 0.55 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 26179 0 0 0 53907 103 0 0 25 0 1 0 891114262 111214592 26079 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27152 26079 1111 63 0 27089 0
vsize: 108608
[startup+550.038 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 26346 0 0 0 54907 103 0 0 25 0 1 0 891114262 111910912 26243 4294967295 134512640 134716908 3221224576 3221223256 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27322 26243 1111 63 0 27259 0
vsize: 109288
[startup+560.038 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 26473 0 0 0 55907 104 0 0 25 0 1 0 891114262 112500736 26367 4294967295 134512640 134716908 3221224576 3221223132 134535606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27466 26367 1111 63 0 27403 0
vsize: 109864
[startup+570.038 s]
Raw data (loadavg): 0.99 0.92 0.56 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 26534 0 0 0 56906 104 0 0 25 0 1 0 891114262 112635904 26428 4294967295 134512640 134716908 3221224576 3221223132 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27499 26428 1111 63 0 27436 0
vsize: 109996
[startup+580.038 s]
Raw data (loadavg): 0.99 0.92 0.57 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 26611 0 0 0 57906 105 0 0 25 0 1 0 891114262 112971776 26502 4294967295 134512640 134716908 3221224576 3221223132 134535964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27581 26502 1111 63 0 27518 0
vsize: 110324
[startup+590.039 s]
Raw data (loadavg): 0.99 0.93 0.57 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 26690 0 0 0 58905 106 0 0 25 0 1 0 891114262 113418240 26579 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27690 26579 1111 63 0 27627 0
vsize: 110760
[startup+600.039 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 26779 0 0 0 59905 106 0 0 25 0 1 0 891114262 113717248 26664 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27763 26664 1111 63 0 27700 0
vsize: 111052
[startup+610.039 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 26856 0 0 0 60904 107 0 0 25 0 1 0 891114262 114085888 26735 4294967295 134512640 134716908 3221224576 3221223168 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27853 26735 1111 63 0 27790 0
vsize: 111412
[startup+620.04 s]
Raw data (loadavg): 0.99 0.93 0.58 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 26888 0 0 0 61904 107 0 0 25 0 1 0 891114262 114221056 26767 4294967295 134512640 134716908 3221224576 3221223252 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27886 26767 1111 63 0 27823 0
vsize: 111544
[startup+630.041 s]
Raw data (loadavg): 0.99 0.93 0.59 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 27044 0 0 0 62903 108 0 0 25 0 1 0 891114262 114774016 26923 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28021 26923 1111 63 0 27958 0
vsize: 112084
[startup+640.041 s]
Raw data (loadavg): 0.99 0.94 0.59 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 27916 0 0 0 63900 112 0 0 25 0 1 0 891114262 118448128 27793 4294967295 134512640 134716908 3221224576 3221223232 134536736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28918 27793 1111 63 0 28855 0
vsize: 115672
[startup+650.041 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 28483 0 0 0 64898 114 0 0 25 0 1 0 891114262 120745984 28360 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29479 28360 1111 63 0 29416 0
vsize: 117916
[startup+660.041 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 29247 0 0 0 65896 117 0 0 25 0 1 0 891114262 123854848 29124 4294967295 134512640 134716908 3221224576 3221223072 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30238 29124 1111 63 0 30175 0
vsize: 120952
[startup+670.041 s]
Raw data (loadavg): 0.99 0.94 0.60 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 29930 0 0 0 66894 119 0 0 25 0 1 0 891114262 126722048 29803 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30938 29803 1111 63 0 30875 0
vsize: 123752
[startup+680.042 s]
Raw data (loadavg): 1.07 0.96 0.61 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 30573 0 0 0 67892 121 0 0 25 0 1 0 891114262 129310720 30446 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31570 30446 1111 63 0 31507 0
vsize: 126280
[startup+690.042 s]
Raw data (loadavg): 1.06 0.96 0.62 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 30973 0 0 0 68890 123 0 0 25 0 1 0 891114262 130932736 30846 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31966 30846 1111 63 0 31903 0
vsize: 127864
[startup+700.043 s]
Raw data (loadavg): 1.05 0.96 0.62 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 31176 0 0 0 69890 123 0 0 25 0 1 0 891114262 131760128 31049 4294967295 134512640 134716908 3221224576 3221223344 134529281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32168 31049 1111 63 0 32105 0
vsize: 128672
[startup+710.042 s]
Raw data (loadavg): 1.04 0.96 0.62 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 31535 0 0 0 70889 124 0 0 25 0 1 0 891114262 133246976 31407 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32531 31407 1111 63 0 32468 0
vsize: 130124
[startup+720.043 s]
Raw data (loadavg): 1.03 0.96 0.63 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 31734 0 0 0 71889 125 0 0 25 0 1 0 891114262 134094848 31606 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32738 31606 1111 63 0 32675 0
vsize: 130952
[startup+730.043 s]
Raw data (loadavg): 1.03 0.96 0.63 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 31872 0 0 0 72888 126 0 0 25 0 1 0 891114262 134778880 31744 4294967295 134512640 134716908 3221224576 3221223240 134536851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32905 31744 1111 63 0 32842 0
vsize: 131620
[startup+740.044 s]
Raw data (loadavg): 1.02 0.97 0.64 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 31948 0 0 0 73888 126 0 0 25 0 1 0 891114262 135049216 31820 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32971 31820 1111 63 0 32908 0
vsize: 131884
[startup+750.044 s]
Raw data (loadavg): 1.02 0.97 0.64 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 32096 0 0 0 74887 127 0 0 25 0 1 0 891114262 135741440 31967 4294967295 134512640 134716908 3221224576 3221223140 134542700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33140 31967 1111 63 0 33077 0
vsize: 132560
[startup+760.044 s]
Raw data (loadavg): 1.02 0.97 0.64 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 32280 0 0 0 75886 128 0 0 25 0 1 0 891114262 136421376 32151 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33306 32151 1111 63 0 33243 0
vsize: 133224
[startup+770.045 s]
Raw data (loadavg): 1.01 0.97 0.65 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 32623 0 0 0 76885 130 0 0 25 0 1 0 891114262 137773056 32494 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33636 32494 1111 63 0 33573 0
vsize: 134544
[startup+780.044 s]
Raw data (loadavg): 1.01 0.97 0.65 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 32947 0 0 0 77883 131 0 0 25 0 1 0 891114262 139124736 32818 4294967295 134512640 134716908 3221224576 3221223312 134524376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33966 32818 1111 63 0 33903 0
vsize: 135864
[startup+790.045 s]
Raw data (loadavg): 1.01 0.97 0.65 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 33226 0 0 0 78883 132 0 0 25 0 1 0 891114262 140193792 33097 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34227 33097 1111 63 0 34164 0
vsize: 136908
[startup+800.045 s]
Raw data (loadavg): 1.09 0.99 0.66 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 33448 0 0 0 79881 134 0 0 25 0 1 0 891114262 141139968 33319 4294967295 134512640 134716908 3221224576 3221223360 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34458 33319 1111 63 0 34395 0
vsize: 137832
[startup+810.046 s]
Raw data (loadavg): 1.07 0.99 0.66 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 33648 0 0 0 80881 135 0 0 25 0 1 0 891114262 141942784 33519 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34654 33519 1111 63 0 34591 0
vsize: 138616
[startup+820.046 s]
Raw data (loadavg): 1.06 0.99 0.67 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 33821 0 0 0 81880 136 0 0 25 0 1 0 891114262 142753792 33692 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34852 33692 1111 63 0 34789 0
vsize: 139408
[startup+830.046 s]
Raw data (loadavg): 1.05 0.99 0.67 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 33909 0 0 0 82880 136 0 0 25 0 1 0 891114262 143024128 33780 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34918 33780 1111 63 0 34855 0
vsize: 139672
[startup+840.047 s]
Raw data (loadavg): 1.04 0.99 0.67 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 35115 0 0 0 83875 141 0 0 25 0 1 0 891114262 147968000 34983 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36125 34983 1111 63 0 36062 0
vsize: 144500
[startup+850.048 s]
Raw data (loadavg): 1.04 0.99 0.67 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 35819 0 0 0 84873 144 0 0 25 0 1 0 891114262 150941696 35687 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36851 35687 1111 63 0 36788 0
vsize: 147404
[startup+860.048 s]
Raw data (loadavg): 1.03 0.99 0.68 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 36661 0 0 0 85871 146 0 0 25 0 1 0 891114262 154320896 36529 4294967295 134512640 134716908 3221224576 3221223228 134536787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37676 36529 1111 63 0 37613 0
vsize: 150704
[startup+870.048 s]
Raw data (loadavg): 1.02 0.99 0.68 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 37256 0 0 0 86869 148 0 0 25 0 1 0 891114262 156753920 37124 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38270 37124 1111 63 0 38207 0
vsize: 153080
[startup+880.049 s]
Raw data (loadavg): 1.02 0.99 0.68 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 37720 0 0 0 87867 150 0 0 25 0 1 0 891114262 158711808 37584 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38748 37584 1111 63 0 38685 0
vsize: 154992
[startup+890.05 s]
Raw data (loadavg): 1.02 0.99 0.69 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 37953 0 0 0 88866 151 0 0 25 0 1 0 891114262 159657984 37817 4294967295 134512640 134716908 3221224576 3221223200 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38979 37817 1111 63 0 38916 0
vsize: 155916
[startup+900.05 s]
Raw data (loadavg): 1.01 0.99 0.69 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 38297 0 0 0 89865 152 0 0 25 0 1 0 891114262 161144832 38161 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39342 38161 1111 63 0 39279 0
vsize: 157368
[startup+910.051 s]
Raw data (loadavg): 1.01 0.99 0.69 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 38575 0 0 0 90865 153 0 0 25 0 1 0 891114262 162246656 38438 4294967295 134512640 134716908 3221224576 3221223264 134551950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39611 38438 1111 63 0 39548 0
vsize: 158444
[startup+920.052 s]
Raw data (loadavg): 1.01 0.99 0.69 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 38792 0 0 0 91864 154 0 0 25 0 1 0 891114262 163188736 38655 4294967295 134512640 134716908 3221224576 3221223312 134558529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39841 38655 1111 63 0 39778 0
vsize: 159364
[startup+930.052 s]
Raw data (loadavg): 1.01 0.99 0.70 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 38916 0 0 0 92863 155 0 0 25 0 1 0 891114262 163594240 38779 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39940 38779 1111 63 0 39877 0
vsize: 159760
[startup+940.053 s]
Raw data (loadavg): 1.01 0.99 0.70 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 39096 0 0 0 93862 156 0 0 25 0 1 0 891114262 164401152 38959 4294967295 134512640 134716908 3221224576 3221223332 134592339 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40137 38959 1111 63 0 40074 0
vsize: 160548
[startup+950.054 s]
Raw data (loadavg): 1.00 0.99 0.70 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 39189 0 0 0 94861 157 0 0 25 0 1 0 891114262 164818944 39052 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40239 39052 1111 63 0 40176 0
vsize: 160956
[startup+960.054 s]
Raw data (loadavg): 1.00 0.99 0.71 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 39276 0 0 0 95861 158 0 0 25 0 1 0 891114262 165253120 39139 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40345 39139 1111 63 0 40282 0
vsize: 161380
[startup+970.054 s]
Raw data (loadavg): 1.00 0.99 0.71 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 40252 0 0 0 96857 162 0 0 25 0 1 0 891114262 169172992 40115 4294967295 134512640 134716908 3221224576 3221223132 134535964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41302 40115 1111 63 0 41239 0
vsize: 165208
[startup+980.056 s]
Raw data (loadavg): 1.00 0.99 0.71 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 40689 0 0 0 97855 164 0 0 25 0 1 0 891114262 170921984 40552 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41729 40552 1111 63 0 41666 0
vsize: 166916
[startup+990.056 s]
Raw data (loadavg): 1.00 0.99 0.72 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 41308 0 0 0 98853 166 0 0 25 0 1 0 891114262 173486080 41171 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42355 41171 1111 63 0 42292 0
vsize: 169420
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.72 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 41553 0 0 0 99852 168 0 0 25 0 1 0 891114262 174432256 41416 4294967295 134512640 134716908 3221224576 3221223216 134698462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42586 41416 1111 63 0 42523 0
vsize: 170344
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.72 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 41703 0 0 0 100852 168 0 0 25 0 1 0 891114262 175108096 41566 4294967295 134512640 134716908 3221224576 3221223200 134551968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42751 41566 1111 63 0 42688 0
vsize: 171004
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.72 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 42100 0 0 0 101850 171 0 0 25 0 1 0 891114262 176730112 41963 4294967295 134512640 134716908 3221224576 3221223312 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43147 41963 1111 63 0 43084 0
vsize: 172588
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.73 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 42391 0 0 0 102848 172 0 0 25 0 1 0 891114262 177946624 42254 4294967295 134512640 134716908 3221224576 3221223312 134528691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43444 42254 1111 63 0 43381 0
vsize: 173776
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.73 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 42532 0 0 0 103849 172 0 0 25 0 1 0 891114262 178487296 42395 4294967295 134512640 134716908 3221224576 3221223260 134552651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43576 42395 1111 63 0 43513 0
vsize: 174304
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.73 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 42729 0 0 0 104848 173 0 0 25 0 1 0 891114262 179298304 42592 4294967295 134512640 134716908 3221224576 3221223232 134536736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43774 42592 1111 63 0 43711 0
vsize: 175096
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.73 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 42837 0 0 0 105847 174 0 0 25 0 1 0 891114262 179703808 42700 4294967295 134512640 134716908 3221224576 3221223300 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43873 42700 1111 63 0 43810 0
vsize: 175492
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.74 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 43001 0 0 0 106847 174 0 0 25 0 1 0 891114262 180379648 42864 4294967295 134512640 134716908 3221224576 3221223252 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44038 42864 1111 63 0 43975 0
vsize: 176152
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.74 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 43138 0 0 0 107846 175 0 0 25 0 1 0 891114262 180920320 43001 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44170 43001 1111 63 0 44107 0
vsize: 176680
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.74 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 43312 0 0 0 108845 177 0 0 25 0 1 0 891114262 181731328 43175 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44368 43175 1111 63 0 44305 0
vsize: 177472
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.74 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 43426 0 0 0 109845 177 0 0 25 0 1 0 891114262 182136832 43289 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44467 43290 1111 63 0 44404 0
vsize: 177868
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.74 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 43618 0 0 0 110844 178 0 0 25 0 1 0 891114262 182947840 43481 4294967295 134512640 134716908 3221224576 3221223200 134536680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44665 43481 1111 63 0 44602 0
vsize: 178660
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.75 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 43726 0 0 0 111844 179 0 0 25 0 1 0 891114262 183353344 43589 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44764 43589 1111 63 0 44701 0
vsize: 179056
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.75 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 43760 0 0 0 112844 179 0 0 25 0 1 0 891114262 183488512 43623 4294967295 134512640 134716908 3221224576 3221223272 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44797 43623 1111 63 0 44734 0
vsize: 179188
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.75 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 43850 0 0 0 113843 180 0 0 25 0 1 0 891114262 183894016 43713 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44896 43713 1111 63 0 44833 0
vsize: 179584
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.75 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 44292 0 0 0 114842 181 0 0 25 0 1 0 891114262 185765888 44155 4294967295 134512640 134716908 3221224576 3221223204 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45353 44155 1111 63 0 45290 0
vsize: 181412
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.75 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 44575 0 0 0 115840 183 0 0 25 0 1 0 891114262 186847232 44438 4294967295 134512640 134716908 3221224576 3221223144 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45617 44438 1111 63 0 45554 0
vsize: 182468
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.75 2/54 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 44717 0 0 0 116839 184 0 0 25 0 1 0 891114262 187387904 44580 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45749 44580 1111 63 0 45686 0
vsize: 182996
[startup+1174.93 s]
Raw data (loadavg): 1.00 0.99 0.76 1/53 2612
Raw data (stat): 2612 (bsolo_lpr-v2) R 2611 7266 7265 0 -1 0 44717 0 0 0 116839 184 0 0 25 0 1 0 891114262 187387904 44580 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45749 44580 1111 63 0 45686 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.11
CPU user time (s): 1173.17
CPU system time (s): 1.9357
CPU usage (%): 100.015
Max. virtual memory (Kb): 182996
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####