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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-NSR8K.opb
MD5SUM	2b4498b8d68d4bfe8495244ac3a43397
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	158360
Biggest coefficient in the objective function	524288000000000000
Number of bits for the biggest coefficient in the objective function	59
Sum of the numbers in the objective function	33594826051364978688
Number of bits of the sum of numbers in the objective function	65
Biggest number in a constraint	524288000000000000
Number of bits of the biggest number in a constraint	59
Biggest sum of numbers in a constraint	33607626051364978688
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.60676
Number of variables	158360
Total number of constraints	38324
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32041
Number of constraints which are nor clauses,nor cardinality constraints	6283
Minimum length of a constraint	1
Maximum length of a constraint	158360
Trace number 40531

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 13:35:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28595 boxname=wulflinc1 idbench=1551 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  2b4498b8d68d4bfe8495244ac3a43397  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-NSR8K.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-NSR8K.opb
IDLAUNCH: 28595
/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:        866704 kB
Buffers:          7320 kB
Cached:         135492 kB
SwapCached:       1144 kB
Active:          42884 kB
Inactive:       102136 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        866424 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5256 kB
Slab:            17132 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 13:55:56 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 28595 7 1200.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.74 0.91 0.89 2/55 23363
Raw data (stat): 23363 (runsolver) R 23362 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 845183251 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99986 s]
Raw data (loadavg): 0.78 0.91 0.89 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 2087 0 0 0 991 7 0 0 25 0 1 0 845183251 17915904 2007 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4374 2007 1111 63 0 4311 0
vsize: 17496
[startup+20.0006 s]
Raw data (loadavg): 0.81 0.91 0.89 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 2780 0 0 0 1990 8 0 0 25 0 1 0 845183251 20758528 2700 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5068 2700 1111 63 0 5005 0
vsize: 20272
[startup+30.0003 s]
Raw data (loadavg): 0.84 0.92 0.89 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 3473 0 0 0 2989 9 0 0 25 0 1 0 845183251 23597056 3393 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5761 3393 1111 63 0 5698 0
vsize: 23044
[startup+40.0011 s]
Raw data (loadavg): 0.86 0.92 0.89 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 4164 0 0 0 3989 10 0 0 25 0 1 0 845183251 26427392 4084 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6452 4084 1111 63 0 6389 0
vsize: 25808
[startup+50.0019 s]
Raw data (loadavg): 0.89 0.92 0.89 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 4857 0 0 0 4988 11 0 0 25 0 1 0 845183251 29265920 4777 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7145 4777 1111 63 0 7082 0
vsize: 28580
[startup+60.0017 s]
Raw data (loadavg): 0.90 0.92 0.90 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 5550 0 0 0 5987 12 0 0 25 0 1 0 845183251 32104448 5470 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7838 5470 1111 63 0 7775 0
vsize: 31352
[startup+70.0015 s]
Raw data (loadavg): 0.92 0.92 0.90 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 6248 0 0 0 6986 13 0 0 25 0 1 0 845183251 34938880 6168 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8530 6168 1111 63 0 8467 0
vsize: 34120
[startup+80.0013 s]
Raw data (loadavg): 0.93 0.93 0.90 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 6941 0 0 0 7985 14 0 0 25 0 1 0 845183251 37777408 6861 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9223 6861 1111 63 0 9160 0
vsize: 36892
[startup+90.0021 s]
Raw data (loadavg): 0.94 0.93 0.90 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 7643 0 0 0 8983 16 0 0 25 0 1 0 845183251 40603648 7563 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9913 7563 1111 63 0 9850 0
vsize: 39652
[startup+100.002 s]
Raw data (loadavg): 0.95 0.93 0.90 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 8341 0 0 0 9981 18 0 0 25 0 1 0 845183251 43438080 8261 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10605 8261 1111 63 0 10542 0
vsize: 42420
[startup+110.002 s]
Raw data (loadavg): 0.96 0.93 0.90 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 9034 0 0 0 10980 19 0 0 25 0 1 0 845183251 46276608 8954 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11298 8954 1111 63 0 11235 0
vsize: 45192
[startup+120.001 s]
Raw data (loadavg): 0.96 0.93 0.90 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 9733 0 0 0 11979 21 0 0 25 0 1 0 845183251 49262592 9653 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12027 9653 1111 63 0 11964 0
vsize: 48108
[startup+130.001 s]
Raw data (loadavg): 0.97 0.94 0.90 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 10431 0 0 0 12977 23 0 0 25 0 1 0 845183251 52097024 10351 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12719 10351 1111 63 0 12656 0
vsize: 50876
[startup+140.002 s]
Raw data (loadavg): 0.97 0.94 0.90 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 11130 0 0 0 13977 24 0 0 25 0 1 0 845183251 54935552 11050 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13412 11050 1111 63 0 13349 0
vsize: 53648
[startup+150.002 s]
Raw data (loadavg): 0.98 0.94 0.90 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 11835 0 0 0 14976 24 0 0 25 0 1 0 845183251 57774080 11755 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14105 11755 1111 63 0 14042 0
vsize: 56420
[startup+160.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 12533 0 0 0 15975 26 0 0 25 0 1 0 845183251 60604416 12453 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14796 12453 1111 63 0 14733 0
vsize: 59184
[startup+170.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 13232 0 0 0 16973 28 0 0 25 0 1 0 845183251 63594496 13152 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15526 13152 1111 63 0 15463 0
vsize: 62104
[startup+180.002 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 13936 0 0 0 17972 29 0 0 25 0 1 0 845183251 66408448 13856 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16213 13856 1111 63 0 16150 0
vsize: 64852
[startup+190.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 14641 0 0 0 18971 30 0 0 25 0 1 0 845183251 69238784 14561 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16904 14561 1111 63 0 16841 0
vsize: 67616
[startup+200.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 15340 0 0 0 19970 32 0 0 25 0 1 0 845183251 72228864 15260 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17634 15260 1111 63 0 17571 0
vsize: 70536
[startup+210.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 16045 0 0 0 20969 32 0 0 25 0 1 0 845183251 75067392 15965 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18327 15965 1111 63 0 18264 0
vsize: 73308
[startup+220.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 16750 0 0 0 21968 34 0 0 25 0 1 0 845183251 77897728 16670 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19018 16670 1111 63 0 18955 0
vsize: 76072
[startup+230.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 17448 0 0 0 22967 35 0 0 25 0 1 0 845183251 80736256 17368 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19711 17368 1111 63 0 19648 0
vsize: 78844
[startup+240.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 18153 0 0 0 23965 37 0 0 25 0 1 0 845183251 83726336 18073 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20441 18073 1111 63 0 20378 0
vsize: 81764
[startup+250.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 18858 0 0 0 24965 38 0 0 25 0 1 0 845183251 86564864 18778 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21134 18778 1111 63 0 21071 0
vsize: 84536
[startup+260.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 19562 0 0 0 25963 39 0 0 25 0 1 0 845183251 89395200 19482 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21825 19482 1111 63 0 21762 0
vsize: 87300
[startup+270.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 20267 0 0 0 26962 40 0 0 25 0 1 0 845183251 92385280 20187 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22555 20187 1111 63 0 22492 0
vsize: 90220
[startup+280.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 20972 0 0 0 27962 41 0 0 25 0 1 0 845183251 95223808 20892 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23248 20892 1111 63 0 23185 0
vsize: 92992
[startup+290.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 21676 0 0 0 28961 42 0 0 25 0 1 0 845183251 98058240 21596 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23940 21596 1111 63 0 23877 0
vsize: 95760
[startup+300.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 22387 0 0 0 29960 43 0 0 25 0 1 0 845183251 101044224 22307 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24669 22307 1111 63 0 24606 0
vsize: 98676
[startup+310.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 23092 0 0 0 30959 44 0 0 25 0 1 0 845183251 103882752 23012 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25362 23012 1111 63 0 25299 0
vsize: 101448
[startup+320.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 23802 0 0 0 31958 46 0 0 25 0 1 0 845183251 106864640 23722 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26090 23722 1111 63 0 26027 0
vsize: 104360
[startup+330.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 24507 0 0 0 32957 47 0 0 25 0 1 0 845183251 109703168 24427 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26783 24427 1111 63 0 26720 0
vsize: 107132
[startup+340.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 25219 0 0 0 33956 48 0 0 25 0 1 0 845183251 112693248 25139 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27513 25139 1111 63 0 27450 0
vsize: 110052
[startup+350.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 25935 0 0 0 34955 49 0 0 25 0 1 0 845183251 115646464 25855 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28234 25855 1111 63 0 28171 0
vsize: 112936
[startup+360.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 26646 0 0 0 35954 51 0 0 25 0 1 0 845183251 118484992 26566 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28927 26566 1111 63 0 28864 0
vsize: 115708
[startup+370.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 27358 0 0 0 36952 52 0 0 25 0 1 0 845183251 121475072 27278 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29657 27278 1111 63 0 29594 0
vsize: 118628
[startup+380.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 28067 0 0 0 37951 54 0 0 25 0 1 0 845183251 124305408 27987 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30348 27987 1111 63 0 30285 0
vsize: 121392
[startup+390.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 28780 0 0 0 38950 55 0 0 25 0 1 0 845183251 127295488 28700 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31078 28700 1111 63 0 31015 0
vsize: 124312
[startup+400.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 29491 0 0 0 39949 57 0 0 25 0 1 0 845183251 130134016 29411 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31771 29411 1111 63 0 31708 0
vsize: 127084
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 30201 0 0 0 40947 58 0 0 25 0 1 0 845183251 133115904 30121 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32499 30121 1111 63 0 32436 0
vsize: 129996
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 30918 0 0 0 41946 60 0 0 25 0 1 0 845183251 135954432 30838 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33192 30838 1111 63 0 33129 0
vsize: 132768
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 31629 0 0 0 42945 61 0 0 25 0 1 0 845183251 138940416 31549 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33921 31549 1111 63 0 33858 0
vsize: 135684
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 32348 0 0 0 43943 63 0 0 25 0 1 0 845183251 141778944 32268 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34614 32268 1111 63 0 34551 0
vsize: 138456
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 33058 0 0 0 44942 64 0 0 25 0 1 0 845183251 144760832 32978 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35342 32978 1111 63 0 35279 0
vsize: 141368
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 33775 0 0 0 45942 65 0 0 25 0 1 0 845183251 147750912 33695 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36072 33695 1111 63 0 36009 0
vsize: 144288
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 34492 0 0 0 46940 66 0 0 25 0 1 0 845183251 150589440 34412 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36765 34412 1111 63 0 36702 0
vsize: 147060
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 35209 0 0 0 47939 68 0 0 25 0 1 0 845183251 153571328 35129 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37493 35129 1111 63 0 37430 0
vsize: 149972
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 35926 0 0 0 48938 69 0 0 25 0 1 0 845183251 156557312 35846 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38222 35846 1111 63 0 38159 0
vsize: 152888
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 36644 0 0 0 49937 70 0 0 25 0 1 0 845183251 159395840 36564 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38915 36564 1111 63 0 38852 0
vsize: 155660
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 37360 0 0 0 50936 72 0 0 25 0 1 0 845183251 162377728 37280 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39643 37280 1111 63 0 39580 0
vsize: 158572
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 38078 0 0 0 51935 73 0 0 25 0 1 0 845183251 165367808 37998 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40373 37998 1111 63 0 40310 0
vsize: 161492
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 38801 0 0 0 52934 74 0 0 25 0 1 0 845183251 168206336 38721 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41066 38721 1111 63 0 41003 0
vsize: 164264
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 39517 0 0 0 53933 75 0 0 25 0 1 0 845183251 171188224 39437 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41794 39437 1111 63 0 41731 0
vsize: 167176
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 40241 0 0 0 54932 76 0 0 25 0 1 0 845183251 174174208 40161 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42523 40161 1111 63 0 42460 0
vsize: 170092
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 40958 0 0 0 55931 77 0 0 25 0 1 0 845183251 177164288 40878 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43253 40878 1111 63 0 43190 0
vsize: 173012
[startup+570.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 41682 0 0 0 56930 78 0 0 25 0 1 0 845183251 180002816 41602 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43946 41602 1111 63 0 43883 0
vsize: 175784
[startup+580.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 42404 0 0 0 57929 80 0 0 25 0 1 0 845183251 182984704 42324 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44674 42324 1111 63 0 44611 0
vsize: 178696
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 43128 0 0 0 58928 81 0 0 25 0 1 0 845183251 185970688 43048 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45403 43048 1111 63 0 45340 0
vsize: 181612
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 43851 0 0 0 59927 82 0 0 25 0 1 0 845183251 188960768 43771 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46133 43771 1111 63 0 46070 0
vsize: 184532
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 44573 0 0 0 60925 84 0 0 25 0 1 0 845183251 191942656 44493 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46861 44493 1111 63 0 46798 0
vsize: 187444
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 45296 0 0 0 61924 85 0 0 25 0 1 0 845183251 194928640 45216 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47590 45216 1111 63 0 47527 0
vsize: 190360
[startup+630.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 46020 0 0 0 62923 86 0 0 25 0 1 0 845183251 197767168 45940 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48283 45940 1111 63 0 48220 0
vsize: 193132
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 46748 0 0 0 63922 87 0 0 25 0 1 0 845183251 200749056 46668 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49011 46668 1111 63 0 48948 0
vsize: 196044
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 47471 0 0 0 64921 88 0 0 25 0 1 0 845183251 203739136 47391 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49741 47391 1111 63 0 49678 0
vsize: 198964
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 48201 0 0 0 65920 90 0 0 25 0 1 0 845183251 206725120 48121 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50470 48121 1111 63 0 50407 0
vsize: 201880
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 48924 0 0 0 66919 91 0 0 25 0 1 0 845183251 209715200 48844 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51200 48844 1111 63 0 51137 0
vsize: 204800
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 49652 0 0 0 67917 93 0 0 25 0 1 0 845183251 212697088 49572 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51928 49572 1111 63 0 51865 0
vsize: 207712
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 50392 0 0 0 68916 94 0 0 25 0 1 0 845183251 215830528 50312 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52693 50312 1111 63 0 52630 0
vsize: 210772
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 51122 0 0 0 69915 95 0 0 25 0 1 0 845183251 218816512 51042 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53422 51042 1111 63 0 53359 0
vsize: 213688
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 51851 0 0 0 70914 96 0 0 25 0 1 0 845183251 221802496 51771 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54151 51771 1111 63 0 54088 0
vsize: 216604
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 52587 0 0 0 71913 98 0 0 25 0 1 0 845183251 224788480 52507 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54880 52507 1111 63 0 54817 0
vsize: 219520
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 53316 0 0 0 72912 99 0 0 25 0 1 0 845183251 227778560 53236 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55610 53236 1111 63 0 55547 0
vsize: 222440
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 54051 0 0 0 73912 100 0 0 25 0 1 0 845183251 230760448 53971 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56338 53971 1111 63 0 56275 0
vsize: 225352
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 54780 0 0 0 74910 102 0 0 25 0 1 0 845183251 233750528 54700 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57068 54700 1111 63 0 57005 0
vsize: 228272
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 55516 0 0 0 75909 103 0 0 25 0 1 0 845183251 236740608 55436 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57798 55436 1111 63 0 57735 0
vsize: 231192
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 56253 0 0 0 76908 104 0 0 25 0 1 0 845183251 239726592 56173 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58527 56173 1111 63 0 58464 0
vsize: 234108
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 56987 0 0 0 77906 106 0 0 25 0 1 0 845183251 242860032 56907 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59292 56907 1111 63 0 59229 0
vsize: 237168
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 57724 0 0 0 78905 107 0 0 25 0 1 0 845183251 245850112 57644 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60022 57644 1111 63 0 59959 0
vsize: 240088
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 58460 0 0 0 79905 108 0 0 25 0 1 0 845183251 248836096 58380 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60751 58380 1111 63 0 60688 0
vsize: 243004
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 59194 0 0 0 80904 109 0 0 25 0 1 0 845183251 251822080 59114 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61480 59114 1111 63 0 61417 0
vsize: 245920
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 59930 0 0 0 81902 111 0 0 25 0 1 0 845183251 254808064 59850 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62209 59850 1111 63 0 62146 0
vsize: 248836
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 60665 0 0 0 82901 112 0 0 25 0 1 0 845183251 257798144 60585 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62939 60585 1111 63 0 62876 0
vsize: 251756
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 61407 0 0 0 83900 114 0 0 25 0 1 0 845183251 260935680 61327 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63705 61327 1111 63 0 63642 0
vsize: 254820
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 62148 0 0 0 84898 116 0 0 25 0 1 0 845183251 263917568 62068 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64433 62068 1111 63 0 64370 0
vsize: 257732
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 62884 0 0 0 85897 117 0 0 25 0 1 0 845183251 266907648 62804 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65163 62804 1111 63 0 65100 0
vsize: 260652
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 63626 0 0 0 86895 119 0 0 25 0 1 0 845183251 270045184 63546 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65929 63546 1111 63 0 65866 0
vsize: 263716
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 64368 0 0 0 87894 120 0 0 25 0 1 0 845183251 273027072 64288 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66657 64288 1111 63 0 66594 0
vsize: 266628
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 65109 0 0 0 88893 121 0 0 25 0 1 0 845183251 276017152 65029 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67387 65029 1111 63 0 67324 0
vsize: 269548
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 65851 0 0 0 89893 121 0 0 25 0 1 0 845183251 279154688 65771 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68153 65771 1111 63 0 68090 0
vsize: 272612
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 66593 0 0 0 90892 123 0 0 25 0 1 0 845183251 282144768 66513 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68883 66513 1111 63 0 68820 0
vsize: 275532
[startup+920.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 67339 0 0 0 91891 124 0 0 25 0 1 0 845183251 285126656 67259 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69611 67259 1111 63 0 69548 0
vsize: 278444
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 68081 0 0 0 92889 126 0 0 25 0 1 0 845183251 288264192 68001 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70377 68001 1111 63 0 70314 0
vsize: 281508
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 68830 0 0 0 93888 127 0 0 25 0 1 0 845183251 291254272 68750 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71107 68750 1111 63 0 71044 0
vsize: 284428
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 69571 0 0 0 94887 128 0 0 25 0 1 0 845183251 294387712 69491 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71872 69491 1111 63 0 71809 0
vsize: 287488
[startup+960.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 70319 0 0 0 95886 129 0 0 25 0 1 0 845183251 297373696 70239 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72601 70239 1111 63 0 72538 0
vsize: 290404
[startup+970.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 71067 0 0 0 96886 130 0 0 25 0 1 0 845183251 300511232 70987 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73367 70987 1111 63 0 73304 0
vsize: 293468
[startup+980.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 71815 0 0 0 97885 130 0 0 25 0 1 0 845183251 303501312 71735 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74097 71735 1111 63 0 74034 0
vsize: 296388
[startup+990.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 72562 0 0 0 98885 131 0 0 25 0 1 0 845183251 306634752 72482 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74862 72482 1111 63 0 74799 0
vsize: 299448
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 73310 0 0 0 99884 132 0 0 25 0 1 0 845183251 309620736 73230 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75591 73230 1111 63 0 75528 0
vsize: 302364
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 74058 0 0 0 100883 133 0 0 25 0 1 0 845183251 312762368 73978 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76358 73978 1111 63 0 76295 0
vsize: 305432
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 74805 0 0 0 101881 135 0 0 25 0 1 0 845183251 315744256 74725 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77086 74725 1111 63 0 77023 0
vsize: 308344
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 75559 0 0 0 102880 137 0 0 25 0 1 0 845183251 318881792 75479 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77852 75479 1111 63 0 77789 0
vsize: 311408
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 76308 0 0 0 103879 138 0 0 25 0 1 0 845183251 321871872 76228 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78582 76228 1111 63 0 78519 0
vsize: 314328
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 77062 0 0 0 104878 139 0 0 25 0 1 0 845183251 325009408 76982 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79348 76982 1111 63 0 79285 0
vsize: 317392
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 77814 0 0 0 105876 141 0 0 25 0 1 0 845183251 328138752 77734 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80112 77734 1111 63 0 80049 0
vsize: 320448
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 78568 0 0 0 106875 142 0 0 25 0 1 0 845183251 331128832 78488 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80842 78488 1111 63 0 80779 0
vsize: 323368
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 79322 0 0 0 107874 144 0 0 25 0 1 0 845183251 334266368 79242 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81608 79242 1111 63 0 81545 0
vsize: 326432
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 80076 0 0 0 108872 145 0 0 25 0 1 0 845183251 337403904 79996 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82374 79996 1111 63 0 82311 0
vsize: 329496
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 80830 0 0 0 109871 147 0 0 25 0 1 0 845183251 340385792 80750 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83102 80750 1111 63 0 83039 0
vsize: 332408
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 81584 0 0 0 110869 149 0 0 25 0 1 0 845183251 343527424 81504 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83869 81504 1111 63 0 83806 0
vsize: 335476
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 82345 0 0 0 111868 150 0 0 25 0 1 0 845183251 346664960 82265 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84635 82265 1111 63 0 84572 0
vsize: 338540
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 83097 0 0 0 112867 151 0 0 25 0 1 0 845183251 349646848 83017 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85363 83017 1111 63 0 85300 0
vsize: 341452
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 83857 0 0 0 113866 153 0 0 25 0 1 0 845183251 352784384 83777 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86129 83777 1111 63 0 86066 0
vsize: 344516
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 84617 0 0 0 114865 154 0 0 25 0 1 0 845183251 355921920 84537 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86895 84537 1111 63 0 86832 0
vsize: 347580
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 85371 0 0 0 115863 156 0 0 25 0 1 0 845183251 359059456 85291 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87661 85291 1111 63 0 87598 0
vsize: 350644
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 86130 0 0 0 116862 157 0 0 25 0 1 0 845183251 362192896 86050 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88426 86050 1111 63 0 88363 0
vsize: 353704
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 86891 0 0 0 117861 158 0 0 25 0 1 0 845183251 365182976 86811 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89156 86811 1111 63 0 89093 0
vsize: 356624
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 87657 0 0 0 118860 160 0 0 25 0 1 0 845183251 368320512 87577 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89922 87577 1111 63 0 89859 0
vsize: 359688
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) R 23362 8378 8377 0 -1 0 88417 0 0 0 119858 161 0 0 25 0 1 0 845183251 371458048 88337 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90688 88337 1111 63 0 90625 0
vsize: 362752
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 23363
Raw data (stat): 23363 (bsolo_lpr-v2) Z 23362 8378 8377 0 -1 1036 88417 0 0 0 119858 178 0 0 25 0 1 0 845183251 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.18
CPU time (s): 1200.37
CPU user time (s): 1198.59
CPU system time (s): 1.78073
CPU usage (%): 100.016
Max. virtual memory (Kb): 362752
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####