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/sorensson/garden/normalized-g100x100.opb
MD5SUM	4c90dd5734f36c8061dfe5af9bc82fe7
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2980
Optimality of the best value was proved	NO
Number of terms in the objective function	10000
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	10000
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	10000
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.49
Number of variables	10000
Total number of constraints	10000
Number of constraints which are clauses	10000
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	3
Maximum length of a constraint	5
Trace number 39759

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        910872 kB
Buffers:         34052 kB
Cached:          66900 kB
SwapCached:       1796 kB
Active:          30844 kB
Inactive:        73096 kB
HighTotal:      131008 kB
HighFree:        77812 kB
LowTotal:       903652 kB
LowFree:        833060 kB
SwapTotal:     2097136 kB
SwapFree:      2094416 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14296 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 20:03:13 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 27823 7 1200.44 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10000 variables and 10000 constraints.
c After prepocess the problem consists of 10000 variables and 10000 constraints.
c preprocess terminated 6.788 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.69 0.89 0.89 1/54 17943
Raw data (stat): 17943 (runsolver) R 17942 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 895602094 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0014 s]
Raw data (loadavg): 0.74 0.90 0.89 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 4328 0 0 0 985 12 0 0 25 0 1 0 895602094 21155840 4225 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5165 4225 1111 63 0 5102 0
vsize: 20660
[startup+20.0022 s]
Raw data (loadavg): 0.78 0.90 0.89 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 4554 0 0 0 1984 13 0 0 25 0 1 0 895602094 21790720 4418 4294967295 134512640 134716908 3221224576 3221222808 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5320 4418 1111 63 0 5257 0
vsize: 21280
[startup+30.0021 s]
Raw data (loadavg): 0.81 0.90 0.89 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 4585 0 0 0 2983 14 0 0 25 0 1 0 895602094 21909504 4449 4294967295 134512640 134716908 3221224576 3221222832 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5349 4449 1111 63 0 5286 0
vsize: 21396
[startup+40.0025 s]
Raw data (loadavg): 0.84 0.91 0.89 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 6397 0 0 0 3980 18 0 0 25 0 1 0 895602094 29495296 5669 4294967295 134512640 134716908 3221224576 3221220700 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7201 5669 1111 63 0 7138 0
vsize: 28804
[startup+50.0026 s]
Raw data (loadavg): 0.86 0.91 0.89 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 6482 0 0 0 4980 18 0 0 25 0 1 0 895602094 29495296 5754 4294967295 134512640 134716908 3221224576 3221220608 1075561092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7201 5754 1111 63 0 7138 0
vsize: 28804
[startup+60.0025 s]
Raw data (loadavg): 0.88 0.91 0.89 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 6530 0 0 0 5980 18 0 0 25 0 1 0 895602094 29495296 5802 4294967295 134512640 134716908 3221224576 3221220572 1075663451 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7201 5802 1111 63 0 7138 0
vsize: 28804
[startup+70.003 s]
Raw data (loadavg): 0.90 0.91 0.89 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 6872 0 0 0 6980 18 0 0 25 0 1 0 895602094 28344320 5810 4294967295 134512640 134716908 3221224576 3221220416 1075965248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6920 5810 1111 63 0 6857 0
vsize: 27680
[startup+80.0041 s]
Raw data (loadavg): 0.92 0.92 0.89 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7010 0 0 0 7980 19 0 0 25 0 1 0 895602094 28917760 5948 4294967295 134512640 134716908 3221224576 3221220416 1075965289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7060 5948 1111 63 0 6997 0
vsize: 28240
[startup+90.0043 s]
Raw data (loadavg): 0.93 0.92 0.89 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7141 0 0 0 8980 19 0 0 25 0 1 0 895602094 29429760 6079 4294967295 134512640 134716908 3221224576 3221220592 1075895905 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7185 6079 1111 63 0 7122 0
vsize: 28740
[startup+100.004 s]
Raw data (loadavg): 0.94 0.92 0.90 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7196 0 0 0 9980 20 0 0 25 0 1 0 895602094 29622272 6134 4294967295 134512640 134716908 3221224576 3221220752 1074960909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7232 6134 1111 63 0 7169 0
vsize: 28928
[startup+110.005 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7197 0 0 0 10980 20 0 0 25 0 1 0 895602094 29622272 6135 4294967295 134512640 134716908 3221224576 3221220336 1074868675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7232 6135 1111 63 0 7169 0
vsize: 28928
[startup+120.005 s]
Raw data (loadavg): 0.95 0.92 0.90 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7251 0 0 0 11981 20 0 0 25 0 1 0 895602094 29822976 6189 4294967295 134512640 134716908 3221224576 3221220684 1075564265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7281 6189 1111 63 0 7218 0
vsize: 29124
[startup+130.006 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7257 0 0 0 12981 20 0 0 25 0 1 0 895602094 29822976 6195 4294967295 134512640 134716908 3221224576 3221220748 1076079124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7281 6195 1111 63 0 7218 0
vsize: 29124
[startup+140.006 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7261 0 0 0 13981 20 0 0 25 0 1 0 895602094 29822976 6199 4294967295 134512640 134716908 3221224576 3221220336 1074867710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7281 6199 1111 63 0 7218 0
vsize: 29124
[startup+150.007 s]
Raw data (loadavg): 0.97 0.93 0.90 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7264 0 0 0 14982 20 0 0 25 0 1 0 895602094 29822976 6202 4294967295 134512640 134716908 3221224576 3221220752 1074961267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7281 6202 1111 63 0 7218 0
vsize: 29124
[startup+160.007 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7268 0 0 0 15982 20 0 0 25 0 1 0 895602094 29822976 6206 4294967295 134512640 134716908 3221224576 3221220388 1074786537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7281 6206 1111 63 0 7218 0
vsize: 29124
[startup+170.007 s]
Raw data (loadavg): 0.98 0.93 0.90 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7277 0 0 0 16982 20 0 0 25 0 1 0 895602094 29822976 6215 4294967295 134512640 134716908 3221224576 3221220448 1075965256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7281 6215 1111 63 0 7218 0
vsize: 29124
[startup+180.007 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7278 0 0 0 17983 20 0 0 25 0 1 0 895602094 29822976 6216 4294967295 134512640 134716908 3221224576 3221220856 1075112546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7281 6216 1111 63 0 7218 0
vsize: 29124
[startup+190.007 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7333 0 0 0 18983 20 0 0 25 0 1 0 895602094 30031872 6271 4294967295 134512640 134716908 3221224576 3221220492 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7332 6271 1111 63 0 7269 0
vsize: 29328
[startup+200.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7339 0 0 0 19983 20 0 0 25 0 1 0 895602094 30031872 6277 4294967295 134512640 134716908 3221224576 3221220356 1074786571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7332 6277 1111 63 0 7269 0
vsize: 29328
[startup+210.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7402 0 0 0 20983 21 0 0 25 0 1 0 895602094 30248960 6340 4294967295 134512640 134716908 3221224576 3221220388 1074786584 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7385 6340 1111 63 0 7322 0
vsize: 29540
[startup+220.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7409 0 0 0 21983 21 0 0 25 0 1 0 895602094 30248960 6347 4294967295 134512640 134716908 3221224576 3221220920 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7385 6347 1111 63 0 7322 0
vsize: 29540
[startup+230.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7411 0 0 0 22984 21 0 0 25 0 1 0 895602094 30248960 6349 4294967295 134512640 134716908 3221224576 3221220364 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7385 6349 1111 63 0 7322 0
vsize: 29540
[startup+240.01 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7412 0 0 0 23984 21 0 0 25 0 1 0 895602094 30248960 6350 4294967295 134512640 134716908 3221224576 3221220492 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7385 6350 1111 63 0 7322 0
vsize: 29540
[startup+250.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7412 0 0 0 24984 21 0 0 25 0 1 0 895602094 30248960 6350 4294967295 134512640 134716908 3221224576 3221220356 1074786540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7385 6350 1111 63 0 7322 0
vsize: 29540
[startup+260.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7419 0 0 0 25985 21 0 0 25 0 1 0 895602094 30248960 6357 4294967295 134512640 134716908 3221224576 3221220708 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7385 6357 1111 63 0 7322 0
vsize: 29540
[startup+270.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7432 0 0 0 26985 21 0 0 25 0 1 0 895602094 30248960 6370 4294967295 134512640 134716908 3221224576 3221220444 1074788168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7385 6370 1111 63 0 7322 0
vsize: 29540
[startup+280.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7443 0 0 0 27985 21 0 0 25 0 1 0 895602094 30248960 6381 4294967295 134512640 134716908 3221224576 3221220752 1074960918 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7385 6381 1111 63 0 7322 0
vsize: 29540
[startup+290.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7458 0 0 0 28986 21 0 0 25 0 1 0 895602094 30248960 6396 4294967295 134512640 134716908 3221224576 3221220356 1074786571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7385 6396 1111 63 0 7322 0
vsize: 29540
[startup+300.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7485 0 0 0 29986 21 0 0 25 0 1 0 895602094 30248960 6423 4294967295 134512640 134716908 3221224576 3221220708 1075115073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7385 6423 1111 63 0 7322 0
vsize: 29540
[startup+310.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7495 0 0 0 30986 21 0 0 25 0 1 0 895602094 30248960 6433 4294967295 134512640 134716908 3221224576 3221220336 1074868839 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7385 6433 1111 63 0 7322 0
vsize: 29540
[startup+320.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7495 0 0 0 31987 21 0 0 25 0 1 0 895602094 30248960 6433 4294967295 134512640 134716908 3221224576 3221220388 1074786537 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7385 6433 1111 63 0 7322 0
vsize: 29540
[startup+330.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7525 0 0 0 32986 22 0 0 25 0 1 0 895602094 30248960 6463 4294967295 134512640 134716908 3221224576 3221220388 1074786571 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7385 6463 1111 63 0 7322 0
vsize: 29540
[startup+340.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7585 0 0 0 33986 22 0 0 25 0 1 0 895602094 30478336 6523 4294967295 134512640 134716908 3221224576 3221220416 1075965248 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7441 6523 1111 63 0 7378 0
vsize: 29764
[startup+350.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7587 0 0 0 34987 22 0 0 25 0 1 0 895602094 30478336 6525 4294967295 134512640 134716908 3221224576 3221220708 1075115060 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7441 6525 1111 63 0 7378 0
vsize: 29764
[startup+360.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7604 0 0 0 35987 22 0 0 25 0 1 0 895602094 30478336 6542 4294967295 134512640 134716908 3221224576 3221220544 1074881411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7441 6542 1111 63 0 7378 0
vsize: 29764
[startup+370.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7617 0 0 0 36987 22 0 0 25 0 1 0 895602094 30478336 6555 4294967295 134512640 134716908 3221224576 3221220388 1074786476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7441 6555 1111 63 0 7378 0
vsize: 29764
[startup+380.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7623 0 0 0 37988 22 0 0 25 0 1 0 895602094 30478336 6561 4294967295 134512640 134716908 3221224576 3221220708 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7441 6561 1111 63 0 7378 0
vsize: 29764
[startup+390.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7624 0 0 0 38988 22 0 0 25 0 1 0 895602094 30478336 6562 4294967295 134512640 134716908 3221224576 3221220388 1074786482 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7441 6562 1111 63 0 7378 0
vsize: 29764
[startup+400.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7679 0 0 0 39988 22 0 0 25 0 1 0 895602094 30720000 6617 4294967295 134512640 134716908 3221224576 3221220416 1075965289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7500 6617 1111 63 0 7437 0
vsize: 30000
[startup+410.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7680 0 0 0 40989 22 0 0 25 0 1 0 895602094 30720000 6618 4294967295 134512640 134716908 3221224576 3221220364 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7500 6618 1111 63 0 7437 0
vsize: 30000
[startup+420.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7680 0 0 0 41989 22 0 0 25 0 1 0 895602094 30720000 6618 4294967295 134512640 134716908 3221224576 3221220356 1074786513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7500 6618 1111 63 0 7437 0
vsize: 30000
[startup+430.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7682 0 0 0 42989 22 0 0 25 0 1 0 895602094 30720000 6620 4294967295 134512640 134716908 3221224576 3221220344 1074787095 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7500 6620 1111 63 0 7437 0
vsize: 30000
[startup+440.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7682 0 0 0 43990 23 0 0 25 0 1 0 895602094 30720000 6620 4294967295 134512640 134716908 3221224576 3221221024 1075088573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7500 6620 1111 63 0 7437 0
vsize: 30000
[startup+450.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7682 0 0 0 44990 23 0 0 25 0 1 0 895602094 30720000 6620 4294967295 134512640 134716908 3221224576 3221221008 1075397167 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7500 6620 1111 63 0 7437 0
vsize: 30000
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7682 0 0 0 45990 23 0 0 25 0 1 0 895602094 30720000 6620 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7500 6620 1111 63 0 7437 0
vsize: 30000
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7682 0 0 0 46991 23 0 0 25 0 1 0 895602094 30720000 6620 4294967295 134512640 134716908 3221224576 3221220364 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7500 6620 1111 63 0 7437 0
vsize: 30000
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7682 0 0 0 47991 23 0 0 25 0 1 0 895602094 30720000 6620 4294967295 134512640 134716908 3221224576 3221221012 1074260634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7500 6620 1111 63 0 7437 0
vsize: 30000
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7683 0 0 0 48991 23 0 0 25 0 1 0 895602094 30720000 6621 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7500 6621 1111 63 0 7437 0
vsize: 30000
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7683 0 0 0 49992 23 0 0 25 0 1 0 895602094 30720000 6621 4294967295 134512640 134716908 3221224576 3221220416 1075965187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7500 6621 1111 63 0 7437 0
vsize: 30000
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7737 0 0 0 50992 23 0 0 25 0 1 0 895602094 30969856 6675 4294967295 134512640 134716908 3221224576 3221220544 1074881411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7561 6675 1111 63 0 7498 0
vsize: 30244
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7742 0 0 0 51992 23 0 0 25 0 1 0 895602094 30969856 6680 4294967295 134512640 134716908 3221224576 3221220364 1074788912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7561 6680 1111 63 0 7498 0
vsize: 30244
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7746 0 0 0 52992 23 0 0 25 0 1 0 895602094 30969856 6684 4294967295 134512640 134716908 3221224576 3221220364 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7561 6684 1111 63 0 7498 0
vsize: 30244
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7746 0 0 0 53993 23 0 0 25 0 1 0 895602094 30969856 6684 4294967295 134512640 134716908 3221224576 3221220720 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7561 6684 1111 63 0 7498 0
vsize: 30244
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 7746 0 0 0 54993 23 0 0 25 0 1 0 895602094 30969856 6684 4294967295 134512640 134716908 3221224576 3221220720 1075088560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7561 6684 1111 63 0 7498 0
vsize: 30244
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 8002 0 0 0 55993 24 0 0 25 0 1 0 895602094 32034816 6940 4294967295 134512640 134716908 3221224576 3221220416 1075965250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7821 6940 1111 63 0 7758 0
vsize: 31284
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 8002 0 0 0 56993 24 0 0 25 0 1 0 895602094 32034816 6940 4294967295 134512640 134716908 3221224576 3221220544 1074881399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7821 6940 1111 63 0 7758 0
vsize: 31284
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 8002 0 0 0 57994 24 0 0 25 0 1 0 895602094 32034816 6940 4294967295 134512640 134716908 3221224576 3221220492 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7821 6940 1111 63 0 7758 0
vsize: 31284
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 8002 0 0 0 58994 24 0 0 25 0 1 0 895602094 32034816 6940 4294967295 134512640 134716908 3221224576 3221220344 1074787081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7821 6940 1111 63 0 7758 0
vsize: 31284
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 8002 0 0 0 59994 24 0 0 25 0 1 0 895602094 32034816 6940 4294967295 134512640 134716908 3221224576 3221220812 1076111494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7821 6940 1111 63 0 7758 0
vsize: 31284
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 8300 0 0 0 60994 25 0 0 25 0 1 0 895602094 33312768 7238 4294967295 134512640 134716908 3221224576 3221220856 1075112546 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8133 7238 1111 63 0 8070 0
vsize: 32532
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 8301 0 0 0 61994 25 0 0 25 0 1 0 895602094 33312768 7239 4294967295 134512640 134716908 3221224576 3221220692 1075117370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8133 7239 1111 63 0 8070 0
vsize: 32532
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 8306 0 0 0 62994 25 0 0 25 0 1 0 895602094 33312768 7244 4294967295 134512640 134716908 3221224576 3221220376 1074787093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8133 7244 1111 63 0 8070 0
vsize: 32532
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 8309 0 0 0 63995 25 0 0 25 0 1 0 895602094 33312768 7247 4294967295 134512640 134716908 3221224576 3221221072 1074885889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8133 7247 1111 63 0 8070 0
vsize: 32532
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 8309 0 0 0 64995 25 0 0 25 0 1 0 895602094 33312768 7247 4294967295 134512640 134716908 3221224576 3221220352 1074786862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8133 7247 1111 63 0 8070 0
vsize: 32532
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 8591 0 0 0 65994 26 0 0 25 0 1 0 895602094 34848768 7529 4294967295 134512640 134716908 3221224576 3221221312 1075115406 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8508 7529 1111 63 0 8445 0
vsize: 34032
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 8687 0 0 0 66995 26 0 0 25 0 1 0 895602094 34848768 7625 4294967295 134512640 134716908 3221224576 3221220440 1074789286 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8508 7625 1111 63 0 8445 0
vsize: 34032
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 8687 0 0 0 67995 26 0 0 25 0 1 0 895602094 34848768 7625 4294967295 134512640 134716908 3221224576 3221220856 1075112619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8508 7625 1111 63 0 8445 0
vsize: 34032
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 8687 0 0 0 68995 26 0 0 25 0 1 0 895602094 34848768 7625 4294967295 134512640 134716908 3221224576 3221220440 1074789206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8508 7625 1111 63 0 8445 0
vsize: 34032
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 8687 0 0 0 69996 26 0 0 25 0 1 0 895602094 34848768 7625 4294967295 134512640 134716908 3221224576 3221221024 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8508 7625 1111 63 0 8445 0
vsize: 34032
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 8687 0 0 0 70996 26 0 0 25 0 1 0 895602094 34848768 7625 4294967295 134512640 134716908 3221224576 3221220720 1075088560 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8508 7625 1111 63 0 8445 0
vsize: 34032
[startup+720.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 9098 0 0 0 71995 28 0 0 25 0 1 0 895602094 36687872 8036 4294967295 134512640 134716908 3221224576 3221220448 1075965307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8036 1111 63 0 8894 0
vsize: 35828
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 9128 0 0 0 72995 28 0 0 25 0 1 0 895602094 36687872 8066 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8957 8066 1111 63 0 8894 0
vsize: 35828
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 9643 0 0 0 73995 29 0 0 25 0 1 0 895602094 38895616 8581 4294967295 134512640 134716908 3221224576 3221221072 1074885975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9496 8581 1111 63 0 9433 0
vsize: 37984
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 9663 0 0 0 74995 29 0 0 25 0 1 0 895602094 38895616 8601 4294967295 134512640 134716908 3221224576 3221220444 1074788153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9496 8601 1111 63 0 9433 0
vsize: 37984
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 9663 0 0 0 75995 29 0 0 25 0 1 0 895602094 38895616 8601 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9496 8601 1111 63 0 9433 0
vsize: 37984
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 9665 0 0 0 76996 29 0 0 25 0 1 0 895602094 38895616 8603 4294967295 134512640 134716908 3221224576 3221220812 1076111473 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9496 8603 1111 63 0 9433 0
vsize: 37984
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 9666 0 0 0 77996 29 0 0 25 0 1 0 895602094 38895616 8604 4294967295 134512640 134716908 3221224576 3221220440 1074789193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9496 8604 1111 63 0 9433 0
vsize: 37984
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 9666 0 0 0 78996 29 0 0 25 0 1 0 895602094 38895616 8604 4294967295 134512640 134716908 3221224576 3221221072 1074886224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9496 8604 1111 63 0 9433 0
vsize: 37984
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 9666 0 0 0 79997 29 0 0 25 0 1 0 895602094 38895616 8604 4294967295 134512640 134716908 3221224576 3221220544 1074881420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9496 8604 1111 63 0 9433 0
vsize: 37984
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 10213 0 0 0 80995 30 0 0 25 0 1 0 895602094 41537536 9151 4294967295 134512640 134716908 3221224576 3221220544 1074881420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10141 9151 1111 63 0 10078 0
vsize: 40564
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 10235 0 0 0 81996 30 0 0 25 0 1 0 895602094 41537536 9173 4294967295 134512640 134716908 3221224576 3221220440 1074789281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10141 9173 1111 63 0 10078 0
vsize: 40564
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 10266 0 0 0 82996 30 0 0 25 0 1 0 895602094 41537536 9204 4294967295 134512640 134716908 3221224576 3221220364 1074788921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10141 9204 1111 63 0 10078 0
vsize: 40564
[startup+840.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 10297 0 0 0 83996 31 0 0 25 0 1 0 895602094 41537536 9235 4294967295 134512640 134716908 3221224576 3221220448 1075965311 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10141 9235 1111 63 0 10078 0
vsize: 40564
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 10297 0 0 0 84997 31 0 0 25 0 1 0 895602094 41537536 9235 4294967295 134512640 134716908 3221224576 3221220692 1075117518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10141 9235 1111 63 0 10078 0
vsize: 40564
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 10301 0 0 0 85997 31 0 0 25 0 1 0 895602094 41537536 9239 4294967295 134512640 134716908 3221224576 3221220708 1075115046 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10141 9239 1111 63 0 10078 0
vsize: 40564
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 10301 0 0 0 86997 31 0 0 25 0 1 0 895602094 41537536 9239 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10141 9239 1111 63 0 10078 0
vsize: 40564
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 10305 0 0 0 87998 31 0 0 25 0 1 0 895602094 41537536 9243 4294967295 134512640 134716908 3221224576 3221220352 1074786854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10141 9243 1111 63 0 10078 0
vsize: 40564
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 10307 0 0 0 88998 31 0 0 25 0 1 0 895602094 41537536 9245 4294967295 134512640 134716908 3221224576 3221220856 1075112606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10141 9245 1111 63 0 10078 0
vsize: 40564
[startup+900.034 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 10307 0 0 0 89998 31 0 0 25 0 1 0 895602094 41537536 9245 4294967295 134512640 134716908 3221224576 3221220344 1074787081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10141 9245 1111 63 0 10078 0
vsize: 40564
[startup+910.035 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 10314 0 0 0 90999 31 0 0 25 0 1 0 895602094 41537536 9252 4294967295 134512640 134716908 3221224576 3221221072 1074885840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10141 9252 1111 63 0 10078 0
vsize: 40564
[startup+920.036 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 10800 0 0 0 91998 32 0 0 25 0 1 0 895602094 44716032 9738 4294967295 134512640 134716908 3221224576 3221221524 1074846169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10917 9738 1111 63 0 10854 0
vsize: 43668
[startup+930.036 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 11699 0 0 0 92995 35 0 0 25 0 1 0 895602094 48533504 10637 4294967295 134512640 134716908 3221224576 3221220376 1074787018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11849 10637 1111 63 0 11786 0
vsize: 47396
[startup+940.036 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 11774 0 0 0 93995 36 0 0 25 0 1 0 895602094 48533504 10712 4294967295 134512640 134716908 3221224576 3221220492 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11849 10712 1111 63 0 11786 0
vsize: 47396
[startup+950.036 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 11811 0 0 0 94995 36 0 0 25 0 1 0 895602094 48533504 10749 4294967295 134512640 134716908 3221224576 3221220376 1074787045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11849 10749 1111 63 0 11786 0
vsize: 47396
[startup+960.037 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 11811 0 0 0 95996 36 0 0 25 0 1 0 895602094 48533504 10749 4294967295 134512640 134716908 3221224576 3221221072 1074885975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11849 10749 1111 63 0 11786 0
vsize: 47396
[startup+970.038 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 11811 0 0 0 96996 36 0 0 25 0 1 0 895602094 48533504 10749 4294967295 134512640 134716908 3221224576 3221220440 1074789228 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11849 10749 1111 63 0 11786 0
vsize: 47396
[startup+980.038 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 11811 0 0 0 97996 36 0 0 25 0 1 0 895602094 48533504 10749 4294967295 134512640 134716908 3221224576 3221220344 1074787081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11849 10749 1111 63 0 11786 0
vsize: 47396
[startup+990.039 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 11820 0 0 0 98996 36 0 0 25 0 1 0 895602094 48533504 10758 4294967295 134512640 134716908 3221224576 3221220344 1074787047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11849 10758 1111 63 0 11786 0
vsize: 47396
[startup+1000.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 11825 0 0 0 99997 36 0 0 25 0 1 0 895602094 48533504 10763 4294967295 134512640 134716908 3221224576 3221220344 1074787081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11849 10763 1111 63 0 11786 0
vsize: 47396
[startup+1010.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 17943
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 11832 0 0 0 100997 36 0 0 25 0 1 0 895602094 48533504 10770 4294967295 134512640 134716908 3221224576 3221220400 1074893220 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11849 10770 1111 63 0 11786 0
vsize: 47396
[startup+1020.04 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 17996
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 11832 0 0 0 101997 36 0 0 25 0 1 0 895602094 48533504 10770 4294967295 134512640 134716908 3221224576 3221220312 1074789281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11849 10770 1111 63 0 11786 0
vsize: 47396
[startup+1030.04 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 17996
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 11835 0 0 0 102998 36 0 0 25 0 1 0 895602094 48533504 10773 4294967295 134512640 134716908 3221224576 3221220344 1074787033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11849 10773 1111 63 0 11786 0
vsize: 47396
[startup+1040.04 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 17996
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 11835 0 0 0 103998 36 0 0 25 0 1 0 895602094 48533504 10773 4294967295 134512640 134716908 3221224576 3221220440 1074789239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11849 10773 1111 63 0 11786 0
vsize: 47396
[startup+1050.04 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 17996
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 11892 0 0 0 104998 37 0 0 25 0 1 0 895602094 48533504 10830 4294967295 134512640 134716908 3221224576 3221220440 1074789239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11849 10830 1111 63 0 11786 0
vsize: 47396
[startup+1060.04 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 17996
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 11903 0 0 0 105998 37 0 0 25 0 1 0 895602094 48533504 10841 4294967295 134512640 134716908 3221224576 3221220444 1074788143 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11849 10841 1111 63 0 11786 0
vsize: 47396
[startup+1070.04 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 17996
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 11903 0 0 0 106999 37 0 0 25 0 1 0 895602094 48533504 10841 4294967295 134512640 134716908 3221224576 3221220996 1074867059 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11849 10841 1111 63 0 11786 0
vsize: 47396
[startup+1080.04 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 17996
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 12216 0 0 0 107998 38 0 0 25 0 1 0 895602094 53116928 11154 4294967295 134512640 134716908 3221224576 3221221072 1074885952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12968 11156 1111 63 0 12905 0
vsize: 51872
[startup+1090.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 17998
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 12805 0 0 0 108997 39 0 0 25 0 1 0 895602094 53116928 11743 4294967295 134512640 134716908 3221224576 3221220364 1074788921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12968 11743 1111 63 0 12905 0
vsize: 51872
[startup+1100.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 17998
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 12832 0 0 0 109997 39 0 0 25 0 1 0 895602094 53116928 11770 4294967295 134512640 134716908 3221224576 3221220364 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12968 11770 1111 63 0 12905 0
vsize: 51872
[startup+1110.04 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 17998
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 12862 0 0 0 110998 39 0 0 25 0 1 0 895602094 53116928 11800 4294967295 134512640 134716908 3221224576 3221220708 1075115003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12968 11800 1111 63 0 12905 0
vsize: 51872
[startup+1120.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 17998
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 12920 0 0 0 111998 39 0 0 25 0 1 0 895602094 53116928 11858 4294967295 134512640 134716908 3221224576 3221220336 1074868858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12968 11858 1111 63 0 12905 0
vsize: 51872
[startup+1130.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 17998
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 12920 0 0 0 112998 39 0 0 25 0 1 0 895602094 53116928 11858 4294967295 134512640 134716908 3221224576 3221220376 1074787081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12968 11858 1111 63 0 12905 0
vsize: 51872
[startup+1140.04 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 17998
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 12920 0 0 0 113999 39 0 0 25 0 1 0 895602094 53116928 11858 4294967295 134512640 134716908 3221224576 3221220344 1074787081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12968 11858 1111 63 0 12905 0
vsize: 51872
[startup+1150.05 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 17998
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 12920 0 0 0 114999 39 0 0 25 0 1 0 895602094 53116928 11858 4294967295 134512640 134716908 3221224576 3221220364 1074788953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12968 11858 1111 63 0 12905 0
vsize: 51872
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17998
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 12920 0 0 0 115999 39 0 0 25 0 1 0 895602094 53116928 11858 4294967295 134512640 134716908 3221224576 3221221008 1075397193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12968 11858 1111 63 0 12905 0
vsize: 51872
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17998
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 12920 0 0 0 117000 39 0 0 25 0 1 0 895602094 53116928 11858 4294967295 134512640 134716908 3221224576 3221220312 1074789196 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12968 11858 1111 63 0 12905 0
vsize: 51872
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17998
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 12920 0 0 0 118000 39 0 0 25 0 1 0 895602094 53116928 11858 4294967295 134512640 134716908 3221224576 3221220708 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12968 11858 1111 63 0 12905 0
vsize: 51872
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17998
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 12920 0 0 0 119001 39 0 0 25 0 1 0 895602094 53116928 11858 4294967295 134512640 134716908 3221224576 3221220692 1075117394 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12968 11858 1111 63 0 12905 0
vsize: 51872
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 17998
Raw data (stat): 17943 (bsolo_lpr-v2) R 17942 25568 25567 0 -1 0 12920 0 0 0 120001 39 0 0 25 0 1 0 895602094 53116928 11858 4294967295 134512640 134716908 3221224576 3221220440 1074789239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12968 11858 1111 63 0 12905 0
vsize: 51872
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 17998
Raw data (stat): 17943 (bsolo_lpr-v2) Z 17942 25568 25567 0 -1 1036 12920 0 0 0 120001 42 0 0 25 0 1 0 895602094 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.07
CPU time (s): 1200.44
CPU user time (s): 1200.01
CPU system time (s): 0.420936
CPU usage (%): 100.03
Max. virtual memory (Kb): 51872
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####