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-fpga11_9_sat_pb.cnf.cr.opb
MD5SUM	489d094bb23422a6c4624d745553a200
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	12
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.050991
Number of variables	149
Total number of constraints	128
Number of constraints which are clauses	108
Number of constraints which are cardinality constraints (but not clauses)	20
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	5
Maximum length of a constraint	11
Trace number 39403

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 08:14:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27469 boxname=wulflinc5 idbench=27 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  489d094bb23422a6c4624d745553a200  /oldhome/oroussel/tmp/wulflinc5/normalized-fpga11_9_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga11_9_sat_pb.cnf.cr.opb
IDLAUNCH: 27469
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        348864 kB
Buffers:         34284 kB
Cached:         627332 kB
SwapCached:        568 kB
Active:          57132 kB
Inactive:       606460 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        348612 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16612 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:33:52 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 27469 7 1175.1 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 149 variables and 128 constraints.
c After prepocess the problem consists of 149 variables and 128 constraints.
c preprocess terminated 0.079 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.85 0.95 0.90 2/54 2948
Raw data (stat): 2948 (runsolver) R 2947 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891469085 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.87 0.95 0.90 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 2473 0 0 0 989 8 0 0 25 0 1 0 891469085 13176832 2391 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3217 2391 1111 63 0 3154 0
vsize: 12868
[startup+19.9997 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 3712 0 0 0 1982 15 0 0 25 0 1 0 891469085 18329600 3629 4294967295 134512640 134716908 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4475 3629 1111 63 0 4412 0
vsize: 17900
[startup+30.0004 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 4415 0 0 0 2979 17 0 0 25 0 1 0 891469085 21168128 4332 4294967295 134512640 134716908 3221224576 3221223340 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5168 4332 1111 63 0 5105 0
vsize: 20672
[startup+40.0002 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 4716 0 0 0 3978 19 0 0 25 0 1 0 891469085 22523904 4633 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5499 4633 1111 63 0 5436 0
vsize: 21996
[startup+50.0009 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 5058 0 0 0 4976 21 0 0 25 0 1 0 891469085 23875584 4975 4294967295 134512640 134716908 3221224576 3221223168 134549821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5829 4975 1111 63 0 5766 0
vsize: 23316
[startup+60.0006 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 5380 0 0 0 5974 23 0 0 25 0 1 0 891469085 25092096 5297 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6126 5297 1111 63 0 6063 0
vsize: 24504
[startup+70.0004 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 5926 0 0 0 6972 25 0 0 25 0 1 0 891469085 27389952 5843 4294967295 134512640 134716908 3221224576 3221223200 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6687 5843 1111 63 0 6624 0
vsize: 26748
[startup+80.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 6622 0 0 0 7970 28 0 0 25 0 1 0 891469085 30244864 6539 4294967295 134512640 134716908 3221224576 3221223168 134549780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7384 6539 1111 63 0 7321 0
vsize: 29536
[startup+90.0008 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 7307 0 0 0 8967 30 0 0 25 0 1 0 891469085 33136640 7222 4294967295 134512640 134716908 3221224576 3221223344 134529115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8090 7222 1111 63 0 8027 0
vsize: 32360
[startup+100.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 7714 0 0 0 9965 32 0 0 25 0 1 0 891469085 34795520 7628 4294967295 134512640 134716908 3221224576 3221223132 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8495 7628 1111 63 0 8432 0
vsize: 33980
[startup+110 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 8135 0 0 0 10964 34 0 0 25 0 1 0 891469085 36556800 8049 4294967295 134512640 134716908 3221224576 3221223192 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8925 8049 1111 63 0 8862 0
vsize: 35700
[startup+120 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 8510 0 0 0 11962 36 0 0 25 0 1 0 891469085 38199296 8423 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9326 8423 1111 63 0 9263 0
vsize: 37304
[startup+130 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 8903 0 0 0 12960 38 0 0 25 0 1 0 891469085 39837696 8815 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9726 8815 1111 63 0 9663 0
vsize: 38904
[startup+140 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 9720 0 0 0 13957 42 0 0 25 0 1 0 891469085 43081728 9632 4294967295 134512640 134716908 3221224576 3221223200 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10518 9632 1111 63 0 10455 0
vsize: 42072
[startup+150 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 10352 0 0 0 14955 44 0 0 25 0 1 0 891469085 45785088 10264 4294967295 134512640 134716908 3221224576 3221223132 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11178 10264 1111 63 0 11115 0
vsize: 44712
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 10943 0 0 0 15952 47 0 0 25 0 1 0 891469085 48254976 10855 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11781 10855 1111 63 0 11718 0
vsize: 47124
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 11592 0 0 0 16950 49 0 0 25 0 1 0 891469085 50958336 11504 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12441 11504 1111 63 0 12378 0
vsize: 49764
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 12189 0 0 0 17948 51 0 0 25 0 1 0 891469085 53411840 12099 4294967295 134512640 134716908 3221224576 3221223348 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13040 12099 1111 63 0 12977 0
vsize: 52160
[startup+189.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 12808 0 0 0 18944 55 0 0 25 0 1 0 891469085 55980032 12718 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13667 12718 1111 63 0 13604 0
vsize: 54668
[startup+199.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 13580 0 0 0 19941 59 0 0 25 0 1 0 891469085 59088896 13490 4294967295 134512640 134716908 3221224576 3221223216 134698736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14426 13490 1111 63 0 14363 0
vsize: 57704
[startup+209.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 14207 0 0 0 20939 61 0 0 25 0 1 0 891469085 61685760 14117 4294967295 134512640 134716908 3221224576 3221223152 134549640 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15060 14117 1111 63 0 14997 0
vsize: 60240
[startup+219.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 14734 0 0 0 21937 63 0 0 25 0 1 0 891469085 63848448 14644 4294967295 134512640 134716908 3221224576 3221223184 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15588 14644 1111 63 0 15525 0
vsize: 62352
[startup+229.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 15429 0 0 0 22934 66 0 0 25 0 1 0 891469085 66752512 15337 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16297 15337 1111 63 0 16234 0
vsize: 65188
[startup+239.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 16225 0 0 0 23931 69 0 0 25 0 1 0 891469085 69996544 16133 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17089 16133 1111 63 0 17026 0
vsize: 68356
[startup+249.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 16757 0 0 0 24930 71 0 0 25 0 1 0 891469085 72306688 16665 4294967295 134512640 134716908 3221224576 3221223132 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17653 16665 1111 63 0 17590 0
vsize: 70612
[startup+259.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 17311 0 0 0 25927 73 0 0 25 0 1 0 891469085 74469376 17219 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18181 17219 1111 63 0 18118 0
vsize: 72724
[startup+269.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 17843 0 0 0 26925 76 0 0 25 0 1 0 891469085 76812288 17749 4294967295 134512640 134716908 3221224576 3221223312 134535750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18753 17749 1111 63 0 18690 0
vsize: 75012
[startup+279.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 18274 0 0 0 27922 79 0 0 25 0 1 0 891469085 78569472 18180 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19182 18180 1111 63 0 19119 0
vsize: 76728
[startup+289.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 18794 0 0 0 28920 81 0 0 25 0 1 0 891469085 80732160 18700 4294967295 134512640 134716908 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19710 18700 1111 63 0 19647 0
vsize: 78840
[startup+299.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 19375 0 0 0 29918 83 0 0 25 0 1 0 891469085 83042304 19278 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20274 19278 1111 63 0 20211 0
vsize: 81096
[startup+309.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 19911 0 0 0 30915 86 0 0 25 0 1 0 891469085 85229568 19812 4294967295 134512640 134716908 3221224576 3221223372 134554961 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20808 19812 1111 63 0 20745 0
vsize: 83232
[startup+319.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 20316 0 0 0 31914 88 0 0 25 0 1 0 891469085 86986752 20217 4294967295 134512640 134716908 3221224576 3221223280 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21237 20217 1111 63 0 21174 0
vsize: 84948
[startup+329.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 20890 0 0 0 32911 90 0 0 25 0 1 0 891469085 89346048 20789 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21813 20789 1111 63 0 21750 0
vsize: 87252
[startup+339.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 21406 0 0 0 33910 92 0 0 25 0 1 0 891469085 91373568 21305 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22308 21305 1111 63 0 22245 0
vsize: 89232
[startup+349.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 21895 0 0 0 34908 93 0 0 25 0 1 0 891469085 93401088 21794 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22803 21794 1111 63 0 22740 0
vsize: 91212
[startup+359.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 22375 0 0 0 35906 96 0 0 25 0 1 0 891469085 95461376 22271 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23306 22271 1111 63 0 23243 0
vsize: 93224
[startup+369.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 22907 0 0 0 36904 98 0 0 25 0 1 0 891469085 97624064 22803 4294967295 134512640 134716908 3221224576 3221223200 134536675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23834 22803 1111 63 0 23771 0
vsize: 95336
[startup+379.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 23345 0 0 0 37902 100 0 0 25 0 1 0 891469085 99381248 23241 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24263 23241 1111 63 0 24200 0
vsize: 97052
[startup+389.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 23739 0 0 0 38900 102 0 0 25 0 1 0 891469085 101007360 23635 4294967295 134512640 134716908 3221224576 3221223152 134542817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24660 23635 1111 63 0 24597 0
vsize: 98640
[startup+399.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 24101 0 0 0 39899 104 0 0 25 0 1 0 891469085 102494208 23997 4294967295 134512640 134716908 3221224576 3221223072 134535442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25023 23997 1111 63 0 24960 0
vsize: 100092
[startup+409.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 24649 0 0 0 40896 107 0 0 25 0 1 0 891469085 104697856 24541 4294967295 134512640 134716908 3221224576 3221223244 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25561 24541 1111 63 0 25498 0
vsize: 102244
[startup+419.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 25130 0 0 0 41895 108 0 0 25 0 1 0 891469085 106737664 25022 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26059 25022 1111 63 0 25996 0
vsize: 104236
[startup+429.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 25548 0 0 0 42893 110 0 0 25 0 1 0 891469085 108359680 25440 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26455 25440 1111 63 0 26392 0
vsize: 105820
[startup+439.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 26053 0 0 0 43891 112 0 0 25 0 1 0 891469085 110534656 25945 4294967295 134512640 134716908 3221224576 3221223136 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26986 25945 1111 63 0 26923 0
vsize: 107944
[startup+449.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 26539 0 0 0 44889 115 0 0 25 0 1 0 891469085 112427008 26431 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27448 26431 1111 63 0 27385 0
vsize: 109792
[startup+459.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 26992 0 0 0 45887 117 0 0 25 0 1 0 891469085 114397184 26883 4294967295 134512640 134716908 3221224576 3221223264 134551897 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27929 26883 1111 63 0 27866 0
vsize: 111716
[startup+469.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 27327 0 0 0 46886 118 0 0 25 0 1 0 891469085 115748864 27218 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28259 27218 1111 63 0 28196 0
vsize: 113036
[startup+479.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 27654 0 0 0 47885 119 0 0 25 0 1 0 891469085 117100544 27545 4294967295 134512640 134716908 3221224576 3221223336 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28589 27545 1111 63 0 28526 0
vsize: 114356
[startup+489.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 28032 0 0 0 48883 121 0 0 25 0 1 0 891469085 118734848 27919 4294967295 134512640 134716908 3221224576 3221223072 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28988 27919 1111 63 0 28925 0
vsize: 115952
[startup+499.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 28394 0 0 0 49882 123 0 0 25 0 1 0 891469085 120152064 28277 4294967295 134512640 134716908 3221224576 3221223336 134552633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29334 28277 1111 63 0 29271 0
vsize: 117336
[startup+509.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 28735 0 0 0 50880 125 0 0 25 0 1 0 891469085 121638912 28618 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29697 28618 1111 63 0 29634 0
vsize: 118788
[startup+519.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 29076 0 0 0 51879 126 0 0 25 0 1 0 891469085 122990592 28959 4294967295 134512640 134716908 3221224576 3221223288 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30027 28959 1111 63 0 29964 0
vsize: 120108
[startup+529.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 29385 0 0 0 52877 128 0 0 25 0 1 0 891469085 124342272 29267 4294967295 134512640 134716908 3221224576 3221223168 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30357 29267 1111 63 0 30294 0
vsize: 121428
[startup+539.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 29692 0 0 0 53876 129 0 0 25 0 1 0 891469085 125583360 29573 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30660 29573 1111 63 0 30597 0
vsize: 122640
[startup+549.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 29980 0 0 0 54875 130 0 0 25 0 1 0 891469085 126701568 29859 4294967295 134512640 134716908 3221224576 3221223280 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30933 29859 1111 63 0 30870 0
vsize: 123732
[startup+559.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 30317 0 0 0 55873 132 0 0 25 0 1 0 891469085 128053248 30194 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31263 30194 1111 63 0 31200 0
vsize: 125052
[startup+569.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 30585 0 0 0 56873 133 0 0 25 0 1 0 891469085 129134592 30461 4294967295 134512640 134716908 3221224576 3221223344 134529281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31527 30461 1111 63 0 31464 0
vsize: 126108
[startup+579.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 30909 0 0 0 57872 134 0 0 25 0 1 0 891469085 130519040 30784 4294967295 134512640 134716908 3221224576 3221223164 134535631 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31865 30784 1111 63 0 31802 0
vsize: 127460
[startup+589.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 31236 0 0 0 58870 135 0 0 25 0 1 0 891469085 131887104 31111 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32199 31111 1111 63 0 32136 0
vsize: 128796
[startup+599.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 31516 0 0 0 59870 136 0 0 25 0 1 0 891469085 132968448 31391 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32463 31391 1111 63 0 32400 0
vsize: 129852
[startup+609.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 31820 0 0 0 60868 138 0 0 25 0 1 0 891469085 134320128 31695 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32793 31695 1111 63 0 32730 0
vsize: 131172
[startup+619.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 32076 0 0 0 61868 138 0 0 25 0 1 0 891469085 135413760 31951 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33060 31951 1111 63 0 32997 0
vsize: 132240
[startup+629.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 32321 0 0 0 62867 140 0 0 25 0 1 0 891469085 136359936 32196 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33291 32196 1111 63 0 33228 0
vsize: 133164
[startup+639.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 32574 0 0 0 63866 141 0 0 25 0 1 0 891469085 137347072 32446 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33532 32446 1111 63 0 33469 0
vsize: 134128
[startup+649.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 32796 0 0 0 64866 141 0 0 25 0 1 0 891469085 138293248 32666 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33763 32666 1111 63 0 33700 0
vsize: 135052
[startup+659.995 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 33097 0 0 0 65864 143 0 0 25 0 1 0 891469085 139509760 32965 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34060 32965 1111 63 0 33997 0
vsize: 136240
[startup+669.995 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 33331 0 0 0 66863 144 0 0 25 0 1 0 891469085 140591104 33197 4294967295 134512640 134716908 3221224576 3221223228 134536779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34324 33197 1111 63 0 34261 0
vsize: 137296
[startup+679.996 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 33563 0 0 0 67863 145 0 0 25 0 1 0 891469085 141537280 33429 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34555 33429 1111 63 0 34492 0
vsize: 138220
[startup+689.995 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 33810 0 0 0 68862 145 0 0 25 0 1 0 891469085 142483456 33676 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34786 33676 1111 63 0 34723 0
vsize: 139144
[startup+699.995 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 34054 0 0 0 69861 147 0 0 25 0 1 0 891469085 143429632 33920 4294967295 134512640 134716908 3221224576 3221223168 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35017 33920 1111 63 0 34954 0
vsize: 140068
[startup+709.996 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 34427 0 0 0 70859 149 0 0 25 0 1 0 891469085 144916480 34293 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35380 34293 1111 63 0 35317 0
vsize: 141520
[startup+719.995 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 34855 0 0 0 71858 150 0 0 25 0 1 0 891469085 146673664 34721 4294967295 134512640 134716908 3221224576 3221223144 1077377229 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35809 34721 1111 63 0 35746 0
vsize: 143236
[startup+729.995 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 35260 0 0 0 72856 152 0 0 25 0 1 0 891469085 148430848 35126 4294967295 134512640 134716908 3221224576 3221223168 134549702 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36238 35126 1111 63 0 36175 0
vsize: 144952
[startup+739.995 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 35626 0 0 0 73855 154 0 0 25 0 1 0 891469085 149917696 35492 4294967295 134512640 134716908 3221224576 3221223232 134536710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36601 35492 1111 63 0 36538 0
vsize: 146404
[startup+749.996 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 35950 0 0 0 74854 155 0 0 25 0 1 0 891469085 151269376 35816 4294967295 134512640 134716908 3221224576 3221223072 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36931 35816 1111 63 0 36868 0
vsize: 147724
[startup+759.995 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 36249 0 0 0 75853 156 0 0 25 0 1 0 891469085 152485888 36115 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37228 36115 1111 63 0 37165 0
vsize: 148912
[startup+769.995 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 36571 0 0 0 76852 157 0 0 25 0 1 0 891469085 153710592 36436 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37527 36436 1111 63 0 37464 0
vsize: 150108
[startup+779.996 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 37006 0 0 0 77850 159 0 0 25 0 1 0 891469085 155467776 36871 4294967295 134512640 134716908 3221224576 3221223320 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37956 36871 1111 63 0 37893 0
vsize: 151824
[startup+789.996 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 37394 0 0 0 78848 162 0 0 25 0 1 0 891469085 157089792 37259 4294967295 134512640 134716908 3221224576 3221223104 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38352 37259 1111 63 0 38289 0
vsize: 153408
[startup+799.997 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 37732 0 0 0 79846 164 0 0 25 0 1 0 891469085 158441472 37597 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38682 37597 1111 63 0 38619 0
vsize: 154728
[startup+809.997 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 38065 0 0 0 80845 165 0 0 25 0 1 0 891469085 159793152 37930 4294967295 134512640 134716908 3221224576 3221223160 134549705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39012 37930 1111 63 0 38949 0
vsize: 156048
[startup+819.997 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 38400 0 0 0 81843 167 0 0 25 0 1 0 891469085 161345536 38258 4294967295 134512640 134716908 3221224576 3221223280 134528668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39391 38258 1111 63 0 39328 0
vsize: 157564
[startup+829.997 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 38590 0 0 0 82842 168 0 0 25 0 1 0 891469085 162021376 38447 4294967295 134512640 134716908 3221224576 3221223228 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39556 38447 1111 63 0 39493 0
vsize: 158224
[startup+839.996 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 38816 0 0 0 83842 169 0 0 25 0 1 0 891469085 163069952 38671 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39812 38671 1111 63 0 39749 0
vsize: 159248
[startup+849.997 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 39074 0 0 0 84841 169 0 0 25 0 1 0 891469085 164184064 38925 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40084 38925 1111 63 0 40021 0
vsize: 160336
[startup+859.997 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 39286 0 0 0 85841 170 0 0 25 0 1 0 891469085 164995072 39137 4294967295 134512640 134716908 3221224576 3221223360 134529192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40282 39137 1111 63 0 40219 0
vsize: 161128
[startup+869.997 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 39478 0 0 0 86840 171 0 0 25 0 1 0 891469085 165806080 39329 4294967295 134512640 134716908 3221224576 3221223240 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40480 39329 1111 63 0 40417 0
vsize: 161920
[startup+879.997 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 39657 0 0 0 87839 172 0 0 25 0 1 0 891469085 166682624 39505 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40694 39505 1111 63 0 40631 0
vsize: 162776
[startup+889.997 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 39843 0 0 0 88838 173 0 0 25 0 1 0 891469085 167374848 39687 4294967295 134512640 134716908 3221224576 3221223344 134529113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40863 39687 1111 63 0 40800 0
vsize: 163452
[startup+899.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 39985 0 0 0 89838 173 0 0 25 0 1 0 891469085 168050688 39829 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41028 39829 1111 63 0 40965 0
vsize: 164112
[startup+909.997 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 40129 0 0 0 90838 174 0 0 25 0 1 0 891469085 168669184 39972 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41179 39972 1111 63 0 41116 0
vsize: 164716
[startup+919.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 40249 0 0 0 91837 175 0 0 25 0 1 0 891469085 169074688 40092 4294967295 134512640 134716908 3221224576 3221223208 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41278 40092 1111 63 0 41215 0
vsize: 165112
[startup+929.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 40379 0 0 0 92837 175 0 0 25 0 1 0 891469085 169615360 40222 4294967295 134512640 134716908 3221224576 3221223312 134523927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41410 40222 1111 63 0 41347 0
vsize: 165640
[startup+939.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 40534 0 0 0 93836 176 0 0 25 0 1 0 891469085 170323968 40377 4294967295 134512640 134716908 3221224576 3221223152 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41583 40377 1111 63 0 41520 0
vsize: 166332
[startup+949.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 40790 0 0 0 94835 177 0 0 25 0 1 0 891469085 171446272 40633 4294967295 134512640 134716908 3221224576 3221223312 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41857 40633 1111 63 0 41794 0
vsize: 167428
[startup+959.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 41013 0 0 0 95834 178 0 0 25 0 1 0 891469085 172306432 40856 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42067 40856 1111 63 0 42004 0
vsize: 168268
[startup+969.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 41241 0 0 0 96833 179 0 0 25 0 1 0 891469085 173252608 41084 4294967295 134512640 134716908 3221224576 3221223124 134698782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42298 41084 1111 63 0 42235 0
vsize: 169192
[startup+979.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 41464 0 0 0 97833 180 0 0 25 0 1 0 891469085 174063616 41307 4294967295 134512640 134716908 3221224576 3221223156 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42496 41307 1111 63 0 42433 0
vsize: 169984
[startup+989.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 41675 0 0 0 98832 181 0 0 25 0 1 0 891469085 174874624 41518 4294967295 134512640 134716908 3221224576 3221223360 134529249 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42694 41518 1111 63 0 42631 0
vsize: 170776
[startup+999.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 41909 0 0 0 99832 182 0 0 25 0 1 0 891469085 175820800 41752 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42925 41752 1111 63 0 42862 0
vsize: 171700
[startup+1010 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 42134 0 0 0 100830 183 0 0 25 0 1 0 891469085 176766976 41977 4294967295 134512640 134716908 3221224576 3221223280 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43156 41977 1111 63 0 43093 0
vsize: 172624
[startup+1020 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 42294 0 0 0 101830 184 0 0 25 0 1 0 891469085 177487872 42137 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43332 42137 1111 63 0 43269 0
vsize: 173328
[startup+1030 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 42432 0 0 0 102829 185 0 0 25 0 1 0 891469085 178028544 42275 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43464 42275 1111 63 0 43401 0
vsize: 173856
[startup+1040 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 42548 0 0 0 103828 186 0 0 25 0 1 0 891469085 178569216 42391 4294967295 134512640 134716908 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43596 42391 1111 63 0 43533 0
vsize: 174384
[startup+1050 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 42660 0 0 0 104828 186 0 0 25 0 1 0 891469085 178999296 42501 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43701 42501 1111 63 0 43638 0
vsize: 174804
[startup+1060 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 42787 0 0 0 105828 187 0 0 25 0 1 0 891469085 179539968 42628 4294967295 134512640 134716908 3221224576 3221223280 134528691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43833 42628 1111 63 0 43770 0
vsize: 175332
[startup+1070 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 42929 0 0 0 106827 187 0 0 25 0 1 0 891469085 180219904 42766 4294967295 134512640 134716908 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43999 42766 1111 63 0 43936 0
vsize: 175996
[startup+1080 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 43067 0 0 0 107827 188 0 0 25 0 1 0 891469085 180789248 42903 4294967295 134512640 134716908 3221224576 3221223132 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44138 42903 1111 63 0 44075 0
vsize: 176552
[startup+1090 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 43223 0 0 0 108827 188 0 0 25 0 1 0 891469085 181329920 43059 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44270 43059 1111 63 0 44207 0
vsize: 177080
[startup+1100 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 43431 0 0 0 109826 189 0 0 25 0 1 0 891469085 182280192 43266 4294967295 134512640 134716908 3221224576 3221223072 134535376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44502 43266 1111 63 0 44439 0
vsize: 178008
[startup+1110 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 43585 0 0 0 110825 190 0 0 25 0 1 0 891469085 182820864 43420 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44634 43420 1111 63 0 44571 0
vsize: 178536
[startup+1120 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 43819 0 0 0 111824 191 0 0 25 0 1 0 891469085 183799808 43653 4294967295 134512640 134716908 3221224576 3221223360 134529174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44873 43653 1111 63 0 44810 0
vsize: 179492
[startup+1130 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 44112 0 0 0 112823 193 0 0 25 0 1 0 891469085 185024512 43944 4294967295 134512640 134716908 3221224576 3221223260 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45172 43944 1111 63 0 45109 0
vsize: 180688
[startup+1140 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 44397 0 0 0 113822 194 0 0 25 0 1 0 891469085 186245120 44229 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45470 44229 1111 63 0 45407 0
vsize: 181880
[startup+1150 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 45194 0 0 0 114819 197 0 0 25 0 1 0 891469085 189489152 45026 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46262 45026 1111 63 0 46199 0
vsize: 185048
[startup+1160 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 45568 0 0 0 115818 199 0 0 25 0 1 0 891469085 191143936 45400 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46666 45400 1111 63 0 46603 0
vsize: 186664
[startup+1170 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 46034 0 0 0 116815 201 0 0 25 0 1 0 891469085 193036288 45866 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47128 45866 1111 63 0 47065 0
vsize: 188512
[startup+1174.93 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 2948
Raw data (stat): 2948 (bsolo_lpr-v2) R 2947 7266 7265 0 -1 0 46034 0 0 0 116815 201 0 0 25 0 1 0 891469085 193036288 45866 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47128 45866 1111 63 0 47065 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.1
CPU user time (s): 1173
CPU system time (s): 2.10068
CPU usage (%): 100.015
Max. virtual memory (Kb): 188512
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####