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-fpga45_44_sat_pb.cnf.cr.opb
MD5SUM	c501a04dd091dbe678ec2743021adc30
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	46
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	15.2037
Number of variables	2970
Total number of constraints	2113
Number of constraints which are clauses	2024
Number of constraints which are cardinality constraints (but not clauses)	89
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 39435

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-07 09:51:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27498 boxname=wulflinc2 idbench=56 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  c501a04dd091dbe678ec2743021adc30  /oldhome/oroussel/tmp/wulflinc2/normalized-fpga45_44_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-fpga45_44_sat_pb.cnf.cr.opb
IDLAUNCH: 27498
/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:        269596 kB
Buffers:         34120 kB
Cached:         706868 kB
SwapCached:       1164 kB
Active:          46900 kB
Inactive:       696624 kB
HighTotal:      131008 kB
HighFree:        16128 kB
LowTotal:       903652 kB
LowFree:        253468 kB
SwapTotal:     2097136 kB
SwapFree:      2095024 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5068 kB
Slab:            15860 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 10:11:18 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 27498 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 2970 variables and 2113 constraints.
c After prepocess the problem consists of 2970 variables and 2113 constraints.
c preprocess terminated 8.606 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.93 0.97 0.91 2/54 22359
Raw data (stat): 22359 (runsolver) R 22358 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892057417 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.0004 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2307 0 0 0 991 6 0 0 25 0 1 0 892057417 12648448 2225 4294967295 134512640 134716908 3221224560 3221223328 134592119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3088 2225 1111 63 0 3025 0
vsize: 12352
[startup+20.0009 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2432 0 0 0 1988 8 0 0 25 0 1 0 892057417 13103104 2340 4294967295 134512640 134716908 3221224560 3221223344 134584919 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3199 2340 1111 63 0 3136 0
vsize: 12796
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2446 0 0 0 2987 10 0 0 25 0 1 0 892057417 13103104 2354 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3199 2354 1111 63 0 3136 0
vsize: 12796
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2485 0 0 0 3986 11 0 0 25 0 1 0 892057417 13238272 2393 4294967295 134512640 134716908 3221224560 3221223192 134698715 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3232 2393 1111 63 0 3169 0
vsize: 12928
[startup+50.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2513 0 0 0 4986 11 0 0 25 0 1 0 892057417 13373440 2421 4294967295 134512640 134716908 3221224560 3221223168 134548553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3265 2421 1111 63 0 3202 0
vsize: 13060
[startup+60.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2534 0 0 0 5985 13 0 0 25 0 1 0 892057417 13504512 2442 4294967295 134512640 134716908 3221224560 3221223200 134698448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3297 2442 1111 63 0 3234 0
vsize: 13188
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2534 0 0 0 6984 14 0 0 25 0 1 0 892057417 13475840 2442 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3290 2442 1111 63 0 3227 0
vsize: 13160
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2569 0 0 0 7982 15 0 0 25 0 1 0 892057417 13611008 2477 4294967295 134512640 134716908 3221224560 3221223188 1077374101 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3323 2477 1111 63 0 3260 0
vsize: 13292
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2622 0 0 0 8982 16 0 0 25 0 1 0 892057417 13881344 2530 4294967295 134512640 134716908 3221224560 3221223176 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3389 2530 1111 63 0 3326 0
vsize: 13556
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2658 0 0 0 9980 18 0 0 25 0 1 0 892057417 14016512 2566 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3422 2566 1111 63 0 3359 0
vsize: 13688
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2683 0 0 0 10980 19 0 0 25 0 1 0 892057417 14147584 2591 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3454 2591 1111 63 0 3391 0
vsize: 13816
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2695 0 0 0 11978 20 0 0 25 0 1 0 892057417 14102528 2603 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3443 2603 1111 63 0 3380 0
vsize: 13772
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2718 0 0 0 12978 21 0 0 25 0 1 0 892057417 14237696 2626 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3476 2626 1111 63 0 3413 0
vsize: 13904
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2742 0 0 0 13977 22 0 0 25 0 1 0 892057417 14348288 2650 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3503 2650 1111 63 0 3440 0
vsize: 14012
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2745 0 0 0 14976 23 0 0 25 0 1 0 892057417 14348288 2653 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3503 2653 1111 63 0 3440 0
vsize: 14012
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2806 0 0 0 15975 24 0 0 25 0 1 0 892057417 14618624 2714 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2714 1111 63 0 3506 0
vsize: 14276
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2845 0 0 0 16974 25 0 0 25 0 1 0 892057417 14753792 2753 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3602 2753 1111 63 0 3539 0
vsize: 14408
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2900 0 0 0 17973 26 0 0 25 0 1 0 892057417 15024128 2808 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3668 2808 1111 63 0 3605 0
vsize: 14672
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2914 0 0 0 18972 28 0 0 25 0 1 0 892057417 15024128 2822 4294967295 134512640 134716908 3221224560 3221223320 134592382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3668 2822 1111 63 0 3605 0
vsize: 14672
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2921 0 0 0 19972 28 0 0 25 0 1 0 892057417 15024128 2829 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3668 2829 1111 63 0 3605 0
vsize: 14672
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2948 0 0 0 20971 29 0 0 25 0 1 0 892057417 15159296 2856 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3701 2856 1111 63 0 3638 0
vsize: 14804
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2948 0 0 0 21970 30 0 0 25 0 1 0 892057417 15159296 2856 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3701 2856 1111 63 0 3638 0
vsize: 14804
[startup+230.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2959 0 0 0 22970 31 0 0 25 0 1 0 892057417 15294464 2867 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2867 1111 63 0 3671 0
vsize: 14936
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2981 0 0 0 23968 32 0 0 25 0 1 0 892057417 15294464 2889 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2889 1111 63 0 3671 0
vsize: 14936
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 2998 0 0 0 24967 34 0 0 25 0 1 0 892057417 15429632 2906 4294967295 134512640 134716908 3221224560 3221223316 134592339 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3767 2906 1111 63 0 3704 0
vsize: 15068
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3031 0 0 0 25965 36 0 0 25 0 1 0 892057417 15564800 2939 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3800 2939 1111 63 0 3737 0
vsize: 15200
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3031 0 0 0 26964 37 0 0 25 0 1 0 892057417 15564800 2939 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3800 2939 1111 63 0 3737 0
vsize: 15200
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3047 0 0 0 27963 39 0 0 25 0 1 0 892057417 15564800 2955 4294967295 134512640 134716908 3221224560 3221223224 134539345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3800 2955 1111 63 0 3737 0
vsize: 15200
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3066 0 0 0 28961 40 0 0 25 0 1 0 892057417 15699968 2974 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3833 2974 1111 63 0 3770 0
vsize: 15332
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3066 0 0 0 29960 42 0 0 25 0 1 0 892057417 15699968 2974 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3833 2974 1111 63 0 3770 0
vsize: 15332
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3076 0 0 0 30959 43 0 0 25 0 1 0 892057417 15691776 2984 4294967295 134512640 134716908 3221224560 3221222956 1077379892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3831 2984 1111 63 0 3768 0
vsize: 15324
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3078 0 0 0 31958 44 0 0 25 0 1 0 892057417 15691776 2986 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3831 2986 1111 63 0 3768 0
vsize: 15324
[startup+330.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3090 0 0 0 32958 45 0 0 25 0 1 0 892057417 15826944 2998 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3864 2998 1111 63 0 3801 0
vsize: 15456
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3111 0 0 0 33956 46 0 0 25 0 1 0 892057417 15826944 3019 4294967295 134512640 134716908 3221224560 3221223216 134613601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3864 3019 1111 63 0 3801 0
vsize: 15456
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3131 0 0 0 34956 47 0 0 25 0 1 0 892057417 15937536 3039 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 3039 1111 63 0 3828 0
vsize: 15564
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3131 0 0 0 35955 48 0 0 25 0 1 0 892057417 15937536 3039 4294967295 134512640 134716908 3221224560 3221223124 134552069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 3039 1111 63 0 3828 0
vsize: 15564
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3131 0 0 0 36955 48 0 0 25 0 1 0 892057417 15937536 3039 4294967295 134512640 134716908 3221224560 3221223188 1077374082 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 3039 1111 63 0 3828 0
vsize: 15564
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3131 0 0 0 37954 49 0 0 25 0 1 0 892057417 15937536 3039 4294967295 134512640 134716908 3221224560 3221223260 1077374497 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 3039 1111 63 0 3828 0
vsize: 15564
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3131 0 0 0 38953 50 0 0 25 0 1 0 892057417 15937536 3039 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 3039 1111 63 0 3828 0
vsize: 15564
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3131 0 0 0 39953 51 0 0 25 0 1 0 892057417 15937536 3039 4294967295 134512640 134716908 3221224560 3221223176 134523391 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 3039 1111 63 0 3828 0
vsize: 15564
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3138 0 0 0 40951 53 0 0 25 0 1 0 892057417 15937536 3046 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 3046 1111 63 0 3828 0
vsize: 15564
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3138 0 0 0 41950 54 0 0 25 0 1 0 892057417 15937536 3046 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3891 3046 1111 63 0 3828 0
vsize: 15564
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3146 0 0 0 42950 55 0 0 25 0 1 0 892057417 16072704 3054 4294967295 134512640 134716908 3221224560 3221223280 134535793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3924 3054 1111 63 0 3861 0
vsize: 15696
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3163 0 0 0 43948 57 0 0 25 0 1 0 892057417 16035840 3071 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3915 3071 1111 63 0 3852 0
vsize: 15660
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3186 0 0 0 44948 57 0 0 25 0 1 0 892057417 16171008 3094 4294967295 134512640 134716908 3221224560 3221223212 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3948 3094 1111 63 0 3885 0
vsize: 15792
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3227 0 0 0 45947 58 0 0 25 0 1 0 892057417 16302080 3135 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3980 3135 1111 63 0 3917 0
vsize: 15920
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3230 0 0 0 46946 59 0 0 25 0 1 0 892057417 16302080 3138 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3980 3138 1111 63 0 3917 0
vsize: 15920
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3258 0 0 0 47946 60 0 0 25 0 1 0 892057417 16437248 3166 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4013 3166 1111 63 0 3950 0
vsize: 16052
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3258 0 0 0 48945 61 0 0 25 0 1 0 892057417 16437248 3166 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4013 3166 1111 63 0 3950 0
vsize: 16052
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22359
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3282 0 0 0 49944 62 0 0 25 0 1 0 892057417 16539648 3190 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4038 3190 1111 63 0 3975 0
vsize: 16152
[startup+510.008 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 22412
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3282 0 0 0 50943 63 0 0 25 0 1 0 892057417 16539648 3190 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4038 3190 1111 63 0 3975 0
vsize: 16152
[startup+520.007 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 22412
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3316 0 0 0 51943 63 0 0 25 0 1 0 892057417 16674816 3224 4294967295 134512640 134716908 3221224560 3221223188 134698632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4071 3224 1111 63 0 4008 0
vsize: 16284
[startup+530.008 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 22412
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3316 0 0 0 52941 65 0 0 25 0 1 0 892057417 16674816 3224 4294967295 134512640 134716908 3221224560 3221223176 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4071 3224 1111 63 0 4008 0
vsize: 16284
[startup+540.009 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 22412
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3316 0 0 0 53940 66 0 0 25 0 1 0 892057417 16674816 3224 4294967295 134512640 134716908 3221224560 3221223308 134675317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4071 3224 1111 63 0 4008 0
vsize: 16284
[startup+550.01 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 22412
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3350 0 0 0 54940 67 0 0 25 0 1 0 892057417 16809984 3258 4294967295 134512640 134716908 3221224560 3221223176 134613777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4104 3258 1111 63 0 4041 0
vsize: 16416
[startup+560.01 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 22412
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3350 0 0 0 55939 68 0 0 25 0 1 0 892057417 16809984 3258 4294967295 134512640 134716908 3221224560 3221223216 134524069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4104 3258 1111 63 0 4041 0
vsize: 16416
[startup+570.01 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 22412
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3350 0 0 0 56938 69 0 0 25 0 1 0 892057417 16809984 3258 4294967295 134512640 134716908 3221224560 3221223272 134558477 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4104 3258 1111 63 0 4041 0
vsize: 16416
[startup+580.011 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3359 0 0 0 57937 70 0 0 25 0 1 0 892057417 16936960 3267 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4135 3267 1111 63 0 4072 0
vsize: 16540
[startup+590.01 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3385 0 0 0 58936 71 0 0 25 0 1 0 892057417 16936960 3293 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4135 3293 1111 63 0 4072 0
vsize: 16540
[startup+600.011 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3392 0 0 0 59935 73 0 0 25 0 1 0 892057417 17051648 3300 4294967295 134512640 134716908 3221224560 3221223260 134534084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4163 3300 1111 63 0 4100 0
vsize: 16652
[startup+610.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3418 0 0 0 60934 74 0 0 25 0 1 0 892057417 17186816 3326 4294967295 134512640 134716908 3221224560 3221223196 134523384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4196 3326 1111 63 0 4133 0
vsize: 16784
[startup+620.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3470 0 0 0 61933 75 0 0 25 0 1 0 892057417 17301504 3378 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+630.012 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3470 0 0 0 62932 76 0 0 25 0 1 0 892057417 17301504 3378 4294967295 134512640 134716908 3221224560 3221223316 134592367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+640.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3470 0 0 0 63932 77 0 0 25 0 1 0 892057417 17301504 3378 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+650.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3470 0 0 0 64931 78 0 0 25 0 1 0 892057417 17301504 3378 4294967295 134512640 134716908 3221224560 3221223200 134698670 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+660.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3470 0 0 0 65930 78 0 0 25 0 1 0 892057417 17301504 3378 4294967295 134512640 134716908 3221224560 3221223328 134592449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+670.013 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3470 0 0 0 66930 79 0 0 25 0 1 0 892057417 17301504 3378 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+680.014 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3470 0 0 0 67929 80 0 0 25 0 1 0 892057417 17301504 3378 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+690.013 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3470 0 0 0 68928 81 0 0 25 0 1 0 892057417 17301504 3378 4294967295 134512640 134716908 3221224560 3221223172 134523392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+700.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3470 0 0 0 69928 82 0 0 25 0 1 0 892057417 17301504 3378 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+710.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3470 0 0 0 70928 82 0 0 25 0 1 0 892057417 17301504 3378 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4224 3378 1111 63 0 4161 0
vsize: 16896
[startup+720.014 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3499 0 0 0 71926 84 0 0 25 0 1 0 892057417 17416192 3407 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4252 3407 1111 63 0 4189 0
vsize: 17008
[startup+730.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3499 0 0 0 72926 85 0 0 25 0 1 0 892057417 17416192 3407 4294967295 134512640 134716908 3221224560 3221222952 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4252 3407 1111 63 0 4189 0
vsize: 17008
[startup+740.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3500 0 0 0 73925 86 0 0 25 0 1 0 892057417 17416192 3408 4294967295 134512640 134716908 3221224560 3221223168 134549398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4252 3408 1111 63 0 4189 0
vsize: 17008
[startup+750.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3500 0 0 0 74924 87 0 0 25 0 1 0 892057417 17416192 3408 4294967295 134512640 134716908 3221224560 3221223328 134592449 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4252 3408 1111 63 0 4189 0
vsize: 17008
[startup+760.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3518 0 0 0 75924 87 0 0 25 0 1 0 892057417 17551360 3426 4294967295 134512640 134716908 3221224560 3221223152 134549789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4285 3426 1111 63 0 4222 0
vsize: 17140
[startup+770.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3519 0 0 0 76923 88 0 0 25 0 1 0 892057417 17551360 3427 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4285 3427 1111 63 0 4222 0
vsize: 17140
[startup+780.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3519 0 0 0 77922 90 0 0 25 0 1 0 892057417 17551360 3427 4294967295 134512640 134716908 3221224560 3221223168 134549444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4285 3427 1111 63 0 4222 0
vsize: 17140
[startup+790.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3519 0 0 0 78921 90 0 0 25 0 1 0 892057417 17551360 3427 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4285 3427 1111 63 0 4222 0
vsize: 17140
[startup+800.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3590 0 0 0 79920 92 0 0 25 0 1 0 892057417 17809408 3498 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+810.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22414
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3590 0 0 0 80919 92 0 0 25 0 1 0 892057417 17809408 3498 4294967295 134512640 134716908 3221224560 3221223268 134528750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+820.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3590 0 0 0 81919 93 0 0 25 0 1 0 892057417 17809408 3498 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+830.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3590 0 0 0 82918 94 0 0 25 0 1 0 892057417 17809408 3498 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+840.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3590 0 0 0 83917 95 0 0 25 0 1 0 892057417 17809408 3498 4294967295 134512640 134716908 3221224560 3221223180 1077377191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+850.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3590 0 0 0 84917 96 0 0 25 0 1 0 892057417 17809408 3498 4294967295 134512640 134716908 3221224560 3221223228 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+860.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3590 0 0 0 85916 97 0 0 25 0 1 0 892057417 17809408 3498 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+870.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3590 0 0 0 86914 99 0 0 25 0 1 0 892057417 17809408 3498 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+880.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3590 0 0 0 87914 100 0 0 25 0 1 0 892057417 17809408 3498 4294967295 134512640 134716908 3221224560 3221223108 134699096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3498 1111 63 0 4285 0
vsize: 17392
[startup+890.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3595 0 0 0 88913 101 0 0 25 0 1 0 892057417 17809408 3503 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3503 1111 63 0 4285 0
vsize: 17392
[startup+900.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3595 0 0 0 89912 102 0 0 25 0 1 0 892057417 17809408 3503 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3503 1111 63 0 4285 0
vsize: 17392
[startup+910.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3595 0 0 0 90912 102 0 0 25 0 1 0 892057417 17809408 3503 4294967295 134512640 134716908 3221224560 3221223296 134535840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3503 1111 63 0 4285 0
vsize: 17392
[startup+920.019 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3595 0 0 0 91911 103 0 0 25 0 1 0 892057417 17809408 3503 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3503 1111 63 0 4285 0
vsize: 17392
[startup+930.02 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3595 0 0 0 92911 104 0 0 25 0 1 0 892057417 17809408 3503 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3503 1111 63 0 4285 0
vsize: 17392
[startup+940.02 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3595 0 0 0 93910 105 0 0 25 0 1 0 892057417 17809408 3503 4294967295 134512640 134716908 3221224560 3221223296 134591798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3503 1111 63 0 4285 0
vsize: 17392
[startup+950.019 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3595 0 0 0 94909 106 0 0 25 0 1 0 892057417 17809408 3503 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3503 1111 63 0 4285 0
vsize: 17392
[startup+960.02 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3595 0 0 0 95908 107 0 0 25 0 1 0 892057417 17809408 3503 4294967295 134512640 134716908 3221224560 3221223316 134592367 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4348 3503 1111 63 0 4285 0
vsize: 17392
[startup+970.02 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3604 0 0 0 96907 108 0 0 25 0 1 0 892057417 17928192 3512 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4377 3512 1111 63 0 4314 0
vsize: 17508
[startup+980.021 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3634 0 0 0 97906 109 0 0 25 0 1 0 892057417 18063360 3542 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4410 3542 1111 63 0 4347 0
vsize: 17640
[startup+990.021 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3668 0 0 0 98905 111 0 0 25 0 1 0 892057417 18198528 3576 4294967295 134512640 134716908 3221224560 3221223292 134532458 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4443 3576 1111 63 0 4380 0
vsize: 17772
[startup+1000.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3685 0 0 0 99903 112 0 0 25 0 1 0 892057417 18186240 3593 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4440 3593 1111 63 0 4377 0
vsize: 17760
[startup+1010.02 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3685 0 0 0 100902 114 0 0 25 0 1 0 892057417 18186240 3593 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4440 3593 1111 63 0 4377 0
vsize: 17760
[startup+1020.02 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3725 0 0 0 101902 114 0 0 25 0 1 0 892057417 18321408 3633 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4473 3633 1111 63 0 4410 0
vsize: 17892
[startup+1030.02 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3725 0 0 0 102901 115 0 0 25 0 1 0 892057417 18321408 3633 4294967295 134512640 134716908 3221224560 3221223152 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4473 3633 1111 63 0 4410 0
vsize: 17892
[startup+1040.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3738 0 0 0 103899 117 0 0 25 0 1 0 892057417 18456576 3646 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4506 3646 1111 63 0 4443 0
vsize: 18024
[startup+1050.02 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3738 0 0 0 104898 119 0 0 25 0 1 0 892057417 18456576 3646 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4506 3646 1111 63 0 4443 0
vsize: 18024
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3755 0 0 0 105897 120 0 0 25 0 1 0 892057417 18563072 3663 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4532 3663 1111 63 0 4469 0
vsize: 18128
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3755 0 0 0 106896 121 0 0 25 0 1 0 892057417 18563072 3663 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4532 3663 1111 63 0 4469 0
vsize: 18128
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3755 0 0 0 107894 123 0 0 25 0 1 0 892057417 18546688 3663 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4528 3663 1111 63 0 4465 0
vsize: 18112
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3779 0 0 0 108893 124 0 0 25 0 1 0 892057417 18546688 3687 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4528 3687 1111 63 0 4465 0
vsize: 18112
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3799 0 0 0 109892 126 0 0 25 0 1 0 892057417 18681856 3707 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4561 3707 1111 63 0 4498 0
vsize: 18244
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3799 0 0 0 110891 127 0 0 25 0 1 0 892057417 18681856 3707 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4561 3707 1111 63 0 4498 0
vsize: 18244
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3799 0 0 0 111890 128 0 0 25 0 1 0 892057417 18681856 3707 4294967295 134512640 134716908 3221224560 3221223128 1077377368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4561 3707 1111 63 0 4498 0
vsize: 18244
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3806 0 0 0 112889 129 0 0 25 0 1 0 892057417 18681856 3714 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4561 3714 1111 63 0 4498 0
vsize: 18244
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3808 0 0 0 113888 130 0 0 25 0 1 0 892057417 18681856 3716 4294967295 134512640 134716908 3221224560 3221223232 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4561 3716 1111 63 0 4498 0
vsize: 18244
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3823 0 0 0 114889 131 0 0 25 0 1 0 892057417 18817024 3731 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4594 3731 1111 63 0 4531 0
vsize: 18376
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3838 0 0 0 115888 133 0 0 25 0 1 0 892057417 18817024 3746 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4594 3746 1111 63 0 4531 0
vsize: 18376
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3845 0 0 0 116886 134 0 0 25 0 1 0 892057417 18817024 3753 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4594 3753 1111 63 0 4531 0
vsize: 18376
[startup+1174.85 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 22416
Raw data (stat): 22359 (bsolo_lpr-v2) R 22358 31399 31398 0 -1 0 3845 0 0 0 116886 134 0 0 25 0 1 0 892057417 18817024 3753 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4594 3753 1111 63 0 4531 0
vsize: 0

Child status: 0
Real time (s): 1174.85
CPU time (s): 1175.03
CPU user time (s): 1173.67
CPU system time (s): 1.36179
CPU usage (%): 100.015
Max. virtual memory (Kb): 18376
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####