PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit2p.opb
MD5SUM	6958cafd776838585aada2c9dcafd103
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	246163
Biggest coefficient in the objective function	10737418240
Number of bits for the biggest coefficient in the objective function	34
Sum of the numbers in the objective function	43487073153772
Number of bits of the sum of numbers in the objective function	46
Biggest number in a constraint	31729070899200
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	103505525327531
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.77058
Number of variables	293602
Total number of constraints	10500
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	10500
Minimum length of a constraint	13
Maximum length of a constraint	612
Trace number 39846

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        782904 kB
Buffers:         34144 kB
Cached:         193956 kB
SwapCached:        992 kB
Active:          82072 kB
Inactive:       148236 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        782624 kB
SwapTotal:     2097136 kB
SwapFree:      2095204 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4932 kB
Slab:            15668 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 21:22:58 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 27877 7 1200.27 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.02 0.99 0.91 1/54 20449
Raw data (stat): 20449 (runsolver) R 20448 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 896072131 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.0012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 20449
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 1836 0 0 0 990 7 0 0 25 0 1 0 896072131 15360000 1756 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3750 1756 1111 63 0 3687 0
vsize: 15000
[startup+20.002 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20449
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 1900 0 0 0 1990 7 0 0 25 0 1 0 896072131 15646720 1820 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3820 1820 1111 63 0 3757 0
vsize: 15280
[startup+30.0029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20449
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 1973 0 0 0 2990 7 0 0 25 0 1 0 896072131 15941632 1893 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3892 1893 1111 63 0 3829 0
vsize: 15568
[startup+40.0041 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20449
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 2049 0 0 0 3990 8 0 0 25 0 1 0 896072131 16236544 1969 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3964 1969 1111 63 0 3901 0
vsize: 15856
[startup+50.0046 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20449
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 2114 0 0 0 4989 8 0 0 25 0 1 0 896072131 16523264 2034 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4034 2034 1111 63 0 3971 0
vsize: 16136
[startup+60.0055 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 20449
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 2185 0 0 0 5989 9 0 0 25 0 1 0 896072131 16818176 2105 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4106 2105 1111 63 0 4043 0
vsize: 16424
[startup+70.0053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20449
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 2263 0 0 0 6989 9 0 0 25 0 1 0 896072131 17108992 2183 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4177 2183 1111 63 0 4114 0
vsize: 16708
[startup+80.0062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20449
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 2328 0 0 0 7988 9 0 0 25 0 1 0 896072131 17399808 2248 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4248 2248 1111 63 0 4185 0
vsize: 16992
[startup+90.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20449
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 2402 0 0 0 8988 10 0 0 25 0 1 0 896072131 17674240 2322 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4315 2322 1111 63 0 4252 0
vsize: 17260
[startup+100.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20449
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 2474 0 0 0 9988 10 0 0 25 0 1 0 896072131 17960960 2394 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4385 2394 1111 63 0 4322 0
vsize: 17540
[startup+110.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20449
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 2545 0 0 0 10988 10 0 0 25 0 1 0 896072131 18259968 2465 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4458 2465 1111 63 0 4395 0
vsize: 17832
[startup+120.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20449
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 2616 0 0 0 11987 11 0 0 25 0 1 0 896072131 18550784 2536 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4529 2536 1111 63 0 4466 0
vsize: 18116
[startup+130.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20449
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 2693 0 0 0 12987 11 0 0 25 0 1 0 896072131 18980864 2613 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4634 2613 1111 63 0 4571 0
vsize: 18536
[startup+140.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20449
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 2759 0 0 0 13987 11 0 0 25 0 1 0 896072131 19136512 2679 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4672 2679 1111 63 0 4609 0
vsize: 18688
[startup+150.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20449
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 2830 0 0 0 14986 12 0 0 25 0 1 0 896072131 19423232 2750 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4742 2750 1111 63 0 4679 0
vsize: 18968
[startup+160.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20449
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 2906 0 0 0 15986 12 0 0 25 0 1 0 896072131 19857408 2826 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4848 2826 1111 63 0 4785 0
vsize: 19392
[startup+170.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 2978 0 0 0 16986 12 0 0 25 0 1 0 896072131 20152320 2898 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4920 2898 1111 63 0 4857 0
vsize: 19680
[startup+180.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 3048 0 0 0 17986 12 0 0 25 0 1 0 896072131 20439040 2968 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4990 2968 1111 63 0 4927 0
vsize: 19960
[startup+190.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 3119 0 0 0 18986 13 0 0 25 0 1 0 896072131 20733952 3039 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5062 3039 1111 63 0 4999 0
vsize: 20248
[startup+200.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 3190 0 0 0 19986 13 0 0 25 0 1 0 896072131 21020672 3110 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5132 3110 1111 63 0 5069 0
vsize: 20528
[startup+210.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 3262 0 0 0 20986 13 0 0 25 0 1 0 896072131 21315584 3182 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5204 3182 1111 63 0 5141 0
vsize: 20816
[startup+220.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 3333 0 0 0 21987 13 0 0 25 0 1 0 896072131 21610496 3253 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5276 3253 1111 63 0 5213 0
vsize: 21104
[startup+230.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 3404 0 0 0 22987 13 0 0 25 0 1 0 896072131 21897216 3324 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5346 3324 1111 63 0 5283 0
vsize: 21384
[startup+240.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 3475 0 0 0 23987 13 0 0 25 0 1 0 896072131 22183936 3395 4294967295 134512640 134716908 3221224576 3221222804 1077414372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5416 3395 1111 63 0 5353 0
vsize: 21664
[startup+250.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 3541 0 0 0 24987 13 0 0 25 0 1 0 896072131 22335488 3461 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5453 3461 1111 63 0 5390 0
vsize: 21812
[startup+260.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 3618 0 0 0 25987 14 0 0 25 0 1 0 896072131 22773760 3538 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5560 3538 1111 63 0 5497 0
vsize: 22240
[startup+270.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 3689 0 0 0 26987 14 0 0 25 0 1 0 896072131 23060480 3609 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5630 3609 1111 63 0 5567 0
vsize: 22520
[startup+280.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 3755 0 0 0 27987 14 0 0 25 0 1 0 896072131 23207936 3675 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5666 3675 1111 63 0 5603 0
vsize: 22664
[startup+290.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 3832 0 0 0 28987 14 0 0 25 0 1 0 896072131 23650304 3752 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5774 3752 1111 63 0 5711 0
vsize: 23096
[startup+300.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 3903 0 0 0 29987 14 0 0 25 0 1 0 896072131 23937024 3823 4294967295 134512640 134716908 3221224576 3221222804 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5844 3823 1111 63 0 5781 0
vsize: 23376
[startup+310.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 3967 0 0 0 30987 14 0 0 25 0 1 0 896072131 24084480 3887 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5880 3887 1111 63 0 5817 0
vsize: 23520
[startup+320.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 4040 0 0 0 31988 14 0 0 25 0 1 0 896072131 24383488 3960 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5953 3960 1111 63 0 5890 0
vsize: 23812
[startup+330.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 4123 0 0 0 32988 14 0 0 25 0 1 0 896072131 24809472 4043 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6057 4043 1111 63 0 5994 0
vsize: 24228
[startup+340.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 4188 0 0 0 33988 14 0 0 25 0 1 0 896072131 25096192 4108 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6127 4108 1111 63 0 6064 0
vsize: 24508
[startup+350.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 4260 0 0 0 34988 14 0 0 25 0 1 0 896072131 25391104 4180 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6199 4180 1111 63 0 6136 0
vsize: 24796
[startup+360.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 4337 0 0 0 35988 14 0 0 25 0 1 0 896072131 25681920 4257 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6270 4257 1111 63 0 6207 0
vsize: 25080
[startup+370.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 4402 0 0 0 36988 14 0 0 25 0 1 0 896072131 25972736 4322 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6341 4322 1111 63 0 6278 0
vsize: 25364
[startup+380.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 4472 0 0 0 37988 15 0 0 25 0 1 0 896072131 26259456 4392 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 4392 1111 63 0 6348 0
vsize: 25644
[startup+390.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 4552 0 0 0 38988 15 0 0 25 0 1 0 896072131 26558464 4472 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6484 4472 1111 63 0 6421 0
vsize: 25936
[startup+400.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 4616 0 0 0 39990 15 0 0 25 0 1 0 896072131 26849280 4536 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6555 4536 1111 63 0 6492 0
vsize: 26220
[startup+410.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 4688 0 0 0 40990 15 0 0 25 0 1 0 896072131 27136000 4608 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6625 4608 1111 63 0 6562 0
vsize: 26500
[startup+420.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 4761 0 0 0 41990 15 0 0 25 0 1 0 896072131 27435008 4681 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6698 4681 1111 63 0 6635 0
vsize: 26792
[startup+430.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 4825 0 0 0 42990 15 0 0 25 0 1 0 896072131 27725824 4745 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6769 4745 1111 63 0 6706 0
vsize: 27076
[startup+440.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 4902 0 0 0 43991 15 0 0 25 0 1 0 896072131 28012544 4822 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6839 4822 1111 63 0 6776 0
vsize: 27356
[startup+450.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 4973 0 0 0 44991 15 0 0 25 0 1 0 896072131 28307456 4893 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6911 4893 1111 63 0 6848 0
vsize: 27644
[startup+460.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 5039 0 0 0 45991 15 0 0 25 0 1 0 896072131 28602368 4959 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4959 1111 63 0 6920 0
vsize: 27932
[startup+470.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 5116 0 0 0 46991 15 0 0 25 0 1 0 896072131 28889088 5036 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7053 5036 1111 63 0 6990 0
vsize: 28212
[startup+480.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 5188 0 0 0 47991 15 0 0 25 0 1 0 896072131 29184000 5108 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7125 5108 1111 63 0 7062 0
vsize: 28500
[startup+490.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 5255 0 0 0 48991 16 0 0 25 0 1 0 896072131 29474816 5175 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 5175 1111 63 0 7133 0
vsize: 28784
[startup+500.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 5332 0 0 0 49991 16 0 0 25 0 1 0 896072131 29765632 5252 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7267 5252 1111 63 0 7204 0
vsize: 29068
[startup+510.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 5403 0 0 0 50991 16 0 0 25 0 1 0 896072131 30060544 5323 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7339 5323 1111 63 0 7276 0
vsize: 29356
[startup+520.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 5468 0 0 0 51992 16 0 0 25 0 1 0 896072131 30347264 5388 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 5388 1111 63 0 7346 0
vsize: 29636
[startup+530.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 5546 0 0 0 52992 16 0 0 25 0 1 0 896072131 30642176 5466 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7481 5466 1111 63 0 7418 0
vsize: 29924
[startup+540.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 5623 0 0 0 53992 16 0 0 25 0 1 0 896072131 30932992 5543 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7552 5543 1111 63 0 7489 0
vsize: 30208
[startup+550.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 5688 0 0 0 54992 16 0 0 25 0 1 0 896072131 31223808 5608 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7623 5608 1111 63 0 7560 0
vsize: 30492
[startup+560.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 5761 0 0 0 55992 16 0 0 25 0 1 0 896072131 31510528 5681 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7693 5681 1111 63 0 7630 0
vsize: 30772
[startup+570.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 5838 0 0 0 56992 16 0 0 25 0 1 0 896072131 31809536 5758 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7766 5758 1111 63 0 7703 0
vsize: 31064
[startup+580.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 5903 0 0 0 57993 16 0 0 25 0 1 0 896072131 32100352 5823 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7837 5823 1111 63 0 7774 0
vsize: 31348
[startup+590.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 5974 0 0 0 58993 17 0 0 25 0 1 0 896072131 32387072 5894 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7907 5894 1111 63 0 7844 0
vsize: 31628
[startup+600.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 6052 0 0 0 59992 17 0 0 25 0 1 0 896072131 32686080 5972 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7980 5972 1111 63 0 7917 0
vsize: 31920
[startup+610.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 6117 0 0 0 60992 17 0 0 25 0 1 0 896072131 32976896 6037 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8051 6037 1111 63 0 7988 0
vsize: 32204
[startup+620.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 6194 0 0 0 61993 17 0 0 25 0 1 0 896072131 33263616 6114 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 6114 1111 63 0 8058 0
vsize: 32484
[startup+630.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 6266 0 0 0 62993 17 0 0 25 0 1 0 896072131 33558528 6186 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8193 6186 1111 63 0 8130 0
vsize: 32772
[startup+640.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 6331 0 0 0 63993 17 0 0 25 0 1 0 896072131 33853440 6251 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8265 6251 1111 63 0 8202 0
vsize: 33060
[startup+650.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 6418 0 0 0 64993 17 0 0 25 0 1 0 896072131 34181120 6338 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8345 6338 1111 63 0 8282 0
vsize: 33380
[startup+660.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 6489 0 0 0 65993 17 0 0 25 0 1 0 896072131 34467840 6409 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8415 6409 1111 63 0 8352 0
vsize: 33660
[startup+670.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 6561 0 0 0 66994 17 0 0 25 0 1 0 896072131 34762752 6481 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8487 6481 1111 63 0 8424 0
vsize: 33948
[startup+680.064 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 6633 0 0 0 67994 17 0 0 25 0 1 0 896072131 35057664 6553 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8559 6553 1111 63 0 8496 0
vsize: 34236
[startup+690.067 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 6704 0 0 0 68994 17 0 0 25 0 1 0 896072131 35344384 6624 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8629 6624 1111 63 0 8566 0
vsize: 34516
[startup+700.068 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 6777 0 0 0 69995 17 0 0 25 0 1 0 896072131 35635200 6697 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8700 6697 1111 63 0 8637 0
vsize: 34800
[startup+710.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 6848 0 0 0 70995 17 0 0 25 0 1 0 896072131 35934208 6768 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8773 6768 1111 63 0 8710 0
vsize: 35092
[startup+720.069 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 6919 0 0 0 71995 18 0 0 25 0 1 0 896072131 36220928 6839 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8843 6839 1111 63 0 8780 0
vsize: 35372
[startup+730.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 6996 0 0 0 72995 18 0 0 25 0 1 0 896072131 36655104 6916 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8949 6916 1111 63 0 8886 0
vsize: 35796
[startup+740.071 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 7063 0 0 0 73995 18 0 0 25 0 1 0 896072131 36810752 6983 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8987 6983 1111 63 0 8924 0
vsize: 35948
[startup+750.072 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 7140 0 0 0 74995 18 0 0 25 0 1 0 896072131 37244928 7060 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 7060 1111 63 0 9030 0
vsize: 36372
[startup+760.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 7212 0 0 0 75995 18 0 0 25 0 1 0 896072131 37531648 7132 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9163 7132 1111 63 0 9100 0
vsize: 36652
[startup+770.073 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 7278 0 0 0 76995 18 0 0 25 0 1 0 896072131 37679104 7198 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9199 7198 1111 63 0 9136 0
vsize: 36796
[startup+780.074 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 7355 0 0 0 77996 18 0 0 25 0 1 0 896072131 38121472 7275 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9307 7275 1111 63 0 9244 0
vsize: 37228
[startup+790.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 7432 0 0 0 78996 18 0 0 25 0 1 0 896072131 38408192 7352 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9377 7352 1111 63 0 9314 0
vsize: 37508
[startup+800.075 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 7498 0 0 0 79996 18 0 0 25 0 1 0 896072131 38703104 7418 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9449 7418 1111 63 0 9386 0
vsize: 37796
[startup+810.076 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 7570 0 0 0 80996 19 0 0 25 0 1 0 896072131 38993920 7490 4294967295 134512640 134716908 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9520 7490 1111 63 0 9457 0
vsize: 38080
[startup+820.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 7647 0 0 0 81996 19 0 0 25 0 1 0 896072131 39284736 7567 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9591 7567 1111 63 0 9528 0
vsize: 38364
[startup+830.077 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 7712 0 0 0 82996 19 0 0 25 0 1 0 896072131 39579648 7632 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9663 7632 1111 63 0 9600 0
vsize: 38652
[startup+840.078 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 7792 0 0 0 83996 19 0 0 25 0 1 0 896072131 39870464 7712 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9734 7712 1111 63 0 9671 0
vsize: 38936
[startup+850.079 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 7862 0 0 0 84996 19 0 0 25 0 1 0 896072131 40161280 7782 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9805 7782 1111 63 0 9742 0
vsize: 39220
[startup+860.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 7933 0 0 0 85996 20 0 0 25 0 1 0 896072131 40452096 7853 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9876 7853 1111 63 0 9813 0
vsize: 39504
[startup+870.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 8004 0 0 0 86996 20 0 0 25 0 1 0 896072131 40742912 7924 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9947 7924 1111 63 0 9884 0
vsize: 39788
[startup+880.081 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 8078 0 0 0 87996 20 0 0 25 0 1 0 896072131 41037824 7998 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10019 7998 1111 63 0 9956 0
vsize: 40076
[startup+890.081 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 8155 0 0 0 88996 20 0 0 25 0 1 0 896072131 41328640 8075 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10090 8075 1111 63 0 10027 0
vsize: 40360
[startup+900.082 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 8220 0 0 0 89996 20 0 0 25 0 1 0 896072131 41619456 8140 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10161 8140 1111 63 0 10098 0
vsize: 40644
[startup+910.082 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 8298 0 0 0 90996 20 0 0 25 0 1 0 896072131 41910272 8218 4294967295 134512640 134716908 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10232 8218 1111 63 0 10169 0
vsize: 40928
[startup+920.083 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 8370 0 0 0 91997 20 0 0 25 0 1 0 896072131 42205184 8290 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10304 8290 1111 63 0 10241 0
vsize: 41216
[startup+930.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 8441 0 0 0 92997 21 0 0 25 0 1 0 896072131 42491904 8361 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10374 8361 1111 63 0 10311 0
vsize: 41496
[startup+940.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 8512 0 0 0 93997 21 0 0 25 0 1 0 896072131 42782720 8432 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10445 8432 1111 63 0 10382 0
vsize: 41780
[startup+950.084 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 8591 0 0 0 94997 21 0 0 25 0 1 0 896072131 43081728 8511 4294967295 134512640 134716908 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10518 8511 1111 63 0 10455 0
vsize: 42072
[startup+960.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 8657 0 0 0 95997 21 0 0 25 0 1 0 896072131 43368448 8577 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10588 8577 1111 63 0 10525 0
vsize: 42352
[startup+970.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 8734 0 0 0 96997 21 0 0 25 0 1 0 896072131 43659264 8654 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10659 8654 1111 63 0 10596 0
vsize: 42636
[startup+980.085 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 8806 0 0 0 97997 22 0 0 25 0 1 0 896072131 43958272 8726 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10732 8726 1111 63 0 10669 0
vsize: 42928
[startup+990.086 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 8877 0 0 0 98997 22 0 0 25 0 1 0 896072131 44244992 8797 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10802 8797 1111 63 0 10739 0
vsize: 43208
[startup+1000.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 8949 0 0 0 99997 22 0 0 25 0 1 0 896072131 44535808 8869 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10873 8869 1111 63 0 10810 0
vsize: 43492
[startup+1010.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 9020 0 0 0 100997 22 0 0 25 0 1 0 896072131 44826624 8940 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10944 8940 1111 63 0 10881 0
vsize: 43776
[startup+1020.09 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 9099 0 0 0 101997 22 0 0 25 0 1 0 896072131 45121536 9019 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11016 9019 1111 63 0 10953 0
vsize: 44064
[startup+1030.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 9164 0 0 0 102998 22 0 0 25 0 1 0 896072131 45412352 9084 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11087 9084 1111 63 0 11024 0
vsize: 44348
[startup+1040.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 9242 0 0 0 103998 22 0 0 25 0 1 0 896072131 45703168 9162 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11158 9162 1111 63 0 11095 0
vsize: 44632
[startup+1050.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 9320 0 0 0 104998 23 0 0 25 0 1 0 896072131 46141440 9240 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11265 9240 1111 63 0 11202 0
vsize: 45060
[startup+1060.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 9385 0 0 0 105998 23 0 0 25 0 1 0 896072131 46288896 9305 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11301 9305 1111 63 0 11238 0
vsize: 45204
[startup+1070.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 9462 0 0 0 106998 23 0 0 25 0 1 0 896072131 46723072 9382 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11407 9382 1111 63 0 11344 0
vsize: 45628
[startup+1080.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 9534 0 0 0 107999 23 0 0 25 0 1 0 896072131 47009792 9454 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11477 9454 1111 63 0 11414 0
vsize: 45908
[startup+1090.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 9607 0 0 0 108999 23 0 0 25 0 1 0 896072131 47312896 9527 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11551 9527 1111 63 0 11488 0
vsize: 46204
[startup+1100.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 9678 0 0 0 109999 23 0 0 25 0 1 0 896072131 47599616 9598 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11621 9598 1111 63 0 11558 0
vsize: 46484
[startup+1110.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 9749 0 0 0 110999 24 0 0 25 0 1 0 896072131 47886336 9669 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11691 9669 1111 63 0 11628 0
vsize: 46764
[startup+1120.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 9829 0 0 0 111998 24 0 0 25 0 1 0 896072131 48189440 9749 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11765 9749 1111 63 0 11702 0
vsize: 47060
[startup+1130.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 9894 0 0 0 112998 24 0 0 25 0 1 0 896072131 48476160 9814 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11835 9814 1111 63 0 11772 0
vsize: 47340
[startup+1140.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 9971 0 0 0 113998 24 0 0 25 0 1 0 896072131 48762880 9891 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11905 9891 1111 63 0 11842 0
vsize: 47620
[startup+1150.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 10049 0 0 0 114998 25 0 0 25 0 1 0 896072131 49057792 9969 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11977 9969 1111 63 0 11914 0
vsize: 47908
[startup+1160.1 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 10115 0 0 0 115998 25 0 0 25 0 1 0 896072131 49352704 10035 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12049 10035 1111 63 0 11986 0
vsize: 48196
[startup+1170.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 10192 0 0 0 116999 25 0 0 25 0 1 0 896072131 49639424 10112 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12119 10112 1111 63 0 12056 0
vsize: 48476
[startup+1180.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 10263 0 0 0 117999 25 0 0 25 0 1 0 896072131 49934336 10183 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12191 10183 1111 63 0 12128 0
vsize: 48764
[startup+1190.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 10336 0 0 0 118999 25 0 0 25 0 1 0 896072131 50229248 10256 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12263 10256 1111 63 0 12200 0
vsize: 49052
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) R 20448 21152 21151 0 -1 0 10407 0 0 0 119999 25 0 0 25 0 1 0 896072131 50515968 10327 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12333 10327 1111 63 0 12270 0
vsize: 49332
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 20451
Raw data (stat): 20449 (bsolo_lpr-v2) Z 20448 21152 21151 0 -1 1036 10407 0 0 0 119999 27 0 0 25 0 1 0 896072131 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.13
CPU time (s): 1200.27
CPU user time (s): 1199.99
CPU system time (s): 0.276957
CPU usage (%): 100.012
Max. virtual memory (Kb): 49332
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####