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-fpga15_13_sat_pb.cnf.cr.opb
MD5SUM	4b4e9c4dea51b53ba8323ee6782645f0
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	16
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.066989
Number of variables	293
Total number of constraints	236
Number of constraints which are clauses	208
Number of constraints which are cardinality constraints (but not clauses)	28
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	15
Trace number 39413

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-07 08:50:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27479 boxname=wulflinc3 idbench=37 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  4b4e9c4dea51b53ba8323ee6782645f0  /oldhome/oroussel/tmp/wulflinc3/normalized-fpga15_13_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-fpga15_13_sat_pb.cnf.cr.opb
IDLAUNCH: 27479
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        280256 kB
Buffers:         33988 kB
Cached:         697316 kB
SwapCached:        240 kB
Active:          63532 kB
Inactive:       670220 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        280004 kB
SwapTotal:     2097136 kB
SwapFree:      2096352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6220 kB
Slab:            15088 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 09:10:05 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 27479 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 293 variables and 236 constraints.
c After prepocess the problem consists of 293 variables and 236 constraints.
c preprocess terminated 0.168 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.97 0.92 1/54 8760
Raw data (stat): 8760 (runsolver) R 8759 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 891677971 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.94 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 3240 0 0 0 985 11 0 0 25 0 1 0 891677971 16424960 3158 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4010 3158 1111 63 0 3947 0
vsize: 16040
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 5063 0 0 0 1980 17 0 0 25 0 1 0 891677971 23859200 4981 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5825 4982 1111 63 0 5762 0
vsize: 23300
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 6473 0 0 0 2975 23 0 0 25 0 1 0 891677971 29548544 6390 4294967295 134512640 134716908 3221224560 3221223344 134529174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7214 6390 1111 63 0 7151 0
vsize: 28856
[startup+40.002 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 7284 0 0 0 3972 25 0 0 25 0 1 0 891677971 32935936 7201 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8041 7201 1111 63 0 7978 0
vsize: 32164
[startup+50.0028 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 8466 0 0 0 4969 28 0 0 25 0 1 0 891677971 37806080 8383 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9230 8383 1111 63 0 9167 0
vsize: 36920
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 9190 0 0 0 5967 31 0 0 25 0 1 0 891677971 40779776 9107 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9956 9107 1111 63 0 9893 0
vsize: 39824
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 9547 0 0 0 6966 32 0 0 25 0 1 0 891677971 42266624 9464 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10319 9464 1111 63 0 10256 0
vsize: 41276
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 9889 0 0 0 7965 33 0 0 25 0 1 0 891677971 43618304 9806 4294967295 134512640 134716908 3221224560 3221223116 134535962 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10649 9806 1111 63 0 10586 0
vsize: 42596
[startup+90.0048 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 10590 0 0 0 8962 36 0 0 25 0 1 0 891677971 46456832 10506 4294967295 134512640 134716908 3221224560 3221223048 134699841 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11342 10506 1111 63 0 11279 0
vsize: 45368
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 11278 0 0 0 9959 39 0 0 25 0 1 0 891677971 49295360 11194 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12035 11194 1111 63 0 11972 0
vsize: 48140
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 11895 0 0 0 10957 41 0 0 25 0 1 0 891677971 51863552 11810 4294967295 134512640 134716908 3221224560 3221223168 134549640 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12662 11810 1111 63 0 12599 0
vsize: 50648
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 12445 0 0 0 11956 43 0 0 25 0 1 0 891677971 54161408 12360 4294967295 134512640 134716908 3221224560 3221223356 134555022 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13223 12360 1111 63 0 13160 0
vsize: 52892
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 12805 0 0 0 12955 44 0 0 25 0 1 0 891677971 55648256 12720 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13586 12720 1111 63 0 13523 0
vsize: 54344
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 13383 0 0 0 13953 46 0 0 25 0 1 0 891677971 57982976 13297 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14156 13297 1111 63 0 14093 0
vsize: 56624
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 13888 0 0 0 14952 48 0 0 25 0 1 0 891677971 60145664 13802 4294967295 134512640 134716908 3221224560 3221223244 134523848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14684 13802 1111 63 0 14621 0
vsize: 58736
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 14193 0 0 0 15951 49 0 0 25 0 1 0 891677971 61378560 14107 4294967295 134512640 134716908 3221224560 3221223324 134552693 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14985 14107 1111 63 0 14922 0
vsize: 59940
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 14462 0 0 0 16950 50 0 0 25 0 1 0 891677971 62459904 14376 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15249 14376 1111 63 0 15186 0
vsize: 60996
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 14720 0 0 0 17949 51 0 0 25 0 1 0 891677971 63553536 14634 4294967295 134512640 134716908 3221224560 3221223200 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15516 14634 1111 63 0 15453 0
vsize: 62064
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 15420 0 0 0 18947 54 0 0 25 0 1 0 891677971 66433024 15334 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16219 15334 1111 63 0 16156 0
vsize: 64876
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 15689 0 0 0 19946 55 0 0 25 0 1 0 891677971 67514368 15603 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16483 15603 1111 63 0 16420 0
vsize: 65932
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 16435 0 0 0 20943 58 0 0 25 0 1 0 891677971 70627328 16347 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17243 16347 1111 63 0 17180 0
vsize: 68972
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 16885 0 0 0 21941 60 0 0 25 0 1 0 891677971 72519680 16797 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17705 16797 1111 63 0 17642 0
vsize: 70820
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 17348 0 0 0 22939 62 0 0 25 0 1 0 891677971 74424320 17260 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18170 17260 1111 63 0 18107 0
vsize: 72680
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 18137 0 0 0 23938 64 0 0 25 0 1 0 891677971 77668352 18049 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18962 18049 1111 63 0 18899 0
vsize: 75848
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 18765 0 0 0 24936 66 0 0 25 0 1 0 891677971 80244736 18677 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19591 18677 1111 63 0 19528 0
vsize: 78364
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 19061 0 0 0 25935 66 0 0 25 0 1 0 891677971 81461248 18973 4294967295 134512640 134716908 3221224560 3221223300 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19888 18973 1111 63 0 19825 0
vsize: 79552
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 19312 0 0 0 26935 67 0 0 25 0 1 0 891677971 82407424 19224 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20119 19224 1111 63 0 20056 0
vsize: 80476
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 19819 0 0 0 27933 69 0 0 25 0 1 0 891677971 84570112 19731 4294967295 134512640 134716908 3221224560 3221223152 134549600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20647 19731 1111 63 0 20584 0
vsize: 82588
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 20135 0 0 0 28932 71 0 0 25 0 1 0 891677971 85786624 20047 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20944 20047 1111 63 0 20881 0
vsize: 83776
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 20311 0 0 0 29931 71 0 0 25 0 1 0 891677971 86487040 20223 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21115 20223 1111 63 0 21052 0
vsize: 84460
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 20934 0 0 0 30930 73 0 0 25 0 1 0 891677971 89067520 20845 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21745 20845 1111 63 0 21682 0
vsize: 86980
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 21273 0 0 0 31929 74 0 0 25 0 1 0 891677971 90497024 21180 4294967295 134512640 134716908 3221224560 3221223280 134535790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22094 21180 1111 63 0 22031 0
vsize: 88376
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 21939 0 0 0 32926 77 0 0 25 0 1 0 891677971 93200384 21846 4294967295 134512640 134716908 3221224560 3221223264 134528699 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22754 21846 1111 63 0 22691 0
vsize: 91016
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 22643 0 0 0 33924 79 0 0 25 0 1 0 891677971 96174080 22550 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23480 22550 1111 63 0 23417 0
vsize: 93920
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 23168 0 0 0 34922 81 0 0 25 0 1 0 891677971 98332672 23074 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24007 23074 1111 63 0 23944 0
vsize: 96028
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 23790 0 0 0 35920 83 0 0 25 0 1 0 891677971 100900864 23696 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24634 23696 1111 63 0 24571 0
vsize: 98536
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 24390 0 0 0 36917 87 0 0 25 0 1 0 891677971 103333888 24296 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25228 24296 1111 63 0 25165 0
vsize: 100912
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 24649 0 0 0 37916 88 0 0 25 0 1 0 891677971 104411136 24555 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25491 24555 1111 63 0 25428 0
vsize: 101964
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 25062 0 0 0 38913 91 0 0 25 0 1 0 891677971 106033152 24968 4294967295 134512640 134716908 3221224560 3221223228 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25887 24968 1111 63 0 25824 0
vsize: 103548
[startup+400.014 s]
Raw data (loadavg): 1.07 0.99 0.93 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 25515 0 0 0 39911 93 0 0 25 0 1 0 891677971 107925504 25421 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26349 25421 1111 63 0 26286 0
vsize: 105396
[startup+410.014 s]
Raw data (loadavg): 1.06 0.99 0.93 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 26019 0 0 0 40910 94 0 0 25 0 1 0 891677971 109957120 25925 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26845 25925 1111 63 0 26782 0
vsize: 107380
[startup+420.014 s]
Raw data (loadavg): 1.05 0.99 0.93 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 26413 0 0 0 41908 97 0 0 25 0 1 0 891677971 111579136 26318 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27241 26318 1111 63 0 27178 0
vsize: 108964
[startup+430.015 s]
Raw data (loadavg): 1.04 0.99 0.93 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 26946 0 0 0 42905 99 0 0 25 0 1 0 891677971 113741824 26849 4294967295 134512640 134716908 3221224560 3221223192 134698385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27769 26849 1111 63 0 27706 0
vsize: 111076
[startup+440.015 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 27370 0 0 0 43905 100 0 0 25 0 1 0 891677971 115499008 27273 4294967295 134512640 134716908 3221224560 3221223264 134528702 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28198 27273 1111 63 0 28135 0
vsize: 112792
[startup+450.015 s]
Raw data (loadavg): 1.03 0.99 0.93 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 27766 0 0 0 44903 102 0 0 25 0 1 0 891677971 117121024 27669 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28594 27669 1111 63 0 28531 0
vsize: 114376
[startup+460.015 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 28211 0 0 0 45902 104 0 0 25 0 1 0 891677971 119017472 28114 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29057 28114 1111 63 0 28994 0
vsize: 116228
[startup+470.016 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 28519 0 0 0 46901 104 0 0 25 0 1 0 891677971 120238080 28422 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29355 28422 1111 63 0 29292 0
vsize: 117420
[startup+480.016 s]
Raw data (loadavg): 1.02 0.99 0.93 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 28881 0 0 0 47900 106 0 0 25 0 1 0 891677971 121724928 28784 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29718 28784 1111 63 0 29655 0
vsize: 118872
[startup+490.018 s]
Raw data (loadavg): 1.09 1.00 0.93 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 29379 0 0 0 48899 107 0 0 25 0 1 0 891677971 123752448 29282 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30213 29282 1111 63 0 30150 0
vsize: 120852
[startup+500.018 s]
Raw data (loadavg): 1.15 1.02 0.94 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 29916 0 0 0 49898 109 0 0 25 0 1 0 891677971 125931520 29819 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30745 29819 1111 63 0 30682 0
vsize: 122980
[startup+510.018 s]
Raw data (loadavg): 1.13 1.02 0.94 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 30341 0 0 0 50895 112 0 0 25 0 1 0 891677971 127688704 30244 4294967295 134512640 134716908 3221224560 3221223264 134528738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31174 30244 1111 63 0 31111 0
vsize: 124696
[startup+520.018 s]
Raw data (loadavg): 1.11 1.02 0.94 3/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 30813 0 0 0 51893 113 0 0 25 0 1 0 891677971 129716224 30716 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31669 30716 1111 63 0 31606 0
vsize: 126676
[startup+530.018 s]
Raw data (loadavg): 1.09 1.02 0.94 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 31372 0 0 0 52892 115 0 0 25 0 1 0 891677971 132014080 31275 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32230 31275 1111 63 0 32167 0
vsize: 128920
[startup+540.019 s]
Raw data (loadavg): 1.08 1.02 0.94 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 32001 0 0 0 53890 117 0 0 25 0 1 0 891677971 134582272 31904 4294967295 134512640 134716908 3221224560 3221223248 134528712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32857 31904 1111 63 0 32794 0
vsize: 131428
[startup+550.019 s]
Raw data (loadavg): 1.06 1.01 0.94 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 32585 0 0 0 54888 119 0 0 25 0 1 0 891677971 136880128 32488 4294967295 134512640 134716908 3221224560 3221223104 134674918 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33418 32488 1111 63 0 33355 0
vsize: 133672
[startup+560.019 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 32736 0 0 0 55888 120 0 0 25 0 1 0 891677971 137555968 32639 4294967295 134512640 134716908 3221224560 3221223296 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33583 32639 1111 63 0 33520 0
vsize: 134332
[startup+570.019 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 8760
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 32866 0 0 0 56887 121 0 0 25 0 1 0 891677971 138129408 32768 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33723 32768 1111 63 0 33660 0
vsize: 134892
[startup+580.019 s]
Raw data (loadavg): 1.11 1.03 0.94 2/54 8813
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 33021 0 0 0 57886 121 0 0 25 0 1 0 891677971 138670080 32923 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33855 32923 1111 63 0 33792 0
vsize: 135420
[startup+590.02 s]
Raw data (loadavg): 1.09 1.03 0.94 2/54 8813
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 33137 0 0 0 58886 122 0 0 25 0 1 0 891677971 139210752 33039 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33987 33039 1111 63 0 33924 0
vsize: 135948
[startup+600.02 s]
Raw data (loadavg): 1.08 1.03 0.94 2/54 8813
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 33329 0 0 0 59885 123 0 0 25 0 1 0 891677971 140021760 33231 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34185 33231 1111 63 0 34122 0
vsize: 136740
[startup+610.021 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 8813
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 33511 0 0 0 60884 124 0 0 25 0 1 0 891677971 140697600 33413 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34350 33413 1111 63 0 34287 0
vsize: 137400
[startup+620.022 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 8813
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 33673 0 0 0 61883 126 0 0 25 0 1 0 891677971 141377536 33575 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34516 33575 1111 63 0 34453 0
vsize: 138064
[startup+630.021 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 8813
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 33826 0 0 0 62882 127 0 0 25 0 1 0 891677971 142065664 33728 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34684 33728 1111 63 0 34621 0
vsize: 138736
[startup+640.022 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 8813
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 33948 0 0 0 63882 127 0 0 25 0 1 0 891677971 142471168 33850 4294967295 134512640 134716908 3221224560 3221223228 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34783 33850 1111 63 0 34720 0
vsize: 139132
[startup+650.022 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 34125 0 0 0 64881 128 0 0 25 0 1 0 891677971 143147008 34027 4294967295 134512640 134716908 3221224560 3221223284 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34948 34027 1111 63 0 34885 0
vsize: 139792
[startup+660.022 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 34326 0 0 0 65880 129 0 0 25 0 1 0 891677971 144089088 34226 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35178 34226 1111 63 0 35115 0
vsize: 140712
[startup+670.023 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 34517 0 0 0 66879 130 0 0 25 0 1 0 891677971 144760832 34417 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35342 34417 1111 63 0 35279 0
vsize: 141368
[startup+680.023 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 34758 0 0 0 67878 132 0 0 25 0 1 0 891677971 145842176 34658 4294967295 134512640 134716908 3221224560 3221223116 134535903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35606 34658 1111 63 0 35543 0
vsize: 142424
[startup+690.023 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 35114 0 0 0 68877 133 0 0 25 0 1 0 891677971 147329024 35014 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35969 35014 1111 63 0 35906 0
vsize: 143876
[startup+700.023 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 35468 0 0 0 69875 135 0 0 25 0 1 0 891677971 148680704 35368 4294967295 134512640 134716908 3221224560 3221223216 134536600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36299 35368 1111 63 0 36236 0
vsize: 145196
[startup+710.023 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 35835 0 0 0 70873 137 0 0 25 0 1 0 891677971 150216704 35731 4294967295 134512640 134716908 3221224560 3221223264 134535807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36674 35731 1111 63 0 36611 0
vsize: 146696
[startup+720.024 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 36171 0 0 0 71872 138 0 0 25 0 1 0 891677971 151707648 36065 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37038 36065 1111 63 0 36975 0
vsize: 148152
[startup+730.024 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 36395 0 0 0 72872 139 0 0 25 0 1 0 891677971 152657920 36289 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37270 36289 1111 63 0 37207 0
vsize: 149080
[startup+740.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 36639 0 0 0 73870 140 0 0 25 0 1 0 891677971 153608192 36531 4294967295 134512640 134716908 3221224560 3221223280 134529115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37502 36531 1111 63 0 37439 0
vsize: 150008
[startup+750.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 36977 0 0 0 74868 143 0 0 25 0 1 0 891677971 154959872 36869 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37832 36869 1111 63 0 37769 0
vsize: 151328
[startup+760.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 37293 0 0 0 75867 144 0 0 25 0 1 0 891677971 156311552 37185 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38162 37185 1111 63 0 38099 0
vsize: 152648
[startup+770.025 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 37525 0 0 0 76866 145 0 0 25 0 1 0 891677971 157257728 37417 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38393 37417 1111 63 0 38330 0
vsize: 153572
[startup+780.026 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 37700 0 0 0 77866 146 0 0 25 0 1 0 891677971 157945856 37592 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38561 37592 1111 63 0 38498 0
vsize: 154244
[startup+790.026 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 37913 0 0 0 78865 147 0 0 25 0 1 0 891677971 158892032 37805 4294967295 134512640 134716908 3221224560 3221223044 134699711 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38792 37805 1111 63 0 38729 0
vsize: 155168
[startup+800.027 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 38132 0 0 0 79864 148 0 0 25 0 1 0 891677971 159711232 38024 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38992 38024 1111 63 0 38929 0
vsize: 155968
[startup+810.027 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 38368 0 0 0 80863 150 0 0 25 0 1 0 891677971 160792576 38259 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39256 38259 1111 63 0 39193 0
vsize: 157024
[startup+820.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 38529 0 0 0 81862 151 0 0 25 0 1 0 891677971 161468416 38420 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39421 38420 1111 63 0 39358 0
vsize: 157684
[startup+830.027 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 38742 0 0 0 82861 151 0 0 25 0 1 0 891677971 162279424 38633 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39619 38633 1111 63 0 39556 0
vsize: 158476
[startup+840.028 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 39120 0 0 0 83859 154 0 0 25 0 1 0 891677971 163840000 39007 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40000 39007 1111 63 0 39937 0
vsize: 160000
[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 39591 0 0 0 84857 157 0 0 25 0 1 0 891677971 165736448 39478 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40463 39478 1111 63 0 40400 0
vsize: 161852
[startup+860.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 39953 0 0 0 85855 159 0 0 25 0 1 0 891677971 167223296 39840 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40826 39840 1111 63 0 40763 0
vsize: 163304
[startup+870.029 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 40236 0 0 0 86854 160 0 0 25 0 1 0 891677971 168439808 40123 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41123 40123 1111 63 0 41060 0
vsize: 164492
[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 40458 0 0 0 87853 161 0 0 25 0 1 0 891677971 169385984 40343 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41354 40343 1111 63 0 41291 0
vsize: 165416
[startup+890.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 40714 0 0 0 88852 162 0 0 25 0 1 0 891677971 170467328 40599 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41618 40599 1111 63 0 41555 0
vsize: 166472
[startup+900.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 41057 0 0 0 89851 163 0 0 25 0 1 0 891677971 171819008 40942 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41948 40942 1111 63 0 41885 0
vsize: 167792
[startup+910.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8815
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 41343 0 0 0 90850 164 0 0 25 0 1 0 891677971 173096960 41224 4294967295 134512640 134716908 3221224560 3221223276 134523156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42260 41224 1111 63 0 42197 0
vsize: 169040
[startup+920.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 41697 0 0 0 91849 165 0 0 25 0 1 0 891677971 174456832 41578 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42592 41578 1111 63 0 42529 0
vsize: 170368
[startup+930.031 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 42018 0 0 0 92848 166 0 0 25 0 1 0 891677971 175833088 41898 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42928 41898 1111 63 0 42865 0
vsize: 171712
[startup+940.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 42195 0 0 0 93848 167 0 0 25 0 1 0 891677971 176525312 42075 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43097 42075 1111 63 0 43034 0
vsize: 172388
[startup+950.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 42395 0 0 0 94847 168 0 0 25 0 1 0 891677971 177479680 42275 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43330 42275 1111 63 0 43267 0
vsize: 173320
[startup+960.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 42697 0 0 0 95846 169 0 0 25 0 1 0 891677971 178704384 42577 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43629 42577 1111 63 0 43566 0
vsize: 174516
[startup+970.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 42991 0 0 0 96845 170 0 0 25 0 1 0 891677971 179937280 42870 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43930 42870 1111 63 0 43867 0
vsize: 175720
[startup+980.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 43269 0 0 0 97844 171 0 0 25 0 1 0 891677971 181022720 43148 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44195 43148 1111 63 0 44132 0
vsize: 176780
[startup+990.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 43486 0 0 0 98844 172 0 0 25 0 1 0 891677971 181968896 43365 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44426 43365 1111 63 0 44363 0
vsize: 177704
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 43740 0 0 0 99843 173 0 0 25 0 1 0 891677971 182923264 43619 4294967295 134512640 134716908 3221224560 3221223284 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44659 43619 1111 63 0 44596 0
vsize: 178636
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 43928 0 0 0 100842 174 0 0 25 0 1 0 891677971 183779328 43803 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44868 43803 1111 63 0 44805 0
vsize: 179472
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 44287 0 0 0 101841 175 0 0 25 0 1 0 891677971 185131008 44160 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45198 44160 1111 63 0 45135 0
vsize: 180792
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 44432 0 0 0 102841 176 0 0 25 0 1 0 891677971 185806848 44305 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45363 44305 1111 63 0 45300 0
vsize: 181452
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 44616 0 0 0 103840 176 0 0 25 0 1 0 891677971 186482688 44489 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45528 44489 1111 63 0 45465 0
vsize: 182112
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 44833 0 0 0 104839 178 0 0 25 0 1 0 891677971 187494400 44702 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45775 44702 1111 63 0 45712 0
vsize: 183100
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 45055 0 0 0 105839 178 0 0 25 0 1 0 891677971 188317696 44924 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45976 44924 1111 63 0 45913 0
vsize: 183904
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 45276 0 0 0 106838 179 0 0 25 0 1 0 891677971 189337600 45142 4294967295 134512640 134716908 3221224560 3221223220 134536752 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46225 45142 1111 63 0 46162 0
vsize: 184900
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 45704 0 0 0 107837 181 0 0 25 0 1 0 891677971 191098880 45570 4294967295 134512640 134716908 3221224560 3221223296 134535821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46655 45570 1111 63 0 46592 0
vsize: 186620
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 45948 0 0 0 108836 182 0 0 25 0 1 0 891677971 192069632 45813 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46892 45813 1111 63 0 46829 0
vsize: 187568
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 46292 0 0 0 109834 184 0 0 25 0 1 0 891677971 193556480 46157 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47255 46157 1111 63 0 47192 0
vsize: 189020
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 46504 0 0 0 110834 184 0 0 25 0 1 0 891677971 194367488 46369 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47453 46369 1111 63 0 47390 0
vsize: 189812
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 46785 0 0 0 111833 186 0 0 25 0 1 0 891677971 195584000 46650 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47750 46650 1111 63 0 47687 0
vsize: 191000
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 47166 0 0 0 112831 187 0 0 25 0 1 0 891677971 197070848 47031 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48113 47031 1111 63 0 48050 0
vsize: 192452
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 47394 0 0 0 113830 188 0 0 25 0 1 0 891677971 198033408 47259 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48348 47259 1111 63 0 48285 0
vsize: 193392
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 47624 0 0 0 114830 189 0 0 25 0 1 0 891677971 198930432 47485 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48567 47485 1111 63 0 48504 0
vsize: 194268
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 47876 0 0 0 115829 190 0 0 25 0 1 0 891677971 200011776 47737 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48831 47737 1111 63 0 48768 0
vsize: 195324
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 48127 0 0 0 116828 191 0 0 25 0 1 0 891677971 201031680 47986 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49080 47986 1111 63 0 49017 0
vsize: 196320
[startup+1174.94 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 8817
Raw data (stat): 8760 (bsolo_lpr-v2) R 8759 20224 20223 0 -1 0 48127 0 0 0 116828 191 0 0 25 0 1 0 891677971 201031680 47986 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49080 47986 1111 63 0 49017 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.1
CPU user time (s): 1173.1
CPU system time (s): 2.00569
CPU usage (%): 100.014
Max. virtual memory (Kb): 196320
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####