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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb
MD5SUM	44281820d2b00a47b643433ffa4e2d73
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	117
Optimality of the best value was proved	NO
Number of terms in the objective function	8
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	255
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	138
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	535
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	5.96709
Number of variables	464
Total number of constraints	1395
Number of constraints which are clauses	336
Number of constraints which are cardinality constraints (but not clauses)	336
Number of constraints which are nor clauses,nor cardinality constraints	723
Minimum length of a constraint	1
Maximum length of a constraint	128
Trace number 28095

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        831116 kB
Buffers:         20960 kB
Cached:         161520 kB
SwapCached:       1052 kB
Active:          27936 kB
Inactive:       157112 kB
HighTotal:      131008 kB
HighFree:          420 kB
LowTotal:       903652 kB
LowFree:        830696 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:             772 kB
Writeback:           0 kB
Mapped:           5452 kB
Slab:            12868 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 00:42:20 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 14587 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 464 variables and 1069 constraints.
c After prepocess the problem consists of 464 variables and 901 constraints.
c preprocess terminated 0.578 s
c Initial Lower Bound: 96
c Lower Bound Elapsed time: 0.241286
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.09 s
#### 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.92 0.98 0.91 1/54 30731
Raw data (stat): 30731 (runsolver) D 30730 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 834532074 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0066 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 7242 0 0 0 966 18 0 0 25 0 1 0 834532074 17068032 3361 4294967295 134512640 134714508 3221224592 3221220820 1075114940 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4167 3361 1111 63 0 4104 0
vsize: 16668
[startup+20.0142 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 9808 0 0 0 1960 25 0 0 25 0 1 0 834532074 17256448 3389 4294967295 134512640 134714508 3221224592 3221221124 1075863632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4213 3389 1111 63 0 4150 0
vsize: 16852
[startup+30.0209 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 13125 0 0 0 2952 33 0 0 25 0 1 0 834532074 17133568 3380 4294967295 134512640 134714508 3221224592 3221220832 1075115709 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4183 3380 1111 63 0 4120 0
vsize: 16732
[startup+40.0258 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 15615 0 0 0 3946 41 0 0 25 0 1 0 834532074 16576512 3361 4294967295 134512640 134714508 3221224592 3221222928 1074153857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4047 3361 1111 63 0 3984 0
vsize: 16188
[startup+50.0285 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 18919 0 0 0 4937 50 0 0 25 0 1 0 834532074 16642048 3377 4294967295 134512640 134714508 3221224592 3221222912 1074146269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4063 3377 1111 63 0 4000 0
vsize: 16252
[startup+60.0289 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 21963 0 0 0 5927 60 0 0 25 0 1 0 834532074 16809984 3418 4294967295 134512640 134714508 3221224592 3221223184 134650068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4104 3418 1111 63 0 4041 0
vsize: 16416
[startup+70.0376 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 24686 0 0 0 6919 69 0 0 25 0 1 0 834532074 17674240 3499 4294967295 134512640 134714508 3221224592 3221221576 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4315 3499 1111 63 0 4252 0
vsize: 17260
[startup+80.0382 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 28614 0 0 0 7910 78 0 0 25 0 1 0 834532074 16871424 3434 4294967295 134512640 134714508 3221224592 3221222544 1074916322 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4119 3434 1111 63 0 4056 0
vsize: 16476
[startup+90.0379 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 32857 0 0 0 8900 88 0 0 25 0 1 0 834532074 16863232 3432 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4117 3432 1111 63 0 4054 0
vsize: 16468
[startup+100.038 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 36266 0 0 0 9891 97 0 0 25 0 1 0 834532074 17649664 3522 4294967295 134512640 134714508 3221224592 3221221004 1075118545 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4309 3522 1111 63 0 4246 0
vsize: 17236
[startup+110.045 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 38824 0 0 0 10885 104 0 0 25 0 1 0 834532074 17006592 3467 4294967295 134512640 134714508 3221224592 3221222592 1074918330 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4152 3467 1111 63 0 4089 0
vsize: 16608
[startup+120.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 42008 0 0 0 11878 112 0 0 25 0 1 0 834532074 17154048 3503 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4188 3503 1111 63 0 4125 0
vsize: 16752
[startup+130.053 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 45052 0 0 0 12872 119 0 0 25 0 1 0 834532074 17702912 3512 4294967295 134512640 134714508 3221224592 3221220952 1075522565 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4322 3512 1111 63 0 4259 0
vsize: 17288
[startup+140.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 47907 0 0 0 13865 125 0 0 25 0 1 0 834532074 17981440 3554 4294967295 134512640 134714508 3221224592 3221221248 1075967895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4390 3554 1111 63 0 4327 0
vsize: 17560
[startup+150.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 50877 0 0 0 14857 133 0 0 25 0 1 0 834532074 18124800 3598 4294967295 134512640 134714508 3221224592 3221220624 1075965256 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4425 3598 1111 63 0 4362 0
vsize: 17700
[startup+160.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 53709 0 0 0 15850 141 0 0 25 0 1 0 834532074 18165760 3606 4294967295 134512640 134714508 3221224592 3221221664 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4435 3606 1111 63 0 4372 0
vsize: 17740
[startup+170.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 56767 0 0 0 16842 149 0 0 25 0 1 0 834532074 17518592 3592 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4277 3592 1111 63 0 4214 0
vsize: 17108
[startup+180.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 59603 0 0 0 17835 157 0 0 25 0 1 0 834532074 17432576 3571 4294967295 134512640 134714508 3221224592 3221223172 134650317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4256 3571 1111 63 0 4193 0
vsize: 17024
[startup+190.053 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 62801 0 0 0 18827 164 0 0 25 0 1 0 834532074 17698816 3636 4294967295 134512640 134714508 3221224592 3221222976 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4321 3636 1111 63 0 4258 0
vsize: 17284
[startup+200.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 65397 0 0 0 19822 170 0 0 25 0 1 0 834532074 17698816 3636 4294967295 134512640 134714508 3221224592 3221222896 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4321 3636 1111 63 0 4258 0
vsize: 17284
[startup+210.052 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 67379 0 0 0 20817 175 0 0 25 0 1 0 834532074 17698816 3636 4294967295 134512640 134714508 3221224592 3221222504 1077378596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4321 3636 1111 63 0 4258 0
vsize: 17284
[startup+220.055 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 69723 0 0 0 21812 181 0 0 25 0 1 0 834532074 17747968 3648 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4333 3648 1111 63 0 4270 0
vsize: 17332
[startup+230.063 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 72366 0 0 0 22806 188 0 0 25 0 1 0 834532074 18472960 3681 4294967295 134512640 134714508 3221224592 3221220540 1074788930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4510 3681 1111 63 0 4447 0
vsize: 18040
[startup+240.063 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 75823 0 0 0 23797 196 0 0 25 0 1 0 834532074 18264064 3665 4294967295 134512640 134714508 3221224592 3221221104 1075084536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4459 3665 1111 63 0 4396 0
vsize: 17836
[startup+250.063 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 78810 0 0 0 24789 204 0 0 25 0 1 0 834532074 17760256 3644 4294967295 134512640 134714508 3221224592 3221222472 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4336 3644 1111 63 0 4273 0
vsize: 17344
[startup+260.066 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 82024 0 0 0 25780 214 0 0 25 0 1 0 834532074 18575360 3735 4294967295 134512640 134714508 3221224592 3221221592 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4535 3735 1111 63 0 4472 0
vsize: 18140
[startup+270.066 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 85492 0 0 0 26771 223 0 0 25 0 1 0 834532074 18268160 3707 4294967295 134512640 134714508 3221224592 3221220700 1074797300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4460 3707 1111 63 0 4397 0
vsize: 17840
[startup+280.066 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 89176 0 0 0 27762 232 0 0 25 0 1 0 834532074 17907712 3687 4294967295 134512640 134714508 3221224592 3221222944 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4372 3687 1111 63 0 4309 0
vsize: 17488
[startup+290.074 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 92310 0 0 0 28755 241 0 0 25 0 1 0 834532074 18804736 3811 4294967295 134512640 134714508 3221224592 3221220460 1074787514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4591 3811 1111 63 0 4528 0
vsize: 18364
[startup+300.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 95886 0 0 0 29746 251 0 0 25 0 1 0 834532074 18980864 3843 4294967295 134512640 134714508 3221224592 3221220752 1074815497 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4634 3843 1111 63 0 4571 0
vsize: 18536
[startup+310.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 99476 0 0 0 30737 260 0 0 25 0 1 0 834532074 19062784 3826 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4654 3826 1111 63 0 4591 0
vsize: 18616
[startup+320.08 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 102849 0 0 0 31728 269 0 0 25 0 1 0 834532074 18874368 3823 4294967295 134512640 134714508 3221224592 3221220588 1074873509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4608 3823 1111 63 0 4545 0
vsize: 18432
[startup+330.079 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 104969 0 0 0 32723 274 0 0 25 0 1 0 834532074 18984960 3829 4294967295 134512640 134714508 3221224592 3221220648 1074789548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4635 3829 1111 63 0 4572 0
vsize: 18540
[startup+340.079 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 107820 0 0 0 33716 281 0 0 25 0 1 0 834532074 18984960 3883 4294967295 134512640 134714508 3221224592 3221220588 1074788206 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4635 3883 1111 63 0 4572 0
vsize: 18540
[startup+350.084 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 111537 0 0 0 34708 289 0 0 25 0 1 0 834532074 18358272 3804 4294967295 134512640 134714508 3221224592 3221222776 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4482 3804 1111 63 0 4419 0
vsize: 17928
[startup+360.093 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 115954 0 0 0 35699 300 0 0 25 0 1 0 834532074 19210240 3911 4294967295 134512640 134714508 3221224592 3221220820 1075115141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4690 3911 1111 63 0 4627 0
vsize: 18760
[startup+370.092 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 119512 0 0 0 36692 307 0 0 25 0 1 0 834532074 19247104 3921 4294967295 134512640 134714508 3221224592 3221220752 1074883509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4699 3921 1111 63 0 4636 0
vsize: 18796
[startup+380.092 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 123423 0 0 0 37683 316 0 0 25 0 1 0 834532074 19804160 3939 4294967295 134512640 134714508 3221224592 3221220648 1074860246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4835 3939 1111 63 0 4772 0
vsize: 19340
[startup+390.092 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 127988 0 0 0 38673 326 0 0 25 0 1 0 834532074 19386368 3974 4294967295 134512640 134714508 3221224592 3221220700 1075090003 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4733 3974 1111 63 0 4670 0
vsize: 18932
[startup+400.091 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 131400 0 0 0 39664 335 0 0 25 0 1 0 834532074 18571264 3856 4294967295 134512640 134714508 3221224592 3221222616 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4534 3856 1111 63 0 4471 0
vsize: 18136
[startup+410.091 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 135287 0 0 0 40656 344 0 0 25 0 1 0 834532074 18571264 3856 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4534 3856 1111 63 0 4471 0
vsize: 18136
[startup+420.091 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 139191 0 0 0 41646 354 0 0 25 0 1 0 834532074 19369984 4037 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4729 4037 1111 63 0 4666 0
vsize: 18916
[startup+430.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 143741 0 0 0 42636 364 0 0 25 0 1 0 834532074 18636800 3872 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4550 3872 1111 63 0 4487 0
vsize: 18200
[startup+440.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 147267 0 0 0 43628 372 0 0 25 0 1 0 834532074 18599936 3863 4294967295 134512640 134714508 3221224592 3221222592 1074918307 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4541 3863 1111 63 0 4478 0
vsize: 18164
[startup+450.09 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 154862 0 0 0 44609 391 0 0 25 0 1 0 834532074 18599936 3863 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4541 3863 1111 63 0 4478 0
vsize: 18164
[startup+460.094 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 159653 0 0 0 45598 403 0 0 25 0 1 0 834532074 18599936 3863 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4541 3863 1111 63 0 4478 0
vsize: 18164
[startup+470.099 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 162960 0 0 0 46591 411 0 0 25 0 1 0 834532074 18804736 3909 4294967295 134512640 134714508 3221224592 3221223052 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4591 3909 1111 63 0 4528 0
vsize: 18364
[startup+480.107 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 166916 0 0 0 47582 420 0 0 25 0 1 0 834532074 19816448 3931 4294967295 134512640 134714508 3221224592 3221220736 1074969471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4838 3931 1111 63 0 4775 0
vsize: 19352
[startup+490.107 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 170508 0 0 0 48573 429 0 0 25 0 1 0 834532074 18792448 3890 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3890 1111 63 0 4525 0
vsize: 18352
[startup+500.109 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 173777 0 0 0 49565 438 0 0 25 0 1 0 834532074 18632704 3871 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4549 3871 1111 63 0 4486 0
vsize: 18196
[startup+510.109 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 177508 0 0 0 50555 448 0 0 25 0 1 0 834532074 18837504 3921 4294967295 134512640 134714508 3221224592 3221222896 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4599 3921 1111 63 0 4536 0
vsize: 18396
[startup+520.108 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 180690 0 0 0 51547 456 0 0 25 0 1 0 834532074 18837504 3921 4294967295 134512640 134714508 3221224592 3221222992 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4599 3921 1111 63 0 4536 0
vsize: 18396
[startup+530.108 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 184055 0 0 0 52540 464 0 0 25 0 1 0 834532074 19820544 3947 4294967295 134512640 134714508 3221224592 3221220636 1074873512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3947 1111 63 0 4776 0
vsize: 19356
[startup+540.108 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 186719 0 0 0 53533 471 0 0 25 0 1 0 834532074 19820544 3961 4294967295 134512640 134714508 3221224592 3221220648 1074789815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3961 1111 63 0 4776 0
vsize: 19356
[startup+550.107 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 189212 0 0 0 54526 477 0 0 25 0 1 0 834532074 18837504 3921 4294967295 134512640 134714508 3221224592 3221223264 134650216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4599 3921 1111 63 0 4536 0
vsize: 18396
[startup+560.107 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 194839 0 0 0 55512 492 0 0 25 0 1 0 834532074 20017152 3987 4294967295 134512640 134714508 3221224592 3221220800 1074815265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4887 3987 1111 63 0 4824 0
vsize: 19548
[startup+570.109 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 197959 0 0 0 56505 499 0 0 25 0 1 0 834532074 18837504 3921 4294967295 134512640 134714508 3221224592 3221222944 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4599 3921 1111 63 0 4536 0
vsize: 18396
[startup+580.108 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 200944 0 0 0 57497 507 0 0 25 0 1 0 834532074 19820544 3956 4294967295 134512640 134714508 3221224592 3221220820 1075115023 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4839 3956 1111 63 0 4776 0
vsize: 19356
[startup+590.126 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 203863 0 0 0 58492 514 0 0 25 0 1 0 834532074 20099072 4015 4294967295 134512640 134714508 3221224592 3221220908 1074960596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4907 4015 1111 63 0 4844 0
vsize: 19628
[startup+600.153 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 208049 0 0 0 59484 525 0 0 25 0 1 0 834532074 18837504 3921 4294967295 134512640 134714508 3221224592 3221222928 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4599 3921 1111 63 0 4536 0
vsize: 18396
[startup+610.157 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 214349 0 0 0 60471 538 0 0 25 0 1 0 834532074 19963904 3990 4294967295 134512640 134714508 3221224592 3221220636 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4874 3990 1111 63 0 4811 0
vsize: 19496
[startup+620.157 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 218630 0 0 0 61461 549 0 0 25 0 1 0 834532074 18857984 3926 4294967295 134512640 134714508 3221224592 3221222976 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4604 3926 1111 63 0 4541 0
vsize: 18416
[startup+630.157 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 222007 0 0 0 62452 558 0 0 25 0 1 0 834532074 20185088 4004 4294967295 134512640 134714508 3221224592 3221220684 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4928 4004 1111 63 0 4865 0
vsize: 19712
[startup+640.168 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 226170 0 0 0 63443 569 0 0 25 0 1 0 834532074 19017728 3965 4294967295 134512640 134714508 3221224592 3221222976 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4643 3965 1111 63 0 4580 0
vsize: 18572
[startup+650.169 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 231168 0 0 0 64433 579 0 0 25 0 1 0 834532074 20303872 4069 4294967295 134512640 134714508 3221224592 3221220560 1074791002 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4957 4069 1111 63 0 4894 0
vsize: 19828
[startup+660.169 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 235905 0 0 0 65423 589 0 0 25 0 1 0 834532074 20307968 4073 4294967295 134512640 134714508 3221224592 3221220928 1075113513 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4958 4073 1111 63 0 4895 0
vsize: 19832
[startup+670.183 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 239962 0 0 0 66415 598 0 0 25 0 1 0 834532074 20312064 4040 4294967295 134512640 134714508 3221224592 3221220684 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4959 4040 1111 63 0 4896 0
vsize: 19836
[startup+680.183 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 242500 0 0 0 67409 604 0 0 25 0 1 0 834532074 19165184 4001 4294967295 134512640 134714508 3221224592 3221222860 1074206272 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4679 4001 1111 63 0 4616 0
vsize: 18716
[startup+690.183 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 246458 0 0 0 68400 613 0 0 25 0 1 0 834532074 19275776 4028 4294967295 134512640 134714508 3221224592 3221222928 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4706 4028 1111 63 0 4643 0
vsize: 18824
[startup+700.182 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 249724 0 0 0 69392 622 0 0 25 0 1 0 834532074 19230720 4017 4294967295 134512640 134714508 3221224592 3221222408 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 4017 1111 63 0 4632 0
vsize: 18780
[startup+710.185 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 252653 0 0 0 70383 631 0 0 25 0 1 0 834532074 19230720 4017 4294967295 134512640 134714508 3221224592 3221222552 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 4017 1111 63 0 4632 0
vsize: 18780
[startup+720.185 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 255857 0 0 0 71375 639 0 0 25 0 1 0 834532074 20762624 4189 4294967295 134512640 134714508 3221224592 3221221248 1075967705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5069 4189 1111 63 0 5006 0
vsize: 20276
[startup+730.185 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 260069 0 0 0 72365 649 0 0 25 0 1 0 834532074 20471808 4100 4294967295 134512640 134714508 3221224592 3221220676 1075964386 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4998 4100 1111 63 0 4935 0
vsize: 19992
[startup+740.185 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 263888 0 0 0 73356 659 0 0 25 0 1 0 834532074 20590592 4130 4294967295 134512640 134714508 3221224592 3221220636 1074873606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5027 4130 1111 63 0 4964 0
vsize: 20108
[startup+750.188 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 268189 0 0 0 74345 670 0 0 25 0 1 0 834532074 20492288 4090 4294967295 134512640 134714508 3221224592 3221220752 1074883555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5003 4090 1111 63 0 4940 0
vsize: 20012
[startup+760.188 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 271101 0 0 0 75338 678 0 0 25 0 1 0 834532074 19300352 4034 4294967295 134512640 134714508 3221224592 3221222976 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 4034 1111 63 0 4649 0
vsize: 18848
[startup+770.195 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 275525 0 0 0 76327 689 0 0 25 0 1 0 834532074 19300352 4034 4294967295 134512640 134714508 3221224592 3221222940 1074152968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 4034 1111 63 0 4649 0
vsize: 18848
[startup+780.204 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 280405 0 0 0 77317 701 0 0 25 0 1 0 834532074 19300352 4034 4294967295 134512640 134714508 3221224592 3221223232 134649106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 4034 1111 63 0 4649 0
vsize: 18848
[startup+790.205 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 290440 0 0 0 78294 723 0 0 25 0 1 0 834532074 19300352 4034 4294967295 134512640 134714508 3221224592 3221222264 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 4034 1111 63 0 4649 0
vsize: 18848
[startup+800.204 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 296870 0 0 0 79278 740 0 0 25 0 1 0 834532074 20553728 4117 4294967295 134512640 134714508 3221224592 3221220864 1074960857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5018 4117 1111 63 0 4955 0
vsize: 20072
[startup+810.207 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 302241 0 0 0 80264 754 0 0 25 0 1 0 834532074 20508672 4098 4294967295 134512640 134714508 3221224592 3221221496 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5007 4098 1111 63 0 4944 0
vsize: 20028
[startup+820.215 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 306599 0 0 0 81254 765 0 0 25 0 1 0 834532074 20668416 4140 4294967295 134512640 134714508 3221224592 3221221664 1074867308 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5046 4140 1111 63 0 4983 0
vsize: 20184
[startup+830.215 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 310046 0 0 0 82244 775 0 0 25 0 1 0 834532074 20402176 4104 4294967295 134512640 134714508 3221224592 3221221424 1075115790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4981 4104 1111 63 0 4918 0
vsize: 19924
[startup+840.215 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 317004 0 0 0 83227 792 0 0 25 0 1 0 834532074 19419136 4063 4294967295 134512640 134714508 3221224592 3221222944 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4741 4063 1111 63 0 4678 0
vsize: 18964
[startup+850.23 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 323632 0 0 0 84214 807 0 0 25 0 1 0 834532074 19795968 4125 4294967295 134512640 134714508 3221224592 3221222704 1074867314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4833 4125 1111 63 0 4770 0
vsize: 19332
[startup+860.229 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 328205 0 0 0 85203 818 0 0 25 0 1 0 834532074 19644416 4118 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4796 4118 1111 63 0 4733 0
vsize: 19184
[startup+870.231 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 334082 0 0 0 86188 833 0 0 25 0 1 0 834532074 20246528 4148 4294967295 134512640 134714508 3221224592 3221221192 1075850762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4943 4148 1111 63 0 4880 0
vsize: 19772
[startup+880.234 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 340373 0 0 0 87174 848 0 0 25 0 1 0 834532074 19726336 4138 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4816 4138 1111 63 0 4753 0
vsize: 19264
[startup+890.234 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 345410 0 0 0 88162 860 0 0 25 0 1 0 834532074 19779584 4151 4294967295 134512640 134714508 3221224592 3221222928 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4829 4151 1111 63 0 4766 0
vsize: 19316
[startup+900.233 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 349838 0 0 0 89151 871 0 0 25 0 1 0 834532074 19791872 4154 4294967295 134512640 134714508 3221224592 3221223144 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4832 4154 1111 63 0 4769 0
vsize: 19328
[startup+910.233 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 353428 0 0 0 90142 880 0 0 25 0 1 0 834532074 20103168 4230 4294967295 134512640 134714508 3221224592 3221223168 134650321 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4908 4230 1111 63 0 4845 0
vsize: 19632
[startup+920.233 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 356458 0 0 0 91135 888 0 0 25 0 1 0 834532074 21024768 4245 4294967295 134512640 134714508 3221224592 3221220864 1074961146 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5133 4245 1111 63 0 5070 0
vsize: 20532
[startup+930.234 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 360690 0 0 0 92125 897 0 0 25 0 1 0 834532074 21311488 4345 4294967295 134512640 134714508 3221224592 3221220928 1075113481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5203 4345 1111 63 0 5140 0
vsize: 20812
[startup+940.234 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 365147 0 0 0 93115 908 0 0 25 0 1 0 834532074 20299776 4278 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4956 4278 1111 63 0 4893 0
vsize: 19824
[startup+950.234 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 368516 0 0 0 94106 917 0 0 25 0 1 0 834532074 21266432 4405 4294967295 134512640 134714508 3221224592 3221220604 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5192 4405 1111 63 0 5129 0
vsize: 20768
[startup+960.234 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 373240 0 0 0 95097 927 0 0 25 0 1 0 834532074 20443136 4279 4294967295 134512640 134714508 3221224592 3221222320 1075829018 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4991 4279 1111 63 0 4928 0
vsize: 19964
[startup+970.234 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 376981 0 0 0 96088 936 0 0 25 0 1 0 834532074 21508096 4356 4294967295 134512640 134714508 3221224592 3221220736 1074969461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5251 4356 1111 63 0 5188 0
vsize: 21004
[startup+980.234 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 380404 0 0 0 97079 945 0 0 25 0 1 0 834532074 21422080 4345 4294967295 134512640 134714508 3221224592 3221220648 1074789593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5230 4345 1111 63 0 5167 0
vsize: 20920
[startup+990.241 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 384355 0 0 0 98069 955 0 0 25 0 1 0 834532074 21643264 4376 4294967295 134512640 134714508 3221224592 3221220648 1074789581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5284 4376 1111 63 0 5221 0
vsize: 21136
[startup+1000.24 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 387674 0 0 0 99063 962 0 0 25 0 1 0 834532074 20443136 4313 4294967295 134512640 134714508 3221224592 3221222424 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4991 4313 1111 63 0 4928 0
vsize: 19964
[startup+1010.24 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 392057 0 0 0 100051 974 0 0 25 0 1 0 834532074 20529152 4334 4294967295 134512640 134714508 3221224592 3221222944 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5012 4334 1111 63 0 4949 0
vsize: 20048
[startup+1020.24 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 396256 0 0 0 101041 985 0 0 25 0 1 0 834532074 21143552 4439 4294967295 134512640 134714508 3221224592 3221220772 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5162 4439 1111 63 0 5099 0
vsize: 20648
[startup+1030.24 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 400085 0 0 0 102031 994 0 0 25 0 1 0 834532074 21819392 4430 4294967295 134512640 134714508 3221224592 3221220928 1075113634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5327 4430 1111 63 0 5264 0
vsize: 21308
[startup+1040.24 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 404073 0 0 0 103022 1004 0 0 25 0 1 0 834532074 22036480 4469 4294967295 134512640 134714508 3221224592 3221220636 1074873504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5380 4469 1111 63 0 5317 0
vsize: 21520
[startup+1050.24 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 407143 0 0 0 104014 1013 0 0 25 0 1 0 834532074 20844544 4411 4294967295 134512640 134714508 3221224592 3221222472 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5089 4411 1111 63 0 5026 0
vsize: 20356
[startup+1060.26 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 410512 0 0 0 105008 1020 0 0 25 0 1 0 834532074 21839872 4444 4294967295 134512640 134714508 3221224592 3221220684 1075663518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5332 4444 1111 63 0 5269 0
vsize: 21328
[startup+1070.26 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 413642 0 0 0 106000 1028 0 0 25 0 1 0 834532074 20856832 4414 4294967295 134512640 134714508 3221224592 3221222944 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5092 4414 1111 63 0 5029 0
vsize: 20368
[startup+1080.26 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 416779 0 0 0 106992 1035 0 0 25 0 1 0 834532074 21422080 4441 4294967295 134512640 134714508 3221224592 3221221312 1076083817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5230 4441 1111 63 0 5167 0
vsize: 20920
[startup+1090.26 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 420000 0 0 0 107985 1043 0 0 25 0 1 0 834532074 22032384 4491 4294967295 134512640 134714508 3221224592 3221220928 1075113634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5379 4491 1111 63 0 5316 0
vsize: 21516
[startup+1100.26 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 422554 0 0 0 108978 1050 0 0 25 0 1 0 834532074 20930560 4429 4294967295 134512640 134714508 3221224592 3221222340 1077374077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5110 4429 1111 63 0 5047 0
vsize: 20440
[startup+1110.26 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 426308 0 0 0 109970 1058 0 0 25 0 1 0 834532074 20930560 4432 4294967295 134512640 134714508 3221224592 3221222944 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5110 4432 1111 63 0 5047 0
vsize: 20440
[startup+1120.26 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 434563 0 0 0 110952 1077 0 0 25 0 1 0 834532074 20930560 4432 4294967295 134512640 134714508 3221224592 3221222880 1074206377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5110 4432 1111 63 0 5047 0
vsize: 20440
[startup+1130.36 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 438214 0 0 0 111953 1086 0 0 25 0 1 0 834532074 22478848 4631 4294967295 134512640 134714508 3221224592 3221220752 1075092579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5488 4631 1111 63 0 5425 0
vsize: 21952
[startup+1140.36 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 441966 0 0 0 112944 1096 0 0 25 0 1 0 834532074 22188032 4520 4294967295 134512640 134714508 3221224592 3221220740 1075964409 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5417 4520 1111 63 0 5354 0
vsize: 21668
[startup+1150.37 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 445061 0 0 0 113937 1103 0 0 25 0 1 0 834532074 21000192 4449 4294967295 134512640 134714508 3221224592 3221222768 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5127 4449 1111 63 0 5064 0
vsize: 20508
[startup+1160.37 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 448960 0 0 0 114929 1111 0 0 25 0 1 0 834532074 21131264 4481 4294967295 134512640 134714508 3221224592 3221222496 1074207188 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5159 4481 1111 63 0 5096 0
vsize: 20636
[startup+1170.37 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 452958 0 0 0 115919 1122 0 0 25 0 1 0 834532074 21303296 4496 4294967295 134512640 134714508 3221224592 3221222320 1075828471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5201 4496 1111 63 0 5138 0
vsize: 20804
[startup+1175.13 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 30731
Raw data (stat): 30731 (bsolo_lpr) R 30730 24821 24820 0 -1 0 452958 0 0 0 115919 1122 0 0 25 0 1 0 834532074 21303296 4496 4294967295 134512640 134714508 3221224592 3221222320 1075828471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5201 4496 1111 63 0 5138 0
vsize: 0

Child status: 0
Real time (s): 1175.13
CPU time (s): 1175.11
CPU user time (s): 1163.85
CPU system time (s): 11.2623
CPU usage (%): 99.9979
Max. virtual memory (Kb): 21952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####