PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-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	-7060
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.05
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 40350

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        906972 kB
Buffers:          8376 kB
Cached:          97192 kB
SwapCached:        648 kB
Active:          29596 kB
Inactive:        78004 kB
HighTotal:      131008 kB
HighFree:        37716 kB
LowTotal:       903652 kB
LowFree:        869256 kB
SwapTotal:     2097136 kB
SwapFree:      2095440 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5032 kB
Slab:            14388 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 08:01:35 (client local time) WITH STATUS 0 IN 1200.41 SECONDS
stats: 28414 7 1200.41 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 357.71 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 23450
Raw data (stat): 23450 (runsolver) R 23449 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899905227 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 68265 0 0 0 854 142 0 0 25 0 1 0 899905227 292847616 68185 4294967295 134512640 134716908 3221224576 3221222860 1077399562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71496 68185 1111 63 0 71433 0
vsize: 285984
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 74103 0 0 0 1841 156 0 0 25 0 1 0 899905227 316710912 74023 4294967295 134512640 134716908 3221224576 3221222880 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77322 74025 1111 63 0 77259 0
vsize: 309288
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 109583 0 0 0 2756 239 0 0 25 0 1 0 899905227 452308992 109489 4294967295 134512640 134716908 3221224576 3221223056 134538956 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.0013 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 110801 0 0 0 3754 242 0 0 25 0 1 0 899905227 457146368 110702 4294967295 134512640 134716908 3221224576 3221223304 134625602 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111608 110702 1111 63 0 111545 0
vsize: 446432
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 117801 0 0 0 4738 258 0 0 25 0 1 0 899905227 482402304 116861 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117774 116861 1111 63 0 117711 0
vsize: 471096
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 117801 0 0 0 5738 258 0 0 25 0 1 0 899905227 482353152 116856 4294967295 134512640 134716908 3221224576 3221222940 134539259 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117762 116856 1111 63 0 117699 0
vsize: 471048
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 119073 0 0 0 6735 261 0 0 25 0 1 0 899905227 482353152 116856 4294967295 134512640 134716908 3221224576 3221223104 134528410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117762 116856 1111 63 0 117699 0
vsize: 471048
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 119073 0 0 0 7736 261 0 0 25 0 1 0 899905227 482353152 116856 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117762 116856 1111 63 0 117699 0
vsize: 471048
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 141988 0 0 0 8681 316 0 0 25 0 1 0 899905227 499183616 120933 4294967295 134512640 134716908 3221224576 3221222968 1077377504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121871 120933 1111 63 0 121808 0
vsize: 487484
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 150370 0 0 0 9660 337 0 0 25 0 1 0 899905227 497975296 120670 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 154856 0 0 0 10649 348 0 0 25 0 1 0 899905227 497975296 120670 4294967295 134512640 134716908 3221224576 3221222940 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 154856 0 0 0 11649 348 0 0 25 0 1 0 899905227 497975296 120670 4294967295 134512640 134716908 3221224576 3221222940 134539223 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 154856 0 0 0 12650 348 0 0 25 0 1 0 899905227 497975296 120670 4294967295 134512640 134716908 3221224576 3221223056 134542344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 154856 0 0 0 13650 348 0 0 25 0 1 0 899905227 497975296 120670 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 154856 0 0 0 14650 348 0 0 25 0 1 0 899905227 497975296 120670 4294967295 134512640 134716908 3221224576 3221223184 134529110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 154856 0 0 0 15650 348 0 0 25 0 1 0 899905227 497975296 120670 4294967295 134512640 134716908 3221224576 3221223040 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 154960 0 0 0 16650 348 0 0 25 0 1 0 899905227 497975296 120670 4294967295 134512640 134716908 3221224576 3221223184 134529381 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121576 120670 1111 63 0 121513 0
vsize: 486304
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 165991 0 0 0 17626 373 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 165991 0 0 0 18626 373 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221223200 134594957 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 167730 0 0 0 19621 378 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221222960 134542368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 167730 0 0 0 20621 378 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170466 0 0 0 21615 384 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221222940 134539298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170466 0 0 0 22615 384 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170466 0 0 0 23616 384 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170466 0 0 0 24616 384 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170466 0 0 0 25616 384 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170466 0 0 0 26616 384 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170466 0 0 0 27616 384 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170466 0 0 0 28616 384 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170466 0 0 0 29617 384 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170466 0 0 0 30617 384 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221223248 134627257 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170466 0 0 0 31617 384 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170466 0 0 0 32617 384 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170466 0 0 0 33617 384 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170466 0 0 0 34618 384 0 0 25 0 1 0 899905227 538615808 130592 4294967295 134512640 134716908 3221224576 3221223228 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130592 1111 63 0 131435 0
vsize: 525992
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170490 0 0 0 35618 384 0 0 25 0 1 0 899905227 538615808 130616 4294967295 134512640 134716908 3221224576 3221222864 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170490 0 0 0 36616 385 0 0 25 0 1 0 899905227 538615808 130616 4294967295 134512640 134716908 3221224576 3221222744 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170490 0 0 0 37616 385 0 0 25 0 1 0 899905227 538615808 130616 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170490 0 0 0 38616 385 0 0 25 0 1 0 899905227 538615808 130616 4294967295 134512640 134716908 3221224576 3221222784 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170490 0 0 0 39616 385 0 0 25 0 1 0 899905227 538615808 130616 4294967295 134512640 134716908 3221224576 3221222600 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170490 0 0 0 40617 385 0 0 25 0 1 0 899905227 538615808 130616 4294967295 134512640 134716908 3221224576 3221222864 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170490 0 0 0 41617 385 0 0 25 0 1 0 899905227 538615808 130616 4294967295 134512640 134716908 3221224576 3221222504 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170490 0 0 0 42617 385 0 0 25 0 1 0 899905227 538615808 130616 4294967295 134512640 134716908 3221224576 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170490 0 0 0 43617 385 0 0 25 0 1 0 899905227 538615808 130616 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170490 0 0 0 44617 385 0 0 25 0 1 0 899905227 538615808 130616 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170490 0 0 0 45618 385 0 0 25 0 1 0 899905227 538615808 130616 4294967295 134512640 134716908 3221224576 3221222640 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130616 1111 63 0 131435 0
vsize: 525992
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 46618 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221136 1075967958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 47618 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220752 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 48618 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221520 1075971294 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 49618 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221632 1075969851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 50618 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220440 1074789795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 51618 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 52619 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220752 1074960847 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 53619 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221520 1075971413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 54619 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221312 1075115283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 55619 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 56619 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 57620 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220640 1074794531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 58620 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 59620 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221248 1076083724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 60620 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220752 1074960896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 61620 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116716 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 62621 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221552 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 63621 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221312 1075115323 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 64621 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220348 1074787816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 65621 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116725 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 66621 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116807 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 67621 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220476 1074860977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 68622 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116556 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 69622 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220944 1075602720 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 70622 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221072 1074887025 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 71622 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 72622 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 73623 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220816 1075113508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 74623 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 75623 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221576 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 76622 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221520 1075971404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 77623 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221292 1074788921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 78623 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221248 1076084369 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 79623 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220348 1074787561 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 80623 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 81623 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220348 1074787576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 82624 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221248 1076084335 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+840.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 83624 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221248 1076083788 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 84624 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220640 1074794472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 85624 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220444 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 86624 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 87625 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221072 1074884330 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 88625 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220800 1075859537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 89625 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 90625 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221220700 1075116478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 91625 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221424 1074620107 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+930.026 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170597 0 0 0 92625 385 0 0 25 0 1 0 899905227 538615808 130723 4294967295 134512640 134716908 3221224576 3221221136 1075967916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130723 1111 63 0 131435 0
vsize: 525992
[startup+940.027 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170619 0 0 0 93626 385 0 0 25 0 1 0 899905227 538615808 130745 4294967295 134512640 134716908 3221224576 3221222480 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130745 1111 63 0 131435 0
vsize: 525992
[startup+950.028 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170619 0 0 0 94626 385 0 0 25 0 1 0 899905227 538615808 130745 4294967295 134512640 134716908 3221224576 3221221012 1075863647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130745 1111 63 0 131435 0
vsize: 525992
[startup+960.028 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170619 0 0 0 95626 385 0 0 25 0 1 0 899905227 538615808 130745 4294967295 134512640 134716908 3221224576 3221220628 1075964386 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130745 1111 63 0 131435 0
vsize: 525992
[startup+970.028 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170619 0 0 0 96626 385 0 0 25 0 1 0 899905227 538615808 130745 4294967295 134512640 134716908 3221224576 3221220700 1075116498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130745 1111 63 0 131435 0
vsize: 525992
[startup+980.028 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170619 0 0 0 97626 385 0 0 25 0 1 0 899905227 538615808 130745 4294967295 134512640 134716908 3221224576 3221221512 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130745 1111 63 0 131435 0
vsize: 525992
[startup+990.029 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170619 0 0 0 98627 385 0 0 25 0 1 0 899905227 538615808 130745 4294967295 134512640 134716908 3221224576 3221221384 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130745 1111 63 0 131435 0
vsize: 525992
[startup+1000.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 99627 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1010.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 100627 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1020.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 101627 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220444 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1030.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 102627 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1040.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 103627 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1050.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 104628 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 105628 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220688 1074815265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 106628 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 107628 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 108628 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116719 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 109629 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220752 1074961490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 23450
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 110629 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220440 1074789826 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1120.04 s]
Raw data (loadavg): 1.15 1.02 0.93 2/54 23503
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 111629 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1130.04 s]
Raw data (loadavg): 1.13 1.02 0.93 2/54 23503
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 112629 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220640 1074794565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1140.04 s]
Raw data (loadavg): 1.11 1.02 0.93 2/54 23503
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 113629 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116530 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1150.04 s]
Raw data (loadavg): 1.09 1.02 0.93 2/54 23503
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 114630 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116741 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1160.04 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 23503
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 115630 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220752 1074961275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1170.04 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 23503
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 116630 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220588 1074788964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1180.04 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 23505
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 117630 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220752 1074961188 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1190.04 s]
Raw data (loadavg): 1.11 1.03 0.93 2/54 23505
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 118630 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220700 1075116866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
[startup+1200.04 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 23505
Raw data (stat): 23450 (bsolo_lpr-v2) R 23449 20224 20223 0 -1 0 170620 0 0 0 119631 385 0 0 25 0 1 0 899905227 538615808 130746 4294967295 134512640 134716908 3221224576 3221220444 1074787507 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131498 130746 1111 63 0 131435 0
vsize: 525992
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.28 s]
Raw data (loadavg): 1.10 1.03 0.93 1/54 23505
Raw data (stat): 23450 (bsolo_lpr-v2) Z 23449 20224 20223 0 -1 1036 170620 0 0 0 119631 409 0 0 25 0 1 0 899905227 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.28
CPU time (s): 1200.41
CPU user time (s): 1196.31
CPU system time (s): 4.09838
CPU usage (%): 100.011
Max. virtual memory (Kb): 525992
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####