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-chnl35_40_pb.cnf.cr.opb
MD5SUM	85d4e2fa5fd7a61a85d3ecb1e311bddb
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	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.083986
Number of variables	2800
Total number of constraints	150
Number of constraints which are clauses	80
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	40
Trace number 39391

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        294032 kB
Buffers:         34404 kB
Cached:         680968 kB
SwapCached:        668 kB
Active:          70740 kB
Inactive:       646888 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        293752 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5840 kB
Slab:            17172 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:02:27 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 27457 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 2800 variables and 150 constraints.
c After prepocess the problem consists of 2800 variables and 150 constraints.
c preprocess terminated 1.048 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.95 0.84 2/55 3620
Raw data (stat): 3620 (runsolver) R 3619 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 834423693 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.0006 s]
Raw data (loadavg): 0.93 0.96 0.84 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 1454 0 0 0 991 6 0 0 25 0 1 0 834423693 9121792 1372 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2227 1372 1111 63 0 2164 0
vsize: 8908
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.84 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 1928 0 0 0 1988 10 0 0 25 0 1 0 834423693 11001856 1846 4294967295 134512640 134716908 3221224576 3221223360 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2686 1846 1111 63 0 2623 0
vsize: 10744
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.96 0.84 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2113 0 0 0 2986 13 0 0 25 0 1 0 834423693 11812864 2031 4294967295 134512640 134716908 3221224576 3221223124 134699096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2884 2031 1111 63 0 2821 0
vsize: 11536
[startup+40.003 s]
Raw data (loadavg): 0.96 0.96 0.84 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2216 0 0 0 3984 14 0 0 25 0 1 0 834423693 12218368 2134 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2983 2134 1111 63 0 2920 0
vsize: 11932
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.85 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2299 0 0 0 4982 17 0 0 25 0 1 0 834423693 12599296 2217 4294967295 134512640 134716908 3221224576 3221223084 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3076 2217 1111 63 0 3013 0
vsize: 12304
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.96 0.85 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2357 0 0 0 5980 18 0 0 25 0 1 0 834423693 12861440 2275 4294967295 134512640 134716908 3221224576 3221223228 134698759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3140 2275 1111 63 0 3077 0
vsize: 12560
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.96 0.85 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2396 0 0 0 6978 20 0 0 25 0 1 0 834423693 12996608 2314 4294967295 134512640 134716908 3221224576 3221222488 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3173 2314 1111 63 0 3110 0
vsize: 12692
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.96 0.85 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2406 0 0 0 7976 23 0 0 25 0 1 0 834423693 12996608 2324 4294967295 134512640 134716908 3221224576 3221223232 134536713 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3173 2324 1111 63 0 3110 0
vsize: 12692
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.96 0.85 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2430 0 0 0 8975 24 0 0 25 0 1 0 834423693 13131776 2348 4294967295 134512640 134716908 3221224576 3221223216 134698484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3206 2348 1111 63 0 3143 0
vsize: 12824
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.85 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2482 0 0 0 9974 25 0 0 25 0 1 0 834423693 13266944 2400 4294967295 134512640 134716908 3221224576 3221223136 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3239 2400 1111 63 0 3176 0
vsize: 12956
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.85 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2543 0 0 0 10972 27 0 0 25 0 1 0 834423693 13537280 2461 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3305 2461 1111 63 0 3242 0
vsize: 13220
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2588 0 0 0 11970 30 0 0 25 0 1 0 834423693 13807616 2506 4294967295 134512640 134716908 3221224576 3221223208 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3371 2506 1111 63 0 3308 0
vsize: 13484
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2613 0 0 0 12968 32 0 0 25 0 1 0 834423693 13807616 2531 4294967295 134512640 134716908 3221224576 3221223360 134529174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3371 2531 1111 63 0 3308 0
vsize: 13484
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2638 0 0 0 13967 33 0 0 25 0 1 0 834423693 13942784 2556 4294967295 134512640 134716908 3221224576 3221223228 134536823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3404 2556 1111 63 0 3341 0
vsize: 13616
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2638 0 0 0 14966 34 0 0 25 0 1 0 834423693 13942784 2556 4294967295 134512640 134716908 3221224576 3221223144 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3404 2556 1111 63 0 3341 0
vsize: 13616
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2756 0 0 0 15965 36 0 0 25 0 1 0 834423693 14483456 2674 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3536 2674 1111 63 0 3473 0
vsize: 14144
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2837 0 0 0 16963 37 0 0 25 0 1 0 834423693 14753792 2755 4294967295 134512640 134716908 3221224576 3221223216 134698576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3602 2755 1111 63 0 3539 0
vsize: 14408
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2923 0 0 0 17962 39 0 0 25 0 1 0 834423693 15138816 2841 4294967295 134512640 134716908 3221224576 3221223560 134598413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3696 2841 1111 63 0 3633 0
vsize: 14784
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 2954 0 0 0 18961 40 0 0 25 0 1 0 834423693 15273984 2872 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3729 2872 1111 63 0 3666 0
vsize: 14916
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3000 0 0 0 19960 41 0 0 25 0 1 0 834423693 15409152 2918 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3762 2918 1111 63 0 3699 0
vsize: 15048
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3051 0 0 0 20959 42 0 0 25 0 1 0 834423693 15679488 2969 4294967295 134512640 134716908 3221224576 3221223204 134536674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3828 2969 1111 63 0 3765 0
vsize: 15312
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3075 0 0 0 21958 44 0 0 25 0 1 0 834423693 15814656 2993 4294967295 134512640 134716908 3221224576 3221223216 134613447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3861 2993 1111 63 0 3798 0
vsize: 15444
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3091 0 0 0 22956 45 0 0 25 0 1 0 834423693 15814656 3009 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3861 3009 1111 63 0 3798 0
vsize: 15444
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3099 0 0 0 23955 47 0 0 25 0 1 0 834423693 15814656 3017 4294967295 134512640 134716908 3221224576 3221223288 134551881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3861 3017 1111 63 0 3798 0
vsize: 15444
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3119 0 0 0 24954 48 0 0 25 0 1 0 834423693 15949824 3037 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3894 3037 1111 63 0 3831 0
vsize: 15576
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3139 0 0 0 25952 50 0 0 25 0 1 0 834423693 16084992 3057 4294967295 134512640 134716908 3221224576 3221223248 134655199 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3927 3057 1111 63 0 3864 0
vsize: 15708
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3152 0 0 0 26951 52 0 0 25 0 1 0 834423693 16056320 3070 4294967295 134512640 134716908 3221224576 3221223152 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3920 3070 1111 63 0 3857 0
vsize: 15680
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3152 0 0 0 27949 53 0 0 25 0 1 0 834423693 16056320 3070 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3920 3070 1111 63 0 3857 0
vsize: 15680
[startup+290.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3152 0 0 0 28948 55 0 0 25 0 1 0 834423693 16056320 3070 4294967295 134512640 134716908 3221224576 3221223168 134549520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3920 3070 1111 63 0 3857 0
vsize: 15680
[startup+300.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3176 0 0 0 29947 57 0 0 25 0 1 0 834423693 16191488 3094 4294967295 134512640 134716908 3221224576 3221223072 134535468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3953 3094 1111 63 0 3890 0
vsize: 15812
[startup+310.02 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3211 0 0 0 30945 59 0 0 25 0 1 0 834423693 16326656 3129 4294967295 134512640 134716908 3221224576 3221223200 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3986 3129 1111 63 0 3923 0
vsize: 15944
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3233 0 0 0 31944 60 0 0 25 0 1 0 834423693 16461824 3151 4294967295 134512640 134716908 3221224576 3221223156 134698632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4019 3151 1111 63 0 3956 0
vsize: 16076
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3277 0 0 0 32942 62 0 0 25 0 1 0 834423693 16596992 3195 4294967295 134512640 134716908 3221224576 3221223280 134528726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4052 3195 1111 63 0 3989 0
vsize: 16208
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3297 0 0 0 33941 64 0 0 25 0 1 0 834423693 16732160 3215 4294967295 134512640 134716908 3221224576 3221223200 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4085 3215 1111 63 0 4022 0
vsize: 16340
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3324 0 0 0 34940 65 0 0 25 0 1 0 834423693 16732160 3242 4294967295 134512640 134716908 3221224576 3221223168 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4085 3242 1111 63 0 4022 0
vsize: 16340
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3331 0 0 0 35938 67 0 0 25 0 1 0 834423693 16863232 3249 4294967295 134512640 134716908 3221224576 3221223264 134524578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4117 3249 1111 63 0 4054 0
vsize: 16468
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3384 0 0 0 36936 69 0 0 25 0 1 0 834423693 16998400 3302 4294967295 134512640 134716908 3221224576 3221223204 134698624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4150 3302 1111 63 0 4087 0
vsize: 16600
[startup+380.022 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3441 0 0 0 37934 71 0 0 25 0 1 0 834423693 17248256 3359 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4211 3359 1111 63 0 4148 0
vsize: 16844
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3441 0 0 0 38933 72 0 0 25 0 1 0 834423693 17248256 3359 4294967295 134512640 134716908 3221224576 3221223184 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4211 3359 1111 63 0 4148 0
vsize: 16844
[startup+400.023 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3451 0 0 0 39932 74 0 0 25 0 1 0 834423693 17248256 3369 4294967295 134512640 134716908 3221224576 3221223312 134552098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4211 3369 1111 63 0 4148 0
vsize: 16844
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3451 0 0 0 40930 75 0 0 25 0 1 0 834423693 17248256 3369 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4211 3369 1111 63 0 4148 0
vsize: 16844
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3464 0 0 0 41929 76 0 0 25 0 1 0 834423693 17383424 3382 4294967295 134512640 134716908 3221224576 3221223240 134551624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4244 3382 1111 63 0 4181 0
vsize: 16976
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3469 0 0 0 42928 78 0 0 25 0 1 0 834423693 17383424 3387 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4244 3387 1111 63 0 4181 0
vsize: 16976
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3481 0 0 0 43926 80 0 0 25 0 1 0 834423693 17383424 3399 4294967295 134512640 134716908 3221224576 3221223144 1077377227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4244 3399 1111 63 0 4181 0
vsize: 16976
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3486 0 0 0 44924 82 0 0 25 0 1 0 834423693 17383424 3404 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4244 3404 1111 63 0 4181 0
vsize: 16976
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3494 0 0 0 45924 83 0 0 25 0 1 0 834423693 17518592 3412 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 3412 1111 63 0 4214 0
vsize: 17108
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3505 0 0 0 46922 85 0 0 25 0 1 0 834423693 17518592 3423 4294967295 134512640 134716908 3221224576 3221223344 134551796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 3423 1111 63 0 4214 0
vsize: 17108
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3512 0 0 0 47921 86 0 0 25 0 1 0 834423693 17518592 3430 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 3430 1111 63 0 4214 0
vsize: 17108
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3604 0 0 0 48919 88 0 0 25 0 1 0 834423693 17924096 3522 4294967295 134512640 134716908 3221224576 3221223320 134551620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4376 3522 1111 63 0 4313 0
vsize: 17504
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3646 0 0 0 49918 89 0 0 25 0 1 0 834423693 18059264 3564 4294967295 134512640 134716908 3221224576 3221223284 134528750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4409 3564 1111 63 0 4346 0
vsize: 17636
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3673 0 0 0 50918 89 0 0 25 0 1 0 834423693 18194432 3591 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4442 3591 1111 63 0 4379 0
vsize: 17768
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3673 0 0 0 51917 91 0 0 25 0 1 0 834423693 18194432 3591 4294967295 134512640 134716908 3221224576 3221223248 134524434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4442 3591 1111 63 0 4379 0
vsize: 17768
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3673 0 0 0 52916 92 0 0 25 0 1 0 834423693 18194432 3591 4294967295 134512640 134716908 3221224576 3221223216 134698450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4442 3591 1111 63 0 4379 0
vsize: 17768
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3683 0 0 0 53915 93 0 0 25 0 1 0 834423693 18194432 3601 4294967295 134512640 134716908 3221224576 3221223164 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4442 3601 1111 63 0 4379 0
vsize: 17768
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3709 0 0 0 54912 96 0 0 25 0 1 0 834423693 18329600 3627 4294967295 134512640 134716908 3221224576 3221223168 134549560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4475 3627 1111 63 0 4412 0
vsize: 17900
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3710 0 0 0 55911 97 0 0 25 0 1 0 834423693 18329600 3628 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4475 3628 1111 63 0 4412 0
vsize: 17900
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3718 0 0 0 56910 99 0 0 25 0 1 0 834423693 18329600 3636 4294967295 134512640 134716908 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4475 3636 1111 63 0 4412 0
vsize: 17900
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3761 0 0 0 57908 100 0 0 25 0 1 0 834423693 18587648 3679 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4538 3679 1111 63 0 4475 0
vsize: 18152
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3830 0 0 0 58907 102 0 0 25 0 1 0 834423693 18841600 3748 4294967295 134512640 134716908 3221224576 3221223232 134536707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3748 1111 63 0 4537 0
vsize: 18400
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 3971 0 0 0 59905 104 0 0 25 0 1 0 834423693 19369984 3889 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4729 3889 1111 63 0 4666 0
vsize: 18916
[startup+610.028 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4065 0 0 0 60904 105 0 0 25 0 1 0 834423693 19767296 3983 4294967295 134512640 134716908 3221224576 3221223136 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4826 3983 1111 63 0 4763 0
vsize: 19304
[startup+620.028 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4109 0 0 0 61902 107 0 0 25 0 1 0 834423693 20004864 4027 4294967295 134512640 134716908 3221224576 3221223216 134698576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4884 4027 1111 63 0 4821 0
vsize: 19536
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4144 0 0 0 62901 109 0 0 25 0 1 0 834423693 20140032 4062 4294967295 134512640 134716908 3221224576 3221223280 134528653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4917 4062 1111 63 0 4854 0
vsize: 19668
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4146 0 0 0 63899 111 0 0 25 0 1 0 834423693 20140032 4064 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4917 4064 1111 63 0 4854 0
vsize: 19668
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4166 0 0 0 64898 112 0 0 25 0 1 0 834423693 20275200 4084 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4950 4084 1111 63 0 4887 0
vsize: 19800
[startup+660.029 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4193 0 0 0 65896 114 0 0 25 0 1 0 834423693 20275200 4111 4294967295 134512640 134716908 3221224576 3221223216 134698445 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4950 4111 1111 63 0 4887 0
vsize: 19800
[startup+670.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4238 0 0 0 66894 116 0 0 25 0 1 0 834423693 20545536 4156 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5016 4156 1111 63 0 4953 0
vsize: 20064
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4292 0 0 0 67893 117 0 0 25 0 1 0 834423693 20680704 4210 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5049 4210 1111 63 0 4986 0
vsize: 20196
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4345 0 0 0 68892 119 0 0 25 0 1 0 834423693 20951040 4263 4294967295 134512640 134716908 3221224576 3221223184 134549332 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5115 4263 1111 63 0 5052 0
vsize: 20460
[startup+700.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4387 0 0 0 69890 120 0 0 25 0 1 0 834423693 21086208 4305 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5148 4305 1111 63 0 5085 0
vsize: 20592
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4410 0 0 0 70889 122 0 0 25 0 1 0 834423693 21204992 4328 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5177 4328 1111 63 0 5114 0
vsize: 20708
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4451 0 0 0 71888 123 0 0 25 0 1 0 834423693 21340160 4369 4294967295 134512640 134716908 3221224576 3221223220 134536694 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5210 4369 1111 63 0 5147 0
vsize: 20840
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4492 0 0 0 72886 125 0 0 25 0 1 0 834423693 21610496 4410 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5276 4410 1111 63 0 5213 0
vsize: 21104
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4512 0 0 0 73885 126 0 0 25 0 1 0 834423693 21610496 4430 4294967295 134512640 134716908 3221224576 3221223288 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5276 4430 1111 63 0 5213 0
vsize: 21104
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4536 0 0 0 74883 128 0 0 25 0 1 0 834423693 21745664 4454 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5309 4454 1111 63 0 5246 0
vsize: 21236
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4578 0 0 0 75882 130 0 0 25 0 1 0 834423693 21880832 4496 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5342 4496 1111 63 0 5279 0
vsize: 21368
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4734 0 0 0 76879 133 0 0 25 0 1 0 834423693 22556672 4652 4294967295 134512640 134716908 3221224576 3221222904 134699841 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5507 4652 1111 63 0 5444 0
vsize: 22028
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4835 0 0 0 77878 134 0 0 25 0 1 0 834423693 22925312 4753 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5597 4753 1111 63 0 5534 0
vsize: 22388
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4903 0 0 0 78876 136 0 0 25 0 1 0 834423693 23302144 4821 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5689 4821 1111 63 0 5626 0
vsize: 22756
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4918 0 0 0 79875 138 0 0 25 0 1 0 834423693 23302144 4836 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5689 4836 1111 63 0 5626 0
vsize: 22756
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4940 0 0 0 80873 139 0 0 25 0 1 0 834423693 23437312 4858 4294967295 134512640 134716908 3221224576 3221223256 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5722 4858 1111 63 0 5659 0
vsize: 22888
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4948 0 0 0 81872 141 0 0 25 0 1 0 834423693 23437312 4866 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5722 4866 1111 63 0 5659 0
vsize: 22888
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4954 0 0 0 82871 142 0 0 25 0 1 0 834423693 23437312 4872 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5722 4872 1111 63 0 5659 0
vsize: 22888
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 4985 0 0 0 83869 144 0 0 25 0 1 0 834423693 23572480 4903 4294967295 134512640 134716908 3221224576 3221223360 134529288 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5755 4903 1111 63 0 5692 0
vsize: 23020
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5019 0 0 0 84867 146 0 0 25 0 1 0 834423693 23707648 4937 4294967295 134512640 134716908 3221224576 3221223340 134552579 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5788 4937 1111 63 0 5725 0
vsize: 23152
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5019 0 0 0 85867 146 0 0 25 0 1 0 834423693 23707648 4937 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5788 4937 1111 63 0 5725 0
vsize: 23152
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5019 0 0 0 86866 147 0 0 25 0 1 0 834423693 23707648 4937 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5788 4937 1111 63 0 5725 0
vsize: 23152
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5037 0 0 0 87865 149 0 0 25 0 1 0 834423693 23838720 4955 4294967295 134512640 134716908 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5820 4955 1111 63 0 5757 0
vsize: 23280
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5049 0 0 0 88864 150 0 0 25 0 1 0 834423693 23838720 4967 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5820 4967 1111 63 0 5757 0
vsize: 23280
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5052 0 0 0 89863 151 0 0 25 0 1 0 834423693 23838720 4970 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5820 4970 1111 63 0 5757 0
vsize: 23280
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5066 0 0 0 90862 152 0 0 25 0 1 0 834423693 23973888 4984 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5853 4984 1111 63 0 5790 0
vsize: 23412
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5089 0 0 0 91862 153 0 0 25 0 1 0 834423693 23973888 5007 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5853 5007 1111 63 0 5790 0
vsize: 23412
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5089 0 0 0 92861 154 0 0 25 0 1 0 834423693 23973888 5007 4294967295 134512640 134716908 3221224576 3221223320 134675316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5853 5007 1111 63 0 5790 0
vsize: 23412
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5101 0 0 0 93860 155 0 0 25 0 1 0 834423693 24109056 5019 4294967295 134512640 134716908 3221224576 3221223280 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5886 5019 1111 63 0 5823 0
vsize: 23544
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5124 0 0 0 94859 156 0 0 25 0 1 0 834423693 24109056 5042 4294967295 134512640 134716908 3221224576 3221223288 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5886 5042 1111 63 0 5823 0
vsize: 23544
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5124 0 0 0 95858 157 0 0 25 0 1 0 834423693 24109056 5042 4294967295 134512640 134716908 3221224576 3221223200 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5886 5042 1111 63 0 5823 0
vsize: 23544
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5133 0 0 0 96858 158 0 0 25 0 1 0 834423693 24240128 5051 4294967295 134512640 134716908 3221224576 3221223132 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5918 5051 1111 63 0 5855 0
vsize: 23672
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5152 0 0 0 97857 159 0 0 25 0 1 0 834423693 24240128 5070 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5918 5070 1111 63 0 5855 0
vsize: 23672
[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5159 0 0 0 98855 160 0 0 25 0 1 0 834423693 24240128 5077 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5918 5077 1111 63 0 5855 0
vsize: 23672
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5170 0 0 0 99855 161 0 0 25 0 1 0 834423693 24375296 5088 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5951 5088 1111 63 0 5888 0
vsize: 23804
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5189 0 0 0 100853 163 0 0 25 0 1 0 834423693 24375296 5107 4294967295 134512640 134716908 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5951 5107 1111 63 0 5888 0
vsize: 23804
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5244 0 0 0 101852 165 0 0 25 0 1 0 834423693 24645632 5162 4294967295 134512640 134716908 3221224576 3221223368 134558576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6017 5162 1111 63 0 5954 0
vsize: 24068
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3620
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5286 0 0 0 102851 165 0 0 25 0 1 0 834423693 24780800 5204 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6050 5204 1111 63 0 5987 0
vsize: 24200
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3673
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5318 0 0 0 103850 167 0 0 25 0 1 0 834423693 24903680 5236 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6080 5236 1111 63 0 6017 0
vsize: 24320
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3673
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5345 0 0 0 104850 167 0 0 25 0 1 0 834423693 25030656 5263 4294967295 134512640 134716908 3221224576 3221223228 134536848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6111 5263 1111 63 0 6048 0
vsize: 24444
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3673
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5345 0 0 0 105849 168 0 0 25 0 1 0 834423693 25030656 5263 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6111 5263 1111 63 0 6048 0
vsize: 24444
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3673
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5401 0 0 0 106847 169 0 0 25 0 1 0 834423693 25260032 5319 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6167 5319 1111 63 0 6104 0
vsize: 24668
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3673
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5544 0 0 0 107845 172 0 0 25 0 1 0 834423693 25931776 5462 4294967295 134512640 134716908 3221224576 3221223276 134534084 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6331 5462 1111 63 0 6268 0
vsize: 25324
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3675
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5693 0 0 0 108844 174 0 0 25 0 1 0 834423693 26451968 5611 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6458 5611 1111 63 0 6395 0
vsize: 25832
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3677
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5875 0 0 0 109842 175 0 0 25 0 1 0 834423693 27262976 5793 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6656 5793 1111 63 0 6593 0
vsize: 26624
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3677
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 5968 0 0 0 110841 177 0 0 25 0 1 0 834423693 27668480 5886 4294967295 134512640 134716908 3221224576 3221223136 134698892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6755 5886 1111 63 0 6692 0
vsize: 27020
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3677
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 6009 0 0 0 111840 178 0 0 25 0 1 0 834423693 27803648 5927 4294967295 134512640 134716908 3221224576 3221223296 134655199 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6788 5927 1111 63 0 6725 0
vsize: 27152
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3677
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 6043 0 0 0 112839 179 0 0 25 0 1 0 834423693 27938816 5961 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6821 5961 1111 63 0 6758 0
vsize: 27284
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3677
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 6079 0 0 0 113838 180 0 0 25 0 1 0 834423693 28073984 5997 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6854 5997 1111 63 0 6791 0
vsize: 27416
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3677
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 6175 0 0 0 114837 181 0 0 25 0 1 0 834423693 28479488 6093 4294967295 134512640 134716908 3221224576 3221223408 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6953 6093 1111 63 0 6890 0
vsize: 27812
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3677
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 6235 0 0 0 115836 183 0 0 25 0 1 0 834423693 28749824 6153 4294967295 134512640 134716908 3221224576 3221223344 134529138 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7019 6153 1111 63 0 6956 0
vsize: 28076
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3677
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 6238 0 0 0 116835 184 0 0 25 0 1 0 834423693 28749824 6156 4294967295 134512640 134716908 3221224576 3221222972 1077379892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7019 6156 1111 63 0 6956 0
vsize: 28076
[startup+1174.87 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 3677
Raw data (stat): 3620 (bsolo_lpr-v2) R 3619 8378 8377 0 -1 0 6238 0 0 0 116835 184 0 0 25 0 1 0 834423693 28749824 6156 4294967295 134512640 134716908 3221224576 3221222972 1077379892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7019 6156 1111 63 0 6956 0
vsize: 0

Child status: 0
Real time (s): 1174.87
CPU time (s): 1175.02
CPU user time (s): 1173.16
CPU system time (s): 1.85772
CPU usage (%): 100.013
Max. virtual memory (Kb): 28076
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####