PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-sp97ar.opb
MD5SUM	d98db64f69c8547ad0880486d1128dd0
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	183313
Biggest coefficient in the objective function	19194096394240
Number of bits for the biggest coefficient in the objective function	45
Sum of the numbers in the objective function	127830561163966644
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	19194096394240
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	127830561163966644
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.68874
Number of variables	183313
Total number of constraints	1761
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1761
Minimum length of a constraint	13
Maximum length of a constraint	32019
Trace number 40371

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 08:20:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28431 boxname=wulflinc2 idbench=1387 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  d98db64f69c8547ad0880486d1128dd0  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-sp97ar.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-sp97ar.opb
IDLAUNCH: 28431
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        614000 kB
Buffers:         23424 kB
Cached:         374124 kB
SwapCached:       1340 kB
Active:          90324 kB
Inactive:       309188 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        613748 kB
SwapTotal:     2097136 kB
SwapFree:      2094732 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4976 kB
Slab:            15472 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 08:40:42 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 28431 7 1200.2 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.95 0.98 0.93 1/54 7573
Raw data (stat): 7573 (runsolver) R 7572 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 900152208 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.0011 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 1634 0 0 0 991 7 0 0 25 0 1 0 900152208 15360000 1554 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3750 1554 1111 63 0 3687 0
vsize: 15000
[startup+20.0018 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 1691 0 0 0 1991 7 0 0 25 0 1 0 900152208 15650816 1611 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3821 1611 1111 63 0 3758 0
vsize: 15284
[startup+30.0015 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 1741 0 0 0 2990 8 0 0 25 0 1 0 900152208 15794176 1661 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3856 1661 1111 63 0 3793 0
vsize: 15424
[startup+40.0022 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 1806 0 0 0 3990 8 0 0 25 0 1 0 900152208 16093184 1726 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3929 1726 1111 63 0 3866 0
vsize: 15716
[startup+50.0019 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 1863 0 0 0 4989 9 0 0 25 0 1 0 900152208 16236544 1783 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 1783 1111 63 0 3901 0
vsize: 15856
[startup+60.0026 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 1920 0 0 0 5989 9 0 0 25 0 1 0 900152208 16527360 1840 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4035 1840 1111 63 0 3972 0
vsize: 16140
[startup+70.0023 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 1984 0 0 0 6989 9 0 0 25 0 1 0 900152208 16818176 1904 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4106 1904 1111 63 0 4043 0
vsize: 16424
[startup+80.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2042 0 0 0 7989 10 0 0 25 0 1 0 900152208 16969728 1962 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4143 1962 1111 63 0 4080 0
vsize: 16572
[startup+90.0017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2106 0 0 0 8989 10 0 0 25 0 1 0 900152208 17260544 2026 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4214 2026 1111 63 0 4151 0
vsize: 16856
[startup+100.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2166 0 0 0 9988 10 0 0 25 0 1 0 900152208 17563648 2086 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4288 2086 1111 63 0 4225 0
vsize: 17152
[startup+110.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2223 0 0 0 10988 11 0 0 25 0 1 0 900152208 17711104 2143 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4324 2143 1111 63 0 4261 0
vsize: 17296
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2281 0 0 0 11988 11 0 0 25 0 1 0 900152208 18006016 2201 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4396 2201 1111 63 0 4333 0
vsize: 17584
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2338 0 0 0 12988 11 0 0 25 0 1 0 900152208 18296832 2258 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4467 2258 1111 63 0 4404 0
vsize: 17868
[startup+140.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2394 0 0 0 13987 12 0 0 25 0 1 0 900152208 18440192 2314 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4502 2314 1111 63 0 4439 0
vsize: 18008
[startup+150.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2451 0 0 0 14987 13 0 0 25 0 1 0 900152208 18731008 2371 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4573 2371 1111 63 0 4510 0
vsize: 18292
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2509 0 0 0 15986 13 0 0 25 0 1 0 900152208 18878464 2429 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4609 2429 1111 63 0 4546 0
vsize: 18436
[startup+170.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2566 0 0 0 16985 14 0 0 25 0 1 0 900152208 19173376 2486 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4681 2486 1111 63 0 4618 0
vsize: 18724
[startup+180.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2623 0 0 0 17985 14 0 0 25 0 1 0 900152208 19464192 2543 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4752 2543 1111 63 0 4689 0
vsize: 19008
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2686 0 0 0 18985 15 0 0 25 0 1 0 900152208 19611648 2606 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4788 2606 1111 63 0 4725 0
vsize: 19152
[startup+200.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2741 0 0 0 19986 15 0 0 25 0 1 0 900152208 19898368 2661 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4858 2661 1111 63 0 4795 0
vsize: 19432
[startup+210.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2800 0 0 0 20986 15 0 0 25 0 1 0 900152208 20193280 2720 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4930 2720 1111 63 0 4867 0
vsize: 19720
[startup+220.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2857 0 0 0 21986 15 0 0 25 0 1 0 900152208 20340736 2777 4294967295 134512640 134716908 3221224576 3221222804 1077414372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4966 2777 1111 63 0 4903 0
vsize: 19864
[startup+230.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2920 0 0 0 22986 15 0 0 25 0 1 0 900152208 20631552 2840 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5037 2840 1111 63 0 4974 0
vsize: 20148
[startup+240.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 2970 0 0 0 23986 15 0 0 25 0 1 0 900152208 20774912 2890 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5072 2890 1111 63 0 5009 0
vsize: 20288
[startup+250.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3030 0 0 0 24986 15 0 0 25 0 1 0 900152208 21073920 2950 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5145 2950 1111 63 0 5082 0
vsize: 20580
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3093 0 0 0 25986 15 0 0 25 0 1 0 900152208 21364736 3013 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5216 3013 1111 63 0 5153 0
vsize: 20864
[startup+270.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3149 0 0 0 26986 15 0 0 25 0 1 0 900152208 21508096 3069 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5251 3069 1111 63 0 5188 0
vsize: 21004
[startup+280.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3200 0 0 0 27987 15 0 0 25 0 1 0 900152208 21798912 3120 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5322 3120 1111 63 0 5259 0
vsize: 21288
[startup+290.005 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3265 0 0 0 28987 15 0 0 25 0 1 0 900152208 22093824 3185 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5394 3185 1111 63 0 5331 0
vsize: 21576
[startup+300.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3322 0 0 0 29987 15 0 0 25 0 1 0 900152208 22241280 3242 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5430 3242 1111 63 0 5367 0
vsize: 21720
[startup+310.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3379 0 0 0 30987 15 0 0 25 0 1 0 900152208 22532096 3299 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5501 3299 1111 63 0 5438 0
vsize: 22004
[startup+320.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3435 0 0 0 31987 15 0 0 25 0 1 0 900152208 22675456 3355 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5536 3355 1111 63 0 5473 0
vsize: 22144
[startup+330.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3494 0 0 0 32987 15 0 0 25 0 1 0 900152208 22966272 3414 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5607 3414 1111 63 0 5544 0
vsize: 22428
[startup+340.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3550 0 0 0 33987 16 0 0 25 0 1 0 900152208 23265280 3470 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5680 3470 1111 63 0 5617 0
vsize: 22720
[startup+350.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3608 0 0 0 34987 16 0 0 25 0 1 0 900152208 23408640 3528 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5715 3528 1111 63 0 5652 0
vsize: 22860
[startup+360.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3664 0 0 0 35987 16 0 0 25 0 1 0 900152208 23699456 3584 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5786 3584 1111 63 0 5723 0
vsize: 23144
[startup+370.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3729 0 0 0 36987 16 0 0 25 0 1 0 900152208 23998464 3649 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5859 3649 1111 63 0 5796 0
vsize: 23436
[startup+380.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3796 0 0 0 37987 16 0 0 25 0 1 0 900152208 24293376 3716 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5931 3716 1111 63 0 5868 0
vsize: 23724
[startup+390.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3850 0 0 0 38987 17 0 0 25 0 1 0 900152208 24428544 3770 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5964 3770 1111 63 0 5901 0
vsize: 23856
[startup+400.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3906 0 0 0 39987 17 0 0 25 0 1 0 900152208 24715264 3826 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6034 3826 1111 63 0 5971 0
vsize: 24136
[startup+410.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 3963 0 0 0 40987 17 0 0 25 0 1 0 900152208 24858624 3883 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6069 3883 1111 63 0 6006 0
vsize: 24276
[startup+420.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4021 0 0 0 41987 17 0 0 25 0 1 0 900152208 25157632 3941 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6142 3941 1111 63 0 6079 0
vsize: 24568
[startup+430.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4080 0 0 0 42987 17 0 0 25 0 1 0 900152208 25448448 4000 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6213 4000 1111 63 0 6150 0
vsize: 24852
[startup+440.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4143 0 0 0 43987 18 0 0 25 0 1 0 900152208 25591808 4063 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6248 4063 1111 63 0 6185 0
vsize: 24992
[startup+450.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4200 0 0 0 44987 18 0 0 25 0 1 0 900152208 25882624 4120 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6319 4120 1111 63 0 6256 0
vsize: 25276
[startup+460.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4258 0 0 0 45987 18 0 0 25 0 1 0 900152208 26181632 4178 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6392 4178 1111 63 0 6329 0
vsize: 25568
[startup+470.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4315 0 0 0 46987 18 0 0 25 0 1 0 900152208 26324992 4235 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6427 4235 1111 63 0 6364 0
vsize: 25708
[startup+480.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4373 0 0 0 47987 18 0 0 25 0 1 0 900152208 26615808 4293 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6498 4293 1111 63 0 6435 0
vsize: 25992
[startup+490.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4436 0 0 0 48987 18 0 0 25 0 1 0 900152208 26906624 4356 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6569 4356 1111 63 0 6506 0
vsize: 26276
[startup+500.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4495 0 0 0 49987 19 0 0 25 0 1 0 900152208 27058176 4415 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6606 4415 1111 63 0 6543 0
vsize: 26424
[startup+510.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4552 0 0 0 50987 19 0 0 25 0 1 0 900152208 27348992 4472 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6677 4472 1111 63 0 6614 0
vsize: 26708
[startup+520.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4610 0 0 0 51987 19 0 0 25 0 1 0 900152208 27496448 4530 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6713 4530 1111 63 0 6650 0
vsize: 26852
[startup+530.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4673 0 0 0 52987 19 0 0 25 0 1 0 900152208 27787264 4593 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6784 4593 1111 63 0 6721 0
vsize: 27136
[startup+540.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4731 0 0 0 53987 19 0 0 25 0 1 0 900152208 28082176 4651 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6856 4651 1111 63 0 6793 0
vsize: 27424
[startup+550.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4789 0 0 0 54987 19 0 0 25 0 1 0 900152208 28225536 4709 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6891 4709 1111 63 0 6828 0
vsize: 27564
[startup+560.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4846 0 0 0 55987 19 0 0 25 0 1 0 900152208 28516352 4766 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6962 4766 1111 63 0 6899 0
vsize: 27848
[startup+570.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4910 0 0 0 56987 19 0 0 25 0 1 0 900152208 28807168 4830 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7033 4830 1111 63 0 6970 0
vsize: 28132
[startup+580.001 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 4968 0 0 0 57987 19 0 0 25 0 1 0 900152208 28954624 4888 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7069 4888 1111 63 0 7006 0
vsize: 28276
[startup+590.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5025 0 0 0 58988 19 0 0 25 0 1 0 900152208 29249536 4945 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7141 4945 1111 63 0 7078 0
vsize: 28564
[startup+600.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5082 0 0 0 59987 20 0 0 25 0 1 0 900152208 29540352 5002 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7212 5002 1111 63 0 7149 0
vsize: 28848
[startup+610.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5139 0 0 0 60987 20 0 0 25 0 1 0 900152208 29687808 5059 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7248 5059 1111 63 0 7185 0
vsize: 28992
[startup+620.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5205 0 0 0 61987 20 0 0 25 0 1 0 900152208 29978624 5125 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7319 5125 1111 63 0 7256 0
vsize: 29276
[startup+630.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5262 0 0 0 62988 20 0 0 25 0 1 0 900152208 30273536 5182 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7391 5182 1111 63 0 7328 0
vsize: 29564
[startup+640.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5319 0 0 0 63987 20 0 0 25 0 1 0 900152208 30420992 5239 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7427 5239 1111 63 0 7364 0
vsize: 29708
[startup+650.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5382 0 0 0 64987 21 0 0 25 0 1 0 900152208 30711808 5302 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7498 5302 1111 63 0 7435 0
vsize: 29992
[startup+660.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5441 0 0 0 65987 21 0 0 25 0 1 0 900152208 31002624 5361 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7569 5361 1111 63 0 7506 0
vsize: 30276
[startup+670.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5505 0 0 0 66987 21 0 0 25 0 1 0 900152208 31154176 5425 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7606 5425 1111 63 0 7543 0
vsize: 30424
[startup+680.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5562 0 0 0 67987 21 0 0 25 0 1 0 900152208 31444992 5482 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7677 5482 1111 63 0 7614 0
vsize: 30708
[startup+690.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5619 0 0 0 68988 21 0 0 25 0 1 0 900152208 31735808 5539 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7748 5539 1111 63 0 7685 0
vsize: 30992
[startup+700.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5675 0 0 0 69987 21 0 0 25 0 1 0 900152208 31879168 5595 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7783 5595 1111 63 0 7720 0
vsize: 31132
[startup+710.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5734 0 0 0 70988 21 0 0 25 0 1 0 900152208 32178176 5654 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7856 5654 1111 63 0 7793 0
vsize: 31424
[startup+720.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5797 0 0 0 71988 21 0 0 25 0 1 0 900152208 32468992 5717 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7927 5717 1111 63 0 7864 0
vsize: 31708
[startup+730.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5854 0 0 0 72988 21 0 0 25 0 1 0 900152208 32612352 5774 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7962 5774 1111 63 0 7899 0
vsize: 31848
[startup+740.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5918 0 0 0 73988 22 0 0 25 0 1 0 900152208 32903168 5838 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8033 5838 1111 63 0 7970 0
vsize: 32132
[startup+750.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 5976 0 0 0 74988 22 0 0 25 0 1 0 900152208 33202176 5896 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8106 5896 1111 63 0 8043 0
vsize: 32424
[startup+760.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 6045 0 0 0 75988 22 0 0 25 0 1 0 900152208 33529856 5965 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8186 5965 1111 63 0 8123 0
vsize: 32744
[startup+770.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 6108 0 0 0 76988 22 0 0 25 0 1 0 900152208 33673216 6028 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8221 6028 1111 63 0 8158 0
vsize: 32884
[startup+780.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 6172 0 0 0 77988 22 0 0 25 0 1 0 900152208 33964032 6092 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8292 6092 1111 63 0 8229 0
vsize: 33168
[startup+790.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 6231 0 0 0 78988 22 0 0 25 0 1 0 900152208 34263040 6151 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8365 6151 1111 63 0 8302 0
vsize: 33460
[startup+800.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 6294 0 0 0 79988 23 0 0 25 0 1 0 900152208 34553856 6214 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8436 6214 1111 63 0 8373 0
vsize: 33744
[startup+810.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 6352 0 0 0 80988 23 0 0 25 0 1 0 900152208 34697216 6272 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8471 6272 1111 63 0 8408 0
vsize: 33884
[startup+820.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 6416 0 0 0 81988 23 0 0 25 0 1 0 900152208 34988032 6336 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8542 6336 1111 63 0 8479 0
vsize: 34168
[startup+830.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 6474 0 0 0 82988 23 0 0 25 0 1 0 900152208 35287040 6394 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8615 6394 1111 63 0 8552 0
vsize: 34460
[startup+840.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 6531 0 0 0 83988 23 0 0 25 0 1 0 900152208 35430400 6451 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8650 6451 1111 63 0 8587 0
vsize: 34600
[startup+850.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 6596 0 0 0 84988 23 0 0 25 0 1 0 900152208 35721216 6516 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8721 6516 1111 63 0 8658 0
vsize: 34884
[startup+860.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 6653 0 0 0 85988 23 0 0 25 0 1 0 900152208 36012032 6573 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8792 6573 1111 63 0 8729 0
vsize: 35168
[startup+870.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 6711 0 0 0 86988 24 0 0 25 0 1 0 900152208 36163584 6631 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8829 6631 1111 63 0 8766 0
vsize: 35316
[startup+880.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 6774 0 0 0 87988 24 0 0 25 0 1 0 900152208 36454400 6694 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8900 6694 1111 63 0 8837 0
vsize: 35600
[startup+890.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 6832 0 0 0 88988 24 0 0 25 0 1 0 900152208 36745216 6752 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8971 6752 1111 63 0 8908 0
vsize: 35884
[startup+900.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 6890 0 0 0 89988 24 0 0 25 0 1 0 900152208 36892672 6810 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9007 6810 1111 63 0 8944 0
vsize: 36028
[startup+910.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 6955 0 0 0 90988 24 0 0 25 0 1 0 900152208 37187584 6875 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9079 6875 1111 63 0 9016 0
vsize: 36316
[startup+920.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7012 0 0 0 91988 24 0 0 25 0 1 0 900152208 37478400 6932 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9150 6932 1111 63 0 9087 0
vsize: 36600
[startup+930.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7075 0 0 0 92988 24 0 0 25 0 1 0 900152208 37621760 6995 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9185 6995 1111 63 0 9122 0
vsize: 36740
[startup+940.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7133 0 0 0 93989 24 0 0 25 0 1 0 900152208 37912576 7053 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9256 7053 1111 63 0 9193 0
vsize: 37024
[startup+950.002 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7185 0 0 0 94989 25 0 0 25 0 1 0 900152208 38060032 7105 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9292 7105 1111 63 0 9229 0
vsize: 37168
[startup+960.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7241 0 0 0 95989 25 0 0 25 0 1 0 900152208 38354944 7161 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9364 7161 1111 63 0 9301 0
vsize: 37456
[startup+970.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7298 0 0 0 96989 25 0 0 25 0 1 0 900152208 38645760 7218 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9435 7218 1111 63 0 9372 0
vsize: 37740
[startup+980.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7362 0 0 0 97989 25 0 0 25 0 1 0 900152208 38793216 7282 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9471 7282 1111 63 0 9408 0
vsize: 37884
[startup+990.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7420 0 0 0 98988 25 0 0 25 0 1 0 900152208 39084032 7340 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9542 7340 1111 63 0 9479 0
vsize: 38168
[startup+1000 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7478 0 0 0 99988 26 0 0 25 0 1 0 900152208 39378944 7398 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9614 7398 1111 63 0 9551 0
vsize: 38456
[startup+1010 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7541 0 0 0 100988 26 0 0 25 0 1 0 900152208 39526400 7461 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9650 7461 1111 63 0 9587 0
vsize: 38600
[startup+1020 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7598 0 0 0 101988 27 0 0 25 0 1 0 900152208 39817216 7518 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9721 7518 1111 63 0 9658 0
vsize: 38884
[startup+1030 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7657 0 0 0 102988 27 0 0 25 0 1 0 900152208 40112128 7577 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9793 7577 1111 63 0 9730 0
vsize: 39172
[startup+1040 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7720 0 0 0 103988 27 0 0 25 0 1 0 900152208 40259584 7640 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9829 7640 1111 63 0 9766 0
vsize: 39316
[startup+1050 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7778 0 0 0 104987 28 0 0 25 0 1 0 900152208 40550400 7698 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9900 7698 1111 63 0 9837 0
vsize: 39600
[startup+1060 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7841 0 0 0 105988 28 0 0 25 0 1 0 900152208 40841216 7761 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9971 7761 1111 63 0 9908 0
vsize: 39884
[startup+1070 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7907 0 0 0 106988 28 0 0 25 0 1 0 900152208 41136128 7827 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10043 7827 1111 63 0 9980 0
vsize: 40172
[startup+1080 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 7970 0 0 0 107987 28 0 0 25 0 1 0 900152208 41283584 7890 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10079 7890 1111 63 0 10016 0
vsize: 40316
[startup+1090 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 8029 0 0 0 108987 29 0 0 25 0 1 0 900152208 41574400 7949 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10150 7949 1111 63 0 10087 0
vsize: 40600
[startup+1100 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 8092 0 0 0 109987 29 0 0 25 0 1 0 900152208 41865216 8012 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10221 8012 1111 63 0 10158 0
vsize: 40884
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 8151 0 0 0 110987 29 0 0 25 0 1 0 900152208 42008576 8071 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10256 8071 1111 63 0 10193 0
vsize: 41024
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 8209 0 0 0 111988 29 0 0 25 0 1 0 900152208 42307584 8129 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10329 8129 1111 63 0 10266 0
vsize: 41316
[startup+1130 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 8272 0 0 0 112988 29 0 0 25 0 1 0 900152208 42598400 8192 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10400 8192 1111 63 0 10337 0
vsize: 41600
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 8329 0 0 0 113988 29 0 0 25 0 1 0 900152208 42741760 8249 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10435 8249 1111 63 0 10372 0
vsize: 41740
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 8388 0 0 0 114987 30 0 0 25 0 1 0 900152208 43032576 8308 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10506 8308 1111 63 0 10443 0
vsize: 42024
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 8445 0 0 0 115988 30 0 0 25 0 1 0 900152208 43331584 8365 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10579 8365 1111 63 0 10516 0
vsize: 42316
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 8508 0 0 0 116988 30 0 0 25 0 1 0 900152208 43474944 8428 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10614 8428 1111 63 0 10551 0
vsize: 42456
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 8573 0 0 0 117988 30 0 0 25 0 1 0 900152208 43765760 8493 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10685 8493 1111 63 0 10622 0
vsize: 42740
[startup+1190 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 8631 0 0 0 118988 30 0 0 25 0 1 0 900152208 44056576 8551 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10756 8551 1111 63 0 10693 0
vsize: 43024
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) R 7572 31399 31398 0 -1 0 8695 0 0 0 119987 31 0 0 25 0 1 0 900152208 44351488 8615 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10828 8615 1111 63 0 10765 0
vsize: 43312
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 7573
Raw data (stat): 7573 (bsolo_lpr-v2) Z 7572 31399 31398 0 -1 1036 8695 0 0 0 119987 32 0 0 25 0 1 0 900152208 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.02
CPU time (s): 1200.2
CPU user time (s): 1199.87
CPU system time (s): 0.32695
CPU usage (%): 100.015
Max. virtual memory (Kb): 43312
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####