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-fpga20_18_sat_pb.cnf.cr.opb
MD5SUM	9a6b2ea126808a63a93c96774aab88a9
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	21
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.148976
Number of variables	540
Total number of constraints	416
Number of constraints which are clauses	378
Number of constraints which are cardinality constraints (but not clauses)	38
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 39416

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 08:55:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27482 boxname=wulflinc6 idbench=40 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  9a6b2ea126808a63a93c96774aab88a9  /oldhome/oroussel/tmp/wulflinc6/normalized-fpga20_18_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-fpga20_18_sat_pb.cnf.cr.opb
IDLAUNCH: 27482
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        255052 kB
Buffers:         33908 kB
Cached:         723212 kB
SwapCached:        536 kB
Active:          58892 kB
Inactive:       700312 kB
HighTotal:      131008 kB
HighFree:        13944 kB
LowTotal:       903652 kB
LowFree:        241108 kB
SwapTotal:     2097136 kB
SwapFree:      2095656 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5204 kB
Slab:            14696 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 09:15:25 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 27482 7 1175.11 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 540 variables and 416 constraints.
c After prepocess the problem consists of 540 variables and 416 constraints.
c preprocess terminated 0.403 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.07 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 12107
Raw data (stat): 12107 (runsolver) R 12106 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891717566 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.0009 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 3002 0 0 0 988 10 0 0 25 0 1 0 891717566 15347712 2920 4294967295 134512640 134716908 3221224560 3221223120 134552039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3747 2921 1111 63 0 3684 0
vsize: 14988
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 4113 0 0 0 1984 14 0 0 25 0 1 0 891717566 19943424 4031 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4869 4031 1111 63 0 4806 0
vsize: 19476
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 5303 0 0 0 2981 18 0 0 25 0 1 0 891717566 24809472 5221 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6057 5221 1111 63 0 5994 0
vsize: 24228
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 6240 0 0 0 3977 22 0 0 25 0 1 0 891717566 28598272 6158 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6982 6158 1111 63 0 6919 0
vsize: 27928
[startup+50.0025 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 6779 0 0 0 4975 24 0 0 25 0 1 0 891717566 30896128 6697 4294967295 134512640 134716908 3221224560 3221223304 134558485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7543 6697 1111 63 0 7480 0
vsize: 30172
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 7100 0 0 0 5975 25 0 0 25 0 1 0 891717566 32247808 7018 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7873 7018 1111 63 0 7810 0
vsize: 31492
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 7271 0 0 0 6975 25 0 0 25 0 1 0 891717566 32927744 7189 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8039 7189 1111 63 0 7976 0
vsize: 32156
[startup+80.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 7383 0 0 0 7974 26 0 0 25 0 1 0 891717566 33345536 7301 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8141 7301 1111 63 0 8078 0
vsize: 32564
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 7529 0 0 0 8974 27 0 0 25 0 1 0 891717566 34025472 7447 4294967295 134512640 134716908 3221224560 3221223344 134529217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8307 7447 1111 63 0 8244 0
vsize: 33228
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 7709 0 0 0 9973 28 0 0 25 0 1 0 891717566 34840576 7623 4294967295 134512640 134716908 3221224560 3221223248 134551975 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8506 7623 1111 63 0 8443 0
vsize: 34024
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 7892 0 0 0 10972 29 0 0 25 0 1 0 891717566 35651584 7806 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8704 7806 1111 63 0 8641 0
vsize: 34816
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 8205 0 0 0 11971 31 0 0 25 0 1 0 891717566 36872192 8119 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9002 8119 1111 63 0 8939 0
vsize: 36008
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 8536 0 0 0 12969 33 0 0 25 0 1 0 891717566 38227968 8450 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9333 8450 1111 63 0 9270 0
vsize: 37332
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 8895 0 0 0 13968 35 0 0 25 0 1 0 891717566 39714816 8809 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9696 8809 1111 63 0 9633 0
vsize: 38784
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 9108 0 0 0 14967 36 0 0 25 0 1 0 891717566 40525824 9022 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9894 9022 1111 63 0 9831 0
vsize: 39576
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 9267 0 0 0 15967 37 0 0 25 0 1 0 891717566 41201664 9181 4294967295 134512640 134716908 3221224560 3221223176 134613973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10059 9181 1111 63 0 9996 0
vsize: 40236
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 9347 0 0 0 16966 38 0 0 25 0 1 0 891717566 41607168 9261 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10158 9261 1111 63 0 10095 0
vsize: 40632
[startup+180.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 9433 0 0 0 17966 38 0 0 25 0 1 0 891717566 41865216 9347 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10221 9347 1111 63 0 10158 0
vsize: 40884
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 9474 0 0 0 18965 39 0 0 25 0 1 0 891717566 42000384 9388 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10254 9388 1111 63 0 10191 0
vsize: 41016
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 9501 0 0 0 19965 40 0 0 25 0 1 0 891717566 42143744 9415 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10289 9415 1111 63 0 10226 0
vsize: 41156
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 9603 0 0 0 20965 41 0 0 25 0 1 0 891717566 42549248 9517 4294967295 134512640 134716908 3221224560 3221223056 134535442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10388 9517 1111 63 0 10325 0
vsize: 41552
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 9713 0 0 0 21964 41 0 0 25 0 1 0 891717566 43089920 9627 4294967295 134512640 134716908 3221224560 3221223212 134536804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10520 9627 1111 63 0 10457 0
vsize: 42080
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 9845 0 0 0 22964 42 0 0 25 0 1 0 891717566 43630592 9759 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10652 9759 1111 63 0 10589 0
vsize: 42608
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 9927 0 0 0 23964 43 0 0 25 0 1 0 891717566 43900928 9841 4294967295 134512640 134716908 3221224560 3221223392 134590061 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10718 9841 1111 63 0 10655 0
vsize: 42872
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12107
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 10010 0 0 0 24963 44 0 0 25 0 1 0 891717566 44306432 9924 4294967295 134512640 134716908 3221224560 3221223144 134549705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10817 9924 1111 63 0 10754 0
vsize: 43268
[startup+260.015 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 12160
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 10172 0 0 0 25961 46 0 0 25 0 1 0 891717566 44982272 10086 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10982 10086 1111 63 0 10919 0
vsize: 43928
[startup+270.015 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 12160
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 10292 0 0 0 26961 46 0 0 25 0 1 0 891717566 45387776 10206 4294967295 134512640 134716908 3221224560 3221223116 134535667 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11081 10206 1111 63 0 11018 0
vsize: 44324
[startup+280.015 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 12160
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 10465 0 0 0 27960 47 0 0 25 0 1 0 891717566 46063616 10379 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11246 10379 1111 63 0 11183 0
vsize: 44984
[startup+290.016 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12160
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 10679 0 0 0 28960 48 0 0 25 0 1 0 891717566 47013888 10593 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11478 10593 1111 63 0 11415 0
vsize: 45912
[startup+300.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12160
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 10801 0 0 0 29959 49 0 0 25 0 1 0 891717566 47554560 10715 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11610 10715 1111 63 0 11547 0
vsize: 46440
[startup+310.017 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12160
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 10925 0 0 0 30959 49 0 0 25 0 1 0 891717566 48095232 10839 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11742 10839 1111 63 0 11679 0
vsize: 46968
[startup+320.017 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12160
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 11057 0 0 0 31959 50 0 0 25 0 1 0 891717566 48627712 10971 4294967295 134512640 134716908 3221224560 3221223216 134536635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11872 10971 1111 63 0 11809 0
vsize: 47488
[startup+330.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 11100 0 0 0 32959 51 0 0 25 0 1 0 891717566 48762880 11014 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11905 11014 1111 63 0 11842 0
vsize: 47620
[startup+340.019 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 11240 0 0 0 33958 52 0 0 25 0 1 0 891717566 49303552 11154 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12037 11154 1111 63 0 11974 0
vsize: 48148
[startup+350.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 11359 0 0 0 34957 53 0 0 25 0 1 0 891717566 49844224 11273 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12169 11273 1111 63 0 12106 0
vsize: 48676
[startup+360.021 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 11513 0 0 0 35957 54 0 0 25 0 1 0 891717566 50384896 11427 4294967295 134512640 134716908 3221224560 3221223116 134535008 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12301 11427 1111 63 0 12238 0
vsize: 49204
[startup+370.022 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 11637 0 0 0 36956 55 0 0 25 0 1 0 891717566 50929664 11551 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12434 11551 1111 63 0 12371 0
vsize: 49736
[startup+380.023 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 11821 0 0 0 37955 56 0 0 25 0 1 0 891717566 51740672 11735 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12632 11735 1111 63 0 12569 0
vsize: 50528
[startup+390.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 12034 0 0 0 38955 58 0 0 25 0 1 0 891717566 52551680 11948 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12830 11948 1111 63 0 12767 0
vsize: 51320
[startup+400.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 12187 0 0 0 39954 59 0 0 25 0 1 0 891717566 53243904 12101 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12999 12101 1111 63 0 12936 0
vsize: 51996
[startup+410.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 12376 0 0 0 40953 60 0 0 25 0 1 0 891717566 53919744 12290 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13164 12290 1111 63 0 13101 0
vsize: 52656
[startup+420.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 12471 0 0 0 41953 61 0 0 25 0 1 0 891717566 54325248 12385 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13263 12385 1111 63 0 13200 0
vsize: 53052
[startup+430.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 12540 0 0 0 42952 61 0 0 25 0 1 0 891717566 54603776 12454 4294967295 134512640 134716908 3221224560 3221223184 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13331 12454 1111 63 0 13268 0
vsize: 53324
[startup+440.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 12661 0 0 0 43952 62 0 0 25 0 1 0 891717566 55156736 12575 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13466 12575 1111 63 0 13403 0
vsize: 53864
[startup+450.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 12730 0 0 0 44952 63 0 0 25 0 1 0 891717566 55414784 12644 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13529 12644 1111 63 0 13466 0
vsize: 54116
[startup+460.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 12806 0 0 0 45951 64 0 0 25 0 1 0 891717566 55799808 12720 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13623 12720 1111 63 0 13560 0
vsize: 54492
[startup+470.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 12880 0 0 0 46950 65 0 0 25 0 1 0 891717566 56070144 12794 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13689 12794 1111 63 0 13626 0
vsize: 54756
[startup+480.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 12967 0 0 0 47950 66 0 0 25 0 1 0 891717566 56340480 12881 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13755 12881 1111 63 0 13692 0
vsize: 55020
[startup+490.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 13078 0 0 0 48950 66 0 0 25 0 1 0 891717566 56881152 12992 4294967295 134512640 134716908 3221224560 3221223204 134613648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13887 12992 1111 63 0 13824 0
vsize: 55548
[startup+500.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 13177 0 0 0 49950 67 0 0 25 0 1 0 891717566 57286656 13091 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13986 13091 1111 63 0 13923 0
vsize: 55944
[startup+510.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 13312 0 0 0 50950 67 0 0 25 0 1 0 891717566 57839616 13226 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14121 13226 1111 63 0 14058 0
vsize: 56484
[startup+520.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 13449 0 0 0 51950 68 0 0 25 0 1 0 891717566 58380288 13363 4294967295 134512640 134716908 3221224560 3221223148 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14253 13363 1111 63 0 14190 0
vsize: 57012
[startup+530.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 13648 0 0 0 52948 69 0 0 25 0 1 0 891717566 59191296 13562 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14451 13562 1111 63 0 14388 0
vsize: 57804
[startup+540.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 14018 0 0 0 53947 71 0 0 25 0 1 0 891717566 60678144 13932 4294967295 134512640 134716908 3221224560 3221223248 134528602 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14814 13932 1111 63 0 14751 0
vsize: 59256
[startup+550.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 14364 0 0 0 54945 74 0 0 25 0 1 0 891717566 62173184 14278 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15179 14278 1111 63 0 15116 0
vsize: 60716
[startup+560.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 14589 0 0 0 55944 74 0 0 25 0 1 0 891717566 63004672 14503 4294967295 134512640 134716908 3221224560 3221223184 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15382 14503 1111 63 0 15319 0
vsize: 61528
[startup+570.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 14764 0 0 0 56944 76 0 0 25 0 1 0 891717566 63832064 14678 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15584 14678 1111 63 0 15521 0
vsize: 62336
[startup+580.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12162
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 14885 0 0 0 57943 77 0 0 25 0 1 0 891717566 64225280 14799 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15680 14799 1111 63 0 15617 0
vsize: 62720
[startup+590.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 14991 0 0 0 58943 78 0 0 25 0 1 0 891717566 64778240 14905 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15815 14905 1111 63 0 15752 0
vsize: 63260
[startup+600.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 15153 0 0 0 59942 79 0 0 25 0 1 0 891717566 65318912 15067 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15947 15067 1111 63 0 15884 0
vsize: 63788
[startup+610.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 15317 0 0 0 60941 80 0 0 25 0 1 0 891717566 65994752 15231 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16112 15231 1111 63 0 16049 0
vsize: 64448
[startup+620.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 15371 0 0 0 61941 80 0 0 25 0 1 0 891717566 66265088 15285 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16178 15285 1111 63 0 16115 0
vsize: 64712
[startup+630.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 15409 0 0 0 62941 81 0 0 25 0 1 0 891717566 66400256 15323 4294967295 134512640 134716908 3221224560 3221223184 134536680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16211 15323 1111 63 0 16148 0
vsize: 64844
[startup+640.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 15528 0 0 0 63939 82 0 0 25 0 1 0 891717566 66949120 15442 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16345 15442 1111 63 0 16282 0
vsize: 65380
[startup+650.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 15681 0 0 0 64939 83 0 0 25 0 1 0 891717566 67489792 15595 4294967295 134512640 134716908 3221224560 3221223164 134536771 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16477 15595 1111 63 0 16414 0
vsize: 65908
[startup+660.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 15787 0 0 0 65939 84 0 0 25 0 1 0 891717566 68030464 15701 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16609 15701 1111 63 0 16546 0
vsize: 66436
[startup+670.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 15902 0 0 0 66938 84 0 0 25 0 1 0 891717566 68440064 15816 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16709 15816 1111 63 0 16646 0
vsize: 66836
[startup+680.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 15943 0 0 0 67938 85 0 0 25 0 1 0 891717566 68575232 15857 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16742 15857 1111 63 0 16679 0
vsize: 66968
[startup+690.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 16090 0 0 0 68938 85 0 0 25 0 1 0 891717566 69251072 16004 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16907 16004 1111 63 0 16844 0
vsize: 67628
[startup+700.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 16164 0 0 0 69937 86 0 0 25 0 1 0 891717566 69533696 16077 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16976 16077 1111 63 0 16913 0
vsize: 67904
[startup+710.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 16224 0 0 0 70937 87 0 0 25 0 1 0 891717566 69804032 16137 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17042 16137 1111 63 0 16979 0
vsize: 68168
[startup+720.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 16291 0 0 0 71936 88 0 0 25 0 1 0 891717566 70074368 16204 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17108 16204 1111 63 0 17045 0
vsize: 68432
[startup+730.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 16353 0 0 0 72937 88 0 0 25 0 1 0 891717566 70373376 16266 4294967295 134512640 134716908 3221224560 3221223284 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17181 16266 1111 63 0 17118 0
vsize: 68724
[startup+740.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 16425 0 0 0 73936 89 0 0 25 0 1 0 891717566 70635520 16338 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17245 16338 1111 63 0 17182 0
vsize: 68980
[startup+750.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 16467 0 0 0 74936 89 0 0 25 0 1 0 891717566 70905856 16380 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17311 16380 1111 63 0 17248 0
vsize: 69244
[startup+760.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 16575 0 0 0 75936 89 0 0 25 0 1 0 891717566 71311360 16488 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17410 16488 1111 63 0 17347 0
vsize: 69640
[startup+770.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 16617 0 0 0 76936 90 0 0 25 0 1 0 891717566 71479296 16530 4294967295 134512640 134716908 3221224560 3221223236 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17451 16530 1111 63 0 17388 0
vsize: 69804
[startup+780.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 16698 0 0 0 77935 91 0 0 25 0 1 0 891717566 71872512 16611 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17547 16611 1111 63 0 17484 0
vsize: 70188
[startup+790.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 16753 0 0 0 78935 91 0 0 25 0 1 0 891717566 72007680 16666 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17580 16666 1111 63 0 17517 0
vsize: 70320
[startup+800.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 16817 0 0 0 79935 93 0 0 25 0 1 0 891717566 72413184 16730 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17679 16730 1111 63 0 17616 0
vsize: 70716
[startup+810.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 16887 0 0 0 80933 94 0 0 25 0 1 0 891717566 72683520 16800 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17745 16800 1111 63 0 17682 0
vsize: 70980
[startup+820.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 16939 0 0 0 81933 95 0 0 25 0 1 0 891717566 72847360 16850 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17785 16850 1111 63 0 17722 0
vsize: 71140
[startup+830.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 16990 0 0 0 82933 95 0 0 25 0 1 0 891717566 73117696 16901 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17851 16901 1111 63 0 17788 0
vsize: 71404
[startup+840.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17030 0 0 0 83932 96 0 0 25 0 1 0 891717566 73252864 16941 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17884 16941 1111 63 0 17821 0
vsize: 71536
[startup+850.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17082 0 0 0 84931 97 0 0 25 0 1 0 891717566 73539584 16992 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17954 16992 1111 63 0 17891 0
vsize: 71816
[startup+860.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17152 0 0 0 85931 98 0 0 25 0 1 0 891717566 73809920 17061 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18020 17061 1111 63 0 17957 0
vsize: 72080
[startup+870.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17204 0 0 0 86931 99 0 0 25 0 1 0 891717566 74080256 17113 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18086 17113 1111 63 0 18023 0
vsize: 72344
[startup+880.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17261 0 0 0 87930 99 0 0 25 0 1 0 891717566 74362880 17169 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18155 17169 1111 63 0 18092 0
vsize: 72620
[startup+890.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17291 0 0 0 88930 100 0 0 25 0 1 0 891717566 74522624 17198 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18194 17198 1111 63 0 18131 0
vsize: 72776
[startup+900.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17346 0 0 0 89930 100 0 0 25 0 1 0 891717566 74797056 17253 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18261 17253 1111 63 0 18198 0
vsize: 73044
[startup+910.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17428 0 0 0 90930 101 0 0 25 0 1 0 891717566 75202560 17335 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18360 17335 1111 63 0 18297 0
vsize: 73440
[startup+920.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17480 0 0 0 91929 102 0 0 25 0 1 0 891717566 75341824 17387 4294967295 134512640 134716908 3221224560 3221223496 134600369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18394 17387 1111 63 0 18331 0
vsize: 73576
[startup+930.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17534 0 0 0 92928 103 0 0 25 0 1 0 891717566 75612160 17441 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18460 17441 1111 63 0 18397 0
vsize: 73840
[startup+940.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17595 0 0 0 93928 104 0 0 25 0 1 0 891717566 75882496 17502 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18526 17502 1111 63 0 18463 0
vsize: 74104
[startup+950.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17634 0 0 0 94927 104 0 0 25 0 1 0 891717566 76017664 17541 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18559 17541 1111 63 0 18496 0
vsize: 74236
[startup+960.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17668 0 0 0 95927 105 0 0 25 0 1 0 891717566 76152832 17575 4294967295 134512640 134716908 3221224560 3221223116 134535628 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18592 17575 1111 63 0 18529 0
vsize: 74368
[startup+970.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17695 0 0 0 96927 106 0 0 25 0 1 0 891717566 76288000 17602 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18625 17602 1111 63 0 18562 0
vsize: 74500
[startup+980.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17726 0 0 0 97927 106 0 0 25 0 1 0 891717566 76423168 17633 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18658 17633 1111 63 0 18595 0
vsize: 74632
[startup+990.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17747 0 0 0 98927 106 0 0 25 0 1 0 891717566 76423168 17654 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18658 17654 1111 63 0 18595 0
vsize: 74632
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17819 0 0 0 99926 108 0 0 25 0 1 0 891717566 76693504 17726 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18724 17726 1111 63 0 18661 0
vsize: 74896
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17917 0 0 0 100925 109 0 0 25 0 1 0 891717566 77099008 17824 4294967295 134512640 134716908 3221224560 3221223276 134543760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18823 17824 1111 63 0 18760 0
vsize: 75292
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 17979 0 0 0 101924 110 0 0 25 0 1 0 891717566 77369344 17886 4294967295 134512640 134716908 3221224560 3221223328 134592107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18889 17886 1111 63 0 18826 0
vsize: 75556
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 18042 0 0 0 102924 110 0 0 25 0 1 0 891717566 77639680 17949 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18955 17949 1111 63 0 18892 0
vsize: 75820
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 18119 0 0 0 103924 111 0 0 25 0 1 0 891717566 78041088 18026 4294967295 134512640 134716908 3221224560 3221223304 134551632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19053 18026 1111 63 0 18990 0
vsize: 76212
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 18166 0 0 0 104924 112 0 0 25 0 1 0 891717566 78176256 18073 4294967295 134512640 134716908 3221224560 3221223152 134549742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19086 18073 1111 63 0 19023 0
vsize: 76344
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 18166 0 0 0 105923 112 0 0 25 0 1 0 891717566 78176256 18073 4294967295 134512640 134716908 3221224560 3221223116 134535649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19086 18073 1111 63 0 19023 0
vsize: 76344
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 18177 0 0 0 106923 113 0 0 25 0 1 0 891717566 78319616 18084 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19121 18084 1111 63 0 19058 0
vsize: 76484
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 18262 0 0 0 107922 114 0 0 25 0 1 0 891717566 78589952 18169 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19187 18169 1111 63 0 19124 0
vsize: 76748
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 18357 0 0 0 108922 115 0 0 25 0 1 0 891717566 78995456 18264 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19286 18264 1111 63 0 19223 0
vsize: 77144
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 18493 0 0 0 109921 115 0 0 25 0 1 0 891717566 79536128 18400 4294967295 134512640 134716908 3221224560 3221223236 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19418 18400 1111 63 0 19355 0
vsize: 77672
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 18705 0 0 0 110921 116 0 0 25 0 1 0 891717566 80347136 18612 4294967295 134512640 134716908 3221224560 3221223116 134535626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19616 18612 1111 63 0 19553 0
vsize: 78464
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 18809 0 0 0 111920 117 0 0 25 0 1 0 891717566 80887808 18716 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19748 18716 1111 63 0 19685 0
vsize: 78992
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 18941 0 0 0 112920 118 0 0 25 0 1 0 891717566 81432576 18848 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19881 18848 1111 63 0 19818 0
vsize: 79524
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 19059 0 0 0 113920 118 0 0 25 0 1 0 891717566 81838080 18966 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19980 18966 1111 63 0 19917 0
vsize: 79920
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 19132 0 0 0 114920 118 0 0 25 0 1 0 891717566 82243584 19039 4294967295 134512640 134716908 3221224560 3221223264 134528732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20079 19039 1111 63 0 20016 0
vsize: 80316
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 19220 0 0 0 115919 119 0 0 25 0 1 0 891717566 82513920 19127 4294967295 134512640 134716908 3221224560 3221223200 134536655 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20145 19127 1111 63 0 20082 0
vsize: 80580
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 19318 0 0 0 116919 120 0 0 25 0 1 0 891717566 82919424 19225 4294967295 134512640 134716908 3221224560 3221223116 134535964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20244 19225 1111 63 0 20181 0
vsize: 80976
[startup+1174.75 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 12164
Raw data (stat): 12107 (bsolo_lpr-v2) R 12106 25568 25567 0 -1 0 19318 0 0 0 116919 120 0 0 25 0 1 0 891717566 82919424 19225 4294967295 134512640 134716908 3221224560 3221223116 134535964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20244 19225 1111 63 0 20181 0
vsize: 0

Child status: 0
Real time (s): 1174.75
CPU time (s): 1175.11
CPU user time (s): 1173.87
CPU system time (s): 1.24681
CPU usage (%): 100.031
Max. virtual memory (Kb): 80976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####