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/miplib/normalized-mps-v2-13-7-air06.opb
MD5SUM	f85d0079133f298b06c25764b03ff228
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	50233
Optimality of the best value was proved	NO
Number of terms in the objective function	8627
Biggest coefficient in the objective function	1859
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	4587852
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	1859
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	4587852
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.81
Number of variables	8627
Total number of constraints	9452
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9452
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	461
Trace number 40267

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 05:24:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28327 boxname=wulflinc1 idbench=1283 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  f85d0079133f298b06c25764b03ff228  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-air06.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-air06.opb
IDLAUNCH: 28327
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        623148 kB
Buffers:         27372 kB
Cached:         358792 kB
SwapCached:       1164 kB
Active:          35868 kB
Inactive:       352536 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        622896 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5256 kB
Slab:            17144 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 05:44:23 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 28327 7 1200.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 8627 variables and 1645 constraints.
c After prepocess the problem consists of 6833 variables and 1156 constraints.
c preprocess terminated 356.66 s
c Initial Lower Bound: 49617
c Lower Bound Elapsed time: 13.5845
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 55356 @ 447.906
c NEW SOLUTION FOUND: 54785 @ 448.032
c NEW SOLUTION FOUND: 54168 @ 448.38
c NEW SOLUTION FOUND: 53762 @ 451.606
c NEW SOLUTION FOUND: 53684 @ 456.139
c NEW SOLUTION FOUND: 53133 @ 460.928
c NEW SOLUTION FOUND: 52173 @ 475.202
c NEW SOLUTION FOUND: 52015 @ 511.55
c NEW SOLUTION FOUND: 51821 @ 516.729
c NEW SOLUTION FOUND: 51656 @ 550.897
c NEW SOLUTION FOUND: 51642 @ 558.821
c NEW SOLUTION FOUND: 51334 @ 566.066
c NEW SOLUTION FOUND: 50804 @ 777.478
c NEW SOLUTION FOUND: 50677 @ 830.501
c NEW SOLUTION FOUND: 50520 @ 888.361
c NEW SOLUTION FOUND: 50416 @ 928.463
c NEW SOLUTION FOUND: 50405 @ 949.956
c NEW SOLUTION FOUND: 50283 @ 1041.06
c NEW SOLUTION FOUND: 50233 @ 1085.09
#### 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.84 0.94 0.90 1/55 18803
Raw data (stat): 18803 (runsolver) R 18802 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 842233625 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.0005 s]
Raw data (loadavg): 0.87 0.94 0.90 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 38562 0 0 0 924 71 0 0 25 0 1 0 842233625 170938368 38482 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41733 38488 1111 63 0 41670 0
vsize: 166932
[startup+20.0003 s]
Raw data (loadavg): 0.89 0.94 0.90 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 53499 0 0 0 1898 97 0 0 25 0 1 0 842233625 232120320 53419 4294967295 134512640 134716908 3221224576 3221222864 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56670 53419 1111 63 0 56607 0
vsize: 226680
[startup+30.001 s]
Raw data (loadavg): 0.90 0.94 0.90 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 54448 0 0 0 2896 99 0 0 25 0 1 0 842233625 236040192 54368 4294967295 134512640 134716908 3221224576 3221221052 1077196327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57627 54368 1111 63 0 57564 0
vsize: 230508
[startup+40.0008 s]
Raw data (loadavg): 0.92 0.94 0.90 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 55348 0 0 0 3893 102 0 0 25 0 1 0 842233625 239689728 55268 4294967295 134512640 134716908 3221224576 3221221052 1077191361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58518 55268 1111 63 0 58455 0
vsize: 234072
[startup+50.001 s]
Raw data (loadavg): 0.93 0.94 0.90 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 58162 0 0 0 4887 108 0 0 25 0 1 0 842233625 241467392 58040 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58952 58040 1111 63 0 58889 0
vsize: 235808
[startup+60.0017 s]
Raw data (loadavg): 0.94 0.95 0.90 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 60676 0 0 0 5881 114 0 0 25 0 1 0 842233625 251772928 60554 4294967295 134512640 134716908 3221224576 3221223056 134539374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61468 60554 1111 63 0 61405 0
vsize: 245872
[startup+70.0021 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 62982 0 0 0 6875 120 0 0 25 0 1 0 842233625 261120000 62860 4294967295 134512640 134716908 3221224576 3221223088 134543740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63750 62860 1111 63 0 63687 0
vsize: 255000
[startup+80.0029 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 65305 0 0 0 7870 125 0 0 25 0 1 0 842233625 270729216 65183 4294967295 134512640 134716908 3221224576 3221223008 134543700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66096 65183 1111 63 0 66033 0
vsize: 264384
[startup+90.0027 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 67562 0 0 0 8866 130 0 0 25 0 1 0 842233625 279941120 67440 4294967295 134512640 134716908 3221224576 3221223368 134617134 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68345 67440 1111 63 0 68282 0
vsize: 273380
[startup+100.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 69547 0 0 0 9863 133 0 0 25 0 1 0 842233625 288083968 69425 4294967295 134512640 134716908 3221224576 3221223056 134536643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70333 69425 1111 63 0 70270 0
vsize: 281332
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 71609 0 0 0 10859 137 0 0 25 0 1 0 842233625 296472576 71487 4294967295 134512640 134716908 3221224576 3221222992 134543686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72381 71487 1111 63 0 72318 0
vsize: 289524
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 73432 0 0 0 11855 141 0 0 25 0 1 0 842233625 303923200 73310 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74200 73310 1111 63 0 74137 0
vsize: 296800
[startup+130.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 75351 0 0 0 12852 145 0 0 25 0 1 0 842233625 311906304 75229 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76149 75229 1111 63 0 76086 0
vsize: 304596
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 76804 0 0 0 13849 148 0 0 25 0 1 0 842233625 317734912 76682 4294967295 134512640 134716908 3221224576 3221223192 134536904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77572 76682 1111 63 0 77509 0
vsize: 310288
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 78349 0 0 0 14846 151 0 0 25 0 1 0 842233625 324100096 78227 4294967295 134512640 134716908 3221224576 3221223192 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79126 78227 1111 63 0 79063 0
vsize: 316504
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 79849 0 0 0 15843 154 0 0 25 0 1 0 842233625 330334208 79727 4294967295 134512640 134716908 3221224576 3221223192 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80648 79727 1111 63 0 80585 0
vsize: 322592
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 81330 0 0 0 16840 157 0 0 25 0 1 0 842233625 336297984 81208 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82104 81208 1111 63 0 82041 0
vsize: 328416
[startup+180.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 82632 0 0 0 17838 160 0 0 25 0 1 0 842233625 341721088 82510 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83428 82510 1111 63 0 83365 0
vsize: 333712
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 83743 0 0 0 18836 162 0 0 25 0 1 0 842233625 346198016 83621 4294967295 134512640 134716908 3221224576 3221222956 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84521 83621 1111 63 0 84458 0
vsize: 338084
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 84852 0 0 0 19833 165 0 0 25 0 1 0 842233625 350810112 84730 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85647 84730 1111 63 0 85584 0
vsize: 342588
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 85768 0 0 0 20831 167 0 0 25 0 1 0 842233625 354467840 85646 4294967295 134512640 134716908 3221224576 3221222956 134539326 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86540 85646 1111 63 0 86477 0
vsize: 346160
[startup+220.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 86645 0 0 0 21830 168 0 0 25 0 1 0 842233625 358125568 86523 4294967295 134512640 134716908 3221224576 3221223056 134539376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87433 86523 1111 63 0 87370 0
vsize: 349732
[startup+230.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 87406 0 0 0 22829 169 0 0 25 0 1 0 842233625 361250816 87284 4294967295 134512640 134716908 3221224576 3221223216 134594970 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88196 87284 1111 63 0 88133 0
vsize: 352784
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 88111 0 0 0 23828 171 0 0 25 0 1 0 842233625 364101632 87989 4294967295 134512640 134716908 3221224576 3221222984 134543589 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88892 87989 1111 63 0 88829 0
vsize: 355568
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 88583 0 0 0 24827 172 0 0 25 0 1 0 842233625 365993984 88461 4294967295 134512640 134716908 3221224576 3221223376 134617258 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89354 88461 1111 63 0 89291 0
vsize: 357416
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 88998 0 0 0 25826 173 0 0 25 0 1 0 842233625 367751168 88876 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89783 88876 1111 63 0 89720 0
vsize: 359132
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 89305 0 0 0 26825 175 0 0 25 0 1 0 842233625 368971776 89183 4294967295 134512640 134716908 3221224576 3221223064 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90081 89183 1111 63 0 90018 0
vsize: 360324
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 89498 0 0 0 27825 175 0 0 25 0 1 0 842233625 369782784 89376 4294967295 134512640 134716908 3221224576 3221223232 134627282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90279 89376 1111 63 0 90216 0
vsize: 361116
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 89508 0 0 0 28825 175 0 0 25 0 1 0 842233625 369782784 89386 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90279 89386 1111 63 0 90216 0
vsize: 361116
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 89520 0 0 0 29825 175 0 0 25 0 1 0 842233625 369917952 89398 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90312 89398 1111 63 0 90249 0
vsize: 361248
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 89533 0 0 0 30825 175 0 0 25 0 1 0 842233625 369917952 89411 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90312 89411 1111 63 0 90249 0
vsize: 361248
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 89536 0 0 0 31825 175 0 0 25 0 1 0 842233625 369917952 89414 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90312 89414 1111 63 0 90249 0
vsize: 361248
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 89542 0 0 0 32825 175 0 0 25 0 1 0 842233625 369917952 89420 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90312 89420 1111 63 0 90249 0
vsize: 361248
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 89543 0 0 0 33826 175 0 0 25 0 1 0 842233625 369917952 89421 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90312 89421 1111 63 0 90249 0
vsize: 361248
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 89546 0 0 0 34826 175 0 0 25 0 1 0 842233625 370053120 89424 4294967295 134512640 134716908 3221224576 3221223248 134627247 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90345 89424 1111 63 0 90282 0
vsize: 361380
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 90355 0 0 0 35823 178 0 0 25 0 1 0 842233625 373374976 90233 4294967295 134512640 134716908 3221224576 3221222576 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91156 90233 1111 63 0 91093 0
vsize: 364624
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 92158 0 0 0 36818 182 0 0 25 0 1 0 842233625 376836096 91131 4294967295 134512640 134716908 3221224576 3221220524 1074873554 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 92001 91131 1111 63 0 91938 0
vsize: 368004
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 92194 0 0 0 37817 182 0 0 25 0 1 0 842233625 376836096 91155 4294967295 134512640 134716908 3221224576 3221221072 1074886136 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92001 91155 1111 63 0 91938 0
vsize: 368004
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 92206 0 0 0 38817 183 0 0 25 0 1 0 842233625 376836096 91167 4294967295 134512640 134716908 3221224576 3221220536 1074789581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92001 91167 1111 63 0 91938 0
vsize: 368004
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 92206 0 0 0 39817 183 0 0 25 0 1 0 842233625 376836096 91167 4294967295 134512640 134716908 3221224576 3221220336 1074871045 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92001 91167 1111 63 0 91938 0
vsize: 368004
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 98209 0 0 0 40805 195 0 0 25 0 1 0 842233625 375320576 90717 4294967295 134512640 134716908 3221224576 3221221760 1074140026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91631 90723 1111 63 0 91568 0
vsize: 366524
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 101291 0 0 0 41796 203 0 0 25 0 1 0 842233625 373911552 90523 4294967295 134512640 134716908 3221224576 3221223048 134613973 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91287 90523 1111 63 0 91224 0
vsize: 365148
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 101291 0 0 0 42793 206 0 0 25 0 1 0 842233625 373911552 90523 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91287 90523 1111 63 0 91224 0
vsize: 365148
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 101291 0 0 0 43792 208 0 0 25 0 1 0 842233625 373911552 90523 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91287 90523 1111 63 0 91224 0
vsize: 365148
[startup+450.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 102393 0 0 0 44788 212 0 0 25 0 1 0 842233625 373301248 90376 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91138 90376 1111 63 0 91075 0
vsize: 364552
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 103710 0 0 0 45785 215 0 0 25 0 1 0 842233625 373506048 90426 4294967295 134512640 134716908 3221224576 3221223184 134549470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91188 90426 1111 63 0 91125 0
vsize: 364752
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 104828 0 0 0 46783 217 0 0 25 0 1 0 842233625 375414784 90883 4294967295 134512640 134716908 3221224576 3221223328 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91654 90883 1111 63 0 91591 0
vsize: 366616
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 105186 0 0 0 47782 217 0 0 25 0 1 0 842233625 375083008 90819 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91573 90819 1111 63 0 91510 0
vsize: 366292
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 105655 0 0 0 48781 219 0 0 25 0 1 0 842233625 375083008 90819 4294967295 134512640 134716908 3221224576 3221223184 134549460 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91573 90819 1111 63 0 91510 0
vsize: 366292
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 105991 0 0 0 49781 219 0 0 25 0 1 0 842233625 375083008 90819 4294967295 134512640 134716908 3221224576 3221222728 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91573 90819 1111 63 0 91510 0
vsize: 366292
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 106341 0 0 0 50780 220 0 0 25 0 1 0 842233625 375537664 90824 4294967295 134512640 134716908 3221224576 3221222304 1075828676 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91684 90824 1111 63 0 91621 0
vsize: 366736
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 106948 0 0 0 51778 222 0 0 25 0 1 0 842233625 376205312 90934 4294967295 134512640 134716908 3221224576 3221221568 1075110481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91847 90934 1111 63 0 91784 0
vsize: 367388
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 107950 0 0 0 52776 225 0 0 25 0 1 0 842233625 375300096 90872 4294967295 134512640 134716908 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91626 90872 1111 63 0 91563 0
vsize: 366504
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 108673 0 0 0 53774 226 0 0 25 0 1 0 842233625 376668160 91061 4294967295 134512640 134716908 3221224576 3221220704 1075112103 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91960 91061 1111 63 0 91897 0
vsize: 367840
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 109199 0 0 0 54773 228 0 0 25 0 1 0 842233625 376864768 91069 4294967295 134512640 134716908 3221224576 3221221648 1074867334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92008 91069 1111 63 0 91945 0
vsize: 368032
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 109951 0 0 0 55771 230 0 0 25 0 1 0 842233625 375287808 90869 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91623 90869 1111 63 0 91560 0
vsize: 366492
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 110889 0 0 0 56769 232 0 0 25 0 1 0 842233625 376774656 91088 4294967295 134512640 134716908 3221224576 3221220608 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91986 91088 1111 63 0 91923 0
vsize: 367944
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 111493 0 0 0 57768 234 0 0 25 0 1 0 842233625 376832000 91106 4294967295 134512640 134716908 3221224576 3221221496 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92000 91106 1111 63 0 91937 0
vsize: 368000
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 112205 0 0 0 58766 236 0 0 25 0 1 0 842233625 376840192 91133 4294967295 134512640 134716908 3221224576 3221220620 1074873547 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92002 91133 1111 63 0 91939 0
vsize: 368008
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 112892 0 0 0 59765 237 0 0 25 0 1 0 842233625 376872960 91129 4294967295 134512640 134716908 3221224576 3221221168 1074886225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92010 91129 1111 63 0 91947 0
vsize: 368040
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 113556 0 0 0 60763 239 0 0 25 0 1 0 842233625 376901632 91125 4294967295 134512640 134716908 3221224576 3221220432 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92017 91125 1111 63 0 91954 0
vsize: 368068
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 114291 0 0 0 61762 240 0 0 25 0 1 0 842233625 377085952 91168 4294967295 134512640 134716908 3221224576 3221220736 1074794518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92062 91168 1111 63 0 91999 0
vsize: 368248
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 115050 0 0 0 62760 242 0 0 25 0 1 0 842233625 376967168 91137 4294967295 134512640 134716908 3221224576 3221220580 1074875766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92033 91137 1111 63 0 91970 0
vsize: 368132
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 115803 0 0 0 63759 244 0 0 25 0 1 0 842233625 377147392 91182 4294967295 134512640 134716908 3221224576 3221220632 1074789844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92077 91182 1111 63 0 92014 0
vsize: 368308
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 116078 0 0 0 64759 244 0 0 25 0 1 0 842233625 375287808 90869 4294967295 134512640 134716908 3221224576 3221223184 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91623 90869 1111 63 0 91560 0
vsize: 366492
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 116658 0 0 0 65758 246 0 0 25 0 1 0 842233625 377184256 91216 4294967295 134512640 134716908 3221224576 3221220432 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92086 91216 1111 63 0 92023 0
vsize: 368344
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 117468 0 0 0 66756 248 0 0 25 0 1 0 842233625 376950784 91143 4294967295 134512640 134716908 3221224576 3221220720 1074969467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92029 91143 1111 63 0 91966 0
vsize: 368116
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 118508 0 0 0 67753 250 0 0 25 0 1 0 842233625 375640064 90955 4294967295 134512640 134716908 3221224576 3221222160 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91709 90955 1111 63 0 91646 0
vsize: 366836
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 119198 0 0 0 68752 252 0 0 25 0 1 0 842233625 377360384 91264 4294967295 134512640 134716908 3221224576 3221220432 1074871365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92129 91264 1111 63 0 92066 0
vsize: 368516
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 120177 0 0 0 69749 255 0 0 25 0 1 0 842233625 377192448 91219 4294967295 134512640 134716908 3221224576 3221220736 1074794682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92088 91219 1111 63 0 92025 0
vsize: 368352
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 120202 0 0 0 70749 255 0 0 25 0 1 0 842233625 377393152 91244 4294967295 134512640 134716908 3221224576 3221220752 1074882505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92137 91244 1111 63 0 92074 0
vsize: 368548
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 121083 0 0 0 71747 257 0 0 25 0 1 0 842233625 377159680 91214 4294967295 134512640 134716908 3221224576 3221220432 1074870796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92080 91214 1111 63 0 92017 0
vsize: 368320
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 122093 0 0 0 72745 260 0 0 25 0 1 0 842233625 377319424 91226 4294967295 134512640 134716908 3221224576 3221220608 1075965289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92119 91226 1111 63 0 92056 0
vsize: 368476
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 122114 0 0 0 73745 260 0 0 25 0 1 0 842233625 377520128 91247 4294967295 134512640 134716908 3221224576 3221220432 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92168 91247 1111 63 0 92105 0
vsize: 368672
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 123231 0 0 0 74743 262 0 0 25 0 1 0 842233625 377430016 91289 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92146 91289 1111 63 0 92083 0
vsize: 368584
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 123647 0 0 0 75742 263 0 0 25 0 1 0 842233625 375586816 90942 4294967295 134512640 134716908 3221224576 3221222840 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91696 90942 1111 63 0 91633 0
vsize: 366784
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 124435 0 0 0 76740 266 0 0 25 0 1 0 842233625 377626624 91289 4294967295 134512640 134716908 3221224576 3221220432 1074870987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92194 91289 1111 63 0 92131 0
vsize: 368776
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 124840 0 0 0 77739 266 0 0 25 0 1 0 842233625 375586816 90942 4294967295 134512640 134716908 3221224576 3221221320 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91696 90942 1111 63 0 91633 0
vsize: 366784
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 125612 0 0 0 78737 268 0 0 25 0 1 0 842233625 377577472 91280 4294967295 134512640 134716908 3221224576 3221220432 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92182 91280 1111 63 0 92119 0
vsize: 368728
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 126033 0 0 0 79736 270 0 0 25 0 1 0 842233625 375586816 90942 4294967295 134512640 134716908 3221224576 3221222960 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91696 90942 1111 63 0 91633 0
vsize: 366784
[startup+810.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 126784 0 0 0 80734 271 0 0 25 0 1 0 842233625 377573376 91282 4294967295 134512640 134716908 3221224576 3221221168 1074886368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92181 91282 1111 63 0 92118 0
vsize: 368724
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 127883 0 0 0 81732 274 0 0 25 0 1 0 842233625 377569280 91257 4294967295 134512640 134716908 3221224576 3221220420 1074786571 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92180 91257 1111 63 0 92117 0
vsize: 368720
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 127908 0 0 0 82732 274 0 0 25 0 1 0 842233625 377753600 91277 4294967295 134512640 134716908 3221224576 3221221104 1075397162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92225 91277 1111 63 0 92162 0
vsize: 368900
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 129029 0 0 0 83730 277 0 0 25 0 1 0 842233625 377413632 91248 4294967295 134512640 134716908 3221224576 3221221648 1074867344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92142 91248 1111 63 0 92079 0
vsize: 368568
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 129411 0 0 0 84729 277 0 0 25 0 1 0 842233625 375586816 90942 4294967295 134512640 134716908 3221224576 3221222496 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91696 90942 1111 63 0 91633 0
vsize: 366784
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 130212 0 0 0 85727 279 0 0 25 0 1 0 842233625 377626624 91282 4294967295 134512640 134716908 3221224576 3221220908 1075112893 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92194 91282 1111 63 0 92131 0
vsize: 368776
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 130253 0 0 0 86727 279 0 0 25 0 1 0 842233625 377810944 91317 4294967295 134512640 134716908 3221224576 3221220432 1074868728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92239 91317 1111 63 0 92176 0
vsize: 368956
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 131391 0 0 0 87725 282 0 0 25 0 1 0 842233625 377356288 91254 4294967295 134512640 134716908 3221224576 3221220908 1075112875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92128 91254 1111 63 0 92065 0
vsize: 368512
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 131793 0 0 0 88725 282 0 0 25 0 1 0 842233625 375586816 90942 4294967295 134512640 134716908 3221224576 3221222000 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91696 90942 1111 63 0 91633 0
vsize: 366784
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 132605 0 0 0 89723 284 0 0 25 0 1 0 842233625 377626624 91287 4294967295 134512640 134716908 3221224576 3221220544 1074872805 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92194 91287 1111 63 0 92131 0
vsize: 368776
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 133004 0 0 0 90723 285 0 0 25 0 1 0 842233625 375586816 90942 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91696 90942 1111 63 0 91633 0
vsize: 366784
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 133818 0 0 0 91721 286 0 0 25 0 1 0 842233625 377589760 91279 4294967295 134512640 134716908 3221224576 3221220432 1074871213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92185 91279 1111 63 0 92122 0
vsize: 368740
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 134210 0 0 0 92720 288 0 0 25 0 1 0 842233625 375586816 90942 4294967295 134512640 134716908 3221224576 3221222016 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91696 90942 1111 63 0 91633 0
vsize: 366784
[startup+940.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 135038 0 0 0 93718 290 0 0 25 0 1 0 842233625 377651200 91309 4294967295 134512640 134716908 3221224576 3221220432 1074868596 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92200 91309 1111 63 0 92137 0
vsize: 368800
[startup+950.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 135464 0 0 0 94718 290 0 0 25 0 1 0 842233625 375586816 90942 4294967295 134512640 134716908 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91696 90942 1111 63 0 91633 0
vsize: 366784
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 136281 0 0 0 95716 292 0 0 25 0 1 0 842233625 377614336 91275 4294967295 134512640 134716908 3221224576 3221220620 1074873351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92191 91275 1111 63 0 92128 0
vsize: 368764
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 136759 0 0 0 96715 293 0 0 25 0 1 0 842233625 375586816 90942 4294967295 134512640 134716908 3221224576 3221223184 134549313 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91696 90942 1111 63 0 91633 0
vsize: 366784
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 137629 0 0 0 97714 295 0 0 25 0 1 0 842233625 377556992 91311 4294967295 134512640 134716908 3221224576 3221220620 1074873527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92177 91311 1111 63 0 92114 0
vsize: 368708
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 137675 0 0 0 98714 295 0 0 25 0 1 0 842233625 377757696 91351 4294967295 134512640 134716908 3221224576 3221220752 1074882604 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92226 91351 1111 63 0 92163 0
vsize: 368904
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 139004 0 0 0 99712 297 0 0 25 0 1 0 842233625 377520128 91298 4294967295 134512640 134716908 3221224576 3221220620 1074873719 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92168 91298 1111 63 0 92105 0
vsize: 368672
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 139032 0 0 0 100712 298 0 0 25 0 1 0 842233625 377520128 91320 4294967295 134512640 134716908 3221224576 3221221104 1075397211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92168 91320 1111 63 0 92105 0
vsize: 368672
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 139828 0 0 0 101710 300 0 0 25 0 1 0 842233625 377405440 91276 4294967295 134512640 134716908 3221224576 3221222496 1075799638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92140 91276 1111 63 0 92077 0
vsize: 368560
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 140461 0 0 0 102709 301 0 0 25 0 1 0 842233625 377778176 91378 4294967295 134512640 134716908 3221224576 3221221496 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92231 91378 1111 63 0 92168 0
vsize: 368924
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 140473 0 0 0 103709 301 0 0 25 0 1 0 842233625 377962496 91390 4294967295 134512640 134716908 3221224576 3221220432 1074868535 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92276 91390 1111 63 0 92213 0
vsize: 369104
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 141735 0 0 0 104706 304 0 0 25 0 1 0 842233625 377450496 91316 4294967295 134512640 134716908 3221224576 3221220560 1074875093 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92151 91316 1111 63 0 92088 0
vsize: 368604
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 141748 0 0 0 105706 304 0 0 25 0 1 0 842233625 377651200 91329 4294967295 134512640 134716908 3221224576 3221220432 1074868616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92200 91329 1111 63 0 92137 0
vsize: 368800
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 142808 0 0 0 106704 306 0 0 25 0 1 0 842233625 377487360 91310 4294967295 134512640 134716908 3221224576 3221220620 1074873723 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92160 91310 1111 63 0 92097 0
vsize: 368640
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 142832 0 0 0 107704 306 0 0 25 0 1 0 842233625 377487360 91334 4294967295 134512640 134716908 3221224576 3221220752 1074882601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92160 91334 1111 63 0 92097 0
vsize: 368640
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 143885 0 0 0 108702 309 0 0 25 0 1 0 842233625 377499648 91310 4294967295 134512640 134716908 3221224576 3221220620 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92163 91310 1111 63 0 92100 0
vsize: 368652
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 143917 0 0 0 109702 309 0 0 25 0 1 0 842233625 377700352 91342 4294967295 134512640 134716908 3221224576 3221220432 1074868756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92212 91342 1111 63 0 92149 0
vsize: 368848
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 144259 0 0 0 110701 310 0 0 25 0 1 0 842233625 375586816 90942 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91696 90942 1111 63 0 91633 0
vsize: 366784
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 145157 0 0 0 111699 312 0 0 25 0 1 0 842233625 377720832 91391 4294967295 134512640 134716908 3221224576 3221220432 1074868831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92217 91391 1111 63 0 92154 0
vsize: 368868
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 145163 0 0 0 112700 312 0 0 25 0 1 0 842233625 377921536 91397 4294967295 134512640 134716908 3221224576 3221220432 1074871177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92266 91397 1111 63 0 92203 0
vsize: 369064
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 146411 0 0 0 113697 315 0 0 25 0 1 0 842233625 377536512 91318 4294967295 134512640 134716908 3221224576 3221220620 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92172 91318 1111 63 0 92109 0
vsize: 368688
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 146446 0 0 0 114697 315 0 0 25 0 1 0 842233625 377737216 91353 4294967295 134512640 134716908 3221224576 3221220508 1074788162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92221 91353 1111 63 0 92158 0
vsize: 368884
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 147628 0 0 0 115695 318 0 0 25 0 1 0 842233625 377880576 91330 4294967295 134512640 134716908 3221224576 3221220736 1074794557 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92256 91330 1111 63 0 92193 0
vsize: 369024
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 147720 0 0 0 116695 318 0 0 25 0 1 0 842233625 377880576 91422 4294967295 134512640 134716908 3221224576 3221221520 1074620352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92256 91422 1111 63 0 92193 0
vsize: 369024
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 147730 0 0 0 117695 318 0 0 25 0 1 0 842233625 378064896 91432 4294967295 134512640 134716908 3221224576 3221221480 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92301 91432 1111 63 0 92238 0
vsize: 369204
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 149202 0 0 0 118691 322 0 0 25 0 1 0 842233625 378060800 91407 4294967295 134512640 134716908 3221224576 3221220456 1074788458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92300 91407 1111 63 0 92237 0
vsize: 369200
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) R 18802 8378 8377 0 -1 0 149236 0 0 0 119691 322 0 0 25 0 1 0 842233625 378060800 91433 4294967295 134512640 134716908 3221224576 3221220432 1074868242 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92300 91433 1111 63 0 92237 0
vsize: 369200
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.2 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 18803
Raw data (stat): 18803 (bsolo_lpr-v2) Z 18802 8378 8377 0 -1 1036 149236 0 0 0 119691 339 0 0 25 0 1 0 842233625 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.2
CPU time (s): 1200.31
CPU user time (s): 1196.91
CPU system time (s): 3.39348
CPU usage (%): 100.009
Max. virtual memory (Kb): 369204
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####