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/een/normalized-air03.opb
MD5SUM	017636577e3ff026b2ea720fb537705b
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
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	10757
Biggest coefficient in the objective function	6873
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	13748961
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	6873
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	13748961
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	2.22466
Number of variables	10757
Total number of constraints	248
Number of constraints which are clauses	126
Number of constraints which are cardinality constraints (but not clauses)	122
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3861
Trace number 39766

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 20:02:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27830 boxname=wulflinc5 idbench=388 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  017636577e3ff026b2ea720fb537705b  /oldhome/oroussel/tmp/wulflinc5/normalized-air03.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-air03.opb
IDLAUNCH: 27830
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        882488 kB
Buffers:         33840 kB
Cached:          93736 kB
SwapCached:        604 kB
Active:          41632 kB
Inactive:        88000 kB
HighTotal:      131008 kB
HighFree:        91896 kB
LowTotal:       903652 kB
LowFree:        790592 kB
SwapTotal:     2097136 kB
SwapFree:      2095596 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            16896 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 20:22:08 (client local time) WITH STATUS 0 IN 1200.53 SECONDS
stats: 27830 7 1200.53 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10757 variables and 248 constraints.
#### 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.94 0.98 0.91 2/54 7902
Raw data (stat): 7902 (runsolver) R 7901 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895716543 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0003 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 1520 0 0 0 993 4 0 0 25 0 1 0 895716543 19300352 1440 4294967295 134512640 134716908 3221224592 3221221180 1077091164 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 1440 1111 63 0 4649 0
vsize: 18848
[startup+20.0015 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 4334 0 0 0 1985 12 0 0 25 0 1 0 895716543 31023104 4254 4294967295 134512640 134716908 3221224592 3221223148 1077049222 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7574 4254 1111 63 0 7511 0
vsize: 30296
[startup+30.0033 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 13080 0 0 0 2966 32 0 0 25 0 1 0 895716543 56967168 12964 4294967295 134512640 134716908 3221224592 3221223344 134630816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13908 12964 1111 63 0 13845 0
vsize: 55632
[startup+40.0035 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 13114 0 0 0 3965 32 0 0 25 0 1 0 895716543 56967168 12967 4294967295 134512640 134716908 3221224592 3221223008 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13908 12967 1111 63 0 13845 0
vsize: 55632
[startup+50.0038 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 18412 0 0 0 4953 45 0 0 25 0 1 0 895716543 63315968 14518 4294967295 134512640 134716908 3221224592 3221223080 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15458 14518 1111 63 0 15395 0
vsize: 61832
[startup+60.0045 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 27375 0 0 0 5932 66 0 0 25 0 1 0 895716543 75427840 17475 4294967295 134512640 134716908 3221224592 3221223304 134586789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18415 17475 1111 63 0 18352 0
vsize: 73660
[startup+70.0048 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 35305 0 0 0 6914 84 0 0 25 0 1 0 895716543 81235968 18892 4294967295 134512640 134716908 3221224592 3221223000 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19833 18892 1111 63 0 19770 0
vsize: 79332
[startup+80.0061 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 43965 0 0 0 7894 104 0 0 25 0 1 0 895716543 90107904 21058 4294967295 134512640 134716908 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21999 21058 1111 63 0 21936 0
vsize: 87996
[startup+90.0067 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 48210 0 0 0 8886 113 0 0 25 0 1 0 895716543 97927168 22948 4294967295 134512640 134716908 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23908 22948 1111 63 0 23845 0
vsize: 95632
[startup+100.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 52493 0 0 0 9875 123 0 0 25 0 1 0 895716543 106991616 25180 4294967295 134512640 134716908 3221224592 3221223000 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26121 25180 1111 63 0 26058 0
vsize: 104484
[startup+110.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 58837 0 0 0 10862 137 0 0 25 0 1 0 895716543 119558144 28248 4294967295 134512640 134716908 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29189 28248 1111 63 0 29126 0
vsize: 116756
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 64926 0 0 0 11848 151 0 0 25 0 1 0 895716543 124772352 29522 4294967295 134512640 134716908 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30462 29522 1111 63 0 30399 0
vsize: 121848
[startup+130.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 70731 0 0 0 12835 164 0 0 25 0 1 0 895716543 133414912 31631 4294967295 134512640 134716908 3221224592 3221223008 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32572 31631 1111 63 0 32509 0
vsize: 130288
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 75954 0 0 0 13823 176 0 0 25 0 1 0 895716543 143097856 33964 4294967295 134512640 134716908 3221224592 3221223208 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34936 33964 1111 63 0 34873 0
vsize: 139744
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 81037 0 0 0 14812 187 0 0 25 0 1 0 895716543 152285184 36218 4294967295 134512640 134716908 3221224592 3221223208 134543793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37179 36218 1111 63 0 37116 0
vsize: 148716
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 86531 0 0 0 15800 199 0 0 25 0 1 0 895716543 159956992 38102 4294967295 134512640 134716908 3221224592 3221223072 134542325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39052 38102 1111 63 0 38989 0
vsize: 156208
[startup+170.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 93278 0 0 0 16786 214 0 0 25 0 1 0 895716543 170700800 40735 4294967295 134512640 134716908 3221224592 3221223344 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41675 40735 1111 63 0 41612 0
vsize: 166700
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 98056 0 0 0 17774 225 0 0 25 0 1 0 895716543 177254400 42334 4294967295 134512640 134716908 3221224592 3221222956 134539298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43275 42334 1111 63 0 43212 0
vsize: 173100
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 103750 0 0 0 18762 237 0 0 25 0 1 0 895716543 185397248 44323 4294967295 134512640 134716908 3221224592 3221223096 1077377281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45263 44323 1111 63 0 45200 0
vsize: 181052
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 109179 0 0 0 19751 249 0 0 25 0 1 0 895716543 196554752 47036 4294967295 134512640 134716908 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47987 47036 1111 63 0 47924 0
vsize: 191948
[startup+210.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 111995 0 0 0 20744 256 0 0 25 0 1 0 895716543 203268096 48654 4294967295 134512640 134716908 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49626 48654 1111 63 0 49563 0
vsize: 198504
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 116991 0 0 0 21733 268 0 0 25 0 1 0 895716543 213155840 51099 4294967295 134512640 134716908 3221224592 3221223072 134536600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52040 51099 1111 63 0 51977 0
vsize: 208160
[startup+230.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7902
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 122387 0 0 0 22720 281 0 0 25 0 1 0 895716543 222048256 53241 4294967295 134512640 134716908 3221224592 3221223072 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54211 53241 1111 63 0 54148 0
vsize: 216844
[startup+240.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 127492 0 0 0 23709 292 0 0 25 0 1 0 895716543 230690816 55360 4294967295 134512640 134716908 3221224592 3221223344 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56321 55360 1111 63 0 56258 0
vsize: 225284
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 129853 0 0 0 24705 296 0 0 25 0 1 0 895716543 237002752 56922 4294967295 134512640 134716908 3221224592 3221223120 134542851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57862 56922 1111 63 0 57799 0
vsize: 231448
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 133030 0 0 0 25699 302 0 0 25 0 1 0 895716543 247488512 59481 4294967295 134512640 134716908 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60422 59481 1111 63 0 60359 0
vsize: 241688
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 136370 0 0 0 26691 310 0 0 25 0 1 0 895716543 254943232 61302 4294967295 134512640 134716908 3221224592 3221223148 134542983 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62242 61302 1111 63 0 62179 0
vsize: 248968
[startup+280.015 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 144818 0 0 0 27673 328 0 0 25 0 1 0 895716543 266432512 64107 4294967295 134512640 134716908 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65047 64107 1111 63 0 64984 0
vsize: 260188
[startup+290.017 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 147277 0 0 0 28668 334 0 0 25 0 1 0 895716543 270045184 64989 4294967295 134512640 134716908 3221224592 3221223008 134543744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65929 64989 1111 63 0 65866 0
vsize: 263716
[startup+300.016 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 151297 0 0 0 29659 343 0 0 25 0 1 0 895716543 277962752 66912 4294967295 134512640 134716908 3221224592 3221223216 134529009 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67862 66912 1111 63 0 67799 0
vsize: 271448
[startup+310.017 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 155465 0 0 0 30651 351 0 0 25 0 1 0 895716543 288055296 69386 4294967295 134512640 134716908 3221224592 3221223328 134625581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70326 69386 1111 63 0 70263 0
vsize: 281304
[startup+320.018 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 160858 0 0 0 31639 363 0 0 25 0 1 0 895716543 295063552 71074 4294967295 134512640 134716908 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72037 71074 1111 63 0 71974 0
vsize: 288148
[startup+330.018 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 166042 0 0 0 32626 376 0 0 25 0 1 0 895716543 300617728 72452 4294967295 134512640 134716908 3221224592 3221223004 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73393 72452 1111 63 0 73330 0
vsize: 293572
[startup+340.018 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 171167 0 0 0 33615 388 0 0 25 0 1 0 895716543 309452800 74610 4294967295 134512640 134716908 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75550 74610 1111 63 0 75487 0
vsize: 302200
[startup+350.018 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 174258 0 0 0 34608 394 0 0 25 0 1 0 895716543 319524864 77069 4294967295 134512640 134716908 3221224592 3221222956 134539223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78009 77069 1111 63 0 77946 0
vsize: 312036
[startup+360.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 176601 0 0 0 35602 400 0 0 25 0 1 0 895716543 325713920 78580 4294967295 134512640 134716908 3221224592 3221223168 134535840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79520 78580 1111 63 0 79457 0
vsize: 318080
[startup+370.019 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 180147 0 0 0 36595 407 0 0 25 0 1 0 895716543 333279232 80427 4294967295 134512640 134716908 3221224592 3221223096 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81367 80427 1111 63 0 81304 0
vsize: 325468
[startup+380.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 183096 0 0 0 37589 413 0 0 25 0 1 0 895716543 344473600 83142 4294967295 134512640 134716908 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84100 83142 1111 63 0 84037 0
vsize: 336400
[startup+390.021 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 186124 0 0 0 38584 419 0 0 25 0 1 0 895716543 350732288 84688 4294967295 134512640 134716908 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85628 84688 1111 63 0 85565 0
vsize: 342512
[startup+400.02 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 189080 0 0 0 39577 426 0 0 25 0 1 0 895716543 357818368 86418 4294967295 134512640 134716908 3221224592 3221222984 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87358 86418 1111 63 0 87295 0
vsize: 349432
[startup+410.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 194331 0 0 0 40566 438 0 0 25 0 1 0 895716543 367878144 88852 4294967295 134512640 134716908 3221224592 3221223120 134543674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89814 88852 1111 63 0 89751 0
vsize: 359256
[startup+420.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 198023 0 0 0 41559 445 0 0 25 0 1 0 895716543 375631872 90755 4294967295 134512640 134716908 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91707 90755 1111 63 0 91644 0
vsize: 366828
[startup+430.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 203321 0 0 0 42548 456 0 0 25 0 1 0 895716543 379924480 91814 4294967295 134512640 134716908 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92755 91814 1111 63 0 92692 0
vsize: 371020
[startup+440.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 211102 0 0 0 43531 473 0 0 25 0 1 0 895716543 391450624 94617 4294967295 134512640 134716908 3221224592 3221223008 134543712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95569 94617 1111 63 0 95506 0
vsize: 382276
[startup+450.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 216175 0 0 0 44522 483 0 0 25 0 1 0 895716543 397066240 95998 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96940 95998 1111 63 0 96877 0
vsize: 387760
[startup+460.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 223093 0 0 0 45508 497 0 0 25 0 1 0 895716543 405270528 97991 4294967295 134512640 134716908 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 98943 97991 1111 63 0 98880 0
vsize: 395772
[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 226202 0 0 0 46500 505 0 0 25 0 1 0 895716543 409112576 98939 4294967295 134512640 134716908 3221224592 3221223476 134616622 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99881 98939 1111 63 0 99818 0
vsize: 399524
[startup+480.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 232279 0 0 0 47487 518 0 0 25 0 1 0 895716543 417488896 100964 4294967295 134512640 134716908 3221224592 3221223080 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101926 100964 1111 63 0 101863 0
vsize: 407704
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 239145 0 0 0 48473 532 0 0 25 0 1 0 895716543 421289984 101914 4294967295 134512640 134716908 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102854 101914 1111 63 0 102791 0
vsize: 411416
[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 245008 0 0 0 49462 543 0 0 25 0 1 0 895716543 432881664 104743 4294967295 134512640 134716908 3221224592 3221222976 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105684 104743 1111 63 0 105621 0
vsize: 422736
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 247845 0 0 0 50456 549 0 0 25 0 1 0 895716543 437309440 105804 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106765 105804 1111 63 0 106702 0
vsize: 427060
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 255011 0 0 0 51441 564 0 0 25 0 1 0 895716543 439160832 106277 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107217 106277 1111 63 0 107154 0
vsize: 428868
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 258746 0 0 0 52434 572 0 0 25 0 1 0 895716543 446939136 108175 4294967295 134512640 134716908 3221224592 3221223072 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109116 108175 1111 63 0 109053 0
vsize: 436464
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 262518 0 0 0 53427 579 0 0 25 0 1 0 895716543 453840896 109859 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110801 109859 1111 63 0 110738 0
vsize: 443204
[startup+550.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 268258 0 0 0 54416 590 0 0 25 0 1 0 895716543 460259328 111426 4294967295 134512640 134716908 3221224592 3221223232 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112368 111426 1111 63 0 112305 0
vsize: 449472
[startup+560.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 276245 0 0 0 55398 608 0 0 25 0 1 0 895716543 469094400 113563 4294967295 134512640 134716908 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 114525 113563 1111 63 0 114462 0
vsize: 458100
[startup+570.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 282198 0 0 0 56386 621 0 0 25 0 1 0 895716543 476696576 115420 4294967295 134512640 134716908 3221224592 3221223152 134524119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116381 115420 1111 63 0 116318 0
vsize: 465524
[startup+580.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 282240 0 0 0 57386 621 0 0 25 0 1 0 895716543 476352512 115357 4294967295 134512640 134716908 3221224592 3221223104 134542968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116297 115357 1111 63 0 116234 0
vsize: 465188
[startup+590.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 286845 0 0 0 58377 631 0 0 25 0 1 0 895716543 484589568 117347 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118308 117347 1111 63 0 118245 0
vsize: 473232
[startup+600.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 293207 0 0 0 59364 643 0 0 25 0 1 0 895716543 493867008 119632 4294967295 134512640 134716908 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 120573 119632 1111 63 0 120510 0
vsize: 482292
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 295601 0 0 0 60359 649 0 0 25 0 1 0 895716543 498470912 120756 4294967295 134512640 134716908 3221224592 3221223084 134543653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121697 120756 1111 63 0 121634 0
vsize: 486788
[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 302276 0 0 0 61344 663 0 0 25 0 1 0 895716543 502669312 121761 4294967295 134512640 134716908 3221224592 3221223136 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122722 121761 1111 63 0 122659 0
vsize: 490888
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 304062 0 0 0 62340 667 0 0 25 0 1 0 895716543 503189504 121909 4294967295 134512640 134716908 3221224592 3221223100 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122849 121909 1111 63 0 122786 0
vsize: 491396
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 308563 0 0 0 63331 677 0 0 25 0 1 0 895716543 505094144 122374 4294967295 134512640 134716908 3221224592 3221223008 134542668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123314 122374 1111 63 0 123251 0
vsize: 493256
[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 312158 0 0 0 64324 684 0 0 25 0 1 0 895716543 511414272 123906 4294967295 134512640 134716908 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124857 123906 1111 63 0 124794 0
vsize: 499428
[startup+660.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 319204 0 0 0 65310 698 0 0 25 0 1 0 895716543 519655424 125929 4294967295 134512640 134716908 3221224592 3221223072 134539126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126869 125929 1111 63 0 126806 0
vsize: 507476
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 325266 0 0 0 66296 712 0 0 25 0 1 0 895716543 522219520 126555 4294967295 134512640 134716908 3221224592 3221223120 134528543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127495 126555 1111 63 0 127432 0
vsize: 509980
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 328467 0 0 0 67290 719 0 0 25 0 1 0 895716543 532238336 128969 4294967295 134512640 134716908 3221224592 3221223100 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129941 128969 1111 63 0 129878 0
vsize: 519764
[startup+690.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 330618 0 0 0 68286 723 0 0 25 0 1 0 895716543 535506944 129799 4294967295 134512640 134716908 3221224592 3221223208 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130739 129799 1111 63 0 130676 0
vsize: 522956
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 333353 0 0 0 69280 729 0 0 25 0 1 0 895716543 543977472 131835 4294967295 134512640 134716908 3221224592 3221223180 134535503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132807 131835 1111 63 0 132744 0
vsize: 531228
[startup+710.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 335892 0 0 0 70274 735 0 0 25 0 1 0 895716543 547549184 132728 4294967295 134512640 134716908 3221224592 3221223232 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 133679 132728 1111 63 0 133616 0
vsize: 534716
[startup+720.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 342886 0 0 0 71260 750 0 0 25 0 1 0 895716543 558338048 135341 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136313 135341 1111 63 0 136250 0
vsize: 545252
[startup+730.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 349322 0 0 0 72246 764 0 0 25 0 1 0 895716543 557953024 135278 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136219 135278 1111 63 0 136156 0
vsize: 544876
[startup+740.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 354431 0 0 0 73236 774 0 0 25 0 1 0 895716543 562810880 136433 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137405 136433 1111 63 0 137342 0
vsize: 549620
[startup+750.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 357304 0 0 0 74230 780 0 0 25 0 1 0 895716543 567406592 137565 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 138527 137565 1111 63 0 138464 0
vsize: 554108
[startup+760.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 362248 0 0 0 75219 791 0 0 25 0 1 0 895716543 569614336 138126 4294967295 134512640 134716908 3221224592 3221223232 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139066 138126 1111 63 0 139003 0
vsize: 556264
[startup+770.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 369842 0 0 0 76204 807 0 0 25 0 1 0 895716543 579612672 140534 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141507 140534 1111 63 0 141444 0
vsize: 566028
[startup+780.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 369958 0 0 0 77204 807 0 0 25 0 1 0 895716543 579608576 140566 4294967295 134512640 134716908 3221224592 3221223080 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141506 140566 1111 63 0 141443 0
vsize: 566024
[startup+790.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 370476 0 0 0 78203 808 0 0 25 0 1 0 895716543 580743168 140843 4294967295 134512640 134716908 3221224592 3221222956 134539306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141783 140843 1111 63 0 141720 0
vsize: 567132
[startup+800.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 379354 0 0 0 79184 827 0 0 25 0 1 0 895716543 580759552 140847 4294967295 134512640 134716908 3221224592 3221223024 134543719 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141787 140847 1111 63 0 141724 0
vsize: 567148
[startup+810.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 386018 0 0 0 80170 841 0 0 25 0 1 0 895716543 589746176 143041 4294967295 134512640 134716908 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 143981 143041 1111 63 0 143918 0
vsize: 575924
[startup+820.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 386595 0 0 0 81169 842 0 0 25 0 1 0 895716543 590745600 143284 4294967295 134512640 134716908 3221224592 3221223072 134539129 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144225 143284 1111 63 0 144162 0
vsize: 576900
[startup+830.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 391916 0 0 0 82158 854 0 0 25 0 1 0 895716543 598548480 145190 4294967295 134512640 134716908 3221224592 3221223072 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 146130 145190 1111 63 0 146067 0
vsize: 584520
[startup+840.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 394312 0 0 0 83153 859 0 0 25 0 1 0 895716543 602648576 146191 4294967295 134512640 134716908 3221224592 3221223344 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147131 146191 1111 63 0 147068 0
vsize: 588524
[startup+850.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 395057 0 0 0 84151 861 0 0 25 0 1 0 895716543 600068096 145529 4294967295 134512640 134716908 3221224592 3221223212 134543776 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 146501 145529 1111 63 0 146438 0
vsize: 586004
[startup+860.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 397783 0 0 0 85146 866 0 0 25 0 1 0 895716543 605515776 146869 4294967295 134512640 134716908 3221224592 3221223072 134539126 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147831 146869 1111 63 0 147768 0
vsize: 591324
[startup+870.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 401267 0 0 0 86138 875 0 0 25 0 1 0 895716543 613691392 148878 4294967295 134512640 134716908 3221224592 3221222884 1077374082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 149827 148878 1111 63 0 149764 0
vsize: 599308
[startup+880.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 404083 0 0 0 87132 880 0 0 25 0 1 0 895716543 621072384 150678 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151629 150678 1111 63 0 151566 0
vsize: 606516
[startup+890.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 406133 0 0 0 88128 885 0 0 25 0 1 0 895716543 624693248 151541 4294967295 134512640 134716908 3221224592 3221223072 134539144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 152513 151541 1111 63 0 152450 0
vsize: 610052
[startup+900.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 409852 0 0 0 89121 892 0 0 25 0 1 0 895716543 631476224 153227 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 154169 153227 1111 63 0 154106 0
vsize: 616676
[startup+910.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 413400 0 0 0 90114 899 0 0 25 0 1 0 895716543 635244544 154138 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 155089 154138 1111 63 0 155026 0
vsize: 620356
[startup+920.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 419587 0 0 0 91101 912 0 0 25 0 1 0 895716543 637870080 154781 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 155730 154781 1111 63 0 155667 0
vsize: 622920
[startup+930.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 424366 0 0 0 92092 922 0 0 25 0 1 0 895716543 645021696 156504 4294967295 134512640 134716908 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 157476 156504 1111 63 0 157413 0
vsize: 629904
[startup+940.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 428114 0 0 0 93084 929 0 0 25 0 1 0 895716543 653643776 158620 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159581 158620 1111 63 0 159518 0
vsize: 638324
[startup+950.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 429526 0 0 0 94081 933 0 0 25 0 1 0 895716543 655036416 158964 4294967295 134512640 134716908 3221224592 3221223080 1077378415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 159921 158964 1111 63 0 159858 0
vsize: 639684
[startup+960.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 430462 0 0 0 95080 934 0 0 25 0 1 0 895716543 655798272 159144 4294967295 134512640 134716908 3221224592 3221222956 134539243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 160107 159144 1111 63 0 160044 0
vsize: 640428
[startup+970.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 433064 0 0 0 96076 939 0 0 25 0 1 0 895716543 660570112 160330 4294967295 134512640 134716908 3221224592 3221222984 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 161272 160330 1111 63 0 161209 0
vsize: 645088
[startup+980.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 436086 0 0 0 97070 945 0 0 25 0 1 0 895716543 666591232 161800 4294967295 134512640 134716908 3221224592 3221223232 134609222 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 162742 161800 1111 63 0 162679 0
vsize: 650968
[startup+990.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 443389 0 0 0 98053 962 0 0 25 0 1 0 895716543 673775616 163554 4294967295 134512640 134716908 3221224592 3221223080 134543638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164496 163554 1111 63 0 164433 0
vsize: 657984
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 446830 0 0 0 99046 969 0 0 25 0 1 0 895716543 675463168 163936 4294967295 134512640 134716908 3221224592 3221223208 134543793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 164908 163936 1111 63 0 164845 0
vsize: 659632
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 449667 0 0 0 100040 975 0 0 25 0 1 0 895716543 682762240 165749 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 166690 165749 1111 63 0 166627 0
vsize: 666760
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 455386 0 0 0 101029 987 0 0 25 0 1 0 895716543 687779840 166975 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167915 166975 1111 63 0 167852 0
vsize: 671660
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 455939 0 0 0 102028 988 0 0 25 0 1 0 895716543 689803264 167461 4294967295 134512640 134716908 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 168409 167461 1111 63 0 168346 0
vsize: 673636
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 457658 0 0 0 103025 991 0 0 25 0 1 0 895716543 695496704 168827 4294967295 134512640 134716908 3221224592 3221223208 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 169799 168827 1111 63 0 169736 0
vsize: 679196
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 460348 0 0 0 104020 996 0 0 25 0 1 0 895716543 698142720 169494 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170445 169494 1111 63 0 170382 0
vsize: 681780
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 462679 0 0 0 105015 1002 0 0 25 0 1 0 895716543 700891136 170176 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 171116 170176 1111 63 0 171053 0
vsize: 684464
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 465293 0 0 0 106010 1006 0 0 25 0 1 0 895716543 708734976 172090 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 173031 172090 1111 63 0 172968 0
vsize: 692124
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 467352 0 0 0 107006 1010 0 0 25 0 1 0 895716543 712540160 172997 4294967295 134512640 134716908 3221224592 3221223132 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 173960 172997 1111 63 0 173897 0
vsize: 695840
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 469279 0 0 0 108003 1014 0 0 25 0 1 0 895716543 715354112 173695 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 174647 173695 1111 63 0 174584 0
vsize: 698588
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 472731 0 0 0 108996 1021 0 0 25 0 1 0 895716543 719458304 174697 4294967295 134512640 134716908 3221224592 3221223136 134538785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175649 174697 1111 63 0 175586 0
vsize: 702596
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 474379 0 0 0 109993 1025 0 0 25 0 1 0 895716543 722530304 175450 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 176399 175450 1111 63 0 176336 0
vsize: 705596
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 477967 0 0 0 110987 1031 0 0 25 0 1 0 895716543 731693056 177687 4294967295 134512640 134716908 3221224592 3221222924 134535925 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 178636 177687 1111 63 0 178573 0
vsize: 714544
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 481131 0 0 0 111980 1037 0 0 25 0 1 0 895716543 728817664 176962 4294967295 134512640 134716908 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 177934 176962 1111 63 0 177871 0
vsize: 711736
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 484074 0 0 0 112974 1044 0 0 25 0 1 0 895716543 732762112 177936 4294967295 134512640 134716908 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 178897 177936 1111 63 0 178834 0
vsize: 715588
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 488416 0 0 0 113965 1053 0 0 25 0 1 0 895716543 740126720 179755 4294967295 134512640 134716908 3221224592 3221223060 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180695 179755 1111 63 0 180632 0
vsize: 722780
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 488416 0 0 0 114965 1053 0 0 25 0 1 0 895716543 740126720 179755 4294967295 134512640 134716908 3221224592 3221223056 134540332 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180695 179755 1111 63 0 180632 0
vsize: 722780
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 490113 0 0 0 115962 1056 0 0 25 0 1 0 895716543 747126784 181452 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 182404 181452 1111 63 0 182341 0
vsize: 729616
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 491807 0 0 0 116959 1060 0 0 25 0 1 0 895716543 749596672 182034 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183007 182034 1111 63 0 182944 0
vsize: 732028
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 492007 0 0 0 117958 1061 0 0 25 0 1 0 895716543 750284800 182234 4294967295 134512640 134716908 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183175 182234 1111 63 0 183112 0
vsize: 732700
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) R 7901 7266 7265 0 -1 0 492356 0 0 0 118957 1062 0 0 25 0 1 0 895716543 751013888 182381 4294967295 134512640 134716908 3221224592 3221223072 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183353 182381 1111 63 0 183290 0
vsize: 733412
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.37 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 7904
Raw data (stat): 7902 (bsolo_lpr-v2) Z 7901 7266 7265 0 -1 1036 492356 0 0 0 118958 1095 0 0 25 0 1 0 895716543 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.37
CPU time (s): 1200.53
CPU user time (s): 1189.58
CPU system time (s): 10.9513
CPU usage (%): 100.013
Max. virtual memory (Kb): 733412
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####