PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos4.opb
MD5SUM	e465af1c9ec9e748a7782ddbee36d3b1
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	100590
Biggest coefficient in the objective function	11202704073084108800000000
Number of bits for the biggest coefficient in the objective function	84
Sum of the numbers in the objective function	2862789126208280618841669632
Number of bits of the sum of numbers in the objective function	92
Biggest number in a constraint	11202704073084108800000000
Number of bits of the biggest number in a constraint	84
Biggest sum of numbers in a constraint	2862789126208280618841669632
Number of bits of the biggest sum of numbers	92
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.90971
Number of variables	203044
Total number of constraints	56505
Number of constraints which are clauses	32142
Number of constraints which are cardinality constraints (but not clauses)	17175
Number of constraints which are nor clauses,nor cardinality constraints	7188
Minimum length of a constraint	1
Maximum length of a constraint	1115
Trace number 40113

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 02:37:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28175 boxname=wulflinc1 idbench=1131 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  e465af1c9ec9e748a7782ddbee36d3b1  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos4.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos4.opb
IDLAUNCH: 28175
/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:        822788 kB
Buffers:         20996 kB
Cached:         165428 kB
SwapCached:       1120 kB
Active:          39068 kB
Inactive:       149524 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        822536 kB
SwapTotal:     2097136 kB
SwapFree:      2094844 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5204 kB
Slab:            17504 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 02:57:48 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 28175 7 1200.22 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.72 0.91 0.89 2/55 16076
Raw data (stat): 16076 (runsolver) R 16075 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 841233962 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.76 0.91 0.89 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1239 0 0 0 992 5 0 0 25 0 1 0 841233962 15212544 1159 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3714 1159 1111 63 0 3651 0
vsize: 14856
[startup+20.0015 s]
Raw data (loadavg): 0.80 0.91 0.89 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1280 0 0 0 1992 6 0 0 25 0 1 0 841233962 15482880 1200 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3780 1200 1111 63 0 3717 0
vsize: 15120
[startup+30.0013 s]
Raw data (loadavg): 0.83 0.92 0.89 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1327 0 0 0 2992 6 0 0 25 0 1 0 841233962 15618048 1247 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3813 1247 1111 63 0 3750 0
vsize: 15252
[startup+40.0021 s]
Raw data (loadavg): 0.85 0.92 0.89 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1364 0 0 0 3992 6 0 0 25 0 1 0 841233962 15753216 1284 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3846 1284 1111 63 0 3783 0
vsize: 15384
[startup+50.0019 s]
Raw data (loadavg): 0.88 0.92 0.90 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1411 0 0 0 4992 7 0 0 25 0 1 0 841233962 16023552 1331 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3912 1331 1111 63 0 3849 0
vsize: 15648
[startup+60.0026 s]
Raw data (loadavg): 0.89 0.92 0.90 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1445 0 0 0 5992 7 0 0 25 0 1 0 841233962 16158720 1365 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3945 1365 1111 63 0 3882 0
vsize: 15780
[startup+70.0024 s]
Raw data (loadavg): 0.91 0.92 0.90 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1494 0 0 0 6992 7 0 0 25 0 1 0 841233962 16293888 1414 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3978 1414 1111 63 0 3915 0
vsize: 15912
[startup+80.0022 s]
Raw data (loadavg): 0.92 0.93 0.90 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1538 0 0 0 7992 7 0 0 25 0 1 0 841233962 16429056 1458 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4011 1458 1111 63 0 3948 0
vsize: 16044
[startup+90.002 s]
Raw data (loadavg): 0.93 0.93 0.90 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1579 0 0 0 8991 8 0 0 25 0 1 0 841233962 16703488 1499 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4078 1499 1111 63 0 4015 0
vsize: 16312
[startup+100.002 s]
Raw data (loadavg): 0.94 0.93 0.90 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1626 0 0 0 9991 8 0 0 25 0 1 0 841233962 16838656 1546 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 1546 1111 63 0 4048 0
vsize: 16444
[startup+110.003 s]
Raw data (loadavg): 0.95 0.93 0.90 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1669 0 0 0 10991 8 0 0 25 0 1 0 841233962 16977920 1589 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4145 1589 1111 63 0 4082 0
vsize: 16580
[startup+120.003 s]
Raw data (loadavg): 0.96 0.93 0.90 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1711 0 0 0 11991 8 0 0 25 0 1 0 841233962 17248256 1631 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4211 1631 1111 63 0 4148 0
vsize: 16844
[startup+130.003 s]
Raw data (loadavg): 0.96 0.94 0.90 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1758 0 0 0 12991 8 0 0 25 0 1 0 841233962 17383424 1678 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4244 1678 1111 63 0 4181 0
vsize: 16976
[startup+140.003 s]
Raw data (loadavg): 0.97 0.94 0.90 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1801 0 0 0 13991 9 0 0 25 0 1 0 841233962 17518592 1721 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4277 1721 1111 63 0 4214 0
vsize: 17108
[startup+150.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1840 0 0 0 14991 9 0 0 25 0 1 0 841233962 17653760 1760 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4310 1760 1111 63 0 4247 0
vsize: 17240
[startup+160.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1880 0 0 0 15991 9 0 0 25 0 1 0 841233962 17940480 1800 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4380 1800 1111 63 0 4317 0
vsize: 17520
[startup+170.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1928 0 0 0 16991 9 0 0 25 0 1 0 841233962 18075648 1848 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4413 1848 1111 63 0 4350 0
vsize: 17652
[startup+180.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 1971 0 0 0 17991 9 0 0 25 0 1 0 841233962 18210816 1891 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4446 1891 1111 63 0 4383 0
vsize: 17784
[startup+190.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2012 0 0 0 18991 10 0 0 25 0 1 0 841233962 18481152 1932 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4512 1932 1111 63 0 4449 0
vsize: 18048
[startup+200.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2060 0 0 0 19991 10 0 0 25 0 1 0 841233962 18616320 1980 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4545 1980 1111 63 0 4482 0
vsize: 18180
[startup+210.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2101 0 0 0 20991 10 0 0 25 0 1 0 841233962 18751488 2021 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4578 2021 1111 63 0 4515 0
vsize: 18312
[startup+220.005 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2144 0 0 0 21991 10 0 0 25 0 1 0 841233962 19021824 2064 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4644 2064 1111 63 0 4581 0
vsize: 18576
[startup+230.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2192 0 0 0 22990 11 0 0 25 0 1 0 841233962 19156992 2112 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4677 2112 1111 63 0 4614 0
vsize: 18708
[startup+240.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2239 0 0 0 23990 11 0 0 25 0 1 0 841233962 19292160 2159 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4710 2159 1111 63 0 4647 0
vsize: 18840
[startup+250.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2276 0 0 0 24990 12 0 0 25 0 1 0 841233962 19562496 2196 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4776 2196 1111 63 0 4713 0
vsize: 19104
[startup+260.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2324 0 0 0 25990 12 0 0 25 0 1 0 841233962 19697664 2244 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4809 2244 1111 63 0 4746 0
vsize: 19236
[startup+270.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2372 0 0 0 26990 13 0 0 25 0 1 0 841233962 19832832 2292 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4842 2292 1111 63 0 4779 0
vsize: 19368
[startup+280.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2406 0 0 0 27990 13 0 0 25 0 1 0 841233962 19968000 2326 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4875 2326 1111 63 0 4812 0
vsize: 19500
[startup+290.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2454 0 0 0 28989 13 0 0 25 0 1 0 841233962 20238336 2374 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4941 2374 1111 63 0 4878 0
vsize: 19764
[startup+300.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2496 0 0 0 29989 13 0 0 25 0 1 0 841233962 20373504 2416 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4974 2416 1111 63 0 4911 0
vsize: 19896
[startup+310.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2544 0 0 0 30989 14 0 0 25 0 1 0 841233962 20660224 2464 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5044 2464 1111 63 0 4981 0
vsize: 20176
[startup+320.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2593 0 0 0 31989 14 0 0 25 0 1 0 841233962 20807680 2513 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5080 2513 1111 63 0 5017 0
vsize: 20320
[startup+330.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2634 0 0 0 32989 15 0 0 25 0 1 0 841233962 20946944 2554 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5114 2554 1111 63 0 5051 0
vsize: 20456
[startup+340.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2675 0 0 0 33989 15 0 0 25 0 1 0 841233962 21217280 2595 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5180 2595 1111 63 0 5117 0
vsize: 20720
[startup+350.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2723 0 0 0 34988 15 0 0 25 0 1 0 841233962 21352448 2643 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5213 2643 1111 63 0 5150 0
vsize: 20852
[startup+360.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2772 0 0 0 35988 15 0 0 25 0 1 0 841233962 21487616 2692 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5246 2692 1111 63 0 5183 0
vsize: 20984
[startup+370.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2808 0 0 0 36988 16 0 0 25 0 1 0 841233962 21757952 2728 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5312 2728 1111 63 0 5249 0
vsize: 21248
[startup+380.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2857 0 0 0 37987 16 0 0 25 0 1 0 841233962 21893120 2777 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5345 2777 1111 63 0 5282 0
vsize: 21380
[startup+390.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2907 0 0 0 38987 17 0 0 25 0 1 0 841233962 22163456 2827 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5411 2827 1111 63 0 5348 0
vsize: 21644
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2955 0 0 0 39987 17 0 0 25 0 1 0 841233962 22298624 2875 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5444 2875 1111 63 0 5381 0
vsize: 21776
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 2996 0 0 0 40987 17 0 0 25 0 1 0 841233962 22433792 2916 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5477 2916 1111 63 0 5414 0
vsize: 21908
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3030 0 0 0 41987 17 0 0 25 0 1 0 841233962 22568960 2950 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5510 2950 1111 63 0 5447 0
vsize: 22040
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3072 0 0 0 42987 18 0 0 25 0 1 0 841233962 22839296 2992 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5576 2992 1111 63 0 5513 0
vsize: 22304
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3120 0 0 0 43987 18 0 0 25 0 1 0 841233962 22974464 3040 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5609 3040 1111 63 0 5546 0
vsize: 22436
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3167 0 0 0 44987 18 0 0 25 0 1 0 841233962 23109632 3087 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5642 3087 1111 63 0 5579 0
vsize: 22568
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3205 0 0 0 45987 19 0 0 25 0 1 0 841233962 23244800 3125 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5675 3125 1111 63 0 5612 0
vsize: 22700
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3254 0 0 0 46986 19 0 0 25 0 1 0 841233962 23539712 3174 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5747 3174 1111 63 0 5684 0
vsize: 22988
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3302 0 0 0 47986 19 0 0 25 0 1 0 841233962 23674880 3222 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5780 3222 1111 63 0 5717 0
vsize: 23120
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3343 0 0 0 48985 20 0 0 25 0 1 0 841233962 23810048 3263 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5813 3263 1111 63 0 5750 0
vsize: 23252
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3386 0 0 0 49985 20 0 0 25 0 1 0 841233962 24080384 3306 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5879 3306 1111 63 0 5816 0
vsize: 23516
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3434 0 0 0 50985 21 0 0 25 0 1 0 841233962 24215552 3354 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5912 3354 1111 63 0 5849 0
vsize: 23648
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3481 0 0 0 51985 21 0 0 25 0 1 0 841233962 24506368 3401 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5983 3401 1111 63 0 5920 0
vsize: 23932
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3518 0 0 0 52986 21 0 0 25 0 1 0 841233962 24641536 3438 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6016 3438 1111 63 0 5953 0
vsize: 24064
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3567 0 0 0 53985 22 0 0 25 0 1 0 841233962 24780800 3487 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6050 3487 1111 63 0 5987 0
vsize: 24200
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3601 0 0 0 54985 22 0 0 25 0 1 0 841233962 24915968 3521 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6083 3521 1111 63 0 6020 0
vsize: 24332
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3647 0 0 0 55985 22 0 0 25 0 1 0 841233962 25051136 3567 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6116 3567 1111 63 0 6053 0
vsize: 24464
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3690 0 0 0 56985 23 0 0 25 0 1 0 841233962 25325568 3610 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6183 3610 1111 63 0 6120 0
vsize: 24732
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3731 0 0 0 57985 23 0 0 25 0 1 0 841233962 25460736 3651 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3651 1111 63 0 6153 0
vsize: 24864
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3779 0 0 0 58985 23 0 0 25 0 1 0 841233962 25595904 3699 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6249 3699 1111 63 0 6186 0
vsize: 24996
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3820 0 0 0 59985 23 0 0 25 0 1 0 841233962 25866240 3740 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6315 3740 1111 63 0 6252 0
vsize: 25260
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3875 0 0 0 60986 23 0 0 25 0 1 0 841233962 26157056 3795 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6386 3795 1111 63 0 6323 0
vsize: 25544
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3923 0 0 0 61985 23 0 0 25 0 1 0 841233962 26292224 3843 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6419 3843 1111 63 0 6356 0
vsize: 25676
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 3971 0 0 0 62985 23 0 0 25 0 1 0 841233962 26427392 3891 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6452 3891 1111 63 0 6389 0
vsize: 25808
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4014 0 0 0 63985 23 0 0 25 0 1 0 841233962 26697728 3934 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6518 3934 1111 63 0 6455 0
vsize: 26072
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4055 0 0 0 64986 24 0 0 25 0 1 0 841233962 26832896 3975 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6551 3975 1111 63 0 6488 0
vsize: 26204
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4103 0 0 0 65986 24 0 0 25 0 1 0 841233962 26968064 4023 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6584 4023 1111 63 0 6521 0
vsize: 26336
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4151 0 0 0 66986 24 0 0 25 0 1 0 841233962 27238400 4071 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6650 4071 1111 63 0 6587 0
vsize: 26600
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4196 0 0 0 67986 24 0 0 25 0 1 0 841233962 27373568 4116 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6683 4116 1111 63 0 6620 0
vsize: 26732
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4235 0 0 0 68986 24 0 0 25 0 1 0 841233962 27508736 4155 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6716 4155 1111 63 0 6653 0
vsize: 26864
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4270 0 0 0 69986 24 0 0 25 0 1 0 841233962 27643904 4190 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6749 4190 1111 63 0 6686 0
vsize: 26996
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4319 0 0 0 70986 24 0 0 25 0 1 0 841233962 27934720 4239 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6820 4239 1111 63 0 6757 0
vsize: 27280
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4360 0 0 0 71986 24 0 0 25 0 1 0 841233962 28073984 4280 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6854 4280 1111 63 0 6791 0
vsize: 27416
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4402 0 0 0 72986 24 0 0 25 0 1 0 841233962 28209152 4322 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6887 4322 1111 63 0 6824 0
vsize: 27548
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4449 0 0 0 73986 24 0 0 25 0 1 0 841233962 28479488 4369 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6953 4369 1111 63 0 6890 0
vsize: 27812
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4499 0 0 0 74986 25 0 0 25 0 1 0 841233962 28614656 4419 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6986 4419 1111 63 0 6923 0
vsize: 27944
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4543 0 0 0 75987 25 0 0 25 0 1 0 841233962 28884992 4463 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7052 4463 1111 63 0 6989 0
vsize: 28208
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4585 0 0 0 76987 25 0 0 25 0 1 0 841233962 29040640 4505 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7090 4505 1111 63 0 7027 0
vsize: 28360
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4634 0 0 0 77987 25 0 0 25 0 1 0 841233962 29175808 4554 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7123 4554 1111 63 0 7060 0
vsize: 28492
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4683 0 0 0 78987 25 0 0 25 0 1 0 841233962 29450240 4603 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7190 4603 1111 63 0 7127 0
vsize: 28760
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4731 0 0 0 79987 25 0 0 25 0 1 0 841233962 29585408 4651 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7223 4651 1111 63 0 7160 0
vsize: 28892
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4779 0 0 0 80987 25 0 0 25 0 1 0 841233962 29720576 4699 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7256 4699 1111 63 0 7193 0
vsize: 29024
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4815 0 0 0 81987 25 0 0 25 0 1 0 841233962 29990912 4735 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7322 4735 1111 63 0 7259 0
vsize: 29288
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4865 0 0 0 82987 25 0 0 25 0 1 0 841233962 30126080 4785 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7355 4785 1111 63 0 7292 0
vsize: 29420
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4914 0 0 0 83987 25 0 0 25 0 1 0 841233962 30396416 4834 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7421 4834 1111 63 0 7358 0
vsize: 29684
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 4964 0 0 0 84987 25 0 0 25 0 1 0 841233962 30531584 4884 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7454 4884 1111 63 0 7391 0
vsize: 29816
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5012 0 0 0 85987 26 0 0 25 0 1 0 841233962 30666752 4932 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7487 4932 1111 63 0 7424 0
vsize: 29948
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5061 0 0 0 86987 26 0 0 25 0 1 0 841233962 30937088 4981 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7553 4981 1111 63 0 7490 0
vsize: 30212
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5111 0 0 0 87987 26 0 0 25 0 1 0 841233962 31072256 5031 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7586 5031 1111 63 0 7523 0
vsize: 30344
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5159 0 0 0 88987 26 0 0 25 0 1 0 841233962 31342592 5079 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7652 5079 1111 63 0 7589 0
vsize: 30608
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5210 0 0 0 89987 26 0 0 25 0 1 0 841233962 31477760 5130 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7685 5130 1111 63 0 7622 0
vsize: 30740
[startup+910.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5258 0 0 0 90987 26 0 0 25 0 1 0 841233962 31768576 5178 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7756 5178 1111 63 0 7693 0
vsize: 31024
[startup+920.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5294 0 0 0 91987 26 0 0 25 0 1 0 841233962 31907840 5214 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7790 5214 1111 63 0 7727 0
vsize: 31160
[startup+930.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5343 0 0 0 92987 26 0 0 25 0 1 0 841233962 32043008 5263 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7823 5263 1111 63 0 7760 0
vsize: 31292
[startup+940.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5391 0 0 0 93988 27 0 0 25 0 1 0 841233962 32313344 5311 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7889 5311 1111 63 0 7826 0
vsize: 31556
[startup+950.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5441 0 0 0 94988 27 0 0 25 0 1 0 841233962 32448512 5361 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7922 5361 1111 63 0 7859 0
vsize: 31688
[startup+960.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5490 0 0 0 95988 27 0 0 25 0 1 0 841233962 32718848 5410 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7988 5410 1111 63 0 7925 0
vsize: 31952
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5539 0 0 0 96988 27 0 0 25 0 1 0 841233962 32874496 5459 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8026 5459 1111 63 0 7963 0
vsize: 32104
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5591 0 0 0 97988 27 0 0 25 0 1 0 841233962 33148928 5511 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8093 5511 1111 63 0 8030 0
vsize: 32372
[startup+990.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5639 0 0 0 98988 27 0 0 25 0 1 0 841233962 33284096 5559 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8126 5559 1111 63 0 8063 0
vsize: 32504
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5688 0 0 0 99988 27 0 0 25 0 1 0 841233962 33419264 5608 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8159 5608 1111 63 0 8096 0
vsize: 32636
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5739 0 0 0 100988 27 0 0 25 0 1 0 841233962 33689600 5659 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8225 5659 1111 63 0 8162 0
vsize: 32900
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5787 0 0 0 101988 27 0 0 25 0 1 0 841233962 33824768 5707 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8258 5707 1111 63 0 8195 0
vsize: 33032
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5822 0 0 0 102988 28 0 0 25 0 1 0 841233962 34095104 5742 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8324 5742 1111 63 0 8261 0
vsize: 33296
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5871 0 0 0 103988 28 0 0 25 0 1 0 841233962 34230272 5791 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8357 5791 1111 63 0 8294 0
vsize: 33428
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5922 0 0 0 104988 28 0 0 25 0 1 0 841233962 34500608 5842 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8423 5842 1111 63 0 8360 0
vsize: 33692
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 5971 0 0 0 105988 28 0 0 25 0 1 0 841233962 34635776 5891 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8456 5891 1111 63 0 8393 0
vsize: 33824
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 6019 0 0 0 106989 28 0 0 25 0 1 0 841233962 34770944 5939 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8489 5939 1111 63 0 8426 0
vsize: 33956
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 6070 0 0 0 107988 28 0 0 25 0 1 0 841233962 35041280 5990 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8555 5990 1111 63 0 8492 0
vsize: 34220
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 6119 0 0 0 108989 28 0 0 25 0 1 0 841233962 35176448 6039 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8588 6039 1111 63 0 8525 0
vsize: 34352
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 6167 0 0 0 109988 29 0 0 25 0 1 0 841233962 35467264 6087 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8659 6087 1111 63 0 8596 0
vsize: 34636
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 6218 0 0 0 110989 29 0 0 25 0 1 0 841233962 35602432 6138 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8692 6138 1111 63 0 8629 0
vsize: 34768
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 6267 0 0 0 111988 29 0 0 25 0 1 0 841233962 35876864 6187 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8759 6187 1111 63 0 8696 0
vsize: 35036
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 6316 0 0 0 112989 29 0 0 25 0 1 0 841233962 36012032 6236 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8792 6236 1111 63 0 8729 0
vsize: 35168
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 6367 0 0 0 113989 29 0 0 25 0 1 0 841233962 36306944 6287 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8864 6287 1111 63 0 8801 0
vsize: 35456
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 6422 0 0 0 114989 29 0 0 25 0 1 0 841233962 36442112 6342 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8897 6342 1111 63 0 8834 0
vsize: 35588
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 6478 0 0 0 115989 29 0 0 25 0 1 0 841233962 36712448 6398 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8963 6398 1111 63 0 8900 0
vsize: 35852
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 6548 0 0 0 116989 29 0 0 25 0 1 0 841233962 37117952 6468 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9062 6468 1111 63 0 8999 0
vsize: 36248
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 6599 0 0 0 117989 30 0 0 25 0 1 0 841233962 37253120 6519 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9095 6519 1111 63 0 9032 0
vsize: 36380
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 6661 0 0 0 118989 30 0 0 25 0 1 0 841233962 37543936 6581 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9166 6581 1111 63 0 9103 0
vsize: 36664
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) R 16075 8378 8377 0 -1 0 6713 0 0 0 119989 30 0 0 25 0 1 0 841233962 37818368 6633 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9233 6633 1111 63 0 9170 0
vsize: 36932
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 16076
Raw data (stat): 16076 (bsolo_lpr-v2) Z 16075 8378 8377 0 -1 1036 6713 0 0 0 119989 31 0 0 25 0 1 0 841233962 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.04
CPU time (s): 1200.22
CPU user time (s): 1199.9
CPU system time (s): 0.316951
CPU usage (%): 100.015
Max. virtual memory (Kb): 36932
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####