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-dfl001.opb
MD5SUM	0613a0c4894703648f95007e06fadc66
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	187033
Biggest coefficient in the objective function	2150851580428025856
Number of bits for the biggest coefficient in the objective function	61
Sum of the numbers in the objective function	882752655849462562816
Number of bits of the sum of numbers in the objective function	70
Biggest number in a constraint	53687091200000000000
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	4277072243466308681728
Number of bits of the biggest sum of numbers	72
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	3.46847
Number of variables	366703
Total number of constraints	6084
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	6084
Minimum length of a constraint	13
Maximum length of a constraint	6840
Trace number 39820

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-07 20:53:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27869 boxname=wulflinc6 idbench=825 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  0613a0c4894703648f95007e06fadc66  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-dfl001.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-dfl001.opb
IDLAUNCH: 27869
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        857368 kB
Buffers:         34132 kB
Cached:         119792 kB
SwapCached:       1796 kB
Active:          59164 kB
Inactive:        97700 kB
HighTotal:      131008 kB
HighFree:        24948 kB
LowTotal:       903652 kB
LowFree:        832420 kB
SwapTotal:     2097136 kB
SwapFree:      2094416 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            14792 kB
Committed_AS:    63724 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 21:13:10 (client local time) WITH STATUS 0 IN 1200.46 SECONDS
stats: 27869 7 1200.46 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): 1.01 0.97 0.91 2/54 18462
Raw data (stat): 18462 (runsolver) R 18461 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896021896 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0005 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 1690 0 0 0 991 7 0 0 25 0 1 0 896021896 15364096 1610 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 1610 1111 63 0 3688 0
vsize: 15004
[startup+20.0004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 1735 0 0 0 1991 7 0 0 25 0 1 0 896021896 15511552 1655 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1655 1111 63 0 3724 0
vsize: 15148
[startup+30.0006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 1786 0 0 0 2991 7 0 0 25 0 1 0 896021896 15663104 1706 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3824 1706 1111 63 0 3761 0
vsize: 15296
[startup+40.0009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 1838 0 0 0 3992 7 0 0 25 0 1 0 896021896 15966208 1758 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3898 1758 1111 63 0 3835 0
vsize: 15592
[startup+50.0018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 1889 0 0 0 4992 7 0 0 25 0 1 0 896021896 16113664 1809 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3934 1809 1111 63 0 3871 0
vsize: 15736
[startup+60.0023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 1940 0 0 0 5992 7 0 0 25 0 1 0 896021896 16412672 1860 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4007 1860 1111 63 0 3944 0
vsize: 16028
[startup+70.0021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 1991 0 0 0 6992 8 0 0 25 0 1 0 896021896 16564224 1911 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4044 1911 1111 63 0 3981 0
vsize: 16176
[startup+80.0023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2044 0 0 0 7993 8 0 0 25 0 1 0 896021896 16711680 1964 4294967295 134512640 134716908 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4080 1964 1111 63 0 4017 0
vsize: 16320
[startup+90.0025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2101 0 0 0 8993 8 0 0 25 0 1 0 896021896 17014784 2021 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4154 2021 1111 63 0 4091 0
vsize: 16616
[startup+100.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2148 0 0 0 9994 8 0 0 25 0 1 0 896021896 17166336 2068 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4191 2068 1111 63 0 4128 0
vsize: 16764
[startup+110.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2199 0 0 0 10995 8 0 0 25 0 1 0 896021896 17444864 2119 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4259 2119 1111 63 0 4196 0
vsize: 17036
[startup+120.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2250 0 0 0 11995 8 0 0 25 0 1 0 896021896 17596416 2170 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4296 2170 1111 63 0 4233 0
vsize: 17184
[startup+130.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2303 0 0 0 12995 8 0 0 25 0 1 0 896021896 17903616 2223 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4371 2223 1111 63 0 4308 0
vsize: 17484
[startup+140.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2354 0 0 0 13995 8 0 0 25 0 1 0 896021896 18051072 2274 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4407 2274 1111 63 0 4344 0
vsize: 17628
[startup+150.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2412 0 0 0 14996 8 0 0 25 0 1 0 896021896 18350080 2332 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4480 2332 1111 63 0 4417 0
vsize: 17920
[startup+160.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2456 0 0 0 15996 8 0 0 25 0 1 0 896021896 18497536 2376 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4516 2376 1111 63 0 4453 0
vsize: 18064
[startup+170.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2502 0 0 0 16997 8 0 0 25 0 1 0 896021896 18653184 2422 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4554 2422 1111 63 0 4491 0
vsize: 18216
[startup+180.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2560 0 0 0 17997 8 0 0 25 0 1 0 896021896 18952192 2480 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4627 2480 1111 63 0 4564 0
vsize: 18508
[startup+190.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2604 0 0 0 18997 8 0 0 25 0 1 0 896021896 19103744 2524 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4664 2524 1111 63 0 4601 0
vsize: 18656
[startup+200.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2666 0 0 0 19997 9 0 0 25 0 1 0 896021896 19394560 2586 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4735 2586 1111 63 0 4672 0
vsize: 18940
[startup+210.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2719 0 0 0 20998 9 0 0 25 0 1 0 896021896 19550208 2639 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4773 2639 1111 63 0 4710 0
vsize: 19092
[startup+220.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2770 0 0 0 21998 9 0 0 25 0 1 0 896021896 19697664 2690 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4809 2690 1111 63 0 4746 0
vsize: 19236
[startup+230.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2828 0 0 0 22998 9 0 0 25 0 1 0 896021896 19996672 2748 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4882 2748 1111 63 0 4819 0
vsize: 19528
[startup+240.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2879 0 0 0 23998 9 0 0 25 0 1 0 896021896 20148224 2799 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4919 2799 1111 63 0 4856 0
vsize: 19676
[startup+250.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2932 0 0 0 24998 9 0 0 25 0 1 0 896021896 20451328 2852 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4993 2852 1111 63 0 4930 0
vsize: 19972
[startup+260.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 2976 0 0 0 25999 9 0 0 25 0 1 0 896021896 20598784 2896 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5029 2896 1111 63 0 4966 0
vsize: 20116
[startup+270.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3027 0 0 0 26999 9 0 0 25 0 1 0 896021896 20750336 2947 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5066 2947 1111 63 0 5003 0
vsize: 20264
[startup+280.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3078 0 0 0 27999 9 0 0 25 0 1 0 896021896 21049344 2998 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5139 2998 1111 63 0 5076 0
vsize: 20556
[startup+290.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3122 0 0 0 29000 9 0 0 25 0 1 0 896021896 21196800 3042 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5175 3042 1111 63 0 5112 0
vsize: 20700
[startup+300.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3175 0 0 0 30000 10 0 0 25 0 1 0 896021896 21348352 3095 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5212 3095 1111 63 0 5149 0
vsize: 20848
[startup+310.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3227 0 0 0 31000 10 0 0 25 0 1 0 896021896 21651456 3147 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5286 3147 1111 63 0 5223 0
vsize: 21144
[startup+320.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3284 0 0 0 32000 10 0 0 25 0 1 0 896021896 21798912 3204 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5322 3204 1111 63 0 5259 0
vsize: 21288
[startup+330.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3336 0 0 0 33000 11 0 0 25 0 1 0 896021896 22097920 3256 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 3256 1111 63 0 5332 0
vsize: 21580
[startup+340.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3389 0 0 0 34000 11 0 0 25 0 1 0 896021896 22249472 3309 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5432 3309 1111 63 0 5369 0
vsize: 21728
[startup+350.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3446 0 0 0 35000 11 0 0 25 0 1 0 896021896 22556672 3366 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5507 3366 1111 63 0 5444 0
vsize: 22028
[startup+360.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3491 0 0 0 36000 11 0 0 25 0 1 0 896021896 22704128 3411 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5543 3411 1111 63 0 5480 0
vsize: 22172
[startup+370.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3548 0 0 0 37000 11 0 0 25 0 1 0 896021896 22999040 3468 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5615 3468 1111 63 0 5552 0
vsize: 22460
[startup+380.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3612 0 0 0 38001 12 0 0 25 0 1 0 896021896 23285760 3532 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5685 3532 1111 63 0 5622 0
vsize: 22740
[startup+390.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3659 0 0 0 39001 12 0 0 25 0 1 0 896021896 23420928 3579 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5718 3579 1111 63 0 5655 0
vsize: 22872
[startup+400.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3716 0 0 0 40001 12 0 0 25 0 1 0 896021896 23711744 3636 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5789 3636 1111 63 0 5726 0
vsize: 23156
[startup+410.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 18462
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3761 0 0 0 41001 12 0 0 25 0 1 0 896021896 23863296 3681 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5826 3681 1111 63 0 5763 0
vsize: 23304
[startup+420.023 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 18515
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3821 0 0 0 41999 14 0 0 25 0 1 0 896021896 24010752 3741 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5862 3741 1111 63 0 5799 0
vsize: 23448
[startup+430.023 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 18515
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3873 0 0 0 42999 14 0 0 25 0 1 0 896021896 24313856 3793 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5936 3793 1111 63 0 5873 0
vsize: 23744
[startup+440.023 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 18515
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3916 0 0 0 43999 14 0 0 25 0 1 0 896021896 24465408 3836 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5973 3836 1111 63 0 5910 0
vsize: 23892
[startup+450.024 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 18515
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 3967 0 0 0 45000 14 0 0 25 0 1 0 896021896 24612864 3887 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6009 3887 1111 63 0 5946 0
vsize: 24036
[startup+460.024 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 18515
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4025 0 0 0 46000 14 0 0 25 0 1 0 896021896 24911872 3945 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6082 3945 1111 63 0 6019 0
vsize: 24328
[startup+470.024 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 18515
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4071 0 0 0 47000 15 0 0 25 0 1 0 896021896 25047040 3991 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6115 3991 1111 63 0 6052 0
vsize: 24460
[startup+480.025 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 18515
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4130 0 0 0 48000 15 0 0 25 0 1 0 896021896 25337856 4050 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6186 4050 1111 63 0 6123 0
vsize: 24744
[startup+490.024 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4174 0 0 0 49000 15 0 0 25 0 1 0 896021896 25489408 4094 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6223 4094 1111 63 0 6160 0
vsize: 24892
[startup+500.025 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4225 0 0 0 50000 15 0 0 25 0 1 0 896021896 25784320 4145 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6295 4145 1111 63 0 6232 0
vsize: 25180
[startup+510.026 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4277 0 0 0 51001 15 0 0 25 0 1 0 896021896 25939968 4197 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6333 4197 1111 63 0 6270 0
vsize: 25332
[startup+520.026 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4336 0 0 0 52001 15 0 0 25 0 1 0 896021896 26238976 4256 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6406 4256 1111 63 0 6343 0
vsize: 25624
[startup+530.026 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4381 0 0 0 53001 15 0 0 25 0 1 0 896021896 26390528 4301 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6443 4301 1111 63 0 6380 0
vsize: 25772
[startup+540.039 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4438 0 0 0 54003 16 0 0 25 0 1 0 896021896 26537984 4358 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6479 4358 1111 63 0 6416 0
vsize: 25916
[startup+550.039 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4491 0 0 0 55003 16 0 0 25 0 1 0 896021896 26836992 4411 4294967295 134512640 134716908 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6552 4411 1111 63 0 6489 0
vsize: 26208
[startup+560.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4542 0 0 0 56003 16 0 0 25 0 1 0 896021896 26992640 4462 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6590 4462 1111 63 0 6527 0
vsize: 26360
[startup+570.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4595 0 0 0 57003 16 0 0 25 0 1 0 896021896 27291648 4515 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6663 4515 1111 63 0 6600 0
vsize: 26652
[startup+580.039 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4645 0 0 0 58004 16 0 0 25 0 1 0 896021896 27439104 4565 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6699 4565 1111 63 0 6636 0
vsize: 26796
[startup+590.04 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4696 0 0 0 59004 16 0 0 25 0 1 0 896021896 27590656 4616 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6736 4616 1111 63 0 6673 0
vsize: 26944
[startup+600.04 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4742 0 0 0 60004 16 0 0 25 0 1 0 896021896 27893760 4662 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6810 4662 1111 63 0 6747 0
vsize: 27240
[startup+610.041 s]
Raw data (loadavg): 1.14 1.02 0.93 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4799 0 0 0 61004 16 0 0 25 0 1 0 896021896 28041216 4719 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6846 4719 1111 63 0 6783 0
vsize: 27384
[startup+620.041 s]
Raw data (loadavg): 1.12 1.02 0.93 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4852 0 0 0 62005 16 0 0 25 0 1 0 896021896 28340224 4772 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6919 4772 1111 63 0 6856 0
vsize: 27676
[startup+630.042 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4909 0 0 0 63005 17 0 0 25 0 1 0 896021896 28491776 4829 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6956 4829 1111 63 0 6893 0
vsize: 27824
[startup+640.042 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 4956 0 0 0 64005 17 0 0 25 0 1 0 896021896 28639232 4876 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6992 4876 1111 63 0 6929 0
vsize: 27968
[startup+650.042 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5007 0 0 0 65005 17 0 0 25 0 1 0 896021896 28942336 4927 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7066 4927 1111 63 0 7003 0
vsize: 28264
[startup+660.042 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5058 0 0 0 66005 17 0 0 25 0 1 0 896021896 29093888 4978 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7103 4978 1111 63 0 7040 0
vsize: 28412
[startup+670.042 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5115 0 0 0 67006 17 0 0 25 0 1 0 896021896 29392896 5035 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7176 5035 1111 63 0 7113 0
vsize: 28704
[startup+680.043 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5161 0 0 0 68006 17 0 0 25 0 1 0 896021896 29540352 5081 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7212 5081 1111 63 0 7149 0
vsize: 28848
[startup+690.043 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5219 0 0 0 69006 17 0 0 25 0 1 0 896021896 29818880 5139 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7280 5139 1111 63 0 7217 0
vsize: 29120
[startup+700.044 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5263 0 0 0 70007 17 0 0 25 0 1 0 896021896 29966336 5183 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7316 5183 1111 63 0 7253 0
vsize: 29264
[startup+710.045 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5321 0 0 0 71007 18 0 0 25 0 1 0 896021896 30265344 5241 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7389 5241 1111 63 0 7326 0
vsize: 29556
[startup+720.045 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5374 0 0 0 72007 18 0 0 25 0 1 0 896021896 30412800 5294 4294967295 134512640 134716908 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7425 5294 1111 63 0 7362 0
vsize: 29700
[startup+730.045 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5425 0 0 0 73007 18 0 0 25 0 1 0 896021896 30568448 5345 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7463 5345 1111 63 0 7400 0
vsize: 29852
[startup+740.045 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18517
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5476 0 0 0 74007 18 0 0 25 0 1 0 896021896 30867456 5396 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7536 5396 1111 63 0 7473 0
vsize: 30144
[startup+750.046 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5527 0 0 0 75008 18 0 0 25 0 1 0 896021896 31019008 5447 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7573 5447 1111 63 0 7510 0
vsize: 30292
[startup+760.046 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5595 0 0 0 76008 18 0 0 25 0 1 0 896021896 31350784 5515 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7654 5515 1111 63 0 7591 0
vsize: 30616
[startup+770.047 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5649 0 0 0 77008 18 0 0 25 0 1 0 896021896 31657984 5569 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7729 5569 1111 63 0 7666 0
vsize: 30916
[startup+780.048 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5700 0 0 0 78009 18 0 0 25 0 1 0 896021896 31805440 5620 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7765 5620 1111 63 0 7702 0
vsize: 31060
[startup+790.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5752 0 0 0 79009 19 0 0 25 0 1 0 896021896 31956992 5672 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7802 5672 1111 63 0 7739 0
vsize: 31208
[startup+800.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5803 0 0 0 80009 19 0 0 25 0 1 0 896021896 32256000 5723 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7875 5723 1111 63 0 7812 0
vsize: 31500
[startup+810.048 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5862 0 0 0 81009 19 0 0 25 0 1 0 896021896 32407552 5782 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7912 5782 1111 63 0 7849 0
vsize: 31648
[startup+820.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5913 0 0 0 82010 19 0 0 25 0 1 0 896021896 32706560 5833 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7985 5833 1111 63 0 7922 0
vsize: 31940
[startup+830.049 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 5964 0 0 0 83010 19 0 0 25 0 1 0 896021896 32858112 5884 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8022 5884 1111 63 0 7959 0
vsize: 32088
[startup+840.05 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6022 0 0 0 84010 19 0 0 25 0 1 0 896021896 33157120 5942 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8095 5942 1111 63 0 8032 0
vsize: 32380
[startup+850.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6076 0 0 0 85010 19 0 0 25 0 1 0 896021896 33308672 5996 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8132 5996 1111 63 0 8069 0
vsize: 32528
[startup+860.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6128 0 0 0 86010 20 0 0 25 0 1 0 896021896 33607680 6048 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8205 6048 1111 63 0 8142 0
vsize: 32820
[startup+870.051 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6186 0 0 0 87010 20 0 0 25 0 1 0 896021896 33759232 6106 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8242 6106 1111 63 0 8179 0
vsize: 32968
[startup+880.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6237 0 0 0 88011 20 0 0 25 0 1 0 896021896 34058240 6157 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8315 6157 1111 63 0 8252 0
vsize: 33260
[startup+890.052 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6290 0 0 0 89011 20 0 0 25 0 1 0 896021896 34209792 6210 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8352 6210 1111 63 0 8289 0
vsize: 33408
[startup+900.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6348 0 0 0 90012 20 0 0 25 0 1 0 896021896 34508800 6268 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8425 6268 1111 63 0 8362 0
vsize: 33700
[startup+910.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6393 0 0 0 91012 20 0 0 25 0 1 0 896021896 34660352 6313 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8462 6313 1111 63 0 8399 0
vsize: 33848
[startup+920.053 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6450 0 0 0 92012 20 0 0 25 0 1 0 896021896 34807808 6370 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8498 6370 1111 63 0 8435 0
vsize: 33992
[startup+930.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6503 0 0 0 93012 20 0 0 25 0 1 0 896021896 35115008 6423 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8573 6423 1111 63 0 8510 0
vsize: 34292
[startup+940.054 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6555 0 0 0 94012 21 0 0 25 0 1 0 896021896 35266560 6475 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8610 6475 1111 63 0 8547 0
vsize: 34440
[startup+950.055 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6614 0 0 0 95013 21 0 0 25 0 1 0 896021896 35561472 6534 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8682 6534 1111 63 0 8619 0
vsize: 34728
[startup+960.056 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6666 0 0 0 96013 21 0 0 25 0 1 0 896021896 35708928 6586 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8718 6586 1111 63 0 8655 0
vsize: 34872
[startup+970.057 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6719 0 0 0 97013 21 0 0 25 0 1 0 896021896 36016128 6639 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8793 6639 1111 63 0 8730 0
vsize: 35172
[startup+980.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6776 0 0 0 98013 21 0 0 25 0 1 0 896021896 36167680 6696 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8830 6696 1111 63 0 8767 0
vsize: 35320
[startup+990.058 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6827 0 0 0 99013 22 0 0 25 0 1 0 896021896 36466688 6747 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8903 6747 1111 63 0 8840 0
vsize: 35612
[startup+1000.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6878 0 0 0 100014 22 0 0 25 0 1 0 896021896 36614144 6798 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8939 6798 1111 63 0 8876 0
vsize: 35756
[startup+1010.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6938 0 0 0 101014 22 0 0 25 0 1 0 896021896 36917248 6858 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9013 6858 1111 63 0 8950 0
vsize: 36052
[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 6989 0 0 0 102014 22 0 0 25 0 1 0 896021896 37068800 6909 4294967295 134512640 134716908 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9050 6909 1111 63 0 8987 0
vsize: 36200
[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7041 0 0 0 103015 22 0 0 25 0 1 0 896021896 37216256 6961 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9086 6961 1111 63 0 9023 0
vsize: 36344
[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7098 0 0 0 104015 22 0 0 25 0 1 0 896021896 37515264 7018 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9159 7018 1111 63 0 9096 0
vsize: 36636
[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7151 0 0 0 105015 22 0 0 25 0 1 0 896021896 37666816 7071 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9196 7071 1111 63 0 9133 0
vsize: 36784
[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7204 0 0 0 106015 22 0 0 25 0 1 0 896021896 37969920 7124 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9270 7124 1111 63 0 9207 0
vsize: 37080
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7262 0 0 0 107016 22 0 0 25 0 1 0 896021896 38117376 7182 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9306 7182 1111 63 0 9243 0
vsize: 37224
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7320 0 0 0 108016 22 0 0 25 0 1 0 896021896 38416384 7240 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9379 7240 1111 63 0 9316 0
vsize: 37516
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7350 0 0 0 109016 22 0 0 25 0 1 0 896021896 38567936 7270 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9416 7270 1111 63 0 9353 0
vsize: 37664
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7402 0 0 0 110016 23 0 0 25 0 1 0 896021896 38719488 7322 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9453 7322 1111 63 0 9390 0
vsize: 37812
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7453 0 0 0 111017 23 0 0 25 0 1 0 896021896 39018496 7373 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9526 7373 1111 63 0 9463 0
vsize: 38104
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7511 0 0 0 112017 23 0 0 25 0 1 0 896021896 39170048 7431 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9563 7431 1111 63 0 9500 0
vsize: 38252
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7570 0 0 0 113017 23 0 0 25 0 1 0 896021896 39469056 7490 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9636 7490 1111 63 0 9573 0
vsize: 38544
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7624 0 0 0 114017 23 0 0 25 0 1 0 896021896 39624704 7544 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9674 7544 1111 63 0 9611 0
vsize: 38696
[startup+1150.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7676 0 0 0 115017 24 0 0 25 0 1 0 896021896 39919616 7596 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9746 7596 1111 63 0 9683 0
vsize: 38984
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7734 0 0 0 116018 24 0 0 25 0 1 0 896021896 40071168 7654 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9783 7654 1111 63 0 9720 0
vsize: 39132
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7791 0 0 0 117018 24 0 0 25 0 1 0 896021896 40370176 7711 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9856 7711 1111 63 0 9793 0
vsize: 39424
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7838 0 0 0 118018 24 0 0 25 0 1 0 896021896 40525824 7758 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9894 7758 1111 63 0 9831 0
vsize: 39576
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7896 0 0 0 119019 24 0 0 25 0 1 0 896021896 40824832 7816 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9967 7816 1111 63 0 9904 0
vsize: 39868
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) R 18461 25568 25567 0 -1 0 7939 0 0 0 120019 24 0 0 25 0 1 0 896021896 40972288 7859 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10003 7859 1111 63 0 9940 0
vsize: 40012
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 18519
Raw data (stat): 18462 (bsolo_lpr-v2) Z 18461 25568 25567 0 -1 1036 7939 0 0 0 120019 25 0 0 25 0 1 0 896021896 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.09
CPU time (s): 1200.46
CPU user time (s): 1200.2
CPU system time (s): 0.25996
CPU usage (%): 100.031
Max. virtual memory (Kb): 40012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####