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/MIPLIB/miplib2003/normalized-mps-v2-20-10-mzzv42z.opb
MD5SUM	bc275113592d0f0914bb7f3c346a4153
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7100
Optimality of the best value was proved	NO
Number of terms in the objective function	714
Biggest coefficient in the objective function	559
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	66891
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	1117
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	66891
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	12596
Total number of constraints	22177
Number of constraints which are clauses	4
Number of constraints which are cardinality constraints (but not clauses)	17162
Number of constraints which are nor clauses,nor cardinality constraints	5011
Minimum length of a constraint	1
Maximum length of a constraint	80
Trace number 39971

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 23:35:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28030 boxname=wulflinc6 idbench=986 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  bc275113592d0f0914bb7f3c346a4153  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-mzzv42z.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-mzzv42z.opb
IDLAUNCH: 28030
/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:        842356 kB
Buffers:         18464 kB
Cached:         151824 kB
SwapCached:       1004 kB
Active:          29644 kB
Inactive:       142712 kB
HighTotal:      131008 kB
HighFree:        10304 kB
LowTotal:       903652 kB
LowFree:        832052 kB
SwapTotal:     2097136 kB
SwapFree:      2095172 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5004 kB
Slab:            14308 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 23:55:28 (client local time) WITH STATUS 0 IN 1200.6 SECONDS
stats: 28030 7 1200.6 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 12596 variables and 15189 constraints.
c After prepocess the problem consists of 11943 variables and 14113 constraints.
c preprocess terminated 358.514 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.93 0.97 0.91 2/54 21606
Raw data (stat): 21606 (runsolver) R 21605 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896995754 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+9.99966 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 68244 0 0 0 856 141 0 0 25 0 1 0 896995754 292704256 68164 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71461 68164 1111 63 0 71398 0
vsize: 285844
[startup+20.0002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 73852 0 0 0 1843 153 0 0 25 0 1 0 896995754 315617280 73772 4294967295 134512640 134716908 3221224576 3221223176 134523849 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77055 73772 1111 63 0 76992 0
vsize: 308220
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 109583 0 0 0 2763 233 0 0 25 0 1 0 896995754 452308992 109489 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110427 109489 1111 63 0 110364 0
vsize: 441708
[startup+40 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 110801 0 0 0 3760 236 0 0 25 0 1 0 896995754 457146368 110702 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111608 110702 1111 63 0 111545 0
vsize: 446432
[startup+50.0005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 117801 0 0 0 4745 252 0 0 25 0 1 0 896995754 482402304 116861 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117774 116861 1111 63 0 117711 0
vsize: 471096
[startup+60.0003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 117801 0 0 0 5745 252 0 0 25 0 1 0 896995754 482353152 116856 4294967295 134512640 134716908 3221224576 3221222960 134542334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117762 116856 1111 63 0 117699 0
vsize: 471048
[startup+70.0005 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 119073 0 0 0 6742 255 0 0 25 0 1 0 896995754 482353152 116856 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117762 116856 1111 63 0 117699 0
vsize: 471048
[startup+80.0009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 119073 0 0 0 7743 255 0 0 25 0 1 0 896995754 482353152 116856 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117762 116856 1111 63 0 117699 0
vsize: 471048
[startup+90.0014 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 141725 0 0 0 8688 310 0 0 25 0 1 0 896995754 497975296 120670 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 150370 0 0 0 9668 331 0 0 25 0 1 0 896995754 499789824 121106 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122019 121106 1111 63 0 121956 0
vsize: 488076
[startup+110.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 154856 0 0 0 10657 342 0 0 25 0 1 0 896995754 497975296 120670 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 154856 0 0 0 11658 342 0 0 25 0 1 0 896995754 497975296 120670 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 154856 0 0 0 12658 342 0 0 25 0 1 0 896995754 497975296 120670 4294967295 134512640 134716908 3221224576 3221223084 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 154856 0 0 0 13658 342 0 0 25 0 1 0 896995754 497975296 120670 4294967295 134512640 134716908 3221224576 3221223320 134630821 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 154856 0 0 0 14659 342 0 0 25 0 1 0 896995754 497975296 120670 4294967295 134512640 134716908 3221224576 3221222984 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 154856 0 0 0 15659 342 0 0 25 0 1 0 896995754 497975296 120670 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 154960 0 0 0 16659 342 0 0 25 0 1 0 896995754 497975296 120670 4294967295 134512640 134716908 3221224576 3221223040 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+179.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 165991 0 0 0 17634 367 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+189.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 165991 0 0 0 18634 367 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221223192 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+199.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 167730 0 0 0 19630 371 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+209.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 167730 0 0 0 20631 371 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+219.998 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170466 0 0 0 21624 378 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221222940 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+229.997 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170466 0 0 0 22624 378 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221223328 134630811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+239.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170466 0 0 0 23625 378 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221222956 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+249.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170466 0 0 0 24625 378 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+259.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170466 0 0 0 25625 378 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+269.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170466 0 0 0 26625 378 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+279.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170466 0 0 0 27626 378 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221223228 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+289.996 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170466 0 0 0 28626 378 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+299.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170466 0 0 0 29626 378 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+309.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170466 0 0 0 30627 378 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221223248 134627268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+319.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170466 0 0 0 31627 378 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+329.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170466 0 0 0 32627 378 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+339.995 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170466 0 0 0 33627 378 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+349.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170466 0 0 0 34628 378 0 0 25 0 1 0 896995754 538615808 130592 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+359.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170490 0 0 0 35628 378 0 0 25 0 1 0 896995754 538615808 130616 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+369.994 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170490 0 0 0 36628 378 0 0 25 0 1 0 896995754 538615808 130616 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+379.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170490 0 0 0 37628 378 0 0 25 0 1 0 896995754 538615808 130616 4294967295 134512640 134716908 3221224576 3221222576 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+389.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170490 0 0 0 38628 378 0 0 25 0 1 0 896995754 538615808 130616 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+399.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170490 0 0 0 39629 378 0 0 25 0 1 0 896995754 538615808 130616 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+409.993 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170490 0 0 0 40629 378 0 0 25 0 1 0 896995754 538615808 130616 4294967295 134512640 134716908 3221224576 3221222624 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+419.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170490 0 0 0 41629 379 0 0 25 0 1 0 896995754 538615808 130616 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+429.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170490 0 0 0 42630 379 0 0 25 0 1 0 896995754 538615808 130616 4294967295 134512640 134716908 3221224576 3221222456 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+439.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170490 0 0 0 43630 379 0 0 25 0 1 0 896995754 538615808 130616 4294967295 134512640 134716908 3221224576 3221222816 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+449.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170490 0 0 0 44630 379 0 0 25 0 1 0 896995754 538615808 130616 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+459.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170490 0 0 0 45630 379 0 0 25 0 1 0 896995754 538615808 130616 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+469.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 46631 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221221552 1074867347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+479.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 47631 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220688 1074815488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+489.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 48631 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116704 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+499.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 49632 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+509.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 50632 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220640 1075091577 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+519.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 51632 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221221012 1075863638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+529.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 52632 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+539.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 53633 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+549.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 54633 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+559.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 55633 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+569.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 56634 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220752 1074960865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+579.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 57634 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220640 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+589.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 58634 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220864 1074972557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+599.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 59634 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221221424 1074620369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+609.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 60635 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221221552 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+619.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 61635 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+629.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 62635 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+639.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 63636 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220536 1074860223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+649.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 64636 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221221524 1074846163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+659.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 65636 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221221504 1074810483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+669.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 66637 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221221424 1074620113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+679.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 67637 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+689.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 68637 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221221248 1076084141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+699.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 69638 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220552 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+709.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 70638 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221221472 1075110519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+719.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 71638 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+729.986 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 72639 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221221400 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+739.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 73639 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220348 1074787823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+749.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 74639 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220752 1074960847 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+759.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 75640 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+769.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 76640 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221221136 1075967941 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+779.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 77640 379 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+789.987 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 78640 380 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+799.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 79640 380 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+809.988 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 80640 380 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+819.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 81641 380 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+829.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 82641 380 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220348 1074787708 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+839.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 83641 380 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221221552 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+849.989 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 84642 380 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220628 1075964386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+859.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 85642 380 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221221400 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+869.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 86642 380 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221221484 1074621030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+879.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 87643 380 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+889.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 88643 380 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220752 1074960912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+899.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 89643 380 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220752 1074960859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+909.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 90644 380 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+919.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 91644 380 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116862 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+929.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170597 0 0 0 92644 380 0 0 25 0 1 0 896995754 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+939.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170607 0 0 0 93644 380 0 0 25 0 1 0 896995754 538615808 130733 4294967295 134512640 134716908 3221224576 3221221020 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130733 1111 63 0 131435 0
vsize: 525992
[startup+949.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170619 0 0 0 94645 380 0 0 25 0 1 0 896995754 538615808 130745 4294967295 134512640 134716908 3221224576 3221220700 1075116532 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130745 1111 63 0 131435 0
vsize: 525992
[startup+959.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170619 0 0 0 95645 380 0 0 25 0 1 0 896995754 538615808 130745 4294967295 134512640 134716908 3221224576 3221220700 1075116807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130745 1111 63 0 131435 0
vsize: 525992
[startup+969.991 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170619 0 0 0 96645 381 0 0 25 0 1 0 896995754 538615808 130745 4294967295 134512640 134716908 3221224576 3221220816 1075113502 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130745 1111 63 0 131435 0
vsize: 525992
[startup+979.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170619 0 0 0 97646 381 0 0 25 0 1 0 896995754 538615808 130745 4294967295 134512640 134716908 3221224576 3221220752 1074960795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130745 1111 63 0 131435 0
vsize: 525992
[startup+989.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170619 0 0 0 98646 381 0 0 25 0 1 0 896995754 538615808 130745 4294967295 134512640 134716908 3221224576 3221221512 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130745 1111 63 0 131435 0
vsize: 525992
[startup+999.992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170619 0 0 0 99646 381 0 0 25 0 1 0 896995754 538615808 130745 4294967295 134512640 134716908 3221224576 3221221760 1074140375 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130745 1111 63 0 131435 0
vsize: 525992
[startup+1009.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 100647 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116464 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1019.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 101647 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1029.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 102647 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1039.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 103648 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1049.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 104648 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221221024 1075088564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1059.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 105648 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1069.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 106649 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1079.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 107649 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221220752 1074961372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1089.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 108649 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221220624 1074950925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1099.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 109650 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221220688 1074815284 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1109.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 110650 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221221600 1074837180 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1119.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 111650 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221220348 1074787514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1129.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 112651 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221221552 1074867331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1139.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 113651 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1149.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 114651 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221220752 1074961149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1159.99 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 115652 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 116652 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221221400 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 117653 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 118653 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) R 21605 25568 25567 0 -1 0 170620 0 0 0 119654 381 0 0 25 0 1 0 896995754 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.25 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 21606
Raw data (stat): 21606 (bsolo_lpr-v2) Z 21605 25568 25567 0 -1 1036 170620 0 0 0 119654 405 0 0 25 0 1 0 896995754 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.25
CPU time (s): 1200.6
CPU user time (s): 1196.55
CPU system time (s): 4.05338
CPU usage (%): 100.029
Max. virtual memory (Kb): 525992
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####