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-ship12l.opb
MD5SUM	bdd9a8da4deb9b8348cff99945476562
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	162810
Biggest coefficient in the objective function	1511023181824000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	426775792258590390
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	1511023181824000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	426775792258590390
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.53377
Number of variables	162810
Total number of constraints	1042
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	1042
Minimum length of a constraint	30
Maximum length of a constraint	2250
Trace number 28941

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc11 THE 2005-05-25 04:12:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11454 boxname=wulflinc11 idbench=882 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  bdd9a8da4deb9b8348cff99945476562  /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-ship12l.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc11/normalized-mps-v2-20-10-ship12l.opb
IDLAUNCH: 11454
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.028
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.028
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:        889400 kB
Buffers:         13284 kB
Cached:         110416 kB
SwapCached:        740 kB
Active:          29860 kB
Inactive:        95868 kB
HighTotal:      131008 kB
HighFree:        19908 kB
LowTotal:       903652 kB
LowFree:        869492 kB
SwapTotal:     2097136 kB
SwapFree:      2095468 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5016 kB
Slab:            13816 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:32:35 (client local time) WITH STATUS 0 IN 1200.52 SECONDS
stats: 11454 7 1200.52 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.93 0.97 0.95 2/54 3193
Raw data (stat): 3193 (runsolver) R 3192 25830 25829 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777679395 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 1566 0 0 0 991 6 0 0 25 0 1 0 777679395 15364096 1490 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3751 1490 1111 63 0 3688 0
vsize: 15004
[startup+20.0011 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 1611 0 0 0 1991 6 0 0 25 0 1 0 777679395 15511552 1535 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1535 1111 63 0 3724 0
vsize: 15148
[startup+30.0019 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 1662 0 0 0 2991 6 0 0 25 0 1 0 777679395 15663104 1586 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3824 1586 1111 63 0 3761 0
vsize: 15296
[startup+40.0026 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 1714 0 0 0 3991 6 0 0 25 0 1 0 777679395 15945728 1638 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 1638 1111 63 0 3830 0
vsize: 15572
[startup+50.0149 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 1759 0 0 0 4993 6 0 0 25 0 1 0 777679395 16089088 1683 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3928 1683 1111 63 0 3865 0
vsize: 15712
[startup+60.0152 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 1816 0 0 0 5993 6 0 0 25 0 1 0 777679395 16388096 1740 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 1740 1111 63 0 3938 0
vsize: 16004
[startup+70.0151 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 1867 0 0 0 6993 6 0 0 25 0 1 0 777679395 16535552 1791 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4037 1791 1111 63 0 3974 0
vsize: 16148
[startup+80.0158 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 1920 0 0 0 7993 6 0 0 25 0 1 0 777679395 16838656 1844 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 1844 1111 63 0 4048 0
vsize: 16444
[startup+90.0159 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 1979 0 0 0 8993 7 0 0 25 0 1 0 777679395 16990208 1903 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4148 1903 1111 63 0 4085 0
vsize: 16592
[startup+100.018 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 2047 0 0 0 9993 7 0 0 25 0 1 0 777679395 17272832 1971 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 1971 1111 63 0 4154 0
vsize: 16868
[startup+110.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 2113 0 0 0 10994 7 0 0 25 0 1 0 777679395 17567744 2037 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4289 2037 1111 63 0 4226 0
vsize: 17156
[startup+120.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 2173 0 0 0 11994 7 0 0 25 0 1 0 777679395 17846272 2097 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4357 2097 1111 63 0 4294 0
vsize: 17428
[startup+130.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 2238 0 0 0 12994 7 0 0 25 0 1 0 777679395 18145280 2162 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4430 2162 1111 63 0 4367 0
vsize: 17720
[startup+140.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 2304 0 0 0 13993 8 0 0 25 0 1 0 777679395 18292736 2228 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4466 2228 1111 63 0 4403 0
vsize: 17864
[startup+150.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 2364 0 0 0 14993 8 0 0 25 0 1 0 777679395 18591744 2288 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 2288 1111 63 0 4476 0
vsize: 18156
[startup+160.024 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 2429 0 0 0 15994 8 0 0 25 0 1 0 777679395 18894848 2353 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4613 2353 1111 63 0 4550 0
vsize: 18452
[startup+170.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 2488 0 0 0 16994 8 0 0 25 0 1 0 777679395 19046400 2412 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4650 2412 1111 63 0 4587 0
vsize: 18600
[startup+180.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 2559 0 0 0 17994 8 0 0 25 0 1 0 777679395 19341312 2483 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4722 2483 1111 63 0 4659 0
vsize: 18888
[startup+190.042 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 2619 0 0 0 18996 8 0 0 25 0 1 0 777679395 19644416 2543 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4796 2543 1111 63 0 4733 0
vsize: 19184
[startup+200.063 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 2685 0 0 0 19998 8 0 0 25 0 1 0 777679395 19943424 2609 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4869 2609 1111 63 0 4806 0
vsize: 19476
[startup+210.087 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 2750 0 0 0 21000 8 0 0 25 0 1 0 777679395 20242432 2674 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4942 2674 1111 63 0 4879 0
vsize: 19768
[startup+220.099 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 2811 0 0 0 22001 9 0 0 25 0 1 0 777679395 20393984 2735 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4979 2735 1111 63 0 4916 0
vsize: 19916
[startup+230.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 2877 0 0 0 23001 9 0 0 25 0 1 0 777679395 20697088 2801 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5053 2801 1111 63 0 4990 0
vsize: 20212
[startup+240.099 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 2942 0 0 0 24001 9 0 0 25 0 1 0 777679395 20996096 2866 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5126 2866 1111 63 0 5063 0
vsize: 20504
[startup+250.104 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 3001 0 0 0 25002 10 0 0 25 0 1 0 777679395 21143552 2925 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 2925 1111 63 0 5099 0
vsize: 20648
[startup+260.11 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 3068 0 0 0 26002 10 0 0 25 0 1 0 777679395 21450752 2992 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 2992 1111 63 0 5174 0
vsize: 20948
[startup+270.11 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 3133 0 0 0 27002 10 0 0 25 0 1 0 777679395 21749760 3057 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5310 3057 1111 63 0 5247 0
vsize: 21240
[startup+280.111 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 3192 0 0 0 28002 10 0 0 25 0 1 0 777679395 22048768 3116 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5383 3116 1111 63 0 5320 0
vsize: 21532
[startup+290.111 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 3259 0 0 0 29002 10 0 0 25 0 1 0 777679395 22200320 3183 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5420 3183 1111 63 0 5357 0
vsize: 21680
[startup+300.111 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 3324 0 0 0 30002 11 0 0 25 0 1 0 777679395 22503424 3248 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5494 3248 1111 63 0 5431 0
vsize: 21976
[startup+310.112 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 3384 0 0 0 31002 11 0 0 25 0 1 0 777679395 22802432 3308 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5567 3308 1111 63 0 5504 0
vsize: 22268
[startup+320.112 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 3449 0 0 0 32003 11 0 0 25 0 1 0 777679395 23101440 3373 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5640 3373 1111 63 0 5577 0
vsize: 22560
[startup+330.113 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 3523 0 0 0 33002 11 0 0 25 0 1 0 777679395 23400448 3447 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5713 3447 1111 63 0 5650 0
vsize: 22852
[startup+340.113 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 3582 0 0 0 34003 11 0 0 25 0 1 0 777679395 23543808 3506 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 3506 1111 63 0 5685 0
vsize: 22992
[startup+350.113 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 3647 0 0 0 35003 11 0 0 25 0 1 0 777679395 23842816 3571 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5821 3571 1111 63 0 5758 0
vsize: 23284
[startup+360.114 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 3714 0 0 0 36002 12 0 0 25 0 1 0 777679395 24145920 3638 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 3638 1111 63 0 5832 0
vsize: 23580
[startup+370.117 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 3773 0 0 0 37003 12 0 0 25 0 1 0 777679395 24444928 3697 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5968 3697 1111 63 0 5905 0
vsize: 23872
[startup+380.117 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 3838 0 0 0 38003 12 0 0 25 0 1 0 777679395 24596480 3762 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6005 3762 1111 63 0 5942 0
vsize: 24020
[startup+390.118 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 3904 0 0 0 39003 12 0 0 25 0 1 0 777679395 24895488 3828 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6078 3828 1111 63 0 6015 0
vsize: 24312
[startup+400.119 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 3965 0 0 0 40003 12 0 0 25 0 1 0 777679395 25202688 3889 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6153 3889 1111 63 0 6090 0
vsize: 24612
[startup+410.125 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 4031 0 0 0 41004 12 0 0 25 0 1 0 777679395 25501696 3955 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6226 3955 1111 63 0 6163 0
vsize: 24904
[startup+420.124 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 4096 0 0 0 42004 12 0 0 25 0 1 0 777679395 25649152 4020 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6262 4020 1111 63 0 6199 0
vsize: 25048
[startup+430.126 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 4157 0 0 0 43004 12 0 0 25 0 1 0 777679395 25952256 4081 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6336 4081 1111 63 0 6273 0
vsize: 25344
[startup+440.13 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 4223 0 0 0 44004 13 0 0 25 0 1 0 777679395 26251264 4147 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6409 4147 1111 63 0 6346 0
vsize: 25636
[startup+450.156 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 4288 0 0 0 45007 13 0 0 25 0 1 0 777679395 26550272 4212 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6482 4212 1111 63 0 6419 0
vsize: 25928
[startup+460.157 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 4347 0 0 0 46007 13 0 0 25 0 1 0 777679395 26701824 4271 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6519 4271 1111 63 0 6456 0
vsize: 26076
[startup+470.158 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 4415 0 0 0 47007 13 0 0 25 0 1 0 777679395 26984448 4339 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6588 4339 1111 63 0 6525 0
vsize: 26352
[startup+480.158 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 4481 0 0 0 48007 13 0 0 25 0 1 0 777679395 27275264 4405 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6659 4405 1111 63 0 6596 0
vsize: 26636
[startup+490.158 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 4541 0 0 0 49007 13 0 0 25 0 1 0 777679395 27574272 4465 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6732 4465 1111 63 0 6669 0
vsize: 26928
[startup+500.159 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 4607 0 0 0 50007 14 0 0 25 0 1 0 777679395 27725824 4531 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6769 4531 1111 63 0 6706 0
vsize: 27076
[startup+510.16 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 4673 0 0 0 51007 14 0 0 25 0 1 0 777679395 28028928 4597 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6843 4597 1111 63 0 6780 0
vsize: 27372
[startup+520.161 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 4732 0 0 0 52008 14 0 0 25 0 1 0 777679395 28327936 4656 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6916 4656 1111 63 0 6853 0
vsize: 27664
[startup+530.177 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 4804 0 0 0 53009 14 0 0 25 0 1 0 777679395 28626944 4728 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6989 4728 1111 63 0 6926 0
vsize: 27956
[startup+540.196 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 4864 0 0 0 54011 14 0 0 25 0 1 0 777679395 28782592 4788 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7027 4788 1111 63 0 6964 0
vsize: 28108
[startup+550.196 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 4931 0 0 0 55011 14 0 0 25 0 1 0 777679395 29081600 4855 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7100 4855 1111 63 0 7037 0
vsize: 28400
[startup+560.197 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 4997 0 0 0 56011 14 0 0 25 0 1 0 777679395 29380608 4921 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7173 4921 1111 63 0 7110 0
vsize: 28692
[startup+570.198 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 5057 0 0 0 57012 14 0 0 25 0 1 0 777679395 29683712 4981 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7247 4981 1111 63 0 7184 0
vsize: 28988
[startup+580.206 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 5129 0 0 0 58012 15 0 0 25 0 1 0 777679395 29982720 5053 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7320 5053 1111 63 0 7257 0
vsize: 29280
[startup+590.206 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 5188 0 0 0 59012 15 0 0 25 0 1 0 777679395 30134272 5112 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7357 5112 1111 63 0 7294 0
vsize: 29428
[startup+600.206 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 5262 0 0 0 60012 15 0 0 25 0 1 0 777679395 30433280 5186 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7430 5186 1111 63 0 7367 0
vsize: 29720
[startup+610.209 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 5321 0 0 0 61013 15 0 0 25 0 1 0 777679395 30740480 5245 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7505 5245 1111 63 0 7442 0
vsize: 30020
[startup+620.208 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 5386 0 0 0 62012 16 0 0 25 0 1 0 777679395 31039488 5310 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7578 5310 1111 63 0 7515 0
vsize: 30312
[startup+630.209 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 5471 0 0 0 63013 16 0 0 25 0 1 0 777679395 31375360 5395 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7660 5395 1111 63 0 7597 0
vsize: 30640
[startup+640.21 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 5530 0 0 0 64013 16 0 0 25 0 1 0 777679395 31678464 5454 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7734 5454 1111 63 0 7671 0
vsize: 30936
[startup+650.21 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 5596 0 0 0 65013 16 0 0 25 0 1 0 777679395 31825920 5520 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7770 5520 1111 63 0 7707 0
vsize: 31080
[startup+660.21 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 5655 0 0 0 66013 16 0 0 25 0 1 0 777679395 32124928 5579 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7843 5579 1111 63 0 7780 0
vsize: 31372
[startup+670.21 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 5729 0 0 0 67013 16 0 0 25 0 1 0 777679395 32432128 5653 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7918 5653 1111 63 0 7855 0
vsize: 31672
[startup+680.211 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 5788 0 0 0 68013 16 0 0 25 0 1 0 777679395 32731136 5712 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7991 5712 1111 63 0 7928 0
vsize: 31964
[startup+690.211 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 5860 0 0 0 69013 16 0 0 25 0 1 0 777679395 33030144 5784 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8064 5784 1111 63 0 8001 0
vsize: 32256
[startup+700.211 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 5920 0 0 0 70013 16 0 0 25 0 1 0 777679395 33181696 5844 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8101 5844 1111 63 0 8038 0
vsize: 32404
[startup+710.211 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 5988 0 0 0 71014 16 0 0 25 0 1 0 777679395 33484800 5912 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8175 5912 1111 63 0 8112 0
vsize: 32700
[startup+720.211 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 6054 0 0 0 72013 17 0 0 25 0 1 0 777679395 33783808 5978 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8248 5978 1111 63 0 8185 0
vsize: 32992
[startup+730.218 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 6120 0 0 0 73014 17 0 0 25 0 1 0 777679395 34082816 6044 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8321 6044 1111 63 0 8258 0
vsize: 33284
[startup+740.219 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 6187 0 0 0 74014 17 0 0 25 0 1 0 777679395 34238464 6111 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8359 6111 1111 63 0 8296 0
vsize: 33436
[startup+750.219 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 6252 0 0 0 75014 17 0 0 25 0 1 0 777679395 34537472 6176 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8432 6176 1111 63 0 8369 0
vsize: 33728
[startup+760.227 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 6317 0 0 0 76014 18 0 0 25 0 1 0 777679395 34836480 6241 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8505 6241 1111 63 0 8442 0
vsize: 34020
[startup+770.227 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 6380 0 0 0 77014 18 0 0 25 0 1 0 777679395 35139584 6304 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8579 6304 1111 63 0 8516 0
vsize: 34316
[startup+780.228 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 6452 0 0 0 78015 18 0 0 25 0 1 0 777679395 35438592 6376 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8652 6376 1111 63 0 8589 0
vsize: 34608
[startup+790.228 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 6512 0 0 0 79015 18 0 0 25 0 1 0 777679395 35590144 6436 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8689 6436 1111 63 0 8626 0
vsize: 34756
[startup+800.228 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 6577 0 0 0 80015 18 0 0 25 0 1 0 777679395 35889152 6501 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8762 6501 1111 63 0 8699 0
vsize: 35048
[startup+810.229 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 6644 0 0 0 81015 18 0 0 25 0 1 0 777679395 36192256 6568 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8836 6568 1111 63 0 8773 0
vsize: 35344
[startup+820.229 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 6710 0 0 0 82015 18 0 0 25 0 1 0 777679395 36491264 6634 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8909 6634 1111 63 0 8846 0
vsize: 35636
[startup+830.25 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 6776 0 0 0 83017 18 0 0 25 0 1 0 777679395 36642816 6700 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 6700 1111 63 0 8883 0
vsize: 35784
[startup+840.251 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 6843 0 0 0 84017 19 0 0 25 0 1 0 777679395 36945920 6767 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9020 6767 1111 63 0 8957 0
vsize: 36080
[startup+850.25 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 6910 0 0 0 85017 19 0 0 25 0 1 0 777679395 37244928 6834 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 6834 1111 63 0 9030 0
vsize: 36372
[startup+860.251 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 6976 0 0 0 86018 19 0 0 25 0 1 0 777679395 37543936 6900 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9166 6900 1111 63 0 9103 0
vsize: 36664
[startup+870.255 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 7043 0 0 0 87018 19 0 0 25 0 1 0 777679395 37847040 6967 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9240 6967 1111 63 0 9177 0
vsize: 36960
[startup+880.261 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 7109 0 0 0 88019 19 0 0 25 0 1 0 777679395 37998592 7033 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9277 7033 1111 63 0 9214 0
vsize: 37108
[startup+890.266 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 7175 0 0 0 89019 19 0 0 25 0 1 0 777679395 38297600 7099 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9350 7099 1111 63 0 9287 0
vsize: 37400
[startup+900.267 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 7240 0 0 0 90019 19 0 0 25 0 1 0 777679395 38596608 7164 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9423 7164 1111 63 0 9360 0
vsize: 37692
[startup+910.268 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 7307 0 0 0 91019 19 0 0 25 0 1 0 777679395 38903808 7231 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9498 7231 1111 63 0 9435 0
vsize: 37992
[startup+920.292 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 7373 0 0 0 92022 20 0 0 25 0 1 0 777679395 39202816 7297 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9571 7297 1111 63 0 9508 0
vsize: 38284
[startup+930.293 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 7441 0 0 0 93022 20 0 0 25 0 1 0 777679395 39350272 7365 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9607 7365 1111 63 0 9544 0
vsize: 38428
[startup+940.293 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 7508 0 0 0 94022 20 0 0 25 0 1 0 777679395 39653376 7432 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9681 7432 1111 63 0 9618 0
vsize: 38724
[startup+950.293 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 7574 0 0 0 95022 20 0 0 25 0 1 0 777679395 39952384 7498 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9754 7498 1111 63 0 9691 0
vsize: 39016
[startup+960.294 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 7633 0 0 0 96022 20 0 0 25 0 1 0 777679395 40251392 7557 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9827 7557 1111 63 0 9764 0
vsize: 39308
[startup+970.294 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 7706 0 0 0 97022 21 0 0 25 0 1 0 777679395 40558592 7630 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9902 7630 1111 63 0 9839 0
vsize: 39608
[startup+980.295 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 7766 0 0 0 98022 21 0 0 25 0 1 0 777679395 40710144 7690 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9939 7690 1111 63 0 9876 0
vsize: 39756
[startup+990.296 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 7838 0 0 0 99022 21 0 0 25 0 1 0 777679395 41009152 7762 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10012 7762 1111 63 0 9949 0
vsize: 40048
[startup+1000.3 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 7898 0 0 0 100022 21 0 0 25 0 1 0 777679395 41308160 7822 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10085 7822 1111 63 0 10022 0
vsize: 40340
[startup+1010.3 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 7966 0 0 0 101022 21 0 0 25 0 1 0 777679395 41611264 7890 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10159 7890 1111 63 0 10096 0
vsize: 40636
[startup+1020.3 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 8031 0 0 0 102022 21 0 0 25 0 1 0 777679395 41758720 7955 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10195 7955 1111 63 0 10132 0
vsize: 40780
[startup+1030.3 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 8091 0 0 0 103022 21 0 0 25 0 1 0 777679395 42057728 8015 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10268 8015 1111 63 0 10205 0
vsize: 41072
[startup+1040.3 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 8164 0 0 0 104022 22 0 0 25 0 1 0 777679395 42356736 8088 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10341 8088 1111 63 0 10278 0
vsize: 41364
[startup+1050.3 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 8223 0 0 0 105022 22 0 0 25 0 1 0 777679395 42635264 8147 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10409 8147 1111 63 0 10346 0
vsize: 41636
[startup+1060.3 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 8295 0 0 0 106023 22 0 0 25 0 1 0 777679395 42934272 8219 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10482 8219 1111 63 0 10419 0
vsize: 41928
[startup+1070.3 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 8355 0 0 0 107022 22 0 0 25 0 1 0 777679395 43081728 8279 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10518 8279 1111 63 0 10455 0
vsize: 42072
[startup+1080.3 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 8430 0 0 0 108022 22 0 0 25 0 1 0 777679395 43384832 8354 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10592 8354 1111 63 0 10529 0
vsize: 42368
[startup+1090.3 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 8490 0 0 0 109022 23 0 0 25 0 1 0 777679395 43683840 8414 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10665 8414 1111 63 0 10602 0
vsize: 42660
[startup+1100.3 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 8562 0 0 0 110022 23 0 0 25 0 1 0 777679395 43982848 8486 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10738 8486 1111 63 0 10675 0
vsize: 42952
[startup+1110.3 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 8629 0 0 0 111023 23 0 0 25 0 1 0 777679395 44290048 8553 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10813 8553 1111 63 0 10750 0
vsize: 43252
[startup+1120.3 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 8695 0 0 0 112023 23 0 0 25 0 1 0 777679395 44589056 8619 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10886 8619 1111 63 0 10823 0
vsize: 43544
[startup+1130.31 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 8767 0 0 0 113024 23 0 0 25 0 1 0 777679395 44888064 8691 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10959 8691 1111 63 0 10896 0
vsize: 43836
[startup+1140.31 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 8828 0 0 0 114024 23 0 0 25 0 1 0 777679395 45039616 8752 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10996 8752 1111 63 0 10933 0
vsize: 43984
[startup+1150.31 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 8900 0 0 0 115024 23 0 0 25 0 1 0 777679395 45342720 8824 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11070 8824 1111 63 0 11007 0
vsize: 44280
[startup+1160.31 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 8966 0 0 0 116024 23 0 0 25 0 1 0 777679395 45641728 8890 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11143 8890 1111 63 0 11080 0
vsize: 44572
[startup+1170.33 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 9034 0 0 0 117026 23 0 0 25 0 1 0 777679395 45940736 8958 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11216 8958 1111 63 0 11153 0
vsize: 44864
[startup+1180.33 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 9099 0 0 0 118026 23 0 0 25 0 1 0 777679395 46247936 9023 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11291 9023 1111 63 0 11228 0
vsize: 45164
[startup+1190.33 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 9165 0 0 0 119026 23 0 0 25 0 1 0 777679395 46395392 9089 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11327 9089 1111 63 0 11264 0
vsize: 45308
[startup+1200.33 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 3193
Raw data (stat): 3193 (bsolo_lpr) R 3192 25830 25829 0 -1 0 9237 0 0 0 120026 23 0 0 25 0 1 0 777679395 46694400 9161 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11400 9161 1111 63 0 11337 0
vsize: 45600
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.35 s]
Raw data (loadavg): 1.00 0.99 0.95 1/54 3193
Raw data (stat): 3193 (bsolo_lpr) Z 3192 25830 25829 0 -1 1036 9237 0 0 0 120026 25 0 0 25 0 1 0 777679395 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.34
CPU time (s): 1200.52
CPU user time (s): 1200.27
CPU system time (s): 0.25696
CPU usage (%): 100.015
Max. virtual memory (Kb): 45600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####