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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb
MD5SUM	6958cafd776838585aada2c9dcafd103
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	246163
Biggest coefficient in the objective function	10737418240
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	43487073153772
Number of bits of the sum of numbers in the objective function	46
Biggest number in a constraint	31729070899200
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	103505525327531
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.77058
Number of variables	293602
Total number of constraints	10500
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	10500
Minimum length of a constraint	13
Maximum length of a constraint	612
Trace number 26844

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-24 17:10:10 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10817 boxname=wulflinc7 idbench=833 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6958cafd776838585aada2c9dcafd103  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-fit2p.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-fit2p.opb
IDLAUNCH: 10817
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        674468 kB
Buffers:         35048 kB
Cached:         303492 kB
SwapCached:        100 kB
Active:         113252 kB
Inactive:       228060 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        674216 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           6740 kB
Slab:            13148 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 17:30:16 (client local time) WITH STATUS 0 IN 1200.36 SECONDS
stats: 10817 7 1200.36 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
Raw data (loadavg): 0.80 0.78 0.83 2/54 28965
Raw data (stat): 28965 (runsolver) R 28964 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773717005 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99989 s]
Raw data (loadavg): 0.83 0.78 0.83 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 1834 0 0 0 990 7 0 0 25 0 1 0 773717005 15360000 1758 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3750 1758 1111 63 0 3687 0
vsize: 15000
[startup+19.9999 s]
Raw data (loadavg): 0.86 0.79 0.83 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 1898 0 0 0 1989 8 0 0 25 0 1 0 773717005 15646720 1822 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3820 1822 1111 63 0 3757 0
vsize: 15280
[startup+30.0001 s]
Raw data (loadavg): 0.88 0.80 0.83 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 1970 0 0 0 2989 8 0 0 25 0 1 0 773717005 15941632 1894 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1894 1111 63 0 3829 0
vsize: 15568
[startup+40.0007 s]
Raw data (loadavg): 0.90 0.80 0.83 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 2041 0 0 0 3989 8 0 0 25 0 1 0 773717005 16236544 1965 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3964 1965 1111 63 0 3901 0
vsize: 15856
[startup+50.0008 s]
Raw data (loadavg): 0.91 0.81 0.83 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 2112 0 0 0 4989 9 0 0 25 0 1 0 773717005 16523264 2036 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4034 2036 1111 63 0 3971 0
vsize: 16136
[startup+60.001 s]
Raw data (loadavg): 0.93 0.81 0.83 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 2182 0 0 0 5988 9 0 0 25 0 1 0 773717005 16818176 2106 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2106 1111 63 0 4043 0
vsize: 16424
[startup+70.0005 s]
Raw data (loadavg): 0.94 0.82 0.84 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 2249 0 0 0 6989 9 0 0 25 0 1 0 773717005 17108992 2173 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4177 2173 1111 63 0 4114 0
vsize: 16708
[startup+80.0052 s]
Raw data (loadavg): 0.95 0.83 0.84 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 2325 0 0 0 7989 9 0 0 25 0 1 0 773717005 17399808 2249 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4248 2249 1111 63 0 4185 0
vsize: 16992
[startup+90.0048 s]
Raw data (loadavg): 0.95 0.83 0.84 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 2399 0 0 0 8989 9 0 0 25 0 1 0 773717005 17674240 2323 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4315 2323 1111 63 0 4252 0
vsize: 17260
[startup+100.004 s]
Raw data (loadavg): 0.96 0.84 0.84 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 2465 0 0 0 9989 9 0 0 25 0 1 0 773717005 17960960 2389 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4385 2389 1111 63 0 4322 0
vsize: 17540
[startup+110.005 s]
Raw data (loadavg): 0.97 0.84 0.84 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 2542 0 0 0 10989 10 0 0 25 0 1 0 773717005 18259968 2466 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2466 1111 63 0 4395 0
vsize: 17832
[startup+120.005 s]
Raw data (loadavg): 0.97 0.85 0.84 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 2613 0 0 0 11989 10 0 0 25 0 1 0 773717005 18550784 2537 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4529 2537 1111 63 0 4466 0
vsize: 18116
[startup+130.004 s]
Raw data (loadavg): 0.97 0.85 0.84 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 2678 0 0 0 12988 10 0 0 25 0 1 0 773717005 18837504 2602 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4599 2602 1111 63 0 4536 0
vsize: 18396
[startup+140.004 s]
Raw data (loadavg): 0.98 0.85 0.84 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 2756 0 0 0 13988 11 0 0 25 0 1 0 773717005 19136512 2680 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4672 2680 1111 63 0 4609 0
vsize: 18688
[startup+150.004 s]
Raw data (loadavg): 0.98 0.86 0.84 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 2827 0 0 0 14988 11 0 0 25 0 1 0 773717005 19423232 2751 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4742 2751 1111 63 0 4679 0
vsize: 18968
[startup+160.003 s]
Raw data (loadavg): 0.98 0.86 0.84 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 2892 0 0 0 15988 11 0 0 25 0 1 0 773717005 19714048 2816 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4813 2816 1111 63 0 4750 0
vsize: 19252
[startup+170.003 s]
Raw data (loadavg): 0.99 0.87 0.85 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 2975 0 0 0 16988 11 0 0 25 0 1 0 773717005 20152320 2899 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 2899 1111 63 0 4857 0
vsize: 19680
[startup+180.004 s]
Raw data (loadavg): 0.99 0.87 0.85 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 3046 0 0 0 17988 12 0 0 25 0 1 0 773717005 20439040 2970 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4990 2970 1111 63 0 4927 0
vsize: 19960
[startup+190.004 s]
Raw data (loadavg): 0.99 0.87 0.85 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 3111 0 0 0 18988 12 0 0 25 0 1 0 773717005 20586496 3035 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5026 3035 1111 63 0 4963 0
vsize: 20104
[startup+200.004 s]
Raw data (loadavg): 0.99 0.88 0.85 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 3188 0 0 0 19988 12 0 0 25 0 1 0 773717005 21020672 3112 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5132 3112 1111 63 0 5069 0
vsize: 20528
[startup+210.003 s]
Raw data (loadavg): 0.99 0.88 0.85 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 3260 0 0 0 20988 12 0 0 25 0 1 0 773717005 21315584 3184 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5204 3184 1111 63 0 5141 0
vsize: 20816
[startup+220.009 s]
Raw data (loadavg): 0.99 0.89 0.85 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 3331 0 0 0 21988 12 0 0 25 0 1 0 773717005 21610496 3255 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5276 3255 1111 63 0 5213 0
vsize: 21104
[startup+230.009 s]
Raw data (loadavg): 0.99 0.89 0.85 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 3403 0 0 0 22988 13 0 0 25 0 1 0 773717005 21897216 3327 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5346 3327 1111 63 0 5283 0
vsize: 21384
[startup+240.009 s]
Raw data (loadavg): 0.99 0.89 0.85 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 3475 0 0 0 23988 13 0 0 25 0 1 0 773717005 22183936 3399 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5416 3399 1111 63 0 5353 0
vsize: 21664
[startup+250.008 s]
Raw data (loadavg): 0.99 0.89 0.85 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 3546 0 0 0 24989 13 0 0 25 0 1 0 773717005 22482944 3470 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5489 3470 1111 63 0 5426 0
vsize: 21956
[startup+260.008 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 3617 0 0 0 25988 13 0 0 25 0 1 0 773717005 22773760 3541 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 3541 1111 63 0 5497 0
vsize: 22240
[startup+270.008 s]
Raw data (loadavg): 0.99 0.90 0.85 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 3687 0 0 0 26988 13 0 0 25 0 1 0 773717005 23060480 3611 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5630 3611 1111 63 0 5567 0
vsize: 22520
[startup+280.008 s]
Raw data (loadavg): 0.99 0.90 0.86 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 3766 0 0 0 27989 13 0 0 25 0 1 0 773717005 23359488 3690 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5703 3690 1111 63 0 5640 0
vsize: 22812
[startup+290.008 s]
Raw data (loadavg): 0.99 0.91 0.86 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 3831 0 0 0 28989 13 0 0 25 0 1 0 773717005 23650304 3755 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5774 3755 1111 63 0 5711 0
vsize: 23096
[startup+300.007 s]
Raw data (loadavg): 0.99 0.91 0.86 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 3902 0 0 0 29989 13 0 0 25 0 1 0 773717005 23937024 3826 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5844 3826 1111 63 0 5781 0
vsize: 23376
[startup+310.008 s]
Raw data (loadavg): 0.99 0.91 0.86 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 3980 0 0 0 30989 13 0 0 25 0 1 0 773717005 24231936 3904 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5916 3904 1111 63 0 5853 0
vsize: 23664
[startup+320.111 s]
Raw data (loadavg): 0.99 0.91 0.86 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 4055 0 0 0 31999 14 0 0 25 0 1 0 773717005 24526848 3979 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5988 3979 1111 63 0 5925 0
vsize: 23952
[startup+330.112 s]
Raw data (loadavg): 0.99 0.92 0.86 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 4122 0 0 0 32999 14 0 0 25 0 1 0 773717005 24809472 4046 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6057 4046 1111 63 0 5994 0
vsize: 24228
[startup+340.111 s]
Raw data (loadavg): 0.99 0.92 0.86 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 4199 0 0 0 33999 14 0 0 25 0 1 0 773717005 25096192 4123 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6127 4123 1111 63 0 6064 0
vsize: 24508
[startup+350.112 s]
Raw data (loadavg): 0.99 0.92 0.86 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 4266 0 0 0 34999 14 0 0 25 0 1 0 773717005 25391104 4190 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6199 4190 1111 63 0 6136 0
vsize: 24796
[startup+360.113 s]
Raw data (loadavg): 0.99 0.92 0.86 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 4343 0 0 0 36000 14 0 0 25 0 1 0 773717005 25681920 4267 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6270 4267 1111 63 0 6207 0
vsize: 25080
[startup+370.112 s]
Raw data (loadavg): 0.99 0.92 0.86 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 4414 0 0 0 37000 14 0 0 25 0 1 0 773717005 25972736 4338 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6341 4338 1111 63 0 6278 0
vsize: 25364
[startup+380.112 s]
Raw data (loadavg): 0.99 0.93 0.87 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 4486 0 0 0 38000 14 0 0 25 0 1 0 773717005 26259456 4410 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6411 4410 1111 63 0 6348 0
vsize: 25644
[startup+390.113 s]
Raw data (loadavg): 0.99 0.93 0.87 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 4558 0 0 0 39000 14 0 0 25 0 1 0 773717005 26558464 4482 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6484 4482 1111 63 0 6421 0
vsize: 25936
[startup+400.112 s]
Raw data (loadavg): 0.99 0.93 0.87 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 4636 0 0 0 40000 15 0 0 25 0 1 0 773717005 26849280 4560 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6555 4560 1111 63 0 6492 0
vsize: 26220
[startup+410.112 s]
Raw data (loadavg): 0.99 0.93 0.87 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 4701 0 0 0 41000 15 0 0 25 0 1 0 773717005 27136000 4625 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6625 4625 1111 63 0 6562 0
vsize: 26500
[startup+420.112 s]
Raw data (loadavg): 0.99 0.93 0.87 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 4773 0 0 0 42000 15 0 0 25 0 1 0 773717005 27435008 4697 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6698 4697 1111 63 0 6635 0
vsize: 26792
[startup+430.112 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 4850 0 0 0 43000 15 0 0 25 0 1 0 773717005 27725824 4774 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6769 4774 1111 63 0 6706 0
vsize: 27076
[startup+440.112 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 4915 0 0 0 44000 15 0 0 25 0 1 0 773717005 28012544 4839 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6839 4839 1111 63 0 6776 0
vsize: 27356
[startup+450.111 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 4993 0 0 0 45000 15 0 0 25 0 1 0 773717005 28307456 4917 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6911 4917 1111 63 0 6848 0
vsize: 27644
[startup+460.112 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 5064 0 0 0 46000 15 0 0 25 0 1 0 773717005 28602368 4988 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4988 1111 63 0 6920 0
vsize: 27932
[startup+470.112 s]
Raw data (loadavg): 0.99 0.94 0.87 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 5136 0 0 0 47000 16 0 0 25 0 1 0 773717005 28889088 5060 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7053 5060 1111 63 0 6990 0
vsize: 28212
[startup+480.113 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 5208 0 0 0 48000 16 0 0 25 0 1 0 773717005 29184000 5132 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7125 5132 1111 63 0 7062 0
vsize: 28500
[startup+490.112 s]
Raw data (loadavg): 0.99 0.94 0.88 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 5281 0 0 0 49000 16 0 0 25 0 1 0 773717005 29474816 5205 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 5205 1111 63 0 7133 0
vsize: 28784
[startup+500.12 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 5357 0 0 0 50001 16 0 0 25 0 1 0 773717005 29908992 5281 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7302 5281 1111 63 0 7239 0
vsize: 29208
[startup+510.12 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 5422 0 0 0 51001 16 0 0 25 0 1 0 773717005 30060544 5346 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7339 5346 1111 63 0 7276 0
vsize: 29356
[startup+520.136 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 5495 0 0 0 52002 17 0 0 25 0 1 0 773717005 30347264 5419 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7409 5419 1111 63 0 7346 0
vsize: 29636
[startup+530.152 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 5572 0 0 0 53004 17 0 0 25 0 1 0 773717005 30785536 5496 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7516 5496 1111 63 0 7453 0
vsize: 30064
[startup+540.152 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 5637 0 0 0 54004 17 0 0 25 0 1 0 773717005 30932992 5561 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7552 5561 1111 63 0 7489 0
vsize: 30208
[startup+550.152 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 5715 0 0 0 55004 17 0 0 25 0 1 0 773717005 31367168 5639 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7658 5639 1111 63 0 7595 0
vsize: 30632
[startup+560.151 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 5793 0 0 0 56004 17 0 0 25 0 1 0 773717005 31662080 5717 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7730 5717 1111 63 0 7667 0
vsize: 30920
[startup+570.151 s]
Raw data (loadavg): 0.99 0.95 0.88 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 5858 0 0 0 57004 17 0 0 25 0 1 0 773717005 31956992 5782 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7802 5782 1111 63 0 7739 0
vsize: 31208
[startup+580.151 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 5929 0 0 0 58004 17 0 0 25 0 1 0 773717005 32243712 5853 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7872 5853 1111 63 0 7809 0
vsize: 31488
[startup+590.15 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 6008 0 0 0 59004 17 0 0 25 0 1 0 773717005 32534528 5932 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7943 5932 1111 63 0 7880 0
vsize: 31772
[startup+600.15 s]
Raw data (loadavg): 0.99 0.95 0.89 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 6073 0 0 0 60004 17 0 0 25 0 1 0 773717005 32833536 5997 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8016 5997 1111 63 0 7953 0
vsize: 32064
[startup+610.15 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 6150 0 0 0 61004 18 0 0 25 0 1 0 773717005 33120256 6074 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8086 6074 1111 63 0 8023 0
vsize: 32344
[startup+620.15 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 6221 0 0 0 62004 18 0 0 25 0 1 0 773717005 33411072 6145 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8157 6145 1111 63 0 8094 0
vsize: 32628
[startup+630.151 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 6299 0 0 0 63004 18 0 0 25 0 1 0 773717005 33710080 6223 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8230 6223 1111 63 0 8167 0
vsize: 32920
[startup+640.151 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 6375 0 0 0 64005 18 0 0 25 0 1 0 773717005 34041856 6299 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8311 6299 1111 63 0 8248 0
vsize: 33244
[startup+650.151 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 6452 0 0 0 65005 18 0 0 25 0 1 0 773717005 34328576 6376 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8381 6376 1111 63 0 8318 0
vsize: 33524
[startup+660.152 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 6524 0 0 0 66005 18 0 0 25 0 1 0 773717005 34615296 6448 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8451 6448 1111 63 0 8388 0
vsize: 33804
[startup+670.152 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 6596 0 0 0 67005 18 0 0 25 0 1 0 773717005 34910208 6520 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8523 6520 1111 63 0 8460 0
vsize: 34092
[startup+680.152 s]
Raw data (loadavg): 0.99 0.96 0.89 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 6667 0 0 0 68005 19 0 0 25 0 1 0 773717005 35205120 6591 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8595 6591 1111 63 0 8532 0
vsize: 34380
[startup+690.152 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 6744 0 0 0 69005 19 0 0 25 0 1 0 773717005 35635200 6668 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8700 6668 1111 63 0 8637 0
vsize: 34800
[startup+700.151 s]
Raw data (loadavg): 0.99 0.96 0.90 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 6811 0 0 0 70005 19 0 0 25 0 1 0 773717005 35786752 6735 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8737 6735 1111 63 0 8674 0
vsize: 34948
[startup+710.152 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 6888 0 0 0 71005 19 0 0 25 0 1 0 773717005 36220928 6812 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8843 6812 1111 63 0 8780 0
vsize: 35372
[startup+720.152 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 6960 0 0 0 72005 19 0 0 25 0 1 0 773717005 36511744 6884 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8914 6884 1111 63 0 8851 0
vsize: 35656
[startup+730.152 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 7038 0 0 0 73005 20 0 0 25 0 1 0 773717005 36810752 6962 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8987 6962 1111 63 0 8924 0
vsize: 35948
[startup+740.153 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 7103 0 0 0 74005 20 0 0 25 0 1 0 773717005 37097472 7027 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9057 7027 1111 63 0 8994 0
vsize: 36228
[startup+750.152 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 7181 0 0 0 75005 20 0 0 25 0 1 0 773717005 37384192 7105 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9127 7105 1111 63 0 9064 0
vsize: 36508
[startup+760.152 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 7252 0 0 0 76004 21 0 0 25 0 1 0 773717005 37679104 7176 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9199 7176 1111 63 0 9136 0
vsize: 36796
[startup+770.152 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 7325 0 0 0 77004 21 0 0 25 0 1 0 773717005 37974016 7249 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9271 7249 1111 63 0 9208 0
vsize: 37084
[startup+780.156 s]
Raw data (loadavg): 0.99 0.97 0.90 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 7402 0 0 0 78005 21 0 0 25 0 1 0 773717005 38260736 7326 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9341 7326 1111 63 0 9278 0
vsize: 37364
[startup+790.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 7473 0 0 0 79004 22 0 0 25 0 1 0 773717005 38555648 7397 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9413 7397 1111 63 0 9350 0
vsize: 37652
[startup+800.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 7546 0 0 0 80004 22 0 0 25 0 1 0 773717005 38850560 7470 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9485 7470 1111 63 0 9422 0
vsize: 37940
[startup+810.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 7618 0 0 0 81004 22 0 0 25 0 1 0 773717005 39137280 7542 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9555 7542 1111 63 0 9492 0
vsize: 38220
[startup+820.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 7689 0 0 0 82004 22 0 0 25 0 1 0 773717005 39432192 7613 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9627 7613 1111 63 0 9564 0
vsize: 38508
[startup+830.156 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 7767 0 0 0 83005 22 0 0 25 0 1 0 773717005 39718912 7691 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9697 7691 1111 63 0 9634 0
vsize: 38788
[startup+840.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 7833 0 0 0 84005 22 0 0 25 0 1 0 773717005 40013824 7757 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9769 7757 1111 63 0 9706 0
vsize: 39076
[startup+850.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 7910 0 0 0 85005 22 0 0 25 0 1 0 773717005 40308736 7834 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9841 7834 1111 63 0 9778 0
vsize: 39364
[startup+860.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 7987 0 0 0 86005 23 0 0 25 0 1 0 773717005 40595456 7911 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9911 7911 1111 63 0 9848 0
vsize: 39644
[startup+870.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 8054 0 0 0 87004 23 0 0 25 0 1 0 773717005 40890368 7978 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9983 7978 1111 63 0 9920 0
vsize: 39932
[startup+880.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 8132 0 0 0 88005 23 0 0 25 0 1 0 773717005 41185280 8056 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10055 8056 1111 63 0 9992 0
vsize: 40220
[startup+890.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 8203 0 0 0 89005 23 0 0 25 0 1 0 773717005 41472000 8127 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10125 8127 1111 63 0 10062 0
vsize: 40500
[startup+900.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 8282 0 0 0 90005 23 0 0 25 0 1 0 773717005 41910272 8206 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10232 8206 1111 63 0 10169 0
vsize: 40928
[startup+910.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 8348 0 0 0 91005 24 0 0 25 0 1 0 773717005 42061824 8272 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10269 8272 1111 63 0 10206 0
vsize: 41076
[startup+920.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 8425 0 0 0 92005 24 0 0 25 0 1 0 773717005 42491904 8349 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10374 8349 1111 63 0 10311 0
vsize: 41496
[startup+930.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 8502 0 0 0 93005 24 0 0 25 0 1 0 773717005 42782720 8426 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10445 8426 1111 63 0 10382 0
vsize: 41780
[startup+940.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 8569 0 0 0 94005 24 0 0 25 0 1 0 773717005 43081728 8493 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10518 8493 1111 63 0 10455 0
vsize: 42072
[startup+950.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 8647 0 0 0 95005 24 0 0 25 0 1 0 773717005 43368448 8571 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10588 8571 1111 63 0 10525 0
vsize: 42352
[startup+960.154 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 8718 0 0 0 96005 24 0 0 25 0 1 0 773717005 43659264 8642 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10659 8642 1111 63 0 10596 0
vsize: 42636
[startup+970.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 8797 0 0 0 97005 24 0 0 25 0 1 0 773717005 43958272 8721 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10732 8721 1111 63 0 10669 0
vsize: 42928
[startup+980.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 8862 0 0 0 98005 24 0 0 25 0 1 0 773717005 44244992 8786 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10802 8786 1111 63 0 10739 0
vsize: 43208
[startup+990.153 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 8940 0 0 0 99005 25 0 0 25 0 1 0 773717005 44535808 8864 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10873 8864 1111 63 0 10810 0
vsize: 43492
[startup+1000.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 9017 0 0 0 100005 25 0 0 25 0 1 0 773717005 44826624 8941 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10944 8941 1111 63 0 10881 0
vsize: 43776
[startup+1010.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 9084 0 0 0 101005 25 0 0 25 0 1 0 773717005 45121536 9008 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11016 9008 1111 63 0 10953 0
vsize: 44064
[startup+1020.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 9161 0 0 0 102005 25 0 0 25 0 1 0 773717005 45412352 9085 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11087 9085 1111 63 0 11024 0
vsize: 44348
[startup+1030.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 9233 0 0 0 103005 25 0 0 25 0 1 0 773717005 45703168 9157 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11158 9157 1111 63 0 11095 0
vsize: 44632
[startup+1040.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 9312 0 0 0 104005 26 0 0 25 0 1 0 773717005 45993984 9236 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11229 9236 1111 63 0 11166 0
vsize: 44916
[startup+1050.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 9377 0 0 0 105005 26 0 0 25 0 1 0 773717005 46288896 9301 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11301 9301 1111 63 0 11238 0
vsize: 45204
[startup+1060.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 9454 0 0 0 106005 26 0 0 25 0 1 0 773717005 46579712 9378 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11372 9378 1111 63 0 11309 0
vsize: 45488
[startup+1070.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 9532 0 0 0 107005 26 0 0 25 0 1 0 773717005 47009792 9456 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11477 9456 1111 63 0 11414 0
vsize: 45908
[startup+1080.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 9605 0 0 0 108005 26 0 0 25 0 1 0 773717005 47312896 9529 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11551 9529 1111 63 0 11488 0
vsize: 46204
[startup+1090.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 9676 0 0 0 109005 26 0 0 25 0 1 0 773717005 47599616 9600 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11621 9600 1111 63 0 11558 0
vsize: 46484
[startup+1100.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 9747 0 0 0 110005 27 0 0 25 0 1 0 773717005 47886336 9671 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11691 9671 1111 63 0 11628 0
vsize: 46764
[startup+1110.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 9827 0 0 0 111005 27 0 0 25 0 1 0 773717005 48189440 9751 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11765 9751 1111 63 0 11702 0
vsize: 47060
[startup+1120.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 9898 0 0 0 112005 27 0 0 25 0 1 0 773717005 48476160 9822 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11835 9822 1111 63 0 11772 0
vsize: 47340
[startup+1130.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 9975 0 0 0 113005 27 0 0 25 0 1 0 773717005 48762880 9899 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11905 9899 1111 63 0 11842 0
vsize: 47620
[startup+1140.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 10048 0 0 0 114005 27 0 0 25 0 1 0 773717005 49057792 9972 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11977 9972 1111 63 0 11914 0
vsize: 47908
[startup+1150.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 10120 0 0 0 115005 28 0 0 25 0 1 0 773717005 49352704 10044 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12049 10044 1111 63 0 11986 0
vsize: 48196
[startup+1160.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 10191 0 0 0 116005 28 0 0 25 0 1 0 773717005 49639424 10115 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12119 10115 1111 63 0 12056 0
vsize: 48476
[startup+1170.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 10268 0 0 0 117005 28 0 0 25 0 1 0 773717005 49934336 10192 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12191 10192 1111 63 0 12128 0
vsize: 48764
[startup+1180.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 10347 0 0 0 118005 28 0 0 25 0 1 0 773717005 50229248 10271 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12263 10271 1111 63 0 12200 0
vsize: 49052
[startup+1190.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 10412 0 0 0 119005 28 0 0 25 0 1 0 773717005 50515968 10336 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12333 10336 1111 63 0 12270 0
vsize: 49332
[startup+1200.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28965
Raw data (stat): 28965 (bsolo_lpr) R 28964 24300 24299 0 -1 0 10489 0 0 0 120005 28 0 0 25 0 1 0 773717005 50810880 10413 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12405 10413 1111 63 0 12342 0
vsize: 49620
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 28965
Raw data (stat): 28965 (bsolo_lpr) Z 28964 24300 24299 0 -1 1036 10489 0 0 0 120005 30 0 0 25 0 1 0 773717005 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.17
CPU time (s): 1200.36
CPU user time (s): 1200.05
CPU system time (s): 0.308953
CPU usage (%): 100.016
Max. virtual memory (Kb): 49620
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####