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-ship12s.opb
MD5SUM	8b36f38cb0ceb42bd2113a818ef52485
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	82890
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	204819735955723812
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	1511023181824000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	204819735955723812
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.776881
Number of variables	82890
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	1470
Trace number 28894

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-25 04:05:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11467 boxname=wulflinc15 idbench=883 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  8b36f38cb0ceb42bd2113a818ef52485  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-ship12s.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-ship12s.opb
IDLAUNCH: 11467
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        883516 kB
Buffers:         12188 kB
Cached:         116952 kB
SwapCached:        672 kB
Active:          41396 kB
Inactive:        89832 kB
HighTotal:      131008 kB
HighFree:        32312 kB
LowTotal:       903652 kB
LowFree:        851204 kB
SwapTotal:     2097136 kB
SwapFree:      2095624 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            14312 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:25:40 (client local time) WITH STATUS 0 IN 1200.4 SECONDS
stats: 11467 7 1200.4 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.90 0.93 2/54 4118
Raw data (stat): 4118 (runsolver) R 4117 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777635699 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.0007 s]
Raw data (loadavg): 0.83 0.90 0.93 2/54 4118
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 1097 0 0 0 993 4 0 0 25 0 1 0 777635699 15511552 1021 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1021 1111 63 0 3724 0
vsize: 15148
[startup+20.0011 s]
Raw data (loadavg): 0.86 0.90 0.93 2/54 4118
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 1199 0 0 0 1992 5 0 0 25 0 1 0 777635699 15945728 1123 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3893 1123 1111 63 0 3830 0
vsize: 15572
[startup+30.0019 s]
Raw data (loadavg): 0.88 0.91 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 1288 0 0 0 2992 5 0 0 25 0 1 0 777635699 16236544 1212 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 1212 1111 63 0 3901 0
vsize: 15856
[startup+40.0032 s]
Raw data (loadavg): 0.90 0.91 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 1392 0 0 0 3992 6 0 0 25 0 1 0 777635699 16687104 1316 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4074 1316 1111 63 0 4011 0
vsize: 16296
[startup+50.0036 s]
Raw data (loadavg): 0.91 0.91 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 1519 0 0 0 4991 7 0 0 25 0 1 0 777635699 17272832 1443 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4217 1443 1111 63 0 4154 0
vsize: 16868
[startup+60.0033 s]
Raw data (loadavg): 0.92 0.91 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 1644 0 0 0 5990 7 0 0 25 0 1 0 777635699 17702912 1568 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4322 1568 1111 63 0 4259 0
vsize: 17288
[startup+70.0047 s]
Raw data (loadavg): 0.94 0.92 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 1761 0 0 0 6990 8 0 0 25 0 1 0 777635699 18292736 1685 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4466 1685 1111 63 0 4403 0
vsize: 17864
[startup+80.005 s]
Raw data (loadavg): 0.95 0.92 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 1893 0 0 0 7990 8 0 0 25 0 1 0 777635699 18747392 1817 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 1817 1111 63 0 4514 0
vsize: 18308
[startup+90.0058 s]
Raw data (loadavg): 0.95 0.92 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 2016 0 0 0 8989 9 0 0 25 0 1 0 777635699 19341312 1940 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4722 1940 1111 63 0 4659 0
vsize: 18888
[startup+100.006 s]
Raw data (loadavg): 0.96 0.92 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 2142 0 0 0 9989 9 0 0 25 0 1 0 777635699 19795968 2066 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4833 2066 1111 63 0 4770 0
vsize: 19332
[startup+110.013 s]
Raw data (loadavg): 0.97 0.92 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 2266 0 0 0 10989 10 0 0 25 0 1 0 777635699 20242432 2190 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4942 2190 1111 63 0 4879 0
vsize: 19768
[startup+120.014 s]
Raw data (loadavg): 0.97 0.93 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 2392 0 0 0 11988 10 0 0 25 0 1 0 777635699 20844544 2316 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5089 2316 1111 63 0 5026 0
vsize: 20356
[startup+130.014 s]
Raw data (loadavg): 0.97 0.93 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 2517 0 0 0 12988 11 0 0 25 0 1 0 777635699 21295104 2441 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5199 2441 1111 63 0 5136 0
vsize: 20796
[startup+140.015 s]
Raw data (loadavg): 0.98 0.93 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 2641 0 0 0 13987 11 0 0 25 0 1 0 777635699 21901312 2565 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5347 2565 1111 63 0 5284 0
vsize: 21388
[startup+150.016 s]
Raw data (loadavg): 0.98 0.93 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 2767 0 0 0 14987 12 0 0 25 0 1 0 777635699 22351872 2691 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5457 2691 1111 63 0 5394 0
vsize: 21828
[startup+160.016 s]
Raw data (loadavg): 0.98 0.93 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 2891 0 0 0 15986 12 0 0 25 0 1 0 777635699 22802432 2815 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5567 2815 1111 63 0 5504 0
vsize: 22268
[startup+170.016 s]
Raw data (loadavg): 0.99 0.93 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 3024 0 0 0 16986 12 0 0 25 0 1 0 777635699 23400448 2948 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5713 2948 1111 63 0 5650 0
vsize: 22852
[startup+180.017 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 3154 0 0 0 17986 13 0 0 25 0 1 0 777635699 23994368 3078 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5858 3078 1111 63 0 5795 0
vsize: 23432
[startup+190.018 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 3280 0 0 0 18985 14 0 0 25 0 1 0 777635699 24444928 3204 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5968 3204 1111 63 0 5905 0
vsize: 23872
[startup+200.018 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 3407 0 0 0 19984 14 0 0 25 0 1 0 777635699 25051136 3331 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6116 3331 1111 63 0 6053 0
vsize: 24464
[startup+210.018 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 3539 0 0 0 20984 15 0 0 25 0 1 0 777635699 25501696 3463 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6226 3463 1111 63 0 6163 0
vsize: 24904
[startup+220.019 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 3665 0 0 0 21983 15 0 0 25 0 1 0 777635699 26103808 3589 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 3589 1111 63 0 6310 0
vsize: 25492
[startup+230.019 s]
Raw data (loadavg): 0.99 0.94 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 3789 0 0 0 22983 16 0 0 25 0 1 0 777635699 26550272 3713 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6482 3713 1111 63 0 6419 0
vsize: 25928
[startup+240.02 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 3923 0 0 0 23982 17 0 0 25 0 1 0 777635699 27127808 3847 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6623 3847 1111 63 0 6560 0
vsize: 26492
[startup+250.02 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 4055 0 0 0 24982 17 0 0 25 0 1 0 777635699 27574272 3979 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6732 3979 1111 63 0 6669 0
vsize: 26928
[startup+260.02 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 4181 0 0 0 25981 18 0 0 25 0 1 0 777635699 28176384 4105 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6879 4105 1111 63 0 6816 0
vsize: 27516
[startup+270.021 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 4307 0 0 0 26981 18 0 0 25 0 1 0 777635699 28626944 4231 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6989 4231 1111 63 0 6926 0
vsize: 27956
[startup+280.02 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 4439 0 0 0 27980 19 0 0 25 0 1 0 777635699 29233152 4363 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7137 4363 1111 63 0 7074 0
vsize: 28548
[startup+290.022 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 4571 0 0 0 28980 19 0 0 25 0 1 0 777635699 29683712 4495 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7247 4495 1111 63 0 7184 0
vsize: 28988
[startup+300.023 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 4696 0 0 0 29980 19 0 0 25 0 1 0 777635699 30281728 4620 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7393 4620 1111 63 0 7330 0
vsize: 29572
[startup+310.022 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 4828 0 0 0 30980 19 0 0 25 0 1 0 777635699 30740480 4752 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7505 4752 1111 63 0 7442 0
vsize: 30020
[startup+320.023 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 4973 0 0 0 31979 20 0 0 25 0 1 0 777635699 31375360 4897 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7660 4897 1111 63 0 7597 0
vsize: 30640
[startup+330.024 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 5098 0 0 0 32979 20 0 0 25 0 1 0 777635699 31977472 5022 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7807 5022 1111 63 0 7744 0
vsize: 31228
[startup+340.025 s]
Raw data (loadavg): 0.99 0.95 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 5237 0 0 0 33978 21 0 0 25 0 1 0 777635699 32583680 5161 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7955 5161 1111 63 0 7892 0
vsize: 31820
[startup+350.026 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 5369 0 0 0 34978 21 0 0 25 0 1 0 777635699 33030144 5293 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8064 5293 1111 63 0 8001 0
vsize: 32256
[startup+360.027 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 5503 0 0 0 35978 22 0 0 25 0 1 0 777635699 33632256 5427 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8211 5427 1111 63 0 8148 0
vsize: 32844
[startup+370.027 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 5636 0 0 0 36977 22 0 0 25 0 1 0 777635699 34082816 5560 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8321 5560 1111 63 0 8258 0
vsize: 33284
[startup+380.028 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 5767 0 0 0 37977 23 0 0 25 0 1 0 777635699 34689024 5691 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8469 5691 1111 63 0 8406 0
vsize: 33876
[startup+390.03 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 5901 0 0 0 38976 24 0 0 25 0 1 0 777635699 35291136 5825 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8616 5825 1111 63 0 8553 0
vsize: 34464
[startup+400.03 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 6034 0 0 0 39976 24 0 0 25 0 1 0 777635699 35737600 5958 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8725 5958 1111 63 0 8662 0
vsize: 34900
[startup+410.03 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 6174 0 0 0 40975 25 0 0 25 0 1 0 777635699 36343808 6098 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8873 6098 1111 63 0 8810 0
vsize: 35492
[startup+420.031 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 6307 0 0 0 41974 26 0 0 25 0 1 0 777635699 36945920 6231 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9020 6231 1111 63 0 8957 0
vsize: 36080
[startup+430.031 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 6441 0 0 0 42974 26 0 0 25 0 1 0 777635699 37396480 6365 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9130 6365 1111 63 0 9067 0
vsize: 36520
[startup+440.032 s]
Raw data (loadavg): 0.99 0.96 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 6580 0 0 0 43973 27 0 0 25 0 1 0 777635699 37998592 6504 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9277 6504 1111 63 0 9214 0
vsize: 37108
[startup+450.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 6718 0 0 0 44973 28 0 0 25 0 1 0 777635699 38596608 6642 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9423 6642 1111 63 0 9360 0
vsize: 37692
[startup+460.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 6852 0 0 0 45972 28 0 0 25 0 1 0 777635699 39051264 6776 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9534 6776 1111 63 0 9471 0
vsize: 38136
[startup+470.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 6994 0 0 0 46973 29 0 0 25 0 1 0 777635699 39653376 6918 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9681 6918 1111 63 0 9618 0
vsize: 38724
[startup+480.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 7133 0 0 0 47972 29 0 0 25 0 1 0 777635699 40251392 7057 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9827 7057 1111 63 0 9764 0
vsize: 39308
[startup+490.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 7273 0 0 0 48972 29 0 0 25 0 1 0 777635699 40857600 7197 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9975 7197 1111 63 0 9912 0
vsize: 39900
[startup+500.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 7415 0 0 0 49972 30 0 0 25 0 1 0 777635699 41459712 7339 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10122 7339 1111 63 0 10059 0
vsize: 40488
[startup+510.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 7554 0 0 0 50972 30 0 0 25 0 1 0 777635699 41910272 7478 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10232 7478 1111 63 0 10169 0
vsize: 40928
[startup+520.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 7694 0 0 0 51972 30 0 0 25 0 1 0 777635699 42491904 7618 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10374 7618 1111 63 0 10311 0
vsize: 41496
[startup+530.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 7826 0 0 0 52972 30 0 0 25 0 1 0 777635699 43081728 7750 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10518 7750 1111 63 0 10455 0
vsize: 42072
[startup+540.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 7974 0 0 0 53971 31 0 0 25 0 1 0 777635699 43683840 7898 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10665 7898 1111 63 0 10602 0
vsize: 42660
[startup+550.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 8115 0 0 0 54971 32 0 0 25 0 1 0 777635699 44290048 8039 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10813 8039 1111 63 0 10750 0
vsize: 43252
[startup+560.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 8254 0 0 0 55971 32 0 0 25 0 1 0 777635699 44888064 8178 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10959 8178 1111 63 0 10896 0
vsize: 43836
[startup+570.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 8401 0 0 0 56971 33 0 0 25 0 1 0 777635699 45490176 8325 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11106 8325 1111 63 0 11043 0
vsize: 44424
[startup+580.046 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 8542 0 0 0 57971 33 0 0 25 0 1 0 777635699 45940736 8466 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11216 8466 1111 63 0 11153 0
vsize: 44864
[startup+590.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 8681 0 0 0 58971 33 0 0 25 0 1 0 777635699 46546944 8605 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11364 8605 1111 63 0 11301 0
vsize: 45456
[startup+600.048 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 8828 0 0 0 59971 33 0 0 25 0 1 0 777635699 47149056 8752 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11511 8752 1111 63 0 11448 0
vsize: 46044
[startup+610.057 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 8993 0 0 0 60971 34 0 0 25 0 1 0 777635699 48005120 8917 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11720 8917 1111 63 0 11657 0
vsize: 46880
[startup+620.068 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 9133 0 0 0 61972 34 0 0 25 0 1 0 777635699 48603136 9057 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11866 9057 1111 63 0 11803 0
vsize: 47464
[startup+630.076 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 9280 0 0 0 62973 35 0 0 25 0 1 0 777635699 49176576 9204 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12006 9204 1111 63 0 11943 0
vsize: 48024
[startup+640.083 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 9429 0 0 0 63973 35 0 0 25 0 1 0 777635699 49774592 9353 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12152 9353 1111 63 0 12089 0
vsize: 48608
[startup+650.083 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 9575 0 0 0 64973 36 0 0 25 0 1 0 777635699 50376704 9499 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12299 9499 1111 63 0 12236 0
vsize: 49196
[startup+660.083 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 9723 0 0 0 65973 36 0 0 25 0 1 0 777635699 50954240 9647 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12440 9647 1111 63 0 12377 0
vsize: 49760
[startup+670.083 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 9871 0 0 0 66972 37 0 0 25 0 1 0 777635699 51552256 9795 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12586 9795 1111 63 0 12523 0
vsize: 50344
[startup+680.092 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 10018 0 0 0 67973 37 0 0 25 0 1 0 777635699 52154368 9942 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12733 9942 1111 63 0 12670 0
vsize: 50932
[startup+690.091 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 10166 0 0 0 68973 37 0 0 25 0 1 0 777635699 52760576 10090 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10090 1111 63 0 12818 0
vsize: 51524
[startup+700.092 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 10314 0 0 0 69973 38 0 0 25 0 1 0 777635699 53358592 10238 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13027 10238 1111 63 0 12964 0
vsize: 52108
[startup+710.092 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 10468 0 0 0 70972 38 0 0 25 0 1 0 777635699 53960704 10392 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13174 10392 1111 63 0 13111 0
vsize: 52696
[startup+720.093 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 10616 0 0 0 71972 38 0 0 25 0 1 0 777635699 54566912 10540 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13322 10540 1111 63 0 13259 0
vsize: 53288
[startup+730.093 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 10764 0 0 0 72972 39 0 0 25 0 1 0 777635699 55164928 10688 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13468 10688 1111 63 0 13405 0
vsize: 53872
[startup+740.094 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 10912 0 0 0 73972 39 0 0 25 0 1 0 777635699 55767040 10836 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13615 10836 1111 63 0 13552 0
vsize: 54460
[startup+750.094 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 11060 0 0 0 74972 39 0 0 25 0 1 0 777635699 56373248 10984 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13763 10984 1111 63 0 13700 0
vsize: 55052
[startup+760.094 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 11214 0 0 0 75972 39 0 0 25 0 1 0 777635699 56971264 11138 4294967295 134512640 134714508 3221224592 3221223312 134564512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13909 11138 1111 63 0 13846 0
vsize: 55636
[startup+770.094 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 11369 0 0 0 76972 40 0 0 25 0 1 0 777635699 57720832 11293 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14092 11293 1111 63 0 14029 0
vsize: 56368
[startup+780.095 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 11517 0 0 0 77972 40 0 0 25 0 1 0 777635699 58327040 11441 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14240 11441 1111 63 0 14177 0
vsize: 56960
[startup+790.095 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 11678 0 0 0 78971 41 0 0 25 0 1 0 777635699 58929152 11602 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14387 11602 1111 63 0 14324 0
vsize: 57548
[startup+800.095 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 11826 0 0 0 79972 41 0 0 25 0 1 0 777635699 59527168 11750 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14533 11750 1111 63 0 14470 0
vsize: 58132
[startup+810.098 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 11982 0 0 0 80972 41 0 0 25 0 1 0 777635699 60133376 11906 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14681 11906 1111 63 0 14618 0
vsize: 58724
[startup+820.099 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 12137 0 0 0 81971 42 0 0 25 0 1 0 777635699 60735488 12061 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14828 12061 1111 63 0 14765 0
vsize: 59312
[startup+830.099 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 12290 0 0 0 82971 42 0 0 25 0 1 0 777635699 61485056 12214 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15011 12214 1111 63 0 14948 0
vsize: 60044
[startup+840.117 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 12447 0 0 0 83973 42 0 0 25 0 1 0 777635699 62091264 12371 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15159 12371 1111 63 0 15096 0
vsize: 60636
[startup+850.126 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 12608 0 0 0 84974 42 0 0 25 0 1 0 777635699 62693376 12532 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15306 12532 1111 63 0 15243 0
vsize: 61224
[startup+860.125 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 12764 0 0 0 85974 43 0 0 25 0 1 0 777635699 63291392 12688 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15452 12688 1111 63 0 15389 0
vsize: 61808
[startup+870.125 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 12919 0 0 0 86974 43 0 0 25 0 1 0 777635699 64045056 12843 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15636 12843 1111 63 0 15573 0
vsize: 62544
[startup+880.125 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 13081 0 0 0 87974 43 0 0 25 0 1 0 777635699 64647168 13005 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15783 13005 1111 63 0 15720 0
vsize: 63132
[startup+890.125 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 13242 0 0 0 88973 44 0 0 25 0 1 0 777635699 65253376 13166 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15931 13166 1111 63 0 15868 0
vsize: 63724
[startup+900.132 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 13398 0 0 0 89974 44 0 0 25 0 1 0 777635699 65998848 13322 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16113 13322 1111 63 0 16050 0
vsize: 64452
[startup+910.131 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 13560 0 0 0 90974 44 0 0 25 0 1 0 777635699 66605056 13484 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16261 13484 1111 63 0 16198 0
vsize: 65044
[startup+920.136 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 13722 0 0 0 91974 44 0 0 25 0 1 0 777635699 67207168 13646 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16408 13646 1111 63 0 16345 0
vsize: 65632
[startup+930.144 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 13880 0 0 0 92975 45 0 0 25 0 1 0 777635699 67960832 13804 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16592 13804 1111 63 0 16529 0
vsize: 66368
[startup+940.158 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 14046 0 0 0 93976 45 0 0 25 0 1 0 777635699 68558848 13970 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16738 13970 1111 63 0 16675 0
vsize: 66952
[startup+950.165 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 14202 0 0 0 94976 45 0 0 25 0 1 0 777635699 69160960 14126 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16885 14126 1111 63 0 16822 0
vsize: 67540
[startup+960.172 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 14366 0 0 0 95977 46 0 0 25 0 1 0 777635699 69918720 14290 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17070 14290 1111 63 0 17007 0
vsize: 68280
[startup+970.172 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 14527 0 0 0 96977 46 0 0 25 0 1 0 777635699 70516736 14451 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17216 14451 1111 63 0 17153 0
vsize: 68864
[startup+980.172 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 14695 0 0 0 97977 46 0 0 25 0 1 0 777635699 71266304 14619 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17399 14619 1111 63 0 17336 0
vsize: 69596
[startup+990.172 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 14860 0 0 0 98977 46 0 0 25 0 1 0 777635699 71872512 14784 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17547 14784 1111 63 0 17484 0
vsize: 70188
[startup+1000.17 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 15029 0 0 0 99977 47 0 0 25 0 1 0 777635699 72626176 14953 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17731 14953 1111 63 0 17668 0
vsize: 70924
[startup+1010.17 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 15190 0 0 0 100976 47 0 0 25 0 1 0 777635699 73224192 15114 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17877 15114 1111 63 0 17814 0
vsize: 71508
[startup+1020.17 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 15361 0 0 0 101976 48 0 0 25 0 1 0 777635699 73949184 15285 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18054 15285 1111 63 0 17991 0
vsize: 72216
[startup+1030.17 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 15530 0 0 0 102976 48 0 0 25 0 1 0 777635699 74698752 15454 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18237 15454 1111 63 0 18174 0
vsize: 72948
[startup+1040.17 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 15693 0 0 0 103976 48 0 0 25 0 1 0 777635699 75304960 15617 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18385 15617 1111 63 0 18322 0
vsize: 73540
[startup+1050.18 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 15869 0 0 0 104976 49 0 0 25 0 1 0 777635699 76054528 15793 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18568 15793 1111 63 0 18505 0
vsize: 74272
[startup+1060.18 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 16032 0 0 0 105975 49 0 0 25 0 1 0 777635699 76656640 15956 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18715 15956 1111 63 0 18652 0
vsize: 74860
[startup+1070.18 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 16208 0 0 0 106975 50 0 0 25 0 1 0 777635699 77410304 16132 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18899 16132 1111 63 0 18836 0
vsize: 75596
[startup+1080.18 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 16378 0 0 0 107975 50 0 0 25 0 1 0 777635699 78163968 16302 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19083 16302 1111 63 0 19020 0
vsize: 76332
[startup+1090.18 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 16547 0 0 0 108974 51 0 0 25 0 1 0 777635699 78761984 16471 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19229 16471 1111 63 0 19166 0
vsize: 76916
[startup+1100.18 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 16722 0 0 0 109974 51 0 0 25 0 1 0 777635699 79515648 16646 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19413 16646 1111 63 0 19350 0
vsize: 77652
[startup+1110.18 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 16926 0 0 0 110974 51 0 0 25 0 1 0 777635699 80625664 16850 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19684 16850 1111 63 0 19621 0
vsize: 78736
[startup+1120.18 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 17102 0 0 0 111974 51 0 0 25 0 1 0 777635699 81350656 17026 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19861 17026 1111 63 0 19798 0
vsize: 79444
[startup+1130.18 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 17273 0 0 0 112974 52 0 0 25 0 1 0 777635699 81952768 17197 4294967295 134512640 134714508 3221224592 3221222820 1077414372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20008 17197 1111 63 0 19945 0
vsize: 80032
[startup+1140.18 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 17449 0 0 0 113975 52 0 0 25 0 1 0 777635699 82702336 17373 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20191 17373 1111 63 0 20128 0
vsize: 80764
[startup+1150.18 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 17625 0 0 0 114974 53 0 0 25 0 1 0 777635699 83456000 17549 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20375 17549 1111 63 0 20312 0
vsize: 81500
[startup+1160.2 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 17804 0 0 0 115975 53 0 0 25 0 1 0 777635699 84209664 17728 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20559 17728 1111 63 0 20496 0
vsize: 82236
[startup+1170.23 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 17981 0 0 0 116977 54 0 0 25 0 1 0 777635699 84963328 17905 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20743 17905 1111 63 0 20680 0
vsize: 82972
[startup+1180.26 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 18158 0 0 0 117980 55 0 0 25 0 1 0 777635699 85565440 18082 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20890 18082 1111 63 0 20827 0
vsize: 83560
[startup+1190.26 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 18341 0 0 0 118980 55 0 0 25 0 1 0 777635699 86315008 18265 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21073 18265 1111 63 0 21010 0
vsize: 84292
[startup+1200.26 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 4120
Raw data (stat): 4118 (bsolo_lpr) R 4117 23514 23513 0 -1 0 18525 0 0 0 119980 56 0 0 25 0 1 0 777635699 87068672 18449 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21257 18449 1111 63 0 21194 0
vsize: 85028
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.34 s]
Raw data (loadavg): 1.00 0.99 0.94 1/54 4120
Raw data (stat): 4118 (bsolo_lpr) Z 4117 23514 23513 0 -1 1036 18525 0 0 0 119980 59 0 0 24 0 1 0 777635699 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.4
CPU user time (s): 1199.8
CPU system time (s): 0.597909
CPU usage (%): 100.005
Max. virtual memory (Kb): 85028
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####