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-fpga12_11_sat_pb.cnf.cr.opb
MD5SUM	2acc4f964e1e6f176bb0ec9705d398d2
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	13
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.044993
Number of variables	198
Total number of constraints	166
Number of constraints which are clauses	143
Number of constraints which are cardinality constraints (but not clauses)	23
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	12
Trace number 39405

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-07 08:22:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27471 boxname=wulflinc1 idbench=29 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  2acc4f964e1e6f176bb0ec9705d398d2  /oldhome/oroussel/tmp/wulflinc1/normalized-fpga12_11_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-fpga12_11_sat_pb.cnf.cr.opb
IDLAUNCH: 27471
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        293908 kB
Buffers:         34436 kB
Cached:         681004 kB
SwapCached:        668 kB
Active:          70728 kB
Inactive:       646984 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        293656 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5840 kB
Slab:            17232 kB
Committed_AS:    92684 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 08:41:52 (client local time) WITH STATUS 0 IN 1175.16 SECONDS
stats: 27471 7 1175.16 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 198 variables and 166 constraints.
c After prepocess the problem consists of 198 variables and 166 constraints.
c preprocess terminated 0.107 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.09 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.84 0.94 0.90 2/55 3865
Raw data (stat): 3865 (runsolver) R 3864 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 834660204 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 2926 0 0 0 988 9 0 0 25 0 1 0 834660204 15081472 2844 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3682 2844 1111 63 0 3619 0
vsize: 14728
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 4050 0 0 0 1984 14 0 0 25 0 1 0 834660204 19693568 3968 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4808 3968 1111 63 0 4745 0
vsize: 19232
[startup+30.001 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 5654 0 0 0 2977 20 0 0 25 0 1 0 834660204 26345472 5572 4294967295 134512640 134716908 3221224560 3221223100 134613780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6432 5573 1111 63 0 6369 0
vsize: 25728
[startup+40.0009 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 6831 0 0 0 3974 24 0 0 25 0 1 0 834660204 31096832 6749 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7592 6749 1111 63 0 7529 0
vsize: 30368
[startup+50.0017 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 7570 0 0 0 4971 27 0 0 25 0 1 0 834660204 34258944 7486 4294967295 134512640 134716908 3221224560 3221223052 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8364 7486 1111 63 0 8301 0
vsize: 33456
[startup+60.0015 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 8266 0 0 0 5969 29 0 0 25 0 1 0 834660204 37142528 8181 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9068 8181 1111 63 0 9005 0
vsize: 36272
[startup+70.0026 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 9045 0 0 0 6967 31 0 0 25 0 1 0 834660204 40390656 8960 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9861 8960 1111 63 0 9798 0
vsize: 39444
[startup+80.0032 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 9712 0 0 0 7964 34 0 0 25 0 1 0 834660204 43151360 9626 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 9626 1111 63 0 10472 0
vsize: 42140
[startup+90.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 10282 0 0 0 8961 38 0 0 25 0 1 0 834660204 45477888 10195 4294967295 134512640 134716908 3221224560 3221223296 134528677 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11103 10195 1111 63 0 11040 0
vsize: 44412
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 10794 0 0 0 9959 40 0 0 25 0 1 0 834660204 47702016 10705 4294967295 134512640 134716908 3221224560 3221223192 134536665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11646 10705 1111 63 0 11583 0
vsize: 46584
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 11255 0 0 0 10957 42 0 0 25 0 1 0 834660204 49635328 11165 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12118 11165 1111 63 0 12055 0
vsize: 48472
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 11885 0 0 0 11956 44 0 0 25 0 1 0 834660204 52211712 11795 4294967295 134512640 134716908 3221224560 3221223140 134549797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12747 11795 1111 63 0 12684 0
vsize: 50988
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 12500 0 0 0 12954 46 0 0 25 0 1 0 834660204 54796288 12410 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13378 12410 1111 63 0 13315 0
vsize: 53512
[startup+140.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 13058 0 0 0 13950 49 0 0 25 0 1 0 834660204 56963072 12968 4294967295 134512640 134716908 3221224560 3221223140 134549712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13907 12968 1111 63 0 13844 0
vsize: 55628
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 13568 0 0 0 14948 52 0 0 25 0 1 0 834660204 59142144 13478 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14439 13478 1111 63 0 14376 0
vsize: 57756
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 13916 0 0 0 15947 53 0 0 25 0 1 0 834660204 60510208 13826 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14773 13826 1111 63 0 14710 0
vsize: 59092
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 14194 0 0 0 16946 54 0 0 25 0 1 0 834660204 61734912 14104 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15072 14104 1111 63 0 15009 0
vsize: 60288
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 14493 0 0 0 17945 55 0 0 25 0 1 0 834660204 62955520 14403 4294967295 134512640 134716908 3221224560 3221223344 134529401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15370 14403 1111 63 0 15307 0
vsize: 61480
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 15066 0 0 0 18944 56 0 0 25 0 1 0 834660204 65261568 14976 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15933 14976 1111 63 0 15870 0
vsize: 63732
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 15527 0 0 0 19942 58 0 0 25 0 1 0 834660204 67153920 15437 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16395 15437 1111 63 0 16332 0
vsize: 65580
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 15825 0 0 0 20942 59 0 0 25 0 1 0 834660204 68505600 15735 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16725 15735 1111 63 0 16662 0
vsize: 66900
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 16112 0 0 0 21940 61 0 0 25 0 1 0 834660204 69586944 16022 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16989 16022 1111 63 0 16926 0
vsize: 67956
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 16557 0 0 0 22938 63 0 0 25 0 1 0 834660204 71553024 16465 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17469 16465 1111 63 0 17406 0
vsize: 69876
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 16855 0 0 0 23937 65 0 0 25 0 1 0 834660204 72769536 16763 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17766 16763 1111 63 0 17703 0
vsize: 71064
[startup+250.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 17140 0 0 0 24935 66 0 0 25 0 1 0 834660204 73986048 17048 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18063 17048 1111 63 0 18000 0
vsize: 72252
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 17481 0 0 0 25934 67 0 0 25 0 1 0 834660204 75341824 17389 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18394 17389 1111 63 0 18331 0
vsize: 73576
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 17714 0 0 0 26934 68 0 0 25 0 1 0 834660204 76308480 17622 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18630 17622 1111 63 0 18567 0
vsize: 74520
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 17968 0 0 0 27933 70 0 0 25 0 1 0 834660204 77447168 17874 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18908 17874 1111 63 0 18845 0
vsize: 75632
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 18277 0 0 0 28931 71 0 0 25 0 1 0 834660204 78663680 18183 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19205 18183 1111 63 0 19142 0
vsize: 76820
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 18552 0 0 0 29930 72 0 0 25 0 1 0 834660204 79745024 18458 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19469 18458 1111 63 0 19406 0
vsize: 77876
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 18848 0 0 0 30930 73 0 0 25 0 1 0 834660204 81014784 18750 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19779 18750 1111 63 0 19716 0
vsize: 79116
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 19126 0 0 0 31928 75 0 0 25 0 1 0 834660204 82096128 19028 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20043 19028 1111 63 0 19980 0
vsize: 80172
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 19340 0 0 0 32927 76 0 0 25 0 1 0 834660204 83083264 19238 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20284 19238 1111 63 0 20221 0
vsize: 81136
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 19646 0 0 0 33926 77 0 0 25 0 1 0 834660204 84299776 19544 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20581 19544 1111 63 0 20518 0
vsize: 82324
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 19861 0 0 0 34926 78 0 0 25 0 1 0 834660204 85323776 19755 4294967295 134512640 134716908 3221224560 3221223212 134536763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20831 19755 1111 63 0 20768 0
vsize: 83324
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 20075 0 0 0 35924 80 0 0 25 0 1 0 834660204 86151168 19969 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21033 19969 1111 63 0 20970 0
vsize: 84132
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 20284 0 0 0 36923 81 0 0 25 0 1 0 834660204 86982656 20178 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21236 20178 1111 63 0 21173 0
vsize: 84944
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 20488 0 0 0 37922 82 0 0 25 0 1 0 834660204 87842816 20378 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21446 20378 1111 63 0 21383 0
vsize: 85784
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 20785 0 0 0 38921 83 0 0 25 0 1 0 834660204 89092096 20674 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21751 20674 1111 63 0 21688 0
vsize: 87004
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 21071 0 0 0 39920 84 0 0 25 0 1 0 834660204 90341376 20960 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22056 20960 1111 63 0 21993 0
vsize: 88224
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 21229 0 0 0 40920 85 0 0 25 0 1 0 834660204 91041792 21118 4294967295 134512640 134716908 3221224560 3221223216 134536738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22227 21118 1111 63 0 22164 0
vsize: 88908
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 21459 0 0 0 41919 86 0 0 25 0 1 0 834660204 91987968 21348 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22458 21348 1111 63 0 22395 0
vsize: 89832
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 21677 0 0 0 42918 87 0 0 25 0 1 0 834660204 92819456 21565 4294967295 134512640 134716908 3221224560 3221223116 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22661 21565 1111 63 0 22598 0
vsize: 90644
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 21864 0 0 0 43918 87 0 0 25 0 1 0 834660204 93696000 21751 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22875 21751 1111 63 0 22812 0
vsize: 91500
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 22251 0 0 0 44917 89 0 0 25 0 1 0 834660204 95334400 22136 4294967295 134512640 134716908 3221224560 3221223328 134529136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23275 22136 1111 63 0 23212 0
vsize: 93100
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 22819 0 0 0 45915 91 0 0 25 0 1 0 834660204 97665024 22704 4294967295 134512640 134716908 3221224560 3221223164 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23844 22704 1111 63 0 23781 0
vsize: 95376
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 23238 0 0 0 46913 92 0 0 25 0 1 0 834660204 99422208 23123 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24273 23123 1111 63 0 24210 0
vsize: 97092
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 23530 0 0 0 47912 94 0 0 25 0 1 0 834660204 100638720 23415 4294967295 134512640 134716908 3221224560 3221223280 134529281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24570 23415 1111 63 0 24507 0
vsize: 98280
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 23798 0 0 0 48911 95 0 0 25 0 1 0 834660204 101720064 23683 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24834 23683 1111 63 0 24771 0
vsize: 99336
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 24057 0 0 0 49911 95 0 0 25 0 1 0 834660204 102805504 23942 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25099 23942 1111 63 0 25036 0
vsize: 100396
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 24258 0 0 0 50910 96 0 0 25 0 1 0 834660204 103620608 24143 4294967295 134512640 134716908 3221224560 3221223344 134529259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25298 24143 1111 63 0 25235 0
vsize: 101192
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 24512 0 0 0 51909 98 0 0 25 0 1 0 834660204 104566784 24397 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25529 24397 1111 63 0 25466 0
vsize: 102116
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 24764 0 0 0 52908 99 0 0 25 0 1 0 834660204 105648128 24649 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25793 24649 1111 63 0 25730 0
vsize: 103172
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 25028 0 0 0 53907 100 0 0 25 0 1 0 834660204 106737664 24913 4294967295 134512640 134716908 3221224560 3221223152 134549742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26059 24913 1111 63 0 25996 0
vsize: 104236
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 25181 0 0 0 54906 101 0 0 25 0 1 0 834660204 107278336 25066 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26191 25066 1111 63 0 26128 0
vsize: 104764
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 25373 0 0 0 55906 102 0 0 25 0 1 0 834660204 108085248 25258 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26388 25258 1111 63 0 26325 0
vsize: 105552
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 25561 0 0 0 56905 103 0 0 25 0 1 0 834660204 108896256 25446 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26586 25446 1111 63 0 26523 0
vsize: 106344
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 25844 0 0 0 57904 104 0 0 25 0 1 0 834660204 109977600 25729 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26850 25729 1111 63 0 26787 0
vsize: 107400
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 26355 0 0 0 58902 106 0 0 25 0 1 0 834660204 112140288 26240 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27378 26240 1111 63 0 27315 0
vsize: 109512
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 26727 0 0 0 59900 108 0 0 25 0 1 0 834660204 113692672 26612 4294967295 134512640 134716908 3221224560 3221223188 134536674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27757 26612 1111 63 0 27694 0
vsize: 111028
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 26974 0 0 0 60899 109 0 0 25 0 1 0 834660204 114638848 26859 4294967295 134512640 134716908 3221224560 3221223072 134535032 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27988 26859 1111 63 0 27925 0
vsize: 111952
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 27197 0 0 0 61898 111 0 0 25 0 1 0 834660204 115585024 27082 4294967295 134512640 134716908 3221224560 3221223264 134528592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28219 27082 1111 63 0 28156 0
vsize: 112876
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 27380 0 0 0 62897 112 0 0 25 0 1 0 834660204 116400128 27265 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28418 27265 1111 63 0 28355 0
vsize: 113672
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 27523 0 0 0 63896 112 0 0 25 0 1 0 834660204 116965376 27408 4294967295 134512640 134716908 3221224560 3221223200 134536650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28556 27408 1111 63 0 28493 0
vsize: 114224
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 27896 0 0 0 64895 114 0 0 25 0 1 0 834660204 118452224 27781 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28919 27781 1111 63 0 28856 0
vsize: 115676
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 28176 0 0 0 65894 115 0 0 25 0 1 0 834660204 119533568 28061 4294967295 134512640 134716908 3221224560 3221223072 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29183 28061 1111 63 0 29120 0
vsize: 116732
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 28477 0 0 0 66893 116 0 0 25 0 1 0 834660204 120905728 28361 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29518 28361 1111 63 0 29455 0
vsize: 118072
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 28821 0 0 0 67892 117 0 0 25 0 1 0 834660204 122265600 28704 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29850 28704 1111 63 0 29787 0
vsize: 119400
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 29013 0 0 0 68892 118 0 0 25 0 1 0 834660204 123076608 28896 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30048 28896 1111 63 0 29985 0
vsize: 120192
[startup+700.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 29247 0 0 0 69891 119 0 0 25 0 1 0 834660204 123887616 29130 4294967295 134512640 134716908 3221224560 3221223264 134528738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30246 29130 1111 63 0 30183 0
vsize: 120984
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 29402 0 0 0 70890 119 0 0 25 0 1 0 834660204 124579840 29284 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30415 29284 1111 63 0 30352 0
vsize: 121660
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 29752 0 0 0 71889 121 0 0 25 0 1 0 834660204 126001152 29632 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30762 29632 1111 63 0 30699 0
vsize: 123048
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 29944 0 0 0 72889 121 0 0 25 0 1 0 834660204 126812160 29824 4294967295 134512640 134716908 3221224560 3221223296 134523859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30960 29824 1111 63 0 30897 0
vsize: 123840
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 30131 0 0 0 73888 122 0 0 25 0 1 0 834660204 127488000 30011 4294967295 134512640 134716908 3221224560 3221223296 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31125 30011 1111 63 0 31062 0
vsize: 124500
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 30291 0 0 0 74888 123 0 0 25 0 1 0 834660204 128163840 30171 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31290 30171 1111 63 0 31227 0
vsize: 125160
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 30464 0 0 0 75887 123 0 0 25 0 1 0 834660204 128892928 30344 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31468 30344 1111 63 0 31405 0
vsize: 125872
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 30634 0 0 0 76886 124 0 0 25 0 1 0 834660204 129568768 30514 4294967295 134512640 134716908 3221224560 3221223212 134536848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31633 30514 1111 63 0 31570 0
vsize: 126532
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 30789 0 0 0 77886 125 0 0 25 0 1 0 834660204 130244608 30669 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31798 30669 1111 63 0 31735 0
vsize: 127192
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 30948 0 0 0 78885 126 0 0 25 0 1 0 834660204 130809856 30827 4294967295 134512640 134716908 3221224560 3221223128 134535987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31936 30827 1111 63 0 31873 0
vsize: 127744
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 31107 0 0 0 79885 127 0 0 25 0 1 0 834660204 131792896 30984 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32176 30984 1111 63 0 32113 0
vsize: 128704
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 31213 0 0 0 80884 127 0 0 25 0 1 0 834660204 132206592 31090 4294967295 134512640 134716908 3221224560 3221223276 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32277 31090 1111 63 0 32214 0
vsize: 129108
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 31315 0 0 0 81884 128 0 0 25 0 1 0 834660204 132546560 31190 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32360 31190 1111 63 0 32297 0
vsize: 129440
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 31421 0 0 0 82884 128 0 0 25 0 1 0 834660204 132993024 31295 4294967295 134512640 134716908 3221224560 3221223296 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32469 31295 1111 63 0 32406 0
vsize: 129876
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 31568 0 0 0 83882 130 0 0 25 0 1 0 834660204 133533696 31442 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32601 31442 1111 63 0 32538 0
vsize: 130404
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 31656 0 0 0 84881 131 0 0 25 0 1 0 834660204 133971968 31526 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32708 31526 1111 63 0 32645 0
vsize: 130832
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 31740 0 0 0 85881 131 0 0 25 0 1 0 834660204 134291456 31609 4294967295 134512640 134716908 3221224560 3221223296 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32786 31609 1111 63 0 32723 0
vsize: 131144
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 31833 0 0 0 86880 132 0 0 25 0 1 0 834660204 134725632 31701 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32892 31701 1111 63 0 32829 0
vsize: 131568
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 31931 0 0 0 87880 132 0 0 25 0 1 0 834660204 135131136 31799 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32991 31799 1111 63 0 32928 0
vsize: 131964
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 32034 0 0 0 88879 133 0 0 25 0 1 0 834660204 135634944 31902 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33114 31902 1111 63 0 33051 0
vsize: 132456
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 32137 0 0 0 89879 133 0 0 25 0 1 0 834660204 136097792 32004 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33227 32004 1111 63 0 33164 0
vsize: 132908
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 32256 0 0 0 90878 134 0 0 25 0 1 0 834660204 136568832 32122 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33342 32122 1111 63 0 33279 0
vsize: 133368
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 32327 0 0 0 91878 134 0 0 25 0 1 0 834660204 136876032 32193 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33417 32193 1111 63 0 33354 0
vsize: 133668
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 32448 0 0 0 92878 135 0 0 25 0 1 0 834660204 137535488 32307 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33578 32307 1111 63 0 33515 0
vsize: 134312
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 32575 0 0 0 93878 135 0 0 25 0 1 0 834660204 138113024 32432 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33719 32432 1111 63 0 33656 0
vsize: 134876
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 32685 0 0 0 94878 135 0 0 25 0 1 0 834660204 138616832 32541 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33842 32541 1111 63 0 33779 0
vsize: 135368
[startup+960.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 32762 0 0 0 95877 136 0 0 25 0 1 0 834660204 138887168 32618 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33908 32618 1111 63 0 33845 0
vsize: 135632
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 32841 0 0 0 96877 136 0 0 25 0 1 0 834660204 139292672 32696 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34007 32696 1111 63 0 33944 0
vsize: 136028
[startup+980.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 32934 0 0 0 97877 137 0 0 25 0 1 0 834660204 139563008 32789 4294967295 134512640 134716908 3221224560 3221223116 134535628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34073 32789 1111 63 0 34010 0
vsize: 136292
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 33019 0 0 0 98877 137 0 0 25 0 1 0 834660204 139968512 32874 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34172 32874 1111 63 0 34109 0
vsize: 136688
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 33102 0 0 0 99877 137 0 0 25 0 1 0 834660204 140238848 32957 4294967295 134512640 134716908 3221224560 3221223212 134536839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34238 32957 1111 63 0 34175 0
vsize: 136952
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 33185 0 0 0 100876 138 0 0 25 0 1 0 834660204 140730368 33037 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34358 33037 1111 63 0 34295 0
vsize: 137432
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 33267 0 0 0 101876 138 0 0 25 0 1 0 834660204 141000704 33119 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34424 33119 1111 63 0 34361 0
vsize: 137696
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 33344 0 0 0 102876 139 0 0 25 0 1 0 834660204 141271040 33196 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34490 33196 1111 63 0 34427 0
vsize: 137960
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 33428 0 0 0 103876 139 0 0 25 0 1 0 834660204 141676544 33280 4294967295 134512640 134716908 3221224560 3221223212 134536784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34589 33280 1111 63 0 34526 0
vsize: 138356
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 33574 0 0 0 104875 140 0 0 25 0 1 0 834660204 142217216 33426 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34721 33426 1111 63 0 34658 0
vsize: 138884
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 33786 0 0 0 105875 140 0 0 25 0 1 0 834660204 143228928 33637 4294967295 134512640 134716908 3221224560 3221223116 134535649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34968 33637 1111 63 0 34905 0
vsize: 139872
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 34016 0 0 0 106874 141 0 0 25 0 1 0 834660204 144175104 33867 4294967295 134512640 134716908 3221224560 3221223344 134529259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35199 33867 1111 63 0 35136 0
vsize: 140796
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 34178 0 0 0 107874 142 0 0 25 0 1 0 834660204 144863232 34028 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35367 34028 1111 63 0 35304 0
vsize: 141468
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 34340 0 0 0 108874 142 0 0 25 0 1 0 834660204 145539072 34190 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35532 34190 1111 63 0 35469 0
vsize: 142128
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 34509 0 0 0 109873 143 0 0 25 0 1 0 834660204 146280448 34359 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35713 34359 1111 63 0 35650 0
vsize: 142852
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 34682 0 0 0 110873 144 0 0 25 0 1 0 834660204 146956288 34532 4294967295 134512640 134716908 3221224560 3221223184 134549742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35878 34532 1111 63 0 35815 0
vsize: 143512
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 34892 0 0 0 111872 145 0 0 25 0 1 0 834660204 147902464 34742 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36109 34742 1111 63 0 36046 0
vsize: 144436
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 35051 0 0 0 112871 145 0 0 25 0 1 0 834660204 148500480 34896 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36255 34896 1111 63 0 36192 0
vsize: 145020
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 35244 0 0 0 113871 146 0 0 25 0 1 0 834660204 149311488 35089 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36453 35089 1111 63 0 36390 0
vsize: 145812
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 35544 0 0 0 114870 147 0 0 25 0 1 0 834660204 150556672 35389 4294967295 134512640 134716908 3221224560 3221223296 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36757 35389 1111 63 0 36694 0
vsize: 147028
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 35757 0 0 0 115869 148 0 0 25 0 1 0 834660204 151502848 35600 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36988 35600 1111 63 0 36925 0
vsize: 147952
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 35939 0 0 0 116869 149 0 0 25 0 1 0 834660204 152178688 35782 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37153 35782 1111 63 0 37090 0
vsize: 148612
[startup+1175 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 3865
Raw data (stat): 3865 (bsolo_lpr-v2) R 3864 8378 8377 0 -1 0 35939 0 0 0 116869 149 0 0 25 0 1 0 834660204 152178688 35782 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37153 35782 1111 63 0 37090 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.16
CPU user time (s): 1173.59
CPU system time (s): 1.56776
CPU usage (%): 100.014
Max. virtual memory (Kb): 148612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####