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/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen3.opb
MD5SUM	60f638829868e3a2820fb14a59c3225e
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	31460
Biggest coefficient in the objective function	977797120
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	331425197400
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	977797120
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	331425197400
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.311952
Number of variables	36360
Total number of constraints	1503
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1503
Minimum length of a constraint	40
Maximum length of a constraint	4060
Trace number 40191

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 03:57:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28252 boxname=wulflinc1 idbench=1208 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  60f638829868e3a2820fb14a59c3225e  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-degen3.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-degen3.opb
IDLAUNCH: 28252
/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:        729420 kB
Buffers:         23996 kB
Cached:         255860 kB
SwapCached:       1120 kB
Active:          34488 kB
Inactive:       247616 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        729168 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5204 kB
Slab:            17440 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 04:17:04 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 28252 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 36360 variables and 2220 constraints.
c After prepocess the problem consists of 16254 variables and 2675 constraints.
c preprocess terminated 377.871 s
c Initial Lower Bound: 1800696139
c Lower Bound Elapsed time: 25.6127
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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.92 0.95 0.90 2/55 17252
Raw data (stat): 17252 (runsolver) R 17251 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 841712323 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 17252
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 1434 0 0 0 995 3 0 0 25 0 1 0 841712323 18468864 1354 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4509 1354 1111 63 0 4446 0
vsize: 18036
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 17252
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 2259 0 0 0 1993 5 0 0 25 0 1 0 841712323 21852160 2179 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5335 2179 1111 63 0 5272 0
vsize: 21340
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 17252
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 3089 0 0 0 2992 6 0 0 25 0 1 0 841712323 25243648 3009 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6163 3009 1111 63 0 6100 0
vsize: 24652
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 17252
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 3944 0 0 0 3990 8 0 0 25 0 1 0 841712323 28655616 3864 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6996 3864 1111 63 0 6933 0
vsize: 27984
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 17252
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 4796 0 0 0 4988 10 0 0 25 0 1 0 841712323 32182272 4716 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7857 4716 1111 63 0 7794 0
vsize: 31428
[startup+60.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 17252
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 5665 0 0 0 5987 12 0 0 25 0 1 0 841712323 35713024 5585 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8719 5585 1111 63 0 8656 0
vsize: 34876
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 17252
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 6581 0 0 0 6985 14 0 0 25 0 1 0 841712323 39538688 6501 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9653 6501 1111 63 0 9590 0
vsize: 38612
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 17252
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 7569 0 0 0 7984 15 0 0 25 0 1 0 841712323 43630592 7489 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10652 7489 1111 63 0 10589 0
vsize: 42608
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 17252
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 8593 0 0 0 8982 17 0 0 25 0 1 0 841712323 47730688 8513 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11653 8513 1111 63 0 11590 0
vsize: 46612
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 17252
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 9663 0 0 0 9980 19 0 0 25 0 1 0 841712323 52101120 9583 4294967295 134512640 134716908 3221224576 3221222804 1077414368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12720 9583 1111 63 0 12657 0
vsize: 50880
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 17252
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 10909 0 0 0 10977 22 0 0 25 0 1 0 841712323 57184256 10829 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13961 10829 1111 63 0 13898 0
vsize: 55844
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17252
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 12203 0 0 0 11975 25 0 0 25 0 1 0 841712323 62631936 12123 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15291 12123 1111 63 0 15228 0
vsize: 61164
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17252
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 13536 0 0 0 12973 27 0 0 25 0 1 0 841712323 68136960 13456 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16635 13456 1111 63 0 16572 0
vsize: 66540
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17252
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 14927 0 0 0 13970 30 0 0 25 0 1 0 841712323 73785344 14847 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18014 14847 1111 63 0 17951 0
vsize: 72056
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17252
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 16406 0 0 0 14966 34 0 0 25 0 1 0 841712323 79855616 16326 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19496 16326 1111 63 0 19433 0
vsize: 77984
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17305
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 17913 0 0 0 15960 39 0 0 25 0 1 0 841712323 85929984 17833 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20979 17833 1111 63 0 20916 0
vsize: 83916
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17305
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 19434 0 0 0 16958 42 0 0 25 0 1 0 841712323 92139520 19354 4294967295 134512640 134716908 3221224576 3221223232 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22495 19354 1111 63 0 22432 0
vsize: 89980
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17305
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 20990 0 0 0 17956 44 0 0 25 0 1 0 841712323 98496512 20910 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24047 20910 1111 63 0 23984 0
vsize: 96188
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17305
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 23884 0 0 0 18949 50 0 0 25 0 1 0 841712323 110596096 23804 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27001 23804 1111 63 0 26938 0
vsize: 108004
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17305
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 27358 0 0 0 19941 59 0 0 25 0 1 0 841712323 124944384 27274 4294967295 134512640 134716908 3221224576 3221222856 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30504 27274 1111 63 0 30441 0
vsize: 122016
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17305
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 28586 0 0 0 20937 62 0 0 25 0 1 0 841712323 130101248 28502 4294967295 134512640 134716908 3221224576 3221222852 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31763 28502 1111 63 0 31700 0
vsize: 127052
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17307
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 29219 0 0 0 21935 64 0 0 25 0 1 0 841712323 132718592 29135 4294967295 134512640 134716908 3221224576 3221222852 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32402 29135 1111 63 0 32339 0
vsize: 129608
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17309
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 30204 0 0 0 22933 66 0 0 25 0 1 0 841712323 136798208 30120 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33398 30121 1111 63 0 33335 0
vsize: 133592
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17309
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 31667 0 0 0 23929 70 0 0 25 0 1 0 841712323 142766080 31583 4294967295 134512640 134716908 3221224576 3221222852 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34855 31583 1111 63 0 34792 0
vsize: 139420
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17309
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 32542 0 0 0 24927 73 0 0 25 0 1 0 841712323 146608128 32458 4294967295 134512640 134716908 3221224576 3221221052 1077191446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35793 32458 1111 63 0 35730 0
vsize: 143172
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17309
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 33287 0 0 0 25925 75 0 0 25 0 1 0 841712323 149774336 33203 4294967295 134512640 134716908 3221224576 3221222852 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36566 33203 1111 63 0 36503 0
vsize: 146264
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 17309
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 33935 0 0 0 26924 75 0 0 25 0 1 0 841712323 152510464 33851 4294967295 134512640 134716908 3221224576 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37234 33851 1111 63 0 37171 0
vsize: 148936
[startup+280.009 s]
Raw data (loadavg): 1.23 1.02 0.93 3/69 17326
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 34494 0 0 0 27923 78 0 0 25 0 1 0 841712323 154980352 34410 4294967295 134512640 134716908 3221224576 3221222852 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37837 34410 1111 63 0 37774 0
vsize: 151348
[startup+290.01 s]
Raw data (loadavg): 1.58 1.10 0.95 5/63 17367
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 39649 0 0 0 28906 92 0 0 25 0 1 0 841712323 166703104 39403 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40699 39403 1111 63 0 40636 0
vsize: 162796
[startup+300.01 s]
Raw data (loadavg): 1.72 1.15 0.97 3/61 17570
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 136258 0 0 0 29692 302 0 0 25 0 1 0 841712323 176517120 41728 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43095 41734 1111 63 0 43032 0
vsize: 172380
[startup+310.011 s]
Raw data (loadavg): 1.68 1.16 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 292226 0 0 0 30341 654 0 0 25 0 1 0 841712323 188018688 44660 4294967295 134512640 134716908 3221224576 3221223040 134540342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45903 44660 1111 63 0 45840 0
vsize: 183612
[startup+320.011 s]
Raw data (loadavg): 1.58 1.15 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 473939 0 0 0 30942 1052 0 0 25 0 1 0 841712323 186941440 44393 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45640 44393 1111 63 0 45577 0
vsize: 182560
[startup+330.011 s]
Raw data (loadavg): 1.49 1.15 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 473949 0 0 0 31942 1052 0 0 25 0 1 0 841712323 186941440 44403 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45640 44403 1111 63 0 45577 0
vsize: 182560
[startup+340.011 s]
Raw data (loadavg): 1.41 1.14 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 473960 0 0 0 32942 1052 0 0 25 0 1 0 841712323 187076608 44414 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45673 44414 1111 63 0 45610 0
vsize: 182692
[startup+350.011 s]
Raw data (loadavg): 1.35 1.14 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 473973 0 0 0 33942 1053 0 0 25 0 1 0 841712323 187076608 44427 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45673 44427 1111 63 0 45610 0
vsize: 182692
[startup+360.012 s]
Raw data (loadavg): 1.29 1.13 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 473987 0 0 0 34942 1053 0 0 25 0 1 0 841712323 187076608 44441 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45673 44441 1111 63 0 45610 0
vsize: 182692
[startup+370.011 s]
Raw data (loadavg): 1.25 1.13 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 474001 0 0 0 35942 1053 0 0 25 0 1 0 841712323 187211776 44455 4294967295 134512640 134716908 3221224576 3221223228 134558618 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45706 44455 1111 63 0 45643 0
vsize: 182824
[startup+380.011 s]
Raw data (loadavg): 1.21 1.12 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 480133 0 0 0 36932 1064 0 0 25 0 1 0 841712323 200974336 47686 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49066 47686 1111 63 0 49003 0
vsize: 196264
[startup+390.013 s]
Raw data (loadavg): 1.18 1.12 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 522650 0 0 0 37827 1169 0 0 25 0 1 0 841712323 202014720 47941 4294967295 134512640 134716908 3221224576 3221222720 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49320 47941 1111 63 0 49257 0
vsize: 197280
[startup+400.013 s]
Raw data (loadavg): 1.15 1.11 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 568201 0 0 0 38714 1281 0 0 25 0 1 0 841712323 202207232 47988 4294967295 134512640 134716908 3221224576 3221222624 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49367 47988 1111 63 0 49304 0
vsize: 197468
[startup+410.014 s]
Raw data (loadavg): 1.13 1.11 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 607946 0 0 0 39616 1380 0 0 25 0 1 0 841712323 203091968 48205 4294967295 134512640 134716908 3221224576 3221222528 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49583 48205 1111 63 0 49520 0
vsize: 198332
[startup+420.014 s]
Raw data (loadavg): 1.11 1.11 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 626066 0 0 0 40572 1424 0 0 25 0 1 0 841712323 214036480 50729 4294967295 134512640 134716908 3221224576 3221220444 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52255 50729 1111 63 0 52192 0
vsize: 209020
[startup+430.013 s]
Raw data (loadavg): 1.09 1.10 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 626073 0 0 0 41572 1424 0 0 25 0 1 0 841712323 214036480 50736 4294967295 134512640 134716908 3221224576 3221220700 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52255 50736 1111 63 0 52192 0
vsize: 209020
[startup+440.013 s]
Raw data (loadavg): 1.08 1.10 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 626130 0 0 0 42572 1424 0 0 25 0 1 0 841712323 214257664 50793 4294967295 134512640 134716908 3221224576 3221220812 1075112851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52309 50793 1111 63 0 52246 0
vsize: 209236
[startup+450.013 s]
Raw data (loadavg): 1.06 1.09 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 626130 0 0 0 43572 1424 0 0 25 0 1 0 841712323 214257664 50793 4294967295 134512640 134716908 3221224576 3221220348 1074787806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52309 50793 1111 63 0 52246 0
vsize: 209236
[startup+460.014 s]
Raw data (loadavg): 1.05 1.09 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 626130 0 0 0 44572 1424 0 0 25 0 1 0 841712323 214257664 50793 4294967295 134512640 134716908 3221224576 3221221400 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52309 50793 1111 63 0 52246 0
vsize: 209236
[startup+470.014 s]
Raw data (loadavg): 1.04 1.09 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 626130 0 0 0 45573 1424 0 0 25 0 1 0 841712323 214257664 50793 4294967295 134512640 134716908 3221224576 3221220640 1075092557 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52309 50793 1111 63 0 52246 0
vsize: 209236
[startup+480.015 s]
Raw data (loadavg): 1.04 1.08 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 654879 0 0 0 46512 1484 0 0 25 0 1 0 841712323 210890752 49692 4294967295 134512640 134716908 3221224576 3221221544 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51487 49697 1111 63 0 51424 0
vsize: 205948
[startup+490.015 s]
Raw data (loadavg): 1.03 1.08 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 655149 0 0 0 47511 1486 0 0 25 0 1 0 841712323 203558912 48446 4294967295 134512640 134716908 3221224576 3221223456 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49697 48446 1111 63 0 49634 0
vsize: 198788
[startup+500.015 s]
Raw data (loadavg): 1.03 1.08 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 655149 0 0 0 48511 1486 0 0 25 0 1 0 841712323 203558912 48446 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49697 48446 1111 63 0 49634 0
vsize: 198788
[startup+510.016 s]
Raw data (loadavg): 1.02 1.07 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 655156 0 0 0 49510 1487 0 0 25 0 1 0 841712323 203694080 48453 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49730 48453 1111 63 0 49667 0
vsize: 198920
[startup+520.016 s]
Raw data (loadavg): 1.02 1.07 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 655238 0 0 0 50510 1488 0 0 25 0 1 0 841712323 203964416 48535 4294967295 134512640 134716908 3221224576 3221223456 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49796 48535 1111 63 0 49733 0
vsize: 199184
[startup+530.016 s]
Raw data (loadavg): 1.01 1.07 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 655289 0 0 0 51510 1488 0 0 25 0 1 0 841712323 204234752 48586 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49862 48586 1111 63 0 49799 0
vsize: 199448
[startup+540.017 s]
Raw data (loadavg): 1.01 1.07 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 655332 0 0 0 52510 1488 0 0 25 0 1 0 841712323 204369920 48629 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49895 48629 1111 63 0 49832 0
vsize: 199580
[startup+550.017 s]
Raw data (loadavg): 1.01 1.06 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 655371 0 0 0 53510 1488 0 0 25 0 1 0 841712323 204505088 48668 4294967295 134512640 134716908 3221224576 3221223456 134577104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49928 48668 1111 63 0 49865 0
vsize: 199712
[startup+560.017 s]
Raw data (loadavg): 1.01 1.06 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 655496 0 0 0 54510 1489 0 0 25 0 1 0 841712323 205045760 48793 4294967295 134512640 134716908 3221224576 3221223376 134597703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50060 48793 1111 63 0 49997 0
vsize: 200240
[startup+570.019 s]
Raw data (loadavg): 1.01 1.06 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 655552 0 0 0 55509 1489 0 0 25 0 1 0 841712323 205316096 48849 4294967295 134512640 134716908 3221224576 3221223436 134600220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50126 48849 1111 63 0 50063 0
vsize: 200504
[startup+580.018 s]
Raw data (loadavg): 1.00 1.06 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 655595 0 0 0 56509 1489 0 0 25 0 1 0 841712323 205451264 48892 4294967295 134512640 134716908 3221224576 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50159 48892 1111 63 0 50096 0
vsize: 200636
[startup+590.018 s]
Raw data (loadavg): 1.00 1.05 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 655638 0 0 0 57509 1490 0 0 25 0 1 0 841712323 205586432 48935 4294967295 134512640 134716908 3221224576 3221223456 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50192 48935 1111 63 0 50129 0
vsize: 200768
[startup+600.019 s]
Raw data (loadavg): 1.00 1.05 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 655728 0 0 0 58509 1490 0 0 25 0 1 0 841712323 205991936 49025 4294967295 134512640 134716908 3221224576 3221223352 134613531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50291 49025 1111 63 0 50228 0
vsize: 201164
[startup+610.019 s]
Raw data (loadavg): 1.00 1.05 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 655853 0 0 0 59509 1490 0 0 25 0 1 0 841712323 206532608 49150 4294967295 134512640 134716908 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50423 49150 1111 63 0 50360 0
vsize: 201692
[startup+620.019 s]
Raw data (loadavg): 1.00 1.05 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 655940 0 0 0 60509 1491 0 0 25 0 1 0 841712323 206802944 49237 4294967295 134512640 134716908 3221224576 3221223400 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50489 49237 1111 63 0 50426 0
vsize: 201956
[startup+630.019 s]
Raw data (loadavg): 1.00 1.05 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 655995 0 0 0 61509 1491 0 0 25 0 1 0 841712323 207073280 49292 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50555 49292 1111 63 0 50492 0
vsize: 202220
[startup+640.02 s]
Raw data (loadavg): 1.00 1.04 0.97 2/55 17628
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656042 0 0 0 62508 1492 0 0 25 0 1 0 841712323 207343616 49339 4294967295 134512640 134716908 3221224576 3221223400 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50621 49339 1111 63 0 50558 0
vsize: 202484
[startup+650.02 s]
Raw data (loadavg): 1.00 1.04 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656083 0 0 0 63508 1492 0 0 25 0 1 0 841712323 207478784 49380 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50654 49380 1111 63 0 50591 0
vsize: 202616
[startup+660.021 s]
Raw data (loadavg): 1.00 1.04 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656122 0 0 0 64508 1492 0 0 25 0 1 0 841712323 207613952 49419 4294967295 134512640 134716908 3221224576 3221223456 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50687 49419 1111 63 0 50624 0
vsize: 202748
[startup+670.021 s]
Raw data (loadavg): 1.00 1.04 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656155 0 0 0 65508 1492 0 0 25 0 1 0 841712323 207749120 49452 4294967295 134512640 134716908 3221224576 3221223456 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50720 49452 1111 63 0 50657 0
vsize: 202880
[startup+680.021 s]
Raw data (loadavg): 1.00 1.04 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656190 0 0 0 66508 1493 0 0 25 0 1 0 841712323 207884288 49487 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49487 1111 63 0 50690 0
vsize: 203012
[startup+690.021 s]
Raw data (loadavg): 1.00 1.03 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 67508 1493 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+700.02 s]
Raw data (loadavg): 1.00 1.03 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 68508 1493 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+710.021 s]
Raw data (loadavg): 1.00 1.03 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 69508 1493 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223400 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+720.021 s]
Raw data (loadavg): 1.00 1.03 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 70508 1493 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223376 134597775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+730.021 s]
Raw data (loadavg): 1.00 1.03 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 71508 1493 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+740.022 s]
Raw data (loadavg): 1.00 1.03 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 72508 1493 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+750.022 s]
Raw data (loadavg): 1.00 1.03 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 73509 1493 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+760.022 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 74509 1493 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223336 134613538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+770.023 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 75509 1493 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+780.023 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 76509 1493 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223456 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+790.024 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 77509 1494 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+800.023 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 78509 1494 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223456 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+810.024 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 79509 1494 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+820.024 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 80509 1494 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+830.024 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 81510 1494 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+840.025 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 82510 1494 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+850.024 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 83510 1494 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+860.025 s]
Raw data (loadavg): 1.00 1.02 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 84510 1494 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223456 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+870.026 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 85510 1494 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223456 134577072 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+880.026 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 86510 1494 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+890.025 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 87510 1495 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+900.026 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 88510 1495 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+910.026 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 89510 1495 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+920.026 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 90510 1495 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+930.026 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 91510 1495 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+940.026 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 92510 1495 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+950.026 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 93510 1495 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223356 134600365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+960.027 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 94510 1496 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223400 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+970.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 95510 1496 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+980.027 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 96510 1496 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223356 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+990.028 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 97510 1496 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 98511 1496 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 99511 1496 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223352 134613533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 100511 1496 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 101511 1496 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 102511 1497 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656202 0 0 0 103511 1497 0 0 25 0 1 0 841712323 207884288 49499 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49499 1111 63 0 50690 0
vsize: 203012
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656204 0 0 0 104511 1497 0 0 25 0 1 0 841712323 207884288 49501 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49501 1111 63 0 50690 0
vsize: 203012
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656204 0 0 0 105511 1497 0 0 25 0 1 0 841712323 207884288 49501 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49501 1111 63 0 50690 0
vsize: 203012
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656204 0 0 0 106511 1497 0 0 25 0 1 0 841712323 207884288 49501 4294967295 134512640 134716908 3221224576 3221223408 134600260 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49501 1111 63 0 50690 0
vsize: 203012
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656204 0 0 0 107511 1497 0 0 25 0 1 0 841712323 207884288 49501 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49501 1111 63 0 50690 0
vsize: 203012
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656204 0 0 0 108511 1498 0 0 25 0 1 0 841712323 207884288 49501 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49501 1111 63 0 50690 0
vsize: 203012
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656204 0 0 0 109511 1498 0 0 25 0 1 0 841712323 207884288 49501 4294967295 134512640 134716908 3221224576 3221223456 134577101 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49501 1111 63 0 50690 0
vsize: 203012
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656204 0 0 0 110511 1498 0 0 25 0 1 0 841712323 207884288 49501 4294967295 134512640 134716908 3221224576 3221223456 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49501 1111 63 0 50690 0
vsize: 203012
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656204 0 0 0 111511 1498 0 0 25 0 1 0 841712323 207884288 49501 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49501 1111 63 0 50690 0
vsize: 203012
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656204 0 0 0 112511 1498 0 0 25 0 1 0 841712323 207884288 49501 4294967295 134512640 134716908 3221224576 3221223456 134577116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49501 1111 63 0 50690 0
vsize: 203012
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656204 0 0 0 113511 1499 0 0 25 0 1 0 841712323 207884288 49501 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49501 1111 63 0 50690 0
vsize: 203012
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656204 0 0 0 114511 1499 0 0 25 0 1 0 841712323 207884288 49501 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49501 1111 63 0 50690 0
vsize: 203012
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656204 0 0 0 115511 1499 0 0 25 0 1 0 841712323 207884288 49501 4294967295 134512640 134716908 3221224576 3221223404 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49501 1111 63 0 50690 0
vsize: 203012
[startup+1175.05 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 17630
Raw data (stat): 17252 (bsolo_lpr-v2) R 17251 8378 8377 0 -1 0 656204 0 0 0 115511 1499 0 0 25 0 1 0 841712323 207884288 49501 4294967295 134512640 134716908 3221224576 3221223404 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50753 49501 1111 63 0 50690 0
vsize: 0

Child status: 0
Real time (s): 1175.05
CPU time (s): 1175.12
CPU user time (s): 1160.03
CPU system time (s): 15.0917
CPU usage (%): 100.006
Max. virtual memory (Kb): 209236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####