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_45_pb.cnf.cr.opb
MD5SUM	1f5fb3c191c2c77719f10f35e4f5f992
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	46
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.094985
Number of variables	3150
Total number of constraints	160
Number of constraints which are clauses	90
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	45
Trace number 39392

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 07:48:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27458 boxname=wulflinc4 idbench=16 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  1f5fb3c191c2c77719f10f35e4f5f992  /oldhome/oroussel/tmp/wulflinc4/normalized-chnl35_45_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-chnl35_45_pb.cnf.cr.opb
IDLAUNCH: 27458
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        405208 kB
Buffers:         34336 kB
Cached:         571792 kB
SwapCached:        568 kB
Active:          56556 kB
Inactive:       551660 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        404956 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            15532 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:07:47 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 27458 7 1175.03 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 3150 variables and 160 constraints.
c After prepocess the problem consists of 3150 variables and 160 constraints.
c preprocess terminated 1.265 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.92 0.95 0.87 2/54 11758
Raw data (stat): 11758 (runsolver) R 11757 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891303132 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.0013 s]
Raw data (loadavg): 0.93 0.96 0.87 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 1665 0 0 0 992 5 0 0 25 0 1 0 891303132 9945088 1583 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2428 1583 1111 63 0 2365 0
vsize: 9712
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.96 0.87 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 1963 0 0 0 1989 8 0 0 25 0 1 0 891303132 11284480 1881 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2755 1881 1111 63 0 2692 0
vsize: 11020
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.87 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2036 0 0 0 2987 9 0 0 25 0 1 0 891303132 11554816 1954 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2821 1954 1111 63 0 2758 0
vsize: 11284
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.96 0.87 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2189 0 0 0 3986 10 0 0 25 0 1 0 891303132 12083200 2107 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2950 2107 1111 63 0 2887 0
vsize: 11800
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.87 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2239 0 0 0 4986 11 0 0 25 0 1 0 891303132 12353536 2157 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3016 2157 1111 63 0 2953 0
vsize: 12064
[startup+60.0028 s]
Raw data (loadavg): 0.97 0.96 0.88 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2271 0 0 0 5984 13 0 0 25 0 1 0 891303132 12488704 2189 4294967295 134512640 134716908 3221224576 3221223312 134535826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3049 2189 1111 63 0 2986 0
vsize: 12196
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.96 0.88 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2298 0 0 0 6983 14 0 0 25 0 1 0 891303132 12623872 2216 4294967295 134512640 134716908 3221224576 3221223168 134549548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3082 2216 1111 63 0 3019 0
vsize: 12328
[startup+80.0049 s]
Raw data (loadavg): 0.98 0.96 0.88 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2305 0 0 0 7983 15 0 0 25 0 1 0 891303132 12623872 2223 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3082 2223 1111 63 0 3019 0
vsize: 12328
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.96 0.88 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2324 0 0 0 8982 16 0 0 25 0 1 0 891303132 12759040 2242 4294967295 134512640 134716908 3221224576 3221223344 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3115 2242 1111 63 0 3052 0
vsize: 12460
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.88 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2355 0 0 0 9981 17 0 0 25 0 1 0 891303132 12894208 2273 4294967295 134512640 134716908 3221224576 3221223248 134524431 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3148 2273 1111 63 0 3085 0
vsize: 12592
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.88 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2371 0 0 0 10979 19 0 0 25 0 1 0 891303132 12869632 2289 4294967295 134512640 134716908 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3142 2289 1111 63 0 3079 0
vsize: 12568
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2410 0 0 0 11978 21 0 0 25 0 1 0 891303132 13004800 2328 4294967295 134512640 134716908 3221224576 3221223312 134528896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3175 2328 1111 63 0 3112 0
vsize: 12700
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2428 0 0 0 12977 22 0 0 25 0 1 0 891303132 13139968 2346 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3208 2346 1111 63 0 3145 0
vsize: 12832
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2471 0 0 0 13976 23 0 0 25 0 1 0 891303132 13275136 2389 4294967295 134512640 134716908 3221224576 3221223168 134549541 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3241 2389 1111 63 0 3178 0
vsize: 12964
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.88 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2488 0 0 0 14975 24 0 0 25 0 1 0 891303132 13402112 2406 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3272 2406 1111 63 0 3209 0
vsize: 13088
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2665 0 0 0 15973 26 0 0 25 0 1 0 891303132 14077952 2583 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3437 2583 1111 63 0 3374 0
vsize: 13748
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2798 0 0 0 16972 27 0 0 25 0 1 0 891303132 14614528 2716 4294967295 134512640 134716908 3221224576 3221222972 1077379821 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3568 2716 1111 63 0 3505 0
vsize: 14272
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2880 0 0 0 17970 30 0 0 25 0 1 0 891303132 15020032 2798 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3667 2798 1111 63 0 3604 0
vsize: 14668
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 2924 0 0 0 18969 31 0 0 25 0 1 0 891303132 15155200 2842 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3700 2842 1111 63 0 3637 0
vsize: 14800
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3007 0 0 0 19967 33 0 0 25 0 1 0 891303132 15560704 2925 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3799 2925 1111 63 0 3736 0
vsize: 15196
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3020 0 0 0 20966 34 0 0 25 0 1 0 891303132 15560704 2938 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3799 2938 1111 63 0 3736 0
vsize: 15196
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3075 0 0 0 21965 36 0 0 25 0 1 0 891303132 15831040 2993 4294967295 134512640 134716908 3221224576 3221223032 1077377368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3865 2993 1111 63 0 3802 0
vsize: 15460
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3111 0 0 0 22963 38 0 0 25 0 1 0 891303132 15949824 3029 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3894 3029 1111 63 0 3831 0
vsize: 15576
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3138 0 0 0 23961 39 0 0 25 0 1 0 891303132 16084992 3056 4294967295 134512640 134716908 3221224576 3221223116 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3927 3056 1111 63 0 3864 0
vsize: 15708
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.89 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3202 0 0 0 24961 40 0 0 25 0 1 0 891303132 16355328 3120 4294967295 134512640 134716908 3221224576 3221223280 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3993 3120 1111 63 0 3930 0
vsize: 15972
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3295 0 0 0 25959 42 0 0 25 0 1 0 891303132 16625664 3213 4294967295 134512640 134716908 3221224576 3221223256 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4059 3213 1111 63 0 3996 0
vsize: 16236
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3402 0 0 0 26958 43 0 0 25 0 1 0 891303132 17158144 3320 4294967295 134512640 134716908 3221224576 3221223200 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4189 3320 1111 63 0 4126 0
vsize: 16756
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3488 0 0 0 27956 45 0 0 25 0 1 0 891303132 17428480 3406 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4255 3406 1111 63 0 4192 0
vsize: 17020
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3523 0 0 0 28955 47 0 0 25 0 1 0 891303132 17563648 3441 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4288 3441 1111 63 0 4225 0
vsize: 17152
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3557 0 0 0 29954 48 0 0 25 0 1 0 891303132 17698816 3475 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4321 3475 1111 63 0 4258 0
vsize: 17284
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3609 0 0 0 30953 49 0 0 25 0 1 0 891303132 17969152 3527 4294967295 134512640 134716908 3221224576 3221223216 134698448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4387 3527 1111 63 0 4324 0
vsize: 17548
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3650 0 0 0 31952 51 0 0 25 0 1 0 891303132 18104320 3568 4294967295 134512640 134716908 3221224576 3221223184 134549488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4420 3568 1111 63 0 4357 0
vsize: 17680
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3694 0 0 0 32950 52 0 0 25 0 1 0 891303132 18374656 3612 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4486 3612 1111 63 0 4423 0
vsize: 17944
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3725 0 0 0 33949 54 0 0 25 0 1 0 891303132 18485248 3643 4294967295 134512640 134716908 3221224576 3221223312 134535840 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4513 3643 1111 63 0 4450 0
vsize: 18052
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3765 0 0 0 34948 54 0 0 25 0 1 0 891303132 18591744 3683 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 3683 1111 63 0 4476 0
vsize: 18156
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3786 0 0 0 35947 56 0 0 25 0 1 0 891303132 18726912 3704 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4572 3704 1111 63 0 4509 0
vsize: 18288
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3810 0 0 0 36946 57 0 0 25 0 1 0 891303132 18726912 3728 4294967295 134512640 134716908 3221224576 3221223164 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4572 3728 1111 63 0 4509 0
vsize: 18288
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3821 0 0 0 37945 58 0 0 25 0 1 0 891303132 18857984 3739 4294967295 134512640 134716908 3221224576 3221222972 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4604 3739 1111 63 0 4541 0
vsize: 18416
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3848 0 0 0 38944 60 0 0 25 0 1 0 891303132 18993152 3766 4294967295 134512640 134716908 3221224576 3221223292 134551979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4637 3766 1111 63 0 4574 0
vsize: 18548
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3867 0 0 0 39943 61 0 0 25 0 1 0 891303132 18993152 3785 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4637 3785 1111 63 0 4574 0
vsize: 18548
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3897 0 0 0 40942 62 0 0 25 0 1 0 891303132 19128320 3815 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4670 3815 1111 63 0 4607 0
vsize: 18680
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3920 0 0 0 41941 63 0 0 25 0 1 0 891303132 19263488 3838 4294967295 134512640 134716908 3221224576 3221223168 134549780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4703 3838 1111 63 0 4640 0
vsize: 18812
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 3988 0 0 0 42940 64 0 0 25 0 1 0 891303132 19533824 3906 4294967295 134512640 134716908 3221224576 3221223332 134655248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4769 3906 1111 63 0 4706 0
vsize: 19076
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4049 0 0 0 43939 66 0 0 25 0 1 0 891303132 19804160 3967 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4835 3967 1111 63 0 4772 0
vsize: 19340
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4102 0 0 0 44938 67 0 0 25 0 1 0 891303132 19939328 4020 4294967295 134512640 134716908 3221224576 3221223132 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4868 4020 1111 63 0 4805 0
vsize: 19472
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4113 0 0 0 45936 69 0 0 25 0 1 0 891303132 20074496 4031 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4901 4031 1111 63 0 4838 0
vsize: 19604
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4113 0 0 0 46936 69 0 0 25 0 1 0 891303132 20074496 4031 4294967295 134512640 134716908 3221224576 3221223168 134549520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4901 4031 1111 63 0 4838 0
vsize: 19604
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4136 0 0 0 47936 70 0 0 25 0 1 0 891303132 20074496 4054 4294967295 134512640 134716908 3221224576 3221223280 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4901 4054 1111 63 0 4838 0
vsize: 19604
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4179 0 0 0 48935 71 0 0 25 0 1 0 891303132 20328448 4097 4294967295 134512640 134716908 3221224576 3221223184 134549457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4963 4097 1111 63 0 4900 0
vsize: 19852
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4184 0 0 0 49934 72 0 0 25 0 1 0 891303132 20328448 4102 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4963 4102 1111 63 0 4900 0
vsize: 19852
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4219 0 0 0 50932 74 0 0 25 0 1 0 891303132 20463616 4137 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 4137 1111 63 0 4933 0
vsize: 19984
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4228 0 0 0 51931 75 0 0 25 0 1 0 891303132 20463616 4146 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4996 4146 1111 63 0 4933 0
vsize: 19984
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4242 0 0 0 52930 76 0 0 25 0 1 0 891303132 20598784 4160 4294967295 134512640 134716908 3221224576 3221223144 1077377765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5029 4160 1111 63 0 4966 0
vsize: 20116
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4270 0 0 0 53929 78 0 0 25 0 1 0 891303132 20733952 4188 4294967295 134512640 134716908 3221224576 3221223144 1077377368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5062 4188 1111 63 0 4999 0
vsize: 20248
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4307 0 0 0 54926 80 0 0 25 0 1 0 891303132 20860928 4225 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5093 4225 1111 63 0 5030 0
vsize: 20372
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4390 0 0 0 55925 82 0 0 25 0 1 0 891303132 21127168 4308 4294967295 134512640 134716908 3221224576 3221223332 134655248 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5158 4308 1111 63 0 5095 0
vsize: 20632
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4470 0 0 0 56924 84 0 0 25 0 1 0 891303132 21532672 4388 4294967295 134512640 134716908 3221224576 3221223216 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5257 4388 1111 63 0 5194 0
vsize: 21028
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4507 0 0 0 57923 85 0 0 25 0 1 0 891303132 21635072 4425 4294967295 134512640 134716908 3221224576 3221223344 134529276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5282 4425 1111 63 0 5219 0
vsize: 21128
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4536 0 0 0 58921 87 0 0 25 0 1 0 891303132 21770240 4454 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5315 4454 1111 63 0 5252 0
vsize: 21260
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4550 0 0 0 59919 89 0 0 25 0 1 0 891303132 21770240 4468 4294967295 134512640 134716908 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5315 4468 1111 63 0 5252 0
vsize: 21260
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4596 0 0 0 60918 90 0 0 25 0 1 0 891303132 22028288 4514 4294967295 134512640 134716908 3221224576 3221223144 1077377888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5378 4514 1111 63 0 5315 0
vsize: 21512
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4607 0 0 0 61917 91 0 0 25 0 1 0 891303132 22028288 4525 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5378 4525 1111 63 0 5315 0
vsize: 21512
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4620 0 0 0 62916 92 0 0 25 0 1 0 891303132 22163456 4538 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5411 4538 1111 63 0 5348 0
vsize: 21644
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4649 0 0 0 63915 94 0 0 25 0 1 0 891303132 22159360 4567 4294967295 134512640 134716908 3221224576 3221223184 134523433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5410 4567 1111 63 0 5347 0
vsize: 21640
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4649 0 0 0 64913 96 0 0 25 0 1 0 891303132 22159360 4567 4294967295 134512640 134716908 3221224576 3221223328 134592443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5410 4567 1111 63 0 5347 0
vsize: 21640
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4660 0 0 0 65912 97 0 0 25 0 1 0 891303132 22294528 4578 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5443 4578 1111 63 0 5380 0
vsize: 21772
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4660 0 0 0 66911 99 0 0 25 0 1 0 891303132 22294528 4578 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5443 4578 1111 63 0 5380 0
vsize: 21772
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4660 0 0 0 67910 100 0 0 25 0 1 0 891303132 22294528 4578 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5443 4578 1111 63 0 5380 0
vsize: 21772
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4681 0 0 0 68909 101 0 0 25 0 1 0 891303132 22294528 4599 4294967295 134512640 134716908 3221224576 3221222972 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5443 4599 1111 63 0 5380 0
vsize: 21772
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4681 0 0 0 69908 102 0 0 25 0 1 0 891303132 22294528 4599 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5443 4599 1111 63 0 5380 0
vsize: 21772
[startup+710.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11758
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4689 0 0 0 70914 103 0 0 25 0 1 0 891303132 22429696 4607 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5476 4607 1111 63 0 5413 0
vsize: 21904
[startup+720.09 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 11811
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4820 0 0 0 71903 113 0 0 25 0 1 0 891303132 22945792 4738 4294967295 134512640 134716908 3221224576 3221223360 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5602 4738 1111 63 0 5539 0
vsize: 22408
[startup+730.091 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 11811
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4902 0 0 0 72902 115 0 0 25 0 1 0 891303132 23199744 4820 4294967295 134512640 134716908 3221224576 3221223308 1076647871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5664 4820 1111 63 0 5601 0
vsize: 22656
[startup+740.092 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 11811
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4927 0 0 0 73901 116 0 0 25 0 1 0 891303132 23322624 4845 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5694 4845 1111 63 0 5631 0
vsize: 22776
[startup+750.091 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11811
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4947 0 0 0 74900 117 0 0 25 0 1 0 891303132 23457792 4865 4294967295 134512640 134716908 3221224576 3221223072 134535394 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5727 4865 1111 63 0 5664 0
vsize: 22908
[startup+760.091 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11811
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 4959 0 0 0 75898 118 0 0 25 0 1 0 891303132 23457792 4877 4294967295 134512640 134716908 3221224576 3221223168 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5727 4877 1111 63 0 5664 0
vsize: 22908
[startup+770.091 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11811
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5022 0 0 0 76897 120 0 0 25 0 1 0 891303132 23728128 4940 4294967295 134512640 134716908 3221224576 3221223216 134539371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5793 4940 1111 63 0 5730 0
vsize: 23172
[startup+780.092 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11811
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5053 0 0 0 77896 121 0 0 25 0 1 0 891303132 23863296 4971 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5826 4971 1111 63 0 5763 0
vsize: 23304
[startup+790.092 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5068 0 0 0 78895 122 0 0 25 0 1 0 891303132 23998464 4986 4294967295 134512640 134716908 3221224576 3221222956 134699871 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5859 4986 1111 63 0 5796 0
vsize: 23436
[startup+800.092 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5071 0 0 0 79894 123 0 0 25 0 1 0 891303132 23961600 4989 4294967295 134512640 134716908 3221224576 3221222972 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5850 4989 1111 63 0 5787 0
vsize: 23400
[startup+810.092 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5080 0 0 0 80893 125 0 0 25 0 1 0 891303132 23961600 4998 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5850 4998 1111 63 0 5787 0
vsize: 23400
[startup+820.091 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5102 0 0 0 81892 126 0 0 25 0 1 0 891303132 24096768 5020 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5883 5020 1111 63 0 5820 0
vsize: 23532
[startup+830.092 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5106 0 0 0 82891 127 0 0 25 0 1 0 891303132 24096768 5024 4294967295 134512640 134716908 3221224576 3221223340 134592404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5883 5024 1111 63 0 5820 0
vsize: 23532
[startup+840.092 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5123 0 0 0 83890 128 0 0 25 0 1 0 891303132 24231936 5041 4294967295 134512640 134716908 3221224576 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5041 1111 63 0 5853 0
vsize: 23664
[startup+850.092 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5149 0 0 0 84889 130 0 0 25 0 1 0 891303132 24231936 5067 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5067 1111 63 0 5853 0
vsize: 23664
[startup+860.093 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5153 0 0 0 85888 131 0 0 25 0 1 0 891303132 24231936 5071 4294967295 134512640 134716908 3221224576 3221223184 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5916 5071 1111 63 0 5853 0
vsize: 23664
[startup+870.093 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5157 0 0 0 86886 132 0 0 25 0 1 0 891303132 24367104 5075 4294967295 134512640 134716908 3221224576 3221223216 134698756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5949 5075 1111 63 0 5886 0
vsize: 23796
[startup+880.094 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5203 0 0 0 87885 134 0 0 25 0 1 0 891303132 24502272 5121 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5982 5121 1111 63 0 5919 0
vsize: 23928
[startup+890.095 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5272 0 0 0 88884 135 0 0 25 0 1 0 891303132 24768512 5190 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6047 5190 1111 63 0 5984 0
vsize: 24188
[startup+900.094 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5296 0 0 0 89882 137 0 0 25 0 1 0 891303132 24903680 5214 4294967295 134512640 134716908 3221224576 3221223144 1077378332 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6080 5214 1111 63 0 6017 0
vsize: 24320
[startup+910.095 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5302 0 0 0 90881 138 0 0 25 0 1 0 891303132 24903680 5220 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6080 5220 1111 63 0 6017 0
vsize: 24320
[startup+920.095 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5315 0 0 0 91881 139 0 0 25 0 1 0 891303132 24903680 5233 4294967295 134512640 134716908 3221224576 3221222892 134613982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6080 5233 1111 63 0 6017 0
vsize: 24320
[startup+930.096 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5315 0 0 0 92880 140 0 0 25 0 1 0 891303132 24903680 5233 4294967295 134512640 134716908 3221224576 3221223168 134549670 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6080 5233 1111 63 0 6017 0
vsize: 24320
[startup+940.096 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5325 0 0 0 93879 141 0 0 25 0 1 0 891303132 25038848 5243 4294967295 134512640 134716908 3221224576 3221223296 134523872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6113 5243 1111 63 0 6050 0
vsize: 24452
[startup+950.096 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5346 0 0 0 94878 143 0 0 25 0 1 0 891303132 25038848 5264 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6113 5264 1111 63 0 6050 0
vsize: 24452
[startup+960.097 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5346 0 0 0 95877 144 0 0 25 0 1 0 891303132 25038848 5264 4294967295 134512640 134716908 3221224576 3221223220 134536694 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6113 5264 1111 63 0 6050 0
vsize: 24452
[startup+970.097 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5355 0 0 0 96876 145 0 0 25 0 1 0 891303132 25174016 5273 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6146 5273 1111 63 0 6083 0
vsize: 24584
[startup+980.097 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5382 0 0 0 97875 146 0 0 25 0 1 0 891303132 25174016 5300 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6146 5300 1111 63 0 6083 0
vsize: 24584
[startup+990.098 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5382 0 0 0 98874 148 0 0 25 0 1 0 891303132 25174016 5300 4294967295 134512640 134716908 3221224576 3221223220 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6146 5300 1111 63 0 6083 0
vsize: 24584
[startup+1000.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5401 0 0 0 99873 149 0 0 25 0 1 0 891303132 25305088 5319 4294967295 134512640 134716908 3221224576 3221223344 134529381 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6178 5319 1111 63 0 6115 0
vsize: 24712
[startup+1010.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5414 0 0 0 100871 150 0 0 25 0 1 0 891303132 25305088 5332 4294967295 134512640 134716908 3221224576 3221223228 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6178 5332 1111 63 0 6115 0
vsize: 24712
[startup+1020.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5423 0 0 0 101871 151 0 0 25 0 1 0 891303132 25436160 5341 4294967295 134512640 134716908 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6210 5341 1111 63 0 6147 0
vsize: 24840
[startup+1030.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5508 0 0 0 102870 152 0 0 25 0 1 0 891303132 25702400 5426 4294967295 134512640 134716908 3221224576 3221223132 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6275 5426 1111 63 0 6212 0
vsize: 25100
[startup+1040.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5544 0 0 0 103869 153 0 0 25 0 1 0 891303132 25837568 5462 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6308 5462 1111 63 0 6245 0
vsize: 25232
[startup+1050.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11813
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5586 0 0 0 104868 155 0 0 25 0 1 0 891303132 26103808 5504 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6373 5504 1111 63 0 6310 0
vsize: 25492
[startup+1060.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11815
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5591 0 0 0 105867 156 0 0 25 0 1 0 891303132 26103808 5509 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6373 5509 1111 63 0 6310 0
vsize: 25492
[startup+1070.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11815
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5628 0 0 0 106866 157 0 0 25 0 1 0 891303132 26210304 5546 4294967295 134512640 134716908 3221224576 3221223132 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6399 5546 1111 63 0 6336 0
vsize: 25596
[startup+1080.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11815
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5697 0 0 0 107864 159 0 0 25 0 1 0 891303132 26480640 5615 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6465 5615 1111 63 0 6402 0
vsize: 25860
[startup+1090.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11815
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5717 0 0 0 108864 159 0 0 25 0 1 0 891303132 26595328 5635 4294967295 134512640 134716908 3221224576 3221223152 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6493 5635 1111 63 0 6430 0
vsize: 25972
[startup+1100.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11815
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5739 0 0 0 109863 160 0 0 25 0 1 0 891303132 26730496 5657 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6526 5657 1111 63 0 6463 0
vsize: 26104
[startup+1110.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11815
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5755 0 0 0 110862 161 0 0 25 0 1 0 891303132 26730496 5673 4294967295 134512640 134716908 3221224576 3221223336 134534137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6526 5673 1111 63 0 6463 0
vsize: 26104
[startup+1120.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11815
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5786 0 0 0 111861 163 0 0 25 0 1 0 891303132 26865664 5704 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6559 5704 1111 63 0 6496 0
vsize: 26236
[startup+1130.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11815
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5820 0 0 0 112860 164 0 0 25 0 1 0 891303132 27000832 5738 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6592 5738 1111 63 0 6529 0
vsize: 26368
[startup+1140.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11815
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5870 0 0 0 113857 166 0 0 25 0 1 0 891303132 27271168 5788 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6658 5788 1111 63 0 6595 0
vsize: 26632
[startup+1150.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11815
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5941 0 0 0 114856 168 0 0 25 0 1 0 891303132 27529216 5859 4294967295 134512640 134716908 3221224576 3221222992 134699477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6721 5859 1111 63 0 6658 0
vsize: 26884
[startup+1160.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11815
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5974 0 0 0 115856 169 0 0 25 0 1 0 891303132 27660288 5892 4294967295 134512640 134716908 3221224576 3221223368 134558587 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6753 5892 1111 63 0 6690 0
vsize: 27012
[startup+1170.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11815
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5988 0 0 0 116855 170 0 0 25 0 1 0 891303132 27660288 5906 4294967295 134512640 134716908 3221224576 3221223304 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6753 5906 1111 63 0 6690 0
vsize: 27012
[startup+1174.88 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 11815
Raw data (stat): 11758 (bsolo_lpr-v2) R 11757 21152 21151 0 -1 0 5988 0 0 0 116855 170 0 0 25 0 1 0 891303132 27660288 5906 4294967295 134512640 134716908 3221224576 3221223304 134532457 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6753 5906 1111 63 0 6690 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.03
CPU user time (s): 1173.31
CPU system time (s): 1.71574
CPU usage (%): 100.013
Max. virtual memory (Kb): 27012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####