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-fpga25_25_sat_pb.cnf.cr.opb
MD5SUM	54139ff5e28c6041ec6c692b0d10f866
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	26
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.362944
Number of variables	938
Total number of constraints	700
Number of constraints which are clauses	650
Number of constraints which are cardinality constraints (but not clauses)	50
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 39421

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 09:13:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27487 boxname=wulflinc5 idbench=45 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  54139ff5e28c6041ec6c692b0d10f866  /oldhome/oroussel/tmp/wulflinc5/normalized-fpga25_25_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga25_25_sat_pb.cnf.cr.opb
IDLAUNCH: 27487
/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:        348536 kB
Buffers:         34332 kB
Cached:         627556 kB
SwapCached:        568 kB
Active:          57232 kB
Inactive:       606644 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        348284 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16644 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 09:32:59 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 27487 7 1175.02 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 938 variables and 700 constraints.
c After prepocess the problem consists of 938 variables and 700 constraints.
c preprocess terminated 1.026 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 1/54 3284
Raw data (stat): 3284 (runsolver) R 3283 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891823901 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.0011 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 1805 0 0 0 990 7 0 0 25 0 1 0 891823901 10465280 1723 4294967295 134512640 134716908 3221224560 3221223128 1077378274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2555 1723 1111 63 0 2492 0
vsize: 10220
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 1965 0 0 0 1988 8 0 0 25 0 1 0 891823901 11132928 1883 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2718 1883 1111 63 0 2655 0
vsize: 10872
[startup+30.0028 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 2096 0 0 0 2987 10 0 0 25 0 1 0 891823901 11644928 2014 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2843 2014 1111 63 0 2780 0
vsize: 11372
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 2161 0 0 0 3986 10 0 0 25 0 1 0 891823901 11907072 2079 4294967295 134512640 134716908 3221224560 3221223392 134527431 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2907 2079 1111 63 0 2844 0
vsize: 11628
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 2303 0 0 0 4985 12 0 0 25 0 1 0 891823901 12574720 2221 4294967295 134512640 134716908 3221224560 3221223344 134551781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3070 2221 1111 63 0 3007 0
vsize: 12280
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 2335 0 0 0 5984 13 0 0 25 0 1 0 891823901 12709888 2253 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3103 2253 1111 63 0 3040 0
vsize: 12412
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 2416 0 0 0 6983 14 0 0 25 0 1 0 891823901 12972032 2334 4294967295 134512640 134716908 3221224560 3221223072 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3167 2334 1111 63 0 3104 0
vsize: 12668
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 2442 0 0 0 7982 15 0 0 25 0 1 0 891823901 13107200 2360 4294967295 134512640 134716908 3221224560 3221223304 134675279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3200 2360 1111 63 0 3137 0
vsize: 12800
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 2482 0 0 0 8982 16 0 0 25 0 1 0 891823901 13242368 2400 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3233 2400 1111 63 0 3170 0
vsize: 12932
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 2501 0 0 0 9981 17 0 0 25 0 1 0 891823901 13348864 2419 4294967295 134512640 134716908 3221224560 3221223112 134698829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3259 2419 1111 63 0 3196 0
vsize: 13036
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 2568 0 0 0 10980 18 0 0 25 0 1 0 891823901 13676544 2486 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3339 2486 1111 63 0 3276 0
vsize: 13356
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 2719 0 0 0 11980 18 0 0 25 0 1 0 891823901 14213120 2637 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3470 2637 1111 63 0 3407 0
vsize: 13880
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 2815 0 0 0 12979 20 0 0 25 0 1 0 891823901 14602240 2733 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3565 2733 1111 63 0 3502 0
vsize: 14260
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 2873 0 0 0 13977 21 0 0 25 0 1 0 891823901 14856192 2791 4294967295 134512640 134716908 3221224560 3221223368 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3627 2791 1111 63 0 3564 0
vsize: 14508
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 2932 0 0 0 14976 23 0 0 25 0 1 0 891823901 15126528 2850 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3693 2850 1111 63 0 3630 0
vsize: 14772
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3051 0 0 0 15975 24 0 0 25 0 1 0 891823901 15622144 2969 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 2969 1111 63 0 3751 0
vsize: 15256
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3067 0 0 0 16974 26 0 0 25 0 1 0 891823901 15622144 2985 4294967295 134512640 134716908 3221224560 3221223244 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 2985 1111 63 0 3751 0
vsize: 15256
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3118 0 0 0 17973 27 0 0 25 0 1 0 891823901 15888384 3036 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3879 3036 1111 63 0 3816 0
vsize: 15516
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3133 0 0 0 18973 27 0 0 25 0 1 0 891823901 15888384 3051 4294967295 134512640 134716908 3221224560 3221223128 1077377362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3879 3051 1111 63 0 3816 0
vsize: 15516
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3175 0 0 0 19972 28 0 0 25 0 1 0 891823901 16158720 3093 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3945 3093 1111 63 0 3882 0
vsize: 15780
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3280 0 0 0 20972 29 0 0 25 0 1 0 891823901 16551936 3198 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4041 3198 1111 63 0 3978 0
vsize: 16164
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3358 0 0 0 21971 29 0 0 25 0 1 0 891823901 16822272 3276 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4107 3276 1111 63 0 4044 0
vsize: 16428
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3392 0 0 0 22971 30 0 0 25 0 1 0 891823901 16957440 3310 4294967295 134512640 134716908 3221224560 3221223344 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4140 3310 1111 63 0 4077 0
vsize: 16560
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3518 0 0 0 23969 32 0 0 25 0 1 0 891823901 17498112 3436 4294967295 134512640 134716908 3221224560 3221223276 134551880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4272 3436 1111 63 0 4209 0
vsize: 17088
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3518 0 0 0 24968 33 0 0 25 0 1 0 891823901 17498112 3436 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4272 3436 1111 63 0 4209 0
vsize: 17088
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3606 0 0 0 25967 34 0 0 25 0 1 0 891823901 17903616 3524 4294967295 134512640 134716908 3221224560 3221223136 134538962 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4371 3524 1111 63 0 4308 0
vsize: 17484
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3653 0 0 0 26967 35 0 0 25 0 1 0 891823901 18038784 3571 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4404 3571 1111 63 0 4341 0
vsize: 17616
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3677 0 0 0 27966 35 0 0 25 0 1 0 891823901 18173952 3595 4294967295 134512640 134716908 3221224560 3221223292 134528392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4437 3595 1111 63 0 4374 0
vsize: 17748
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3687 0 0 0 28965 37 0 0 25 0 1 0 891823901 18173952 3605 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4437 3605 1111 63 0 4374 0
vsize: 17748
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3720 0 0 0 29964 38 0 0 25 0 1 0 891823901 18309120 3638 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4470 3638 1111 63 0 4407 0
vsize: 17880
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3720 0 0 0 30963 39 0 0 25 0 1 0 891823901 18309120 3638 4294967295 134512640 134716908 3221224560 3221223164 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4470 3638 1111 63 0 4407 0
vsize: 17880
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3728 0 0 0 31961 41 0 0 25 0 1 0 891823901 18444288 3646 4294967295 134512640 134716908 3221224560 3221223188 134698632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4503 3646 1111 63 0 4440 0
vsize: 18012
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3748 0 0 0 32960 42 0 0 25 0 1 0 891823901 18444288 3666 4294967295 134512640 134716908 3221224560 3221223324 134523848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4503 3666 1111 63 0 4440 0
vsize: 18012
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3775 0 0 0 33960 43 0 0 25 0 1 0 891823901 18575360 3693 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4535 3693 1111 63 0 4472 0
vsize: 18140
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3775 0 0 0 34959 44 0 0 25 0 1 0 891823901 18575360 3693 4294967295 134512640 134716908 3221224560 3221222964 134699564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4535 3693 1111 63 0 4472 0
vsize: 18140
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3816 0 0 0 35957 46 0 0 25 0 1 0 891823901 18690048 3734 4294967295 134512640 134716908 3221224560 3221223152 134543707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4563 3734 1111 63 0 4500 0
vsize: 18252
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3837 0 0 0 36956 47 0 0 25 0 1 0 891823901 18825216 3755 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3755 1111 63 0 4533 0
vsize: 18384
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3848 0 0 0 37955 48 0 0 25 0 1 0 891823901 18825216 3766 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3766 1111 63 0 4533 0
vsize: 18384
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3855 0 0 0 38954 50 0 0 25 0 1 0 891823901 18960384 3773 4294967295 134512640 134716908 3221224560 3221223100 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4629 3773 1111 63 0 4566 0
vsize: 18516
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3888 0 0 0 39954 50 0 0 25 0 1 0 891823901 19095552 3806 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3806 1111 63 0 4599 0
vsize: 18648
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3893 0 0 0 40953 51 0 0 25 0 1 0 891823901 19095552 3811 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3811 1111 63 0 4599 0
vsize: 18648
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3893 0 0 0 41953 52 0 0 25 0 1 0 891823901 19095552 3811 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3811 1111 63 0 4599 0
vsize: 18648
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3893 0 0 0 42951 53 0 0 25 0 1 0 891823901 19095552 3811 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3811 1111 63 0 4599 0
vsize: 18648
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3893 0 0 0 43951 54 0 0 25 0 1 0 891823901 19095552 3811 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3811 1111 63 0 4599 0
vsize: 18648
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3901 0 0 0 44949 55 0 0 25 0 1 0 891823901 19095552 3819 4294967295 134512640 134716908 3221224560 3221223368 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3819 1111 63 0 4599 0
vsize: 18648
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3903 0 0 0 45948 57 0 0 25 0 1 0 891823901 19095552 3821 4294967295 134512640 134716908 3221224560 3221223136 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3821 1111 63 0 4599 0
vsize: 18648
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3903 0 0 0 46947 58 0 0 25 0 1 0 891823901 19095552 3821 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3821 1111 63 0 4599 0
vsize: 18648
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3914 0 0 0 47946 60 0 0 25 0 1 0 891823901 19095552 3832 4294967295 134512640 134716908 3221224560 3221223116 134535936 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3832 1111 63 0 4599 0
vsize: 18648
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3916 0 0 0 48946 60 0 0 25 0 1 0 891823901 19095552 3834 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3834 1111 63 0 4599 0
vsize: 18648
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3927 0 0 0 49944 62 0 0 25 0 1 0 891823901 19230720 3845 4294967295 134512640 134716908 3221224560 3221223128 1077377413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 3845 1111 63 0 4632 0
vsize: 18780
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3951 0 0 0 50944 62 0 0 25 0 1 0 891823901 19230720 3869 4294967295 134512640 134716908 3221224560 3221223296 134558523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 3869 1111 63 0 4632 0
vsize: 18780
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3951 0 0 0 51942 64 0 0 25 0 1 0 891823901 19230720 3869 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 3869 1111 63 0 4632 0
vsize: 18780
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3951 0 0 0 52942 65 0 0 25 0 1 0 891823901 19230720 3869 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 3869 1111 63 0 4632 0
vsize: 18780
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3951 0 0 0 53941 66 0 0 25 0 1 0 891823901 19230720 3869 4294967295 134512640 134716908 3221224560 3221223120 134698864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 3869 1111 63 0 4632 0
vsize: 18780
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3951 0 0 0 54940 67 0 0 25 0 1 0 891823901 19230720 3869 4294967295 134512640 134716908 3221224560 3221223344 134584864 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 3869 1111 63 0 4632 0
vsize: 18780
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 3975 0 0 0 55939 68 0 0 25 0 1 0 891823901 19365888 3893 4294967295 134512640 134716908 3221224560 3221223056 134535442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4728 3893 1111 63 0 4665 0
vsize: 18912
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4007 0 0 0 56939 69 0 0 25 0 1 0 891823901 19501056 3925 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4761 3925 1111 63 0 4698 0
vsize: 19044
[startup+580.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4033 0 0 0 57938 70 0 0 25 0 1 0 891823901 19636224 3951 4294967295 134512640 134716908 3221224560 3221223272 134524391 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4794 3951 1111 63 0 4731 0
vsize: 19176
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4094 0 0 0 58937 71 0 0 25 0 1 0 891823901 19881984 4012 4294967295 134512640 134716908 3221224560 3221223200 134698481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4854 4012 1111 63 0 4791 0
vsize: 19416
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4145 0 0 0 59936 72 0 0 25 0 1 0 891823901 20152320 4063 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 4063 1111 63 0 4857 0
vsize: 19680
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 60936 72 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223196 134543664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 61935 74 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 62934 75 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223248 134542980 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 63933 76 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223216 134536716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 64932 77 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 65932 78 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 66931 79 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 67930 80 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 68930 80 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 69929 81 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 70928 82 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223316 134592078 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 71927 83 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223044 134699564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 72926 84 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223248 134528712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 73925 86 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223256 134542834 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 74925 86 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223296 134535841 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 75924 87 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223332 134588026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 76924 88 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 77922 90 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223304 134543133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 78921 91 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 79920 92 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223188 134698595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4169 0 0 0 80919 93 0 0 25 0 1 0 891823901 20123648 4087 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4173 0 0 0 81919 93 0 0 25 0 1 0 891823901 20258816 4091 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4946 4091 1111 63 0 4883 0
vsize: 19784
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4176 0 0 0 82918 94 0 0 25 0 1 0 891823901 20254720 4094 4294967295 134512640 134716908 3221224560 3221223200 134698462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4945 4094 1111 63 0 4882 0
vsize: 19780
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4176 0 0 0 83917 95 0 0 25 0 1 0 891823901 20254720 4094 4294967295 134512640 134716908 3221224560 3221223152 134542668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4945 4094 1111 63 0 4882 0
vsize: 19780
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4188 0 0 0 84916 97 0 0 25 0 1 0 891823901 20254720 4106 4294967295 134512640 134716908 3221224560 3221223188 1077374082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4945 4106 1111 63 0 4882 0
vsize: 19780
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4216 0 0 0 85915 98 0 0 25 0 1 0 891823901 20389888 4134 4294967295 134512640 134716908 3221224560 3221223068 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4978 4134 1111 63 0 4915 0
vsize: 19912
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4279 0 0 0 86914 99 0 0 25 0 1 0 891823901 20652032 4197 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 4197 1111 63 0 4979 0
vsize: 20168
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4320 0 0 0 87913 100 0 0 25 0 1 0 891823901 20787200 4238 4294967295 134512640 134716908 3221224560 3221223224 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4320 0 0 0 88912 101 0 0 25 0 1 0 891823901 20787200 4238 4294967295 134512640 134716908 3221224560 3221223184 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4320 0 0 0 89912 102 0 0 25 0 1 0 891823901 20787200 4238 4294967295 134512640 134716908 3221224560 3221223200 134698445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4320 0 0 0 90911 103 0 0 25 0 1 0 891823901 20787200 4238 4294967295 134512640 134716908 3221224560 3221223196 134523156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4320 0 0 0 91909 105 0 0 25 0 1 0 891823901 20787200 4238 4294967295 134512640 134716908 3221224560 3221223296 134535821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4320 0 0 0 92908 106 0 0 25 0 1 0 891823901 20787200 4238 4294967295 134512640 134716908 3221224560 3221223248 134523859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4320 0 0 0 93908 107 0 0 25 0 1 0 891823901 20787200 4238 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4320 0 0 0 94907 108 0 0 25 0 1 0 891823901 20787200 4238 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4320 0 0 0 95906 109 0 0 25 0 1 0 891823901 20787200 4238 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4320 0 0 0 96905 110 0 0 25 0 1 0 891823901 20787200 4238 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4320 0 0 0 97904 111 0 0 25 0 1 0 891823901 20787200 4238 4294967295 134512640 134716908 3221224560 3221223328 134592128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4327 0 0 0 98904 112 0 0 25 0 1 0 891823901 20787200 4245 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4245 1111 63 0 5012 0
vsize: 20300
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4327 0 0 0 99903 113 0 0 25 0 1 0 891823901 20787200 4245 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4245 1111 63 0 5012 0
vsize: 20300
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4327 0 0 0 100902 114 0 0 25 0 1 0 891823901 20787200 4245 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4245 1111 63 0 5012 0
vsize: 20300
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4327 0 0 0 101900 116 0 0 25 0 1 0 891823901 20787200 4245 4294967295 134512640 134716908 3221224560 3221223152 134698450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4245 1111 63 0 5012 0
vsize: 20300
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4333 0 0 0 102899 117 0 0 25 0 1 0 891823901 20910080 4251 4294967295 134512640 134716908 3221224560 3221223228 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4251 1111 63 0 5042 0
vsize: 20420
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4333 0 0 0 103899 118 0 0 25 0 1 0 891823901 20910080 4251 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4251 1111 63 0 5042 0
vsize: 20420
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4333 0 0 0 104898 119 0 0 25 0 1 0 891823901 20910080 4251 4294967295 134512640 134716908 3221224560 3221223228 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4251 1111 63 0 5042 0
vsize: 20420
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4334 0 0 0 105897 120 0 0 25 0 1 0 891823901 20910080 4252 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4252 1111 63 0 5042 0
vsize: 20420
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4342 0 0 0 106896 121 0 0 25 0 1 0 891823901 20910080 4260 4294967295 134512640 134716908 3221224560 3221223192 134698715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4260 1111 63 0 5042 0
vsize: 20420
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4353 0 0 0 107895 122 0 0 25 0 1 0 891823901 20910080 4271 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4271 1111 63 0 5042 0
vsize: 20420
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4360 0 0 0 108894 123 0 0 25 0 1 0 891823901 20910080 4278 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4278 1111 63 0 5042 0
vsize: 20420
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4360 0 0 0 109893 124 0 0 25 0 1 0 891823901 20910080 4278 4294967295 134512640 134716908 3221224560 3221223136 134542692 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4278 1111 63 0 5042 0
vsize: 20420
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4370 0 0 0 110892 125 0 0 25 0 1 0 891823901 21032960 4288 4294967295 134512640 134716908 3221224560 3221223128 134542295 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5135 4288 1111 63 0 5072 0
vsize: 20540
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4430 0 0 0 111891 127 0 0 25 0 1 0 891823901 21303296 4348 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5201 4348 1111 63 0 5138 0
vsize: 20804
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4438 0 0 0 112890 128 0 0 25 0 1 0 891823901 21303296 4356 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5201 4356 1111 63 0 5138 0
vsize: 20804
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4482 0 0 0 113889 129 0 0 25 0 1 0 891823901 21438464 4400 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5234 4400 1111 63 0 5171 0
vsize: 20936
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4504 0 0 0 114888 130 0 0 25 0 1 0 891823901 21569536 4422 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5266 4422 1111 63 0 5203 0
vsize: 21064
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4504 0 0 0 115887 131 0 0 25 0 1 0 891823901 21569536 4422 4294967295 134512640 134716908 3221224560 3221223264 134528702 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5266 4422 1111 63 0 5203 0
vsize: 21064
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4504 0 0 0 116886 132 0 0 25 0 1 0 891823901 21569536 4422 4294967295 134512640 134716908 3221224560 3221223328 134592137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5266 4422 1111 63 0 5203 0
vsize: 21064
[startup+1174.85 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 3284
Raw data (stat): 3284 (bsolo_lpr-v2) R 3283 7266 7265 0 -1 0 4504 0 0 0 116886 132 0 0 25 0 1 0 891823901 21569536 4422 4294967295 134512640 134716908 3221224560 3221223328 134592137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5266 4422 1111 63 0 5203 0
vsize: 0

Child status: 0
Real time (s): 1174.85
CPU time (s): 1175.02
CPU user time (s): 1173.68
CPU system time (s): 1.3438
CPU usage (%): 100.014
Max. virtual memory (Kb): 21064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####