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-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-sp97ic.opb
MD5SUM	e8862b41c9b4f49ec8d11d1df0495e74
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	12497
Biggest coefficient in the objective function	1010107916
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	3093137085579
Number of bits of the sum of numbers in the objective function	42
Biggest number in a constraint	1010107916
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	3093137085579
Number of bits of the biggest sum of numbers	42
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	12.972
Number of variables	12497
Total number of constraints	13530
Number of constraints which are clauses	41
Number of constraints which are cardinality constraints (but not clauses)	13312
Number of constraints which are nor clauses,nor cardinality constraints	177
Minimum length of a constraint	1
Maximum length of a constraint	6739
Trace number 40167

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        887392 kB
Buffers:          5240 kB
Cached:         119952 kB
SwapCached:        880 kB
Active:          27852 kB
Inactive:        99412 kB
HighTotal:      131008 kB
HighFree:        12936 kB
LowTotal:       903652 kB
LowFree:        874456 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            14120 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 03:53:21 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 28217 7 1200.36 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 12497 variables and 1033 constraints.
c After prepocess the problem consists of 12497 variables and 1018 constraints.
c preprocess terminated 515.905 s
c Initial Lower Bound: -2147483648
c Lower Bound Elapsed time: 10.6697
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: -1740099292 @ 555.569
c NEW SOLUTION FOUND: -2147483648 @ 555.689
#### 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/54 26091
Raw data (stat): 26091 (runsolver) R 26090 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 898414679 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.93 0.96 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 25669 0 0 0 946 51 0 0 25 0 1 0 898414679 118038528 25589 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28818 25589 1111 63 0 28755 0
vsize: 115272
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 47703 0 0 0 1905 92 0 0 25 0 1 0 898414679 208367616 47623 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50871 47623 1111 63 0 50808 0
vsize: 203484
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 70247 0 0 0 2866 132 0 0 25 0 1 0 898414679 300634112 70167 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73397 70167 1111 63 0 73334 0
vsize: 293588
[startup+40.0009 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 76992 0 0 0 3854 143 0 0 25 0 1 0 898414679 328282112 76912 4294967295 134512640 134716908 3221224576 3221222852 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80147 76912 1111 63 0 80084 0
vsize: 320588
[startup+50.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 77527 0 0 0 4853 144 0 0 25 0 1 0 898414679 330637312 77444 4294967295 134512640 134716908 3221224576 3221221196 1077253604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80722 77444 1111 63 0 80659 0
vsize: 322888
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 78134 0 0 0 5851 146 0 0 25 0 1 0 898414679 333258752 78050 4294967295 134512640 134716908 3221224576 3221222852 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81362 78050 1111 63 0 81299 0
vsize: 325448
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 78766 0 0 0 6848 149 0 0 25 0 1 0 898414679 335863808 78681 4294967295 134512640 134716908 3221224576 3221221052 1077193061 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81998 78681 1111 63 0 81935 0
vsize: 327992
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 79513 0 0 0 7847 151 0 0 25 0 1 0 898414679 339021824 79427 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82769 79427 1111 63 0 82706 0
vsize: 331076
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 80324 0 0 0 8844 153 0 0 25 0 1 0 898414679 342450176 80237 4294967295 134512640 134716908 3221224576 3221222852 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83606 80237 1111 63 0 83543 0
vsize: 334424
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 81023 0 0 0 9843 155 0 0 25 0 1 0 898414679 345333760 80934 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84310 80934 1111 63 0 84247 0
vsize: 337240
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 81713 0 0 0 10841 156 0 0 25 0 1 0 898414679 348381184 81621 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85054 81621 1111 63 0 84991 0
vsize: 340216
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 83333 0 0 0 11837 160 0 0 25 0 1 0 898414679 345366528 83172 4294967295 134512640 134716908 3221224576 3221223020 134536802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84318 83172 1111 63 0 84255 0
vsize: 337272
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 83427 0 0 0 12836 161 0 0 25 0 1 0 898414679 345772032 83266 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84417 83266 1111 63 0 84354 0
vsize: 337668
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 83503 0 0 0 13835 161 0 0 25 0 1 0 898414679 346046464 83342 4294967295 134512640 134716908 3221224576 3221223020 134535925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84484 83342 1111 63 0 84421 0
vsize: 337936
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 83544 0 0 0 14835 162 0 0 25 0 1 0 898414679 346181632 83383 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84517 83383 1111 63 0 84454 0
vsize: 338068
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 83597 0 0 0 15835 162 0 0 25 0 1 0 898414679 346451968 83436 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84583 83436 1111 63 0 84520 0
vsize: 338332
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 83680 0 0 0 16835 162 0 0 25 0 1 0 898414679 346722304 83519 4294967295 134512640 134716908 3221224576 3221223020 134536784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84649 83519 1111 63 0 84586 0
vsize: 338596
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 83756 0 0 0 17835 162 0 0 25 0 1 0 898414679 347127808 83595 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84748 83595 1111 63 0 84685 0
vsize: 338992
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 83801 0 0 0 18835 162 0 0 25 0 1 0 898414679 347262976 83640 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84781 83640 1111 63 0 84718 0
vsize: 339124
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 83869 0 0 0 19835 163 0 0 25 0 1 0 898414679 347533312 83708 4294967295 134512640 134716908 3221224576 3221223020 134535928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84847 83708 1111 63 0 84784 0
vsize: 339388
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 83944 0 0 0 20834 163 0 0 25 0 1 0 898414679 347803648 83783 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84913 83783 1111 63 0 84850 0
vsize: 339652
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84012 0 0 0 21834 163 0 0 25 0 1 0 898414679 348073984 83851 4294967295 134512640 134716908 3221224576 3221223040 134543030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84979 83851 1111 63 0 84916 0
vsize: 339916
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84071 0 0 0 22834 163 0 0 25 0 1 0 898414679 348344320 83910 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85045 83910 1111 63 0 84982 0
vsize: 340180
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84138 0 0 0 23834 164 0 0 25 0 1 0 898414679 348614656 83977 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85111 83977 1111 63 0 85048 0
vsize: 340444
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84184 0 0 0 24834 164 0 0 25 0 1 0 898414679 348884992 84023 4294967295 134512640 134716908 3221224576 3221222956 134539208 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85177 84023 1111 63 0 85114 0
vsize: 340708
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84214 0 0 0 25834 164 0 0 25 0 1 0 898414679 348884992 84053 4294967295 134512640 134716908 3221224576 3221223020 134535891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85177 84053 1111 63 0 85114 0
vsize: 340708
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84239 0 0 0 26834 164 0 0 25 0 1 0 898414679 349020160 84078 4294967295 134512640 134716908 3221224576 3221223020 134536834 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85210 84078 1111 63 0 85147 0
vsize: 340840
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84265 0 0 0 27835 164 0 0 25 0 1 0 898414679 349155328 84104 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85243 84104 1111 63 0 85180 0
vsize: 340972
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84313 0 0 0 28834 165 0 0 25 0 1 0 898414679 349290496 84152 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85276 84152 1111 63 0 85213 0
vsize: 341104
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84385 0 0 0 29835 165 0 0 25 0 1 0 898414679 349696000 84224 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85375 84224 1111 63 0 85312 0
vsize: 341500
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84424 0 0 0 30835 165 0 0 25 0 1 0 898414679 349831168 84263 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85408 84263 1111 63 0 85345 0
vsize: 341632
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84505 0 0 0 31835 165 0 0 25 0 1 0 898414679 350101504 84344 4294967295 134512640 134716908 3221224576 3221223056 134543043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85474 84344 1111 63 0 85411 0
vsize: 341896
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84573 0 0 0 32834 165 0 0 25 0 1 0 898414679 350371840 84412 4294967295 134512640 134716908 3221224576 3221223020 134536817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85540 84412 1111 63 0 85477 0
vsize: 342160
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84641 0 0 0 33834 165 0 0 25 0 1 0 898414679 350642176 84480 4294967295 134512640 134716908 3221224576 3221223056 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85606 84480 1111 63 0 85543 0
vsize: 342424
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84709 0 0 0 34834 166 0 0 25 0 1 0 898414679 350912512 84548 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85672 84548 1111 63 0 85609 0
vsize: 342688
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84733 0 0 0 35834 166 0 0 25 0 1 0 898414679 351047680 84572 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85705 84572 1111 63 0 85642 0
vsize: 342820
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84767 0 0 0 36835 166 0 0 25 0 1 0 898414679 351182848 84606 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85738 84606 1111 63 0 85675 0
vsize: 342952
[startup+380.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84849 0 0 0 37834 166 0 0 25 0 1 0 898414679 351453184 84688 4294967295 134512640 134716908 3221224576 3221223040 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85804 84688 1111 63 0 85741 0
vsize: 343216
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84881 0 0 0 38834 167 0 0 25 0 1 0 898414679 351588352 84720 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85837 84720 1111 63 0 85774 0
vsize: 343348
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 84961 0 0 0 39834 167 0 0 25 0 1 0 898414679 351993856 84800 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85936 84800 1111 63 0 85873 0
vsize: 343744
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 85003 0 0 0 40834 167 0 0 25 0 1 0 898414679 352129024 84842 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85969 84842 1111 63 0 85906 0
vsize: 343876
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 85034 0 0 0 41834 167 0 0 25 0 1 0 898414679 352264192 84873 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86002 84873 1111 63 0 85939 0
vsize: 344008
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 85081 0 0 0 42834 168 0 0 25 0 1 0 898414679 352399360 84920 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86035 84920 1111 63 0 85972 0
vsize: 344140
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 85160 0 0 0 43834 168 0 0 25 0 1 0 898414679 352669696 84999 4294967295 134512640 134716908 3221224576 3221223020 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86101 84999 1111 63 0 86038 0
vsize: 344404
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 85231 0 0 0 44834 168 0 0 25 0 1 0 898414679 352940032 85070 4294967295 134512640 134716908 3221224576 3221223020 134535900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86167 85070 1111 63 0 86104 0
vsize: 344668
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 85310 0 0 0 45834 169 0 0 25 0 1 0 898414679 353349632 85149 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86267 85149 1111 63 0 86204 0
vsize: 345068
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 85315 0 0 0 46834 169 0 0 25 0 1 0 898414679 353349632 85154 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86267 85154 1111 63 0 86204 0
vsize: 345068
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 85317 0 0 0 47834 169 0 0 25 0 1 0 898414679 353349632 85156 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86267 85156 1111 63 0 86204 0
vsize: 345068
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 85323 0 0 0 48835 169 0 0 25 0 1 0 898414679 353349632 85162 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86267 85162 1111 63 0 86204 0
vsize: 345068
[startup+500.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 85326 0 0 0 49837 169 0 0 25 0 1 0 898414679 353349632 85165 4294967295 134512640 134716908 3221224576 3221223248 134627268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86267 85165 1111 63 0 86204 0
vsize: 345068
[startup+510.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 85330 0 0 0 50837 169 0 0 25 0 1 0 898414679 353349632 85169 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86267 85169 1111 63 0 86204 0
vsize: 345068
[startup+520.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 86619 0 0 0 51834 172 0 0 25 0 1 0 898414679 358678528 86444 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87568 86444 1111 63 0 87505 0
vsize: 350272
[startup+530.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 86690 0 0 0 52833 173 0 0 25 0 1 0 898414679 358961152 86515 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87637 86515 1111 63 0 87574 0
vsize: 350548
[startup+540.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 92040 0 0 0 53823 184 0 0 25 0 1 0 898414679 368709632 88868 4294967295 134512640 134716908 3221224576 3221220640 1074794575 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90017 88868 1111 63 0 89954 0
vsize: 360068
[startup+550.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 113499 0 0 0 54776 231 0 0 25 0 1 0 898414679 360165376 86959 4294967295 134512640 134716908 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87931 86959 1111 63 0 87868 0
vsize: 351724
[startup+560.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 128894 0 0 0 55743 263 0 0 25 0 1 0 898414679 357646336 86318 4294967295 134512640 134716908 3221224576 3221222976 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87316 86318 1111 63 0 87253 0
vsize: 349264
[startup+570.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 153407 0 0 0 56697 309 0 0 25 0 1 0 898414679 356814848 86144 4294967295 134512640 134716908 3221224576 3221222320 1075640442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87113 86144 1111 63 0 87050 0
vsize: 348452
[startup+580.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 171228 0 0 0 57663 343 0 0 25 0 1 0 898414679 356659200 86106 4294967295 134512640 134716908 3221224576 3221222828 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87075 86106 1111 63 0 87012 0
vsize: 348300
[startup+590.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 185616 0 0 0 58634 373 0 0 25 0 1 0 898414679 356536320 86076 4294967295 134512640 134716908 3221224576 3221222688 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87045 86076 1111 63 0 86982 0
vsize: 348180
[startup+600.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 198627 0 0 0 59607 400 0 0 25 0 1 0 898414679 356536320 86076 4294967295 134512640 134716908 3221224576 3221222864 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87045 86076 1111 63 0 86982 0
vsize: 348180
[startup+610.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 210442 0 0 0 60582 425 0 0 25 0 1 0 898414679 356536320 86076 4294967295 134512640 134716908 3221224576 3221222888 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87045 86076 1111 63 0 86982 0
vsize: 348180
[startup+620.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 219517 0 0 0 61563 444 0 0 25 0 1 0 898414679 356782080 86136 4294967295 134512640 134716908 3221224576 3221222664 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87105 86136 1111 63 0 87042 0
vsize: 348420
[startup+630.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 227317 0 0 0 62547 461 0 0 25 0 1 0 898414679 356782080 86136 4294967295 134512640 134716908 3221224576 3221222664 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87105 86136 1111 63 0 87042 0
vsize: 348420
[startup+640.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 234625 0 0 0 63531 477 0 0 25 0 1 0 898414679 357031936 86197 4294967295 134512640 134716908 3221224576 3221222304 1075635584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+650.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 241435 0 0 0 64518 490 0 0 25 0 1 0 898414679 356782080 86136 4294967295 134512640 134716908 3221224576 3221222776 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87105 86136 1111 63 0 87042 0
vsize: 348420
[startup+660.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 248055 0 0 0 65503 505 0 0 25 0 1 0 898414679 357560320 86310 4294967295 134512640 134716908 3221224576 3221222976 1074118827 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87295 86310 1111 63 0 87232 0
vsize: 349180
[startup+670.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 254542 0 0 0 66488 520 0 0 25 0 1 0 898414679 356782080 86136 4294967295 134512640 134716908 3221224576 3221222832 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87105 86136 1111 63 0 87042 0
vsize: 348420
[startup+680.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 260811 0 0 0 67475 534 0 0 25 0 1 0 898414679 356909056 86167 4294967295 134512640 134716908 3221224576 3221222928 1074115342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87136 86167 1111 63 0 87073 0
vsize: 348544
[startup+690.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 265543 0 0 0 68464 545 0 0 25 0 1 0 898414679 357871616 86252 4294967295 134512640 134716908 3221224576 3221222304 1075829526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87371 86252 1111 63 0 87308 0
vsize: 349484
[startup+700.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 270083 0 0 0 69455 554 0 0 25 0 1 0 898414679 357031936 86197 4294967295 134512640 134716908 3221224576 3221222576 1074056621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+710.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 274182 0 0 0 70445 564 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222960 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+720.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 278516 0 0 0 71433 576 0 0 25 0 1 0 898414679 357158912 86228 4294967295 134512640 134716908 3221224576 3221222928 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87197 86228 1111 63 0 87134 0
vsize: 348788
[startup+730.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 282702 0 0 0 72424 586 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222848 1074143968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+740.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 286974 0 0 0 73414 596 0 0 25 0 1 0 898414679 357031936 86197 4294967295 134512640 134716908 3221224576 3221222864 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+750.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 290877 0 0 0 74404 605 0 0 25 0 1 0 898414679 357031936 86197 4294967295 134512640 134716908 3221224576 3221222688 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+760.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 294437 0 0 0 75396 614 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222688 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+770.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 298243 0 0 0 76386 624 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222832 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+780.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 302224 0 0 0 77377 633 0 0 25 0 1 0 898414679 357031936 86197 4294967295 134512640 134716908 3221224576 3221222688 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+790.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 305961 0 0 0 78368 642 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222832 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+800.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 309703 0 0 0 79360 651 0 0 25 0 1 0 898414679 357285888 86223 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87228 86227 1111 63 0 87165 0
vsize: 348912
[startup+810.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 313417 0 0 0 80352 659 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222832 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+820.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 317380 0 0 0 81343 668 0 0 25 0 1 0 898414679 357031936 86197 4294967295 134512640 134716908 3221224576 3221222688 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+830.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 321009 0 0 0 82334 677 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222688 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+840.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 324885 0 0 0 83325 686 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222648 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+850.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 328797 0 0 0 84316 695 0 0 25 0 1 0 898414679 357031936 86197 4294967295 134512640 134716908 3221224576 3221222776 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+860.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 332227 0 0 0 85309 703 0 0 25 0 1 0 898414679 357232640 86214 4294967295 134512640 134716908 3221224576 3221222536 1074138303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87215 86214 1111 63 0 87152 0
vsize: 348860
[startup+870.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 335887 0 0 0 86302 710 0 0 25 0 1 0 898414679 357031936 86197 4294967295 134512640 134716908 3221224576 3221222776 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+880.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 339271 0 0 0 87295 718 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222832 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+890.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 342530 0 0 0 88288 724 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+900.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 346006 0 0 0 89280 733 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222744 1074138153 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+910.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 349549 0 0 0 90272 741 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222928 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+920.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 353211 0 0 0 91264 749 0 0 25 0 1 0 898414679 357031936 86197 4294967295 134512640 134716908 3221224576 3221222300 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+930.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 356620 0 0 0 92258 756 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222864 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+940.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 360404 0 0 0 93248 766 0 0 25 0 1 0 898414679 357031936 86197 4294967295 134512640 134716908 3221224576 3221222808 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+950.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 363760 0 0 0 94240 774 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222768 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+960.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 367044 0 0 0 95233 781 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222864 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+970.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 370288 0 0 0 96225 789 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222600 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+980.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 373520 0 0 0 97218 796 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222736 1074153812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+990.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 376765 0 0 0 98212 803 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222832 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 380019 0 0 0 99205 810 0 0 25 0 1 0 898414679 357036032 86198 4294967295 134512640 134716908 3221224576 3221222832 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87167 86198 1111 63 0 87104 0
vsize: 348668
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 383280 0 0 0 100198 817 0 0 25 0 1 0 898414679 357031936 86197 4294967295 134512640 134716908 3221224576 3221222912 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87166 86197 1111 63 0 87103 0
vsize: 348664
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 386502 0 0 0 101191 824 0 0 25 0 1 0 898414679 357163008 86229 4294967295 134512640 134716908 3221224576 3221222688 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87198 86229 1111 63 0 87135 0
vsize: 348792
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 390176 0 0 0 102184 831 0 0 25 0 1 0 898414679 357163008 86229 4294967295 134512640 134716908 3221224576 3221222912 1074153767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87198 86229 1111 63 0 87135 0
vsize: 348792
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 393425 0 0 0 103178 838 0 0 25 0 1 0 898414679 357527552 86318 4294967295 134512640 134716908 3221224576 3221222832 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87287 86318 1111 63 0 87224 0
vsize: 349148
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 395974 0 0 0 104172 843 0 0 25 0 1 0 898414679 358621184 86420 4294967295 134512640 134716908 3221224576 3221222496 1075799723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87554 86420 1111 63 0 87491 0
vsize: 350216
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 398686 0 0 0 105165 851 0 0 25 0 1 0 898414679 357523456 86317 4294967295 134512640 134716908 3221224576 3221222864 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87286 86317 1111 63 0 87223 0
vsize: 349144
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 401057 0 0 0 106160 856 0 0 25 0 1 0 898414679 357523456 86317 4294967295 134512640 134716908 3221224576 3221222688 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87286 86317 1111 63 0 87223 0
vsize: 349144
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 403386 0 0 0 107155 861 0 0 25 0 1 0 898414679 357797888 86384 4294967295 134512640 134716908 3221224576 3221222832 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87353 86384 1111 63 0 87290 0
vsize: 349412
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 408279 0 0 0 108143 873 0 0 25 0 1 0 898414679 358055936 86447 4294967295 134512640 134716908 3221224576 3221222768 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87416 86447 1111 63 0 87353 0
vsize: 349664
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 410890 0 0 0 109136 881 0 0 25 0 1 0 898414679 358113280 86461 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87430 86461 1111 63 0 87367 0
vsize: 349720
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 413617 0 0 0 110129 888 0 0 25 0 1 0 898414679 358649856 86592 4294967295 134512640 134716908 3221224576 3221222864 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87561 86592 1111 63 0 87498 0
vsize: 350244
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 418430 0 0 0 111119 898 0 0 25 0 1 0 898414679 362307584 87310 4294967295 134512640 134716908 3221224576 3221220720 1074969458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88454 87310 1111 63 0 88391 0
vsize: 353816
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 423402 0 0 0 112107 910 0 0 25 0 1 0 898414679 358100992 86458 4294967295 134512640 134716908 3221224576 3221189456 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87427 86458 1111 63 0 87364 0
vsize: 349708
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 427196 0 0 0 113098 919 0 0 25 0 1 0 898414679 358932480 86661 4294967295 134512640 134716908 3221224576 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87630 86661 1111 63 0 87567 0
vsize: 350520
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 429414 0 0 0 114093 925 0 0 25 0 1 0 898414679 363302912 87560 4294967295 134512640 134716908 3221224576 3221220540 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88697 87560 1111 63 0 88634 0
vsize: 354788
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 431490 0 0 0 115088 930 0 0 25 0 1 0 898414679 359137280 86711 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87680 86711 1111 63 0 87617 0
vsize: 350720
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 435919 0 0 0 116078 940 0 0 25 0 1 0 898414679 359145472 86713 4294967295 134512640 134716908 3221224576 3221222688 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87682 86713 1111 63 0 87619 0
vsize: 350728
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 440475 0 0 0 117069 950 0 0 25 0 1 0 898414679 359108608 86704 4294967295 134512640 134716908 3221224576 3221222912 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87673 86704 1111 63 0 87610 0
vsize: 350692
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 445100 0 0 0 118059 960 0 0 25 0 1 0 898414679 359268352 86743 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87712 86743 1111 63 0 87649 0
vsize: 350848
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) R 26090 21152 21151 0 -1 0 445135 0 0 0 119058 961 0 0 25 0 1 0 898414679 359411712 86778 4294967295 134512640 134716908 3221224576 3221222688 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87747 86778 1111 63 0 87684 0
vsize: 350988
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 26091
Raw data (stat): 26091 (bsolo_lpr-v2) Z 26090 21152 21151 0 -1 1036 445135 0 0 0 119058 977 0 0 25 0 1 0 898414679 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.24
CPU time (s): 1200.36
CPU user time (s): 1190.59
CPU system time (s): 9.77251
CPU usage (%): 100.01
Max. virtual memory (Kb): 360068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####