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-fpga30_30_sat_pb.cnf.cr.opb
MD5SUM	511f20f1868f397c99d8a26ca62146c0
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	31
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	1.04984
Number of variables	1350
Total number of constraints	990
Number of constraints which are clauses	930
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 39424

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-07 09:26:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27490 boxname=wulflinc4 idbench=48 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  511f20f1868f397c99d8a26ca62146c0  /oldhome/oroussel/tmp/wulflinc4/normalized-fpga30_30_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-fpga30_30_sat_pb.cnf.cr.opb
IDLAUNCH: 27490
/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:        404384 kB
Buffers:         34416 kB
Cached:         572188 kB
SwapCached:        568 kB
Active:          56680 kB
Inactive:       552072 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        404132 kB
SwapTotal:     2097136 kB
SwapFree:      2095660 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5328 kB
Slab:            15608 kB
Committed_AS:    71760 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 09:46:19 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 27490 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 1350 variables and 990 constraints.
c After prepocess the problem consists of 1350 variables and 990 constraints.
c preprocess terminated 1.949 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.90 1/54 12337
Raw data (stat): 12337 (runsolver) R 12336 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891894473 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0008 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 1996 0 0 0 991 5 0 0 25 0 1 0 891894473 11292672 1914 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2757 1914 1111 63 0 2694 0
vsize: 11028
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 2176 0 0 0 1989 7 0 0 25 0 1 0 891894473 12103680 2094 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2955 2094 1111 63 0 2892 0
vsize: 11820
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 2290 0 0 0 2988 9 0 0 25 0 1 0 891894473 12509184 2208 4294967295 134512640 134716908 3221224560 3221223120 134552035 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3054 2208 1111 63 0 2991 0
vsize: 12216
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 2374 0 0 0 3987 10 0 0 25 0 1 0 891894473 12894208 2292 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3148 2292 1111 63 0 3085 0
vsize: 12592
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 2436 0 0 0 4986 11 0 0 25 0 1 0 891894473 13156352 2354 4294967295 134512640 134716908 3221224560 3221223332 134551788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3212 2354 1111 63 0 3149 0
vsize: 12848
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 2480 0 0 0 5984 13 0 0 25 0 1 0 891894473 13291520 2398 4294967295 134512640 134716908 3221224560 3221223328 134529381 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3245 2398 1111 63 0 3182 0
vsize: 12980
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 2553 0 0 0 6983 15 0 0 25 0 1 0 891894473 13561856 2471 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3311 2471 1111 63 0 3248 0
vsize: 13244
[startup+80.0028 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 2757 0 0 0 7981 17 0 0 25 0 1 0 891894473 14372864 2675 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3509 2675 1111 63 0 3446 0
vsize: 14036
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 2859 0 0 0 8979 19 0 0 25 0 1 0 891894473 14778368 2777 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3608 2777 1111 63 0 3545 0
vsize: 14432
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 2865 0 0 0 9979 19 0 0 25 0 1 0 891894473 14913536 2783 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3641 2783 1111 63 0 3578 0
vsize: 14564
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 2908 0 0 0 10978 20 0 0 25 0 1 0 891894473 15024128 2826 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3668 2826 1111 63 0 3605 0
vsize: 14672
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 2948 0 0 0 11977 21 0 0 25 0 1 0 891894473 15159296 2866 4294967295 134512640 134716908 3221224560 3221223344 134529217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3701 2866 1111 63 0 3638 0
vsize: 14804
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 2975 0 0 0 12977 22 0 0 25 0 1 0 891894473 15294464 2893 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3734 2893 1111 63 0 3671 0
vsize: 14936
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 3005 0 0 0 13976 23 0 0 25 0 1 0 891894473 15249408 2891 4294967295 134512640 134716908 3221224560 3221223304 134675312 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3723 2891 1111 63 0 3660 0
vsize: 14892
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 3072 0 0 0 14974 25 0 0 25 0 1 0 891894473 15519744 2958 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3789 2958 1111 63 0 3726 0
vsize: 15156
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 3092 0 0 0 15973 27 0 0 25 0 1 0 891894473 15646720 2978 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3820 2978 1111 63 0 3757 0
vsize: 15280
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 3106 0 0 0 16972 27 0 0 25 0 1 0 891894473 15781888 2992 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3853 2992 1111 63 0 3790 0
vsize: 15412
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 3106 0 0 0 17971 29 0 0 25 0 1 0 891894473 15781888 2992 4294967295 134512640 134716908 3221224560 3221223280 134523872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3853 2992 1111 63 0 3790 0
vsize: 15412
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 3106 0 0 0 18970 29 0 0 25 0 1 0 891894473 15781888 2992 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3853 2992 1111 63 0 3790 0
vsize: 15412
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 3190 0 0 0 19970 30 0 0 25 0 1 0 891894473 16048128 3076 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3918 3076 1111 63 0 3855 0
vsize: 15672
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 3221 0 0 0 20969 31 0 0 25 0 1 0 891894473 16183296 3107 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3951 3107 1111 63 0 3888 0
vsize: 15804
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 3402 0 0 0 21967 33 0 0 25 0 1 0 891894473 16908288 3282 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4128 3282 1111 63 0 4065 0
vsize: 16512
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 3683 0 0 0 22966 35 0 0 25 0 1 0 891894473 18100224 3563 4294967295 134512640 134716908 3221224560 3221223320 134592365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4419 3563 1111 63 0 4356 0
vsize: 17676
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 3839 0 0 0 23965 36 0 0 25 0 1 0 891894473 18632704 3719 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4549 3719 1111 63 0 4486 0
vsize: 18196
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 3913 0 0 0 24963 38 0 0 25 0 1 0 891894473 19013632 3793 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4642 3793 1111 63 0 4579 0
vsize: 18568
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 4071 0 0 0 25961 40 0 0 25 0 1 0 891894473 19689472 3951 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4807 3951 1111 63 0 4744 0
vsize: 19228
[startup+270.008 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 4222 0 0 0 26960 42 0 0 25 0 1 0 891894473 20324352 4102 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4962 4102 1111 63 0 4899 0
vsize: 19848
[startup+280.009 s]
Raw data (loadavg): 1.06 0.99 0.91 3/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 4308 0 0 0 27958 43 0 0 25 0 1 0 891894473 20594688 4188 4294967295 134512640 134716908 3221224560 3221223288 134532449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5028 4188 1111 63 0 4965 0
vsize: 20112
[startup+290.009 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 4376 0 0 0 28957 45 0 0 25 0 1 0 891894473 20860928 4256 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5093 4256 1111 63 0 5030 0
vsize: 20372
[startup+300.009 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 4438 0 0 0 29955 47 0 0 25 0 1 0 891894473 21102592 4318 4294967295 134512640 134716908 3221224560 3221223188 134698632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5152 4318 1111 63 0 5089 0
vsize: 20608
[startup+310.01 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 4565 0 0 0 30954 48 0 0 25 0 1 0 891894473 21618688 4445 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5278 4445 1111 63 0 5215 0
vsize: 21112
[startup+320.009 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 4631 0 0 0 31952 50 0 0 25 0 1 0 891894473 21889024 4511 4294967295 134512640 134716908 3221224560 3221222564 134699567 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5344 4511 1111 63 0 5281 0
vsize: 21376
[startup+330.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 4689 0 0 0 32951 51 0 0 25 0 1 0 891894473 22159360 4569 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5410 4569 1111 63 0 5347 0
vsize: 21640
[startup+340.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 4784 0 0 0 33950 53 0 0 25 0 1 0 891894473 22560768 4664 4294967295 134512640 134716908 3221224560 3221223060 134535326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5508 4664 1111 63 0 5445 0
vsize: 22032
[startup+350.01 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 4841 0 0 0 34948 55 0 0 25 0 1 0 891894473 22831104 4721 4294967295 134512640 134716908 3221224560 3221223212 134536831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5574 4721 1111 63 0 5511 0
vsize: 22296
[startup+360.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 4880 0 0 0 35947 56 0 0 25 0 1 0 891894473 22966272 4760 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5607 4760 1111 63 0 5544 0
vsize: 22428
[startup+370.011 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 4906 0 0 0 36946 57 0 0 25 0 1 0 891894473 23080960 4786 4294967295 134512640 134716908 3221224560 3221223120 134535881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5635 4786 1111 63 0 5572 0
vsize: 22540
[startup+380.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 4935 0 0 0 37945 59 0 0 25 0 1 0 891894473 23216128 4815 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5668 4815 1111 63 0 5605 0
vsize: 22672
[startup+390.012 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 4969 0 0 0 38943 60 0 0 25 0 1 0 891894473 23351296 4849 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5701 4849 1111 63 0 5638 0
vsize: 22804
[startup+400.011 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5006 0 0 0 39942 62 0 0 25 0 1 0 891894473 23486464 4886 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5734 4886 1111 63 0 5671 0
vsize: 22936
[startup+410.012 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5103 0 0 0 40940 64 0 0 25 0 1 0 891894473 23883776 4983 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5831 4983 1111 63 0 5768 0
vsize: 23324
[startup+420.012 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5166 0 0 0 41940 64 0 0 25 0 1 0 891894473 24125440 5046 4294967295 134512640 134716908 3221224560 3221223152 134549780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5890 5046 1111 63 0 5827 0
vsize: 23560
[startup+430.013 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5184 0 0 0 42939 65 0 0 25 0 1 0 891894473 24260608 5064 4294967295 134512640 134716908 3221224560 3221223328 134592140 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5923 5064 1111 63 0 5860 0
vsize: 23692
[startup+440.013 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5195 0 0 0 43938 67 0 0 25 0 1 0 891894473 24207360 5075 4294967295 134512640 134716908 3221224560 3221223368 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5910 5075 1111 63 0 5847 0
vsize: 23640
[startup+450.013 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5206 0 0 0 44937 68 0 0 25 0 1 0 891894473 24342528 5086 4294967295 134512640 134716908 3221224560 3221223248 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5943 5086 1111 63 0 5880 0
vsize: 23772
[startup+460.013 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5225 0 0 0 45936 69 0 0 25 0 1 0 891894473 24342528 5105 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5943 5105 1111 63 0 5880 0
vsize: 23772
[startup+470.014 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5265 0 0 0 46935 70 0 0 25 0 1 0 891894473 24477696 5145 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5976 5145 1111 63 0 5913 0
vsize: 23904
[startup+480.014 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5291 0 0 0 47933 73 0 0 25 0 1 0 891894473 24592384 5171 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6004 5171 1111 63 0 5941 0
vsize: 24016
[startup+490.014 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5310 0 0 0 48932 74 0 0 25 0 1 0 891894473 24723456 5190 4294967295 134512640 134716908 3221224560 3221222836 134699711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6036 5190 1111 63 0 5973 0
vsize: 24144
[startup+500.014 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5346 0 0 0 49931 75 0 0 25 0 1 0 891894473 24854528 5226 4294967295 134512640 134716908 3221224560 3221223100 134613972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5226 1111 63 0 6005 0
vsize: 24272
[startup+510.015 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5371 0 0 0 50930 76 0 0 25 0 1 0 891894473 24940544 5251 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6089 5251 1111 63 0 6026 0
vsize: 24356
[startup+520.015 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5371 0 0 0 51929 77 0 0 25 0 1 0 891894473 24940544 5251 4294967295 134512640 134716908 3221224560 3221223196 134698764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6089 5251 1111 63 0 6026 0
vsize: 24356
[startup+530.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5415 0 0 0 52928 78 0 0 25 0 1 0 891894473 25198592 5295 4294967295 134512640 134716908 3221224560 3221223184 134549742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6152 5295 1111 63 0 6089 0
vsize: 24608
[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5587 0 0 0 53927 80 0 0 25 0 1 0 891894473 25874432 5467 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6317 5467 1111 63 0 6254 0
vsize: 25268
[startup+550.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5668 0 0 0 54925 82 0 0 25 0 1 0 891894473 26132480 5548 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6380 5548 1111 63 0 6317 0
vsize: 25520
[startup+560.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5735 0 0 0 55923 83 0 0 25 0 1 0 891894473 26492928 5615 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6468 5615 1111 63 0 6405 0
vsize: 25872
[startup+570.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5790 0 0 0 56923 84 0 0 25 0 1 0 891894473 26738688 5670 4294967295 134512640 134716908 3221224560 3221223368 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6528 5670 1111 63 0 6465 0
vsize: 26112
[startup+580.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5912 0 0 0 57921 86 0 0 25 0 1 0 891894473 27144192 5792 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6627 5792 1111 63 0 6564 0
vsize: 26508
[startup+590.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 5947 0 0 0 58920 87 0 0 25 0 1 0 891894473 27279360 5827 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6660 5827 1111 63 0 6597 0
vsize: 26640
[startup+600.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 6083 0 0 0 59917 89 0 0 25 0 1 0 891894473 27885568 5963 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6808 5963 1111 63 0 6745 0
vsize: 27232
[startup+610.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 6140 0 0 0 60916 91 0 0 25 0 1 0 891894473 28151808 6020 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6873 6020 1111 63 0 6810 0
vsize: 27492
[startup+620.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 6177 0 0 0 61915 92 0 0 25 0 1 0 891894473 28286976 6057 4294967295 134512640 134716908 3221224560 3221223344 134529365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6906 6057 1111 63 0 6843 0
vsize: 27624
[startup+630.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 6211 0 0 0 62914 93 0 0 25 0 1 0 891894473 28409856 6091 4294967295 134512640 134716908 3221224560 3221223068 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6936 6091 1111 63 0 6873 0
vsize: 27744
[startup+640.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 6262 0 0 0 63914 94 0 0 25 0 1 0 891894473 28680192 6142 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7002 6142 1111 63 0 6939 0
vsize: 28008
[startup+650.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 6309 0 0 0 64913 94 0 0 25 0 1 0 891894473 28815360 6189 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7035 6189 1111 63 0 6972 0
vsize: 28140
[startup+660.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 6495 0 0 0 65912 95 0 0 25 0 1 0 891894473 29548544 6375 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7214 6375 1111 63 0 7151 0
vsize: 28856
[startup+670.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 6600 0 0 0 66912 96 0 0 25 0 1 0 891894473 29954048 6480 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7313 6480 1111 63 0 7250 0
vsize: 29252
[startup+680.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 6673 0 0 0 67910 97 0 0 25 0 1 0 891894473 30359552 6553 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7412 6553 1111 63 0 7349 0
vsize: 29648
[startup+690.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 6713 0 0 0 68909 99 0 0 25 0 1 0 891894473 30478336 6593 4294967295 134512640 134716908 3221224560 3221223284 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7441 6593 1111 63 0 7378 0
vsize: 29764
[startup+700.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 6756 0 0 0 69908 100 0 0 25 0 1 0 891894473 30588928 6636 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7468 6636 1111 63 0 7405 0
vsize: 29872
[startup+710.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 6771 0 0 0 70907 101 0 0 25 0 1 0 891894473 30715904 6651 4294967295 134512640 134716908 3221224560 3221223144 134542787 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7499 6651 1111 63 0 7436 0
vsize: 29996
[startup+720.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 6969 0 0 0 71906 103 0 0 25 0 1 0 891894473 31526912 6849 4294967295 134512640 134716908 3221224560 3221223296 134528671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7697 6849 1111 63 0 7634 0
vsize: 30788
[startup+730.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7079 0 0 0 72905 104 0 0 25 0 1 0 891894473 31932416 6959 4294967295 134512640 134716908 3221224560 3221223232 134655199 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7796 6959 1111 63 0 7733 0
vsize: 31184
[startup+740.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7152 0 0 0 73903 106 0 0 25 0 1 0 891894473 32202752 7032 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7862 7032 1111 63 0 7799 0
vsize: 31448
[startup+750.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7225 0 0 0 74901 108 0 0 25 0 1 0 891894473 32608256 7105 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7961 7105 1111 63 0 7898 0
vsize: 31844
[startup+760.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7273 0 0 0 75900 109 0 0 25 0 1 0 891894473 32743424 7153 4294967295 134512640 134716908 3221224560 3221223296 134558537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7994 7153 1111 63 0 7931 0
vsize: 31976
[startup+770.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7352 0 0 0 76899 111 0 0 25 0 1 0 891894473 33107968 7232 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8083 7232 1111 63 0 8020 0
vsize: 32332
[startup+780.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7379 0 0 0 77898 112 0 0 25 0 1 0 891894473 33243136 7259 4294967295 134512640 134716908 3221224560 3221223324 134552579 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8116 7259 1111 63 0 8053 0
vsize: 32464
[startup+790.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7507 0 0 0 78896 114 0 0 25 0 1 0 891894473 33775616 7387 4294967295 134512640 134716908 3221224560 3221223120 134698945 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8246 7387 1111 63 0 8183 0
vsize: 32984
[startup+800.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7564 0 0 0 79895 115 0 0 25 0 1 0 891894473 33910784 7444 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8279 7444 1111 63 0 8216 0
vsize: 33116
[startup+810.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7619 0 0 0 80893 117 0 0 25 0 1 0 891894473 34164736 7499 4294967295 134512640 134716908 3221224560 3221223300 134591993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8341 7499 1111 63 0 8278 0
vsize: 33364
[startup+820.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7665 0 0 0 81892 118 0 0 25 0 1 0 891894473 34430976 7545 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8406 7545 1111 63 0 8343 0
vsize: 33624
[startup+830.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7713 0 0 0 82891 120 0 0 25 0 1 0 891894473 34533376 7593 4294967295 134512640 134716908 3221224560 3221223200 134542344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8431 7593 1111 63 0 8368 0
vsize: 33724
[startup+840.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7719 0 0 0 83890 121 0 0 25 0 1 0 891894473 34533376 7599 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8431 7599 1111 63 0 8368 0
vsize: 33724
[startup+850.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7738 0 0 0 84890 121 0 0 25 0 1 0 891894473 34668544 7618 4294967295 134512640 134716908 3221224560 3221223200 134698450 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8464 7618 1111 63 0 8401 0
vsize: 33856
[startup+860.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7779 0 0 0 85889 122 0 0 25 0 1 0 891894473 34803712 7659 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8497 7659 1111 63 0 8434 0
vsize: 33988
[startup+870.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7799 0 0 0 86888 123 0 0 25 0 1 0 891894473 34938880 7679 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8530 7679 1111 63 0 8467 0
vsize: 34120
[startup+880.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7830 0 0 0 87887 124 0 0 25 0 1 0 891894473 35074048 7710 4294967295 134512640 134716908 3221224560 3221223152 134549591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8563 7710 1111 63 0 8500 0
vsize: 34252
[startup+890.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7937 0 0 0 88886 126 0 0 25 0 1 0 891894473 35479552 7817 4294967295 134512640 134716908 3221224560 3221223152 134549648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8662 7817 1111 63 0 8599 0
vsize: 34648
[startup+900.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7951 0 0 0 89884 128 0 0 25 0 1 0 891894473 35479552 7831 4294967295 134512640 134716908 3221224560 3221223368 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8662 7831 1111 63 0 8599 0
vsize: 34648
[startup+910.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 7960 0 0 0 90884 128 0 0 25 0 1 0 891894473 35598336 7840 4294967295 134512640 134716908 3221224560 3221223136 134549713 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8691 7840 1111 63 0 8628 0
vsize: 34764
[startup+920.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8004 0 0 0 91883 129 0 0 25 0 1 0 891894473 35733504 7884 4294967295 134512640 134716908 3221224560 3221223264 134528665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8724 7884 1111 63 0 8661 0
vsize: 34896
[startup+930.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8033 0 0 0 92882 130 0 0 25 0 1 0 891894473 35868672 7913 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8757 7913 1111 63 0 8694 0
vsize: 35028
[startup+940.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8110 0 0 0 93881 132 0 0 25 0 1 0 891894473 36126720 7990 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8820 7990 1111 63 0 8757 0
vsize: 35280
[startup+950.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8130 0 0 0 94879 133 0 0 25 0 1 0 891894473 36261888 8010 4294967295 134512640 134716908 3221224560 3221223264 134528481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8853 8010 1111 63 0 8790 0
vsize: 35412
[startup+960.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8163 0 0 0 95878 135 0 0 25 0 1 0 891894473 36397056 8043 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8886 8043 1111 63 0 8823 0
vsize: 35544
[startup+970.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8182 0 0 0 96877 136 0 0 25 0 1 0 891894473 36507648 8062 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8913 8062 1111 63 0 8850 0
vsize: 35652
[startup+980.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8214 0 0 0 97876 137 0 0 25 0 1 0 891894473 36642816 8094 4294967295 134512640 134716908 3221224560 3221223312 134591920 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 8094 1111 63 0 8883 0
vsize: 35784
[startup+990.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8215 0 0 0 98875 138 0 0 25 0 1 0 891894473 36642816 8095 4294967295 134512640 134716908 3221224560 3221223200 134698487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 8095 1111 63 0 8883 0
vsize: 35784
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8247 0 0 0 99874 139 0 0 25 0 1 0 891894473 36777984 8127 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8979 8127 1111 63 0 8916 0
vsize: 35916
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8269 0 0 0 100874 140 0 0 25 0 1 0 891894473 36777984 8149 4294967295 134512640 134716908 3221224560 3221223232 134594375 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8979 8149 1111 63 0 8916 0
vsize: 35916
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8282 0 0 0 101872 142 0 0 25 0 1 0 891894473 36913152 8162 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9012 8162 1111 63 0 8949 0
vsize: 36048
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8305 0 0 0 102871 143 0 0 25 0 1 0 891894473 37048320 8185 4294967295 134512640 134716908 3221224560 3221223368 134558593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9045 8185 1111 63 0 8982 0
vsize: 36180
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8333 0 0 0 103871 143 0 0 25 0 1 0 891894473 37154816 8213 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9071 8213 1111 63 0 9008 0
vsize: 36284
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8358 0 0 0 104870 145 0 0 25 0 1 0 891894473 37154816 8238 4294967295 134512640 134716908 3221224560 3221223128 1077377593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9071 8238 1111 63 0 9008 0
vsize: 36284
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8398 0 0 0 105868 147 0 0 25 0 1 0 891894473 37392384 8278 4294967295 134512640 134716908 3221224560 3221223352 134531231 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9129 8278 1111 63 0 9066 0
vsize: 36516
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8447 0 0 0 106867 148 0 0 25 0 1 0 891894473 37515264 8327 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9159 8327 1111 63 0 9096 0
vsize: 36636
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8460 0 0 0 107867 149 0 0 25 0 1 0 891894473 37642240 8340 4294967295 134512640 134716908 3221224560 3221223168 134549444 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9190 8340 1111 63 0 9127 0
vsize: 36760
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8482 0 0 0 108866 150 0 0 25 0 1 0 891894473 37777408 8362 4294967295 134512640 134716908 3221224560 3221223312 134592443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9223 8362 1111 63 0 9160 0
vsize: 36892
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8592 0 0 0 109865 151 0 0 25 0 1 0 891894473 38182912 8472 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9322 8472 1111 63 0 9259 0
vsize: 37288
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8606 0 0 0 110864 153 0 0 25 0 1 0 891894473 38182912 8486 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9322 8486 1111 63 0 9259 0
vsize: 37288
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8635 0 0 0 111862 154 0 0 25 0 1 0 891894473 38318080 8515 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9355 8515 1111 63 0 9292 0
vsize: 37420
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8658 0 0 0 112862 155 0 0 25 0 1 0 891894473 38453248 8538 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9388 8538 1111 63 0 9325 0
vsize: 37552
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8662 0 0 0 113861 156 0 0 25 0 1 0 891894473 38453248 8542 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9388 8542 1111 63 0 9325 0
vsize: 37552
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8706 0 0 0 114861 157 0 0 25 0 1 0 891894473 38588416 8586 4294967295 134512640 134716908 3221224560 3221223016 1077378266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9421 8586 1111 63 0 9358 0
vsize: 37684
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8730 0 0 0 115860 158 0 0 25 0 1 0 891894473 38723584 8610 4294967295 134512640 134716908 3221224560 3221223216 134536849 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9454 8610 1111 63 0 9391 0
vsize: 37816
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8837 0 0 0 116858 160 0 0 25 0 1 0 891894473 39235584 8717 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9579 8717 1111 63 0 9516 0
vsize: 38316
[startup+1174.89 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 12337
Raw data (stat): 12337 (bsolo_lpr-v2) R 12336 21152 21151 0 -1 0 8837 0 0 0 116858 160 0 0 25 0 1 0 891894473 39235584 8717 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9579 8717 1111 63 0 9516 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.03
CPU user time (s): 1173.4
CPU system time (s): 1.62575
CPU usage (%): 100.012
Max. virtual memory (Kb): 38316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####