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-fpga35_34_sat_pb.cnf.cr.opb
MD5SUM	f49e527e8d063bcfa5508a2b00211475
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	36
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	9.75752
Number of variables	1785
Total number of constraints	1293
Number of constraints which are clauses	1224
Number of constraints which are cardinality constraints (but not clauses)	69
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 39426

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 09:32:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27492 boxname=wulflinc2 idbench=50 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  f49e527e8d063bcfa5508a2b00211475  /oldhome/oroussel/tmp/wulflinc2/normalized-fpga35_34_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-fpga35_34_sat_pb.cnf.cr.opb
IDLAUNCH: 27492
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        270504 kB
Buffers:         34104 kB
Cached:         706204 kB
SwapCached:       1164 kB
Active:          45096 kB
Inactive:       697712 kB
HighTotal:      131008 kB
HighFree:        16828 kB
LowTotal:       903652 kB
LowFree:        253676 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15692 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 09:51:35 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 27492 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 1785 variables and 1293 constraints.
c After prepocess the problem consists of 1785 variables and 1293 constraints.
c preprocess terminated 3.285 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.91 0.97 0.91 2/54 22266
Raw data (stat): 22266 (runsolver) R 22265 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891939135 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 1855 0 0 0 991 5 0 0 25 0 1 0 891939135 10792960 1773 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2635 1773 1111 63 0 2572 0
vsize: 10540
[startup+19.9998 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 2171 0 0 0 1989 8 0 0 25 0 1 0 891939135 12009472 2089 4294967295 134512640 134716908 3221224560 3221223116 134535628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2932 2089 1111 63 0 2869 0
vsize: 11728
[startup+30.0008 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 2215 0 0 0 2987 9 0 0 25 0 1 0 891939135 12144640 2133 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2965 2133 1111 63 0 2902 0
vsize: 11860
[startup+40.0012 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 2655 0 0 0 3985 11 0 0 25 0 1 0 891939135 14036992 2573 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3427 2573 1111 63 0 3364 0
vsize: 13708
[startup+50.0012 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 2795 0 0 0 4984 13 0 0 25 0 1 0 891939135 14577664 2713 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3559 2713 1111 63 0 3496 0
vsize: 14236
[startup+60.0019 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 2840 0 0 0 5983 15 0 0 25 0 1 0 891939135 14712832 2758 4294967295 134512640 134716908 3221224560 3221223232 134551978 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3592 2758 1111 63 0 3529 0
vsize: 14368
[startup+70.0023 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 2906 0 0 0 6982 16 0 0 25 0 1 0 891939135 14983168 2824 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3658 2824 1111 63 0 3595 0
vsize: 14632
[startup+80.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 2947 0 0 0 7981 16 0 0 25 0 1 0 891939135 15253504 2865 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3724 2865 1111 63 0 3661 0
vsize: 14896
[startup+90.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 2991 0 0 0 8980 18 0 0 25 0 1 0 891939135 15388672 2909 4294967295 134512640 134716908 3221224560 3221223152 134549585 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2909 1111 63 0 3694 0
vsize: 15028
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3026 0 0 0 9979 19 0 0 25 0 1 0 891939135 15523840 2944 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3790 2944 1111 63 0 3727 0
vsize: 15160
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3206 0 0 0 10977 21 0 0 25 0 1 0 891939135 16334848 3124 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3988 3124 1111 63 0 3925 0
vsize: 15952
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3278 0 0 0 11977 22 0 0 25 0 1 0 891939135 16605184 3196 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4054 3196 1111 63 0 3991 0
vsize: 16216
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3409 0 0 0 12976 23 0 0 25 0 1 0 891939135 17145856 3327 4294967295 134512640 134716908 3221224560 3221223300 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4186 3327 1111 63 0 4123 0
vsize: 16744
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3409 0 0 0 13975 24 0 0 25 0 1 0 891939135 16900096 3294 4294967295 134512640 134716908 3221224560 3221223344 134551781 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4126 3294 1111 63 0 4063 0
vsize: 16504
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3459 0 0 0 14975 24 0 0 25 0 1 0 891939135 16900096 3294 4294967295 134512640 134716908 3221224560 3221223120 134542306 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4126 3294 1111 63 0 4063 0
vsize: 16504
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3459 0 0 0 15974 25 0 0 25 0 1 0 891939135 16900096 3294 4294967295 134512640 134716908 3221224560 3221223152 134549773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4126 3294 1111 63 0 4063 0
vsize: 16504
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3459 0 0 0 16974 25 0 0 25 0 1 0 891939135 16900096 3294 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4126 3294 1111 63 0 4063 0
vsize: 16504
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3459 0 0 0 17973 26 0 0 25 0 1 0 891939135 16900096 3294 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4126 3294 1111 63 0 4063 0
vsize: 16504
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3459 0 0 0 18973 27 0 0 25 0 1 0 891939135 16900096 3294 4294967295 134512640 134716908 3221224560 3221223360 134588090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4126 3294 1111 63 0 4063 0
vsize: 16504
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3468 0 0 0 19973 27 0 0 25 0 1 0 891939135 17035264 3303 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4159 3303 1111 63 0 4096 0
vsize: 16636
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3524 0 0 0 20972 28 0 0 25 0 1 0 891939135 17227776 3345 4294967295 134512640 134716908 3221224560 3221223200 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4206 3345 1111 63 0 4143 0
vsize: 16824
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3598 0 0 0 21971 29 0 0 25 0 1 0 891939135 17448960 3419 4294967295 134512640 134716908 3221224560 3221223100 134539217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4260 3419 1111 63 0 4197 0
vsize: 17040
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3598 0 0 0 22971 29 0 0 25 0 1 0 891939135 17448960 3419 4294967295 134512640 134716908 3221224560 3221223136 134535493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4260 3419 1111 63 0 4197 0
vsize: 17040
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3598 0 0 0 23971 30 0 0 25 0 1 0 891939135 17448960 3419 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4260 3419 1111 63 0 4197 0
vsize: 17040
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3702 0 0 0 24970 31 0 0 25 0 1 0 891939135 17854464 3523 4294967295 134512640 134716908 3221224560 3221223044 134699567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4359 3523 1111 63 0 4296 0
vsize: 17436
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3758 0 0 0 25969 32 0 0 25 0 1 0 891939135 18124800 3579 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4425 3579 1111 63 0 4362 0
vsize: 17700
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3812 0 0 0 26968 33 0 0 25 0 1 0 891939135 18395136 3633 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4491 3633 1111 63 0 4428 0
vsize: 17964
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3812 0 0 0 27967 34 0 0 25 0 1 0 891939135 18395136 3633 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4491 3633 1111 63 0 4428 0
vsize: 17964
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3812 0 0 0 28967 35 0 0 25 0 1 0 891939135 18395136 3633 4294967295 134512640 134716908 3221224560 3221223128 1077377854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4491 3633 1111 63 0 4428 0
vsize: 17964
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3812 0 0 0 29967 35 0 0 25 0 1 0 891939135 18395136 3633 4294967295 134512640 134716908 3221224560 3221223108 134699096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4491 3633 1111 63 0 4428 0
vsize: 17964
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3812 0 0 0 30966 36 0 0 25 0 1 0 891939135 18395136 3633 4294967295 134512640 134716908 3221224560 3221223200 134698448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4491 3633 1111 63 0 4428 0
vsize: 17964
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3832 0 0 0 31965 37 0 0 25 0 1 0 891939135 18395136 3653 4294967295 134512640 134716908 3221224560 3221223344 134529038 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4491 3653 1111 63 0 4428 0
vsize: 17964
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3841 0 0 0 32965 38 0 0 25 0 1 0 891939135 18530304 3662 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4524 3662 1111 63 0 4461 0
vsize: 18096
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3841 0 0 0 33964 39 0 0 25 0 1 0 891939135 18530304 3662 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4524 3662 1111 63 0 4461 0
vsize: 18096
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3865 0 0 0 34963 40 0 0 25 0 1 0 891939135 18530304 3686 4294967295 134512640 134716908 3221224560 3221223344 134528840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4524 3686 1111 63 0 4461 0
vsize: 18096
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3865 0 0 0 35963 41 0 0 25 0 1 0 891939135 18530304 3686 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4524 3686 1111 63 0 4461 0
vsize: 18096
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3882 0 0 0 36962 42 0 0 25 0 1 0 891939135 18665472 3703 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4557 3703 1111 63 0 4494 0
vsize: 18228
[startup+380.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3898 0 0 0 37961 43 0 0 25 0 1 0 891939135 18665472 3719 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4557 3719 1111 63 0 4494 0
vsize: 18228
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3906 0 0 0 38960 44 0 0 25 0 1 0 891939135 18800640 3727 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4590 3727 1111 63 0 4527 0
vsize: 18360
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3926 0 0 0 39960 45 0 0 25 0 1 0 891939135 18800640 3747 4294967295 134512640 134716908 3221224560 3221223128 1077377353 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4590 3747 1111 63 0 4527 0
vsize: 18360
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3935 0 0 0 40959 45 0 0 25 0 1 0 891939135 18800640 3756 4294967295 134512640 134716908 3221224560 3221223200 134698478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4590 3756 1111 63 0 4527 0
vsize: 18360
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3935 0 0 0 41958 47 0 0 25 0 1 0 891939135 18800640 3756 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4590 3756 1111 63 0 4527 0
vsize: 18360
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3972 0 0 0 42957 48 0 0 25 0 1 0 891939135 19070976 3793 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3793 1111 63 0 4593 0
vsize: 18624
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3972 0 0 0 43956 49 0 0 25 0 1 0 891939135 19070976 3793 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3793 1111 63 0 4593 0
vsize: 18624
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3972 0 0 0 44956 49 0 0 25 0 1 0 891939135 19070976 3793 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3793 1111 63 0 4593 0
vsize: 18624
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3972 0 0 0 45955 50 0 0 25 0 1 0 891939135 19070976 3793 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3793 1111 63 0 4593 0
vsize: 18624
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3972 0 0 0 46955 51 0 0 25 0 1 0 891939135 19070976 3793 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3793 1111 63 0 4593 0
vsize: 18624
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3972 0 0 0 47954 51 0 0 25 0 1 0 891939135 19070976 3793 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3793 1111 63 0 4593 0
vsize: 18624
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 3981 0 0 0 48954 52 0 0 25 0 1 0 891939135 19070976 3802 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3802 1111 63 0 4593 0
vsize: 18624
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4011 0 0 0 49953 53 0 0 25 0 1 0 891939135 19206144 3832 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4689 3832 1111 63 0 4626 0
vsize: 18756
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4039 0 0 0 50953 53 0 0 25 0 1 0 891939135 19341312 3860 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 3860 1111 63 0 4659 0
vsize: 18888
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4110 0 0 0 51952 54 0 0 25 0 1 0 891939135 19611648 3931 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4788 3931 1111 63 0 4725 0
vsize: 19152
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4119 0 0 0 52952 55 0 0 25 0 1 0 891939135 19611648 3940 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4788 3940 1111 63 0 4725 0
vsize: 19152
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4119 0 0 0 53951 56 0 0 25 0 1 0 891939135 19611648 3940 4294967295 134512640 134716908 3221224560 3221223144 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4788 3940 1111 63 0 4725 0
vsize: 19152
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4147 0 0 0 54951 56 0 0 25 0 1 0 891939135 19746816 3968 4294967295 134512640 134716908 3221224560 3221223232 134542865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4821 3968 1111 63 0 4758 0
vsize: 19284
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4215 0 0 0 55950 57 0 0 25 0 1 0 891939135 20017152 4036 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 4036 1111 63 0 4824 0
vsize: 19548
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4245 0 0 0 56950 57 0 0 25 0 1 0 891939135 20090880 4066 4294967295 134512640 134716908 3221224560 3221223200 134698663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4905 4066 1111 63 0 4842 0
vsize: 19620
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4315 0 0 0 57949 58 0 0 25 0 1 0 891939135 20361216 4136 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4136 1111 63 0 4908 0
vsize: 19884
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4315 0 0 0 58948 59 0 0 25 0 1 0 891939135 20361216 4136 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4136 1111 63 0 4908 0
vsize: 19884
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4315 0 0 0 59948 60 0 0 25 0 1 0 891939135 20361216 4136 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4136 1111 63 0 4908 0
vsize: 19884
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4366 0 0 0 60947 61 0 0 25 0 1 0 891939135 20635648 4187 4294967295 134512640 134716908 3221224560 3221223296 134535740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5038 4187 1111 63 0 4975 0
vsize: 20152
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4441 0 0 0 61946 62 0 0 25 0 1 0 891939135 20905984 4262 4294967295 134512640 134716908 3221224560 3221223248 134523350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5104 4262 1111 63 0 5041 0
vsize: 20416
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4564 0 0 0 62945 63 0 0 25 0 1 0 891939135 21446656 4385 4294967295 134512640 134716908 3221224560 3221223044 134699567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5236 4385 1111 63 0 5173 0
vsize: 20944
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4691 0 0 0 63945 64 0 0 25 0 1 0 891939135 21987328 4512 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5368 4512 1111 63 0 5305 0
vsize: 21472
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 64944 65 0 0 25 0 1 0 891939135 22122496 4541 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5401 4541 1111 63 0 5338 0
vsize: 21604
[startup+660.017 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 65944 65 0 0 25 0 1 0 891939135 22122496 4541 4294967295 134512640 134716908 3221224560 3221223216 134536591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5401 4541 1111 63 0 5338 0
vsize: 21604
[startup+670.016 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 66944 65 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134542731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+680.016 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 67943 66 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223200 134698453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+690.016 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 68942 67 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223100 134539296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+700.016 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 69941 68 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+710.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 70941 69 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223200 134698487 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+720.016 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 71941 69 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223324 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+730.016 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 72940 70 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+740.015 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 73940 71 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+750.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 74939 72 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+760.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 75938 72 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223192 134698385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+770.028 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 76939 73 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+780.045 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 77940 74 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+790.045 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 78939 75 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+800.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 79938 76 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223316 134655251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+810.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 80938 77 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+820.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 81937 77 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+830.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 82937 78 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+840.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 83936 79 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223276 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+850.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 84935 80 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+860.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 85934 81 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+870.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 86933 82 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+880.064 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 87934 84 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+890.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 88934 84 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+900.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 89934 85 0 0 25 0 1 0 891939135 22102016 4541 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+910.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 90933 86 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223016 1077377227 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+920.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 91933 86 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223216 134536643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+930.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 92932 87 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+940.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 93931 88 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223264 134528738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+950.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 94930 89 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+960.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 95929 91 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+970.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 96928 92 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+980.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 97928 93 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223328 134551791 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+990.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 98927 94 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223308 134551637 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1000.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 99926 95 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223224 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1010.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 100925 96 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223312 134592443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1020.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 101925 96 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 102924 97 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223200 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 103923 98 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221222596 134699564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1050.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 104923 99 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1060.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 105922 99 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1070.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 106922 100 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223304 134543141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1080.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 107921 101 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1090.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 108920 102 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1100.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 109920 103 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 110920 103 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223520 134576427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 111920 103 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 112919 104 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 113919 105 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 114918 106 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 115917 107 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223312 134592340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 116917 107 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1174.85 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 22266
Raw data (stat): 22266 (bsolo_lpr-v2) R 22265 31399 31398 0 -1 0 4720 0 0 0 116917 107 0 0 25 0 1 0 891939135 22097920 4541 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 0

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