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-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-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	6.02808
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 25489

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 21:06:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19592 boxname=wulflinc31 idbench=1508 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  44281820d2b00a47b643433ffa4e2d73  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos16.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos16.opb
IDLAUNCH: 19592
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        900624 kB
Buffers:         11588 kB
Cached:         102208 kB
SwapCached:        920 kB
Active:          44604 kB
Inactive:        71344 kB
HighTotal:      131008 kB
HighFree:        26628 kB
LowTotal:       903652 kB
LowFree:        873996 kB
SwapTotal:     2097892 kB
SwapFree:      2095972 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            12436 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 21:26:11 (client local time) WITH STATUS 0 IN 1175.92 SECONDS
stats: 19592 7 1175.92 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.576 s
c Initial Lower Bound: 96
c Lower Bound Elapsed time: 0.243571
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.88 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.97 2/55 25088
Raw data (stat): 25088 (runsolver) R 25087 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 790124083 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 7257 0 0 0 974 22 0 0 25 0 1 0 790124083 17072128 3375 4294967295 134512640 134714508 3221221776 3221217832 1074789581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4168 3375 1111 63 0 4105 0
vsize: 16672
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 9840 0 0 0 1966 30 0 0 25 0 1 0 790124083 16441344 3328 4294967295 134512640 134714508 3221221776 3221220336 1073989433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4014 3328 1111 63 0 3951 0
vsize: 16056
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 13122 0 0 0 2957 39 0 0 25 0 1 0 790124083 17137664 3376 4294967295 134512640 134714508 3221221776 3221218048 1074961366 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4184 3376 1111 63 0 4121 0
vsize: 16736
[startup+40.0014 s]
Raw data (loadavg): 0.96 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 15575 0 0 0 3949 47 0 0 25 0 1 0 790124083 16580608 3362 4294967295 134512640 134714508 3221221776 3221220160 1074153794 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4048 3362 1111 63 0 3985 0
vsize: 16192
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 18834 0 0 0 4939 57 0 0 25 0 1 0 790124083 16605184 3368 4294967295 134512640 134714508 3221221776 3221220080 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4054 3368 1111 63 0 3991 0
vsize: 16216
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 21885 0 0 0 5930 66 0 0 25 0 1 0 790124083 17555456 3462 4294967295 134512640 134714508 3221221776 3221218160 1074971965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4286 3462 1111 63 0 4223 0
vsize: 17144
[startup+70.0029 s]
Raw data (loadavg): 0.97 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 24541 0 0 0 6922 75 0 0 25 0 1 0 790124083 16957440 3448 4294967295 134512640 134714508 3221221776 3221220176 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4140 3448 1111 63 0 4077 0
vsize: 16560
[startup+80.0032 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 28178 0 0 0 7912 85 0 0 25 0 1 0 790124083 16867328 3433 4294967295 134512640 134714508 3221221776 3221219756 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4118 3433 1111 63 0 4055 0
vsize: 16472
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 32674 0 0 0 8899 98 0 0 25 0 1 0 790124083 16867328 3433 4294967295 134512640 134714508 3221221776 3221220112 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4118 3433 1111 63 0 4055 0
vsize: 16472
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 36117 0 0 0 9889 108 0 0 25 0 1 0 790124083 17657856 3531 4294967295 134512640 134714508 3221221776 3221218820 1074846206 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4311 3531 1111 63 0 4248 0
vsize: 17244
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 38651 0 0 0 10881 116 0 0 25 0 1 0 790124083 17010688 3468 4294967295 134512640 134714508 3221221776 3221220128 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4153 3468 1111 63 0 4090 0
vsize: 16612
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 41658 0 0 0 11873 124 0 0 25 0 1 0 790124083 17870848 3550 4294967295 134512640 134714508 3221221776 3221218048 1074799477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4363 3550 1111 63 0 4300 0
vsize: 17452
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 44792 0 0 0 12863 134 0 0 25 0 1 0 790124083 17117184 3494 4294967295 134512640 134714508 3221221776 3221219824 1074867305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4179 3494 1111 63 0 4116 0
vsize: 16716
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 47531 0 0 0 13854 144 0 0 25 0 1 0 790124083 17117184 3494 4294967295 134512640 134714508 3221221776 3221220344 134542401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4179 3494 1111 63 0 4116 0
vsize: 16716
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 50508 0 0 0 14845 153 0 0 25 0 1 0 790124083 17465344 3545 4294967295 134512640 134714508 3221221776 3221219504 1075828589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4264 3545 1111 63 0 4201 0
vsize: 17056
[startup+160.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 53315 0 0 0 15836 162 0 0 25 0 1 0 790124083 18165760 3637 4294967295 134512640 134714508 3221221776 3221217608 1074788562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4435 3637 1111 63 0 4372 0
vsize: 17740
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 56450 0 0 0 16828 170 0 0 25 0 1 0 790124083 17727488 3594 4294967295 134512640 134714508 3221221776 3221219440 1075828680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4328 3594 1111 63 0 4265 0
vsize: 17312
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 59257 0 0 0 17820 178 0 0 25 0 1 0 790124083 17977344 3606 4294967295 134512640 134714508 3221221776 3221218256 1075397225 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4389 3606 1111 63 0 4326 0
vsize: 17556
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 62487 0 0 0 18810 189 0 0 25 0 1 0 790124083 18493440 3705 4294967295 134512640 134714508 3221221776 3221218048 1074961363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4515 3705 1111 63 0 4452 0
vsize: 18060
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 65149 0 0 0 19802 196 0 0 25 0 1 0 790124083 18276352 3650 4294967295 134512640 134714508 3221221776 3221218004 1075115141 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4462 3650 1111 63 0 4399 0
vsize: 17848
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 67128 0 0 0 20795 203 0 0 25 0 1 0 790124083 17702912 3637 4294967295 134512640 134714508 3221221776 3221219752 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4322 3637 1111 63 0 4259 0
vsize: 17288
[startup+220.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 69383 0 0 0 21790 208 0 0 25 0 1 0 790124083 18317312 3674 4294967295 134512640 134714508 3221221776 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4472 3674 1111 63 0 4409 0
vsize: 17888
[startup+230.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 71951 0 0 0 22783 216 0 0 25 0 1 0 790124083 17702912 3637 4294967295 134512640 134714508 3221221776 3221219432 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4322 3637 1111 63 0 4259 0
vsize: 17288
[startup+240.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 75259 0 0 0 23775 224 0 0 25 0 1 0 790124083 18321408 3730 4294967295 134512640 134714508 3221221776 3221218096 1075169906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4473 3730 1111 63 0 4410 0
vsize: 17892
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 78316 0 0 0 24766 233 0 0 25 0 1 0 790124083 18485248 3686 4294967295 134512640 134714508 3221221776 3221218720 1074620133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4513 3686 1111 63 0 4450 0
vsize: 18052
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 81454 0 0 0 25756 243 0 0 25 0 1 0 790124083 17760256 3651 4294967295 134512640 134714508 3221221776 3221219672 1077380592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4336 3651 1111 63 0 4273 0
vsize: 17344
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 84865 0 0 0 26745 254 0 0 25 0 1 0 790124083 18456576 3714 4294967295 134512640 134714508 3221221776 3221218160 1075896033 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4506 3714 1111 63 0 4443 0
vsize: 18024
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 88632 0 0 0 27734 265 0 0 25 0 1 0 790124083 18468864 3712 4294967295 134512640 134714508 3221221776 3221218704 1075960291 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4509 3712 1111 63 0 4446 0
vsize: 18036
[startup+290.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 91798 0 0 0 28725 275 0 0 25 0 1 0 790124083 18513920 3724 4294967295 134512640 134714508 3221221776 3221218776 1077410279 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4520 3724 1111 63 0 4457 0
vsize: 18080
[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 95347 0 0 0 29717 283 0 0 25 0 1 0 790124083 18366464 3795 4294967295 134512640 134714508 3221221776 3221219776 1074918064 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4484 3795 1111 63 0 4421 0
vsize: 17936
[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 98892 0 0 0 30708 292 0 0 25 0 1 0 790124083 18706432 3794 4294967295 134512640 134714508 3221221776 3221217888 1075092725 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4567 3794 1111 63 0 4504 0
vsize: 18268
[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 102374 0 0 0 31698 302 0 0 25 0 1 0 790124083 18493440 3804 4294967295 134512640 134714508 3221221776 3221219840 1075961756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4515 3804 1111 63 0 4452 0
vsize: 18060
[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 104591 0 0 0 32692 308 0 0 25 0 1 0 790124083 18989056 3831 4294967295 134512640 134714508 3221221776 3221217680 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4636 3831 1111 63 0 4573 0
vsize: 18544
[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 106950 0 0 0 33686 314 0 0 25 0 1 0 790124083 18354176 3803 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4481 3803 1111 63 0 4418 0
vsize: 17924
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 109753 0 0 0 34678 322 0 0 25 0 1 0 790124083 18354176 3803 4294967295 134512640 134714508 3221221776 3221220128 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4481 3803 1111 63 0 4418 0
vsize: 17924
[startup+360.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 114782 0 0 0 35664 337 0 0 25 0 1 0 790124083 18694144 3836 4294967295 134512640 134714508 3221221776 3221218004 1075115035 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4564 3836 1111 63 0 4501 0
vsize: 18256
[startup+370.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 118796 0 0 0 36653 348 0 0 25 0 1 0 790124083 18415616 3818 4294967295 134512640 134714508 3221221776 3221220128 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4496 3818 1111 63 0 4433 0
vsize: 17984
[startup+380.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 122432 0 0 0 37642 359 0 0 25 0 1 0 790124083 18518016 3843 4294967295 134512640 134714508 3221221776 3221220024 1074138166 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4521 3843 1111 63 0 4458 0
vsize: 18084
[startup+390.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 126891 0 0 0 38632 369 0 0 25 0 1 0 790124083 19816448 3955 4294967295 134512640 134714508 3221221776 3221218112 1075113493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4838 3955 1111 63 0 4775 0
vsize: 19352
[startup+400.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 130610 0 0 0 39621 380 0 0 25 0 1 0 790124083 18456576 3828 4294967295 134512640 134714508 3221221776 3221219740 1077411564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4506 3828 1111 63 0 4443 0
vsize: 18024
[startup+410.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 134413 0 0 0 40611 390 0 0 25 0 1 0 790124083 18575360 3857 4294967295 134512640 134714508 3221221776 3221220176 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4535 3857 1111 63 0 4472 0
vsize: 18140
[startup+420.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 138142 0 0 0 41599 402 0 0 25 0 1 0 790124083 18825216 3918 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3918 1111 63 0 4533 0
vsize: 18384
[startup+430.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 142431 0 0 0 42588 413 0 0 25 0 1 0 790124083 20172800 4038 4294967295 134512640 134714508 3221221776 3221218048 1074961271 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4925 4038 1111 63 0 4862 0
vsize: 19700
[startup+440.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 145819 0 0 0 43579 422 0 0 25 0 1 0 790124083 19587072 3894 4294967295 134512640 134714508 3221221776 3221217904 1075561201 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4782 3894 1111 63 0 4719 0
vsize: 19128
[startup+450.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 152270 0 0 0 44564 438 0 0 25 0 1 0 790124083 18604032 3864 4294967295 134512640 134714508 3221221776 3221219888 1074867308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4542 3864 1111 63 0 4479 0
vsize: 18168
[startup+460.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 158802 0 0 0 45547 455 0 0 25 0 1 0 790124083 18604032 3864 4294967295 134512640 134714508 3221221776 3221220112 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4542 3864 1111 63 0 4479 0
vsize: 18168
[startup+470.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 161963 0 0 0 46536 466 0 0 25 0 1 0 790124083 19779584 3921 4294967295 134512640 134714508 3221221776 3221218016 1075115712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4829 3921 1111 63 0 4766 0
vsize: 19316
[startup+480.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 165761 0 0 0 47525 477 0 0 25 0 1 0 790124083 18604032 3864 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4542 3864 1111 63 0 4479 0
vsize: 18168
[startup+490.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 169362 0 0 0 48516 487 0 0 25 0 1 0 790124083 19849216 3967 4294967295 134512640 134714508 3221221776 3221217936 1074794536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4846 3967 1111 63 0 4783 0
vsize: 19384
[startup+500.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 172672 0 0 0 49506 496 0 0 25 0 1 0 790124083 19873792 3954 4294967295 134512640 134714508 3221221776 3221218016 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4852 3954 1111 63 0 4789 0
vsize: 19408
[startup+510.024 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 176043 0 0 0 50497 505 0 0 25 0 1 0 790124083 20414464 4187 4294967295 134512640 134714508 3221221776 3221217688 1074788464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4984 4187 1111 63 0 4921 0
vsize: 19936
[startup+520.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 179503 0 0 0 51488 514 0 0 25 0 1 0 790124083 18841600 3922 4294967295 134512640 134714508 3221221776 3221219856 1075963599 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3922 1111 63 0 4537 0
vsize: 18400
[startup+530.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 182743 0 0 0 52480 523 0 0 25 0 1 0 790124083 18841600 3922 4294967295 134512640 134714508 3221221776 3221219560 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3922 1111 63 0 4537 0
vsize: 18400
[startup+540.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 185711 0 0 0 53472 531 0 0 25 0 1 0 790124083 19992576 3967 4294967295 134512640 134714508 3221221776 3221218112 1075113502 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4881 3967 1111 63 0 4818 0
vsize: 19524
[startup+550.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 188219 0 0 0 54464 539 0 0 25 0 1 0 790124083 18841600 3922 4294967295 134512640 134714508 3221221776 3221219520 1075645384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3922 1111 63 0 4537 0
vsize: 18400
[startup+560.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 192968 0 0 0 55453 550 0 0 25 0 1 0 790124083 19496960 3976 4294967295 134512640 134714508 3221221776 3221218004 1075115057 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4760 3976 1111 63 0 4697 0
vsize: 19040
[startup+570.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 196774 0 0 0 56443 560 0 0 25 0 1 0 790124083 20025344 3987 4294967295 134512640 134714508 3221221776 3221218004 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4889 3987 1111 63 0 4826 0
vsize: 19556
[startup+580.028 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 199872 0 0 0 57435 568 0 0 25 0 1 0 790124083 18841600 3922 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3922 1111 63 0 4537 0
vsize: 18400
[startup+590.029 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 202488 0 0 0 58430 573 0 0 25 0 1 0 790124083 19865600 3953 4294967295 134512640 134714508 3221221776 3221217904 1075561089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4850 3953 1111 63 0 4787 0
vsize: 19400
[startup+600.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 205986 0 0 0 59421 583 0 0 25 0 1 0 790124083 18841600 3922 4294967295 134512640 134714508 3221221776 3221220176 1074153760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3922 1111 63 0 4537 0
vsize: 18400
[startup+610.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 212076 0 0 0 60405 598 0 0 25 0 1 0 790124083 18841600 3922 4294967295 134512640 134714508 3221221776 3221220072 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4600 3922 1111 63 0 4537 0
vsize: 18400
[startup+620.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 216428 0 0 0 61393 611 0 0 25 0 1 0 790124083 20160512 4019 4294967295 134512640 134714508 3221221776 3221218588 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4922 4019 1111 63 0 4859 0
vsize: 19688
[startup+630.031 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 220744 0 0 0 62380 624 0 0 25 0 1 0 790124083 18948096 3948 4294967295 134512640 134714508 3221221776 3221220176 1074153822 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4626 3948 1111 63 0 4563 0
vsize: 18504
[startup+640.033 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 223714 0 0 0 63373 632 0 0 25 0 1 0 790124083 20033536 3997 4294967295 134512640 134714508 3221221776 3221217732 1074790695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4891 3997 1111 63 0 4828 0
vsize: 19564
[startup+650.033 s]
Raw data (loadavg): 0.99 0.98 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 229101 0 0 0 64357 647 0 0 25 0 1 0 790124083 20336640 4089 4294967295 134512640 134714508 3221221776 3221218004 1075115023 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4965 4089 1111 63 0 4902 0
vsize: 19860
[startup+660.033 s]
Raw data (loadavg): 1.07 1.00 0.97 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 233880 0 0 0 65345 659 0 0 25 0 1 0 790124083 19021824 3966 4294967295 134512640 134714508 3221221776 3221220024 1074138150 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4644 3966 1111 63 0 4581 0
vsize: 18576
[startup+670.033 s]
Raw data (loadavg): 1.14 1.02 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 238573 0 0 0 66332 673 0 0 25 0 1 0 790124083 19169280 4002 4294967295 134512640 134714508 3221221776 3221219752 1077380423 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4680 4002 1111 63 0 4617 0
vsize: 18720
[startup+680.034 s]
Raw data (loadavg): 1.11 1.01 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 241269 0 0 0 67324 681 0 0 25 0 1 0 790124083 20152320 4039 4294967295 134512640 134714508 3221221776 3221218048 1074802740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4920 4039 1111 63 0 4857 0
vsize: 19680
[startup+690.034 s]
Raw data (loadavg): 1.10 1.01 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 244609 0 0 0 68313 692 0 0 25 0 1 0 790124083 20082688 4109 4294967295 134512640 134714508 3221221776 3221218432 1075967410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4903 4109 1111 63 0 4840 0
vsize: 19612
[startup+700.035 s]
Raw data (loadavg): 1.08 1.01 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 248193 0 0 0 69303 703 0 0 25 0 1 0 790124083 20217856 4048 4294967295 134512640 134714508 3221221776 3221217920 1074971396 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4936 4048 1111 63 0 4873 0
vsize: 19744
[startup+710.036 s]
Raw data (loadavg): 1.07 1.01 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 251207 0 0 0 70295 711 0 0 25 0 1 0 790124083 19234816 4018 4294967295 134512640 134714508 3221221776 3221220112 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4696 4018 1111 63 0 4633 0
vsize: 18784
[startup+720.036 s]
Raw data (loadavg): 1.06 1.01 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 253999 0 0 0 71286 719 0 0 25 0 1 0 790124083 19247104 4021 4294967295 134512640 134714508 3221221776 3221219520 1075646667 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4699 4021 1111 63 0 4636 0
vsize: 18796
[startup+730.036 s]
Raw data (loadavg): 1.05 1.01 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 258182 0 0 0 72276 729 0 0 25 0 1 0 790124083 19304448 4035 4294967295 134512640 134714508 3221221776 3221220160 1074153672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4713 4035 1111 63 0 4650 0
vsize: 18852
[startup+740.035 s]
Raw data (loadavg): 1.04 1.01 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 261602 0 0 0 73267 739 0 0 25 0 1 0 790124083 19304448 4035 4294967295 134512640 134714508 3221221776 3221220128 1074153800 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4713 4035 1111 63 0 4650 0
vsize: 18852
[startup+750.036 s]
Raw data (loadavg): 1.03 1.01 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 266175 0 0 0 74255 751 0 0 25 0 1 0 790124083 20500480 4115 4294967295 134512640 134714508 3221221776 3221218048 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5005 4115 1111 63 0 4942 0
vsize: 20020
[startup+760.036 s]
Raw data (loadavg): 1.03 1.01 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 269685 0 0 0 75245 761 0 0 25 0 1 0 790124083 20434944 4072 4294967295 134512640 134714508 3221221776 3221217820 1074873490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4989 4072 1111 63 0 4926 0
vsize: 19956
[startup+770.036 s]
Raw data (loadavg): 1.02 1.01 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 273474 0 0 0 76234 772 0 0 25 0 1 0 790124083 19304448 4035 4294967295 134512640 134714508 3221221776 3221220112 1074153675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4713 4035 1111 63 0 4650 0
vsize: 18852
[startup+780.037 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 277149 0 0 0 77225 782 0 0 25 0 1 0 790124083 20299776 4061 4294967295 134512640 134714508 3221221776 3221218588 1074788977 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4956 4061 1111 63 0 4893 0
vsize: 19824
[startup+790.037 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 284423 0 0 0 78206 801 0 0 25 0 1 0 790124083 19959808 4089 4294967295 134512640 134714508 3221221776 3221217808 1074790177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4873 4089 1111 63 0 4810 0
vsize: 19492
[startup+800.038 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 293734 0 0 0 79180 827 0 0 25 0 1 0 790124083 20299776 4054 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4956 4054 1111 63 0 4893 0
vsize: 19824
[startup+810.039 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 298709 0 0 0 80167 840 0 0 25 0 1 0 790124083 19304448 4035 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4713 4035 1111 63 0 4650 0
vsize: 18852
[startup+820.039 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 304006 0 0 0 81152 854 0 0 25 0 1 0 790124083 19337216 4043 4294967295 134512640 134714508 3221221776 3221220128 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4721 4043 1111 63 0 4658 0
vsize: 18884
[startup+830.039 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 308197 0 0 0 82141 866 0 0 25 0 1 0 790124083 19423232 4064 4294967295 134512640 134714508 3221221776 3221220040 1074138162 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4742 4064 1111 63 0 4679 0
vsize: 18968
[startup+840.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 312312 0 0 0 83130 877 0 0 25 0 1 0 790124083 19423232 4064 4294967295 134512640 134714508 3221221776 3221219056 1074140688 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4742 4064 1111 63 0 4679 0
vsize: 18968
[startup+850.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 319231 0 0 0 84112 896 0 0 25 0 1 0 790124083 19492864 4081 4294967295 134512640 134714508 3221221776 3221219984 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4759 4081 1111 63 0 4696 0
vsize: 19036
[startup+860.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 325420 0 0 0 85096 911 0 0 25 0 1 0 790124083 19648512 4119 4294967295 134512640 134714508 3221221776 3221220112 1074153783 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4797 4119 1111 63 0 4734 0
vsize: 19188
[startup+870.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 330201 0 0 0 86083 924 0 0 25 0 1 0 790124083 20799488 4145 4294967295 134512640 134714508 3221221776 3221217936 1075092611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5078 4145 1111 63 0 5015 0
vsize: 20312
[startup+880.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 337366 0 0 0 87064 944 0 0 25 0 1 0 790124083 19656704 4121 4294967295 134512640 134714508 3221221776 3221220424 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4799 4121 1111 63 0 4736 0
vsize: 19196
[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 342287 0 0 0 88052 956 0 0 25 0 1 0 790124083 21004288 4214 4294967295 134512640 134714508 3221221776 3221217920 1074969440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5128 4214 1111 63 0 5065 0
vsize: 20512
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 346956 0 0 0 89038 970 0 0 25 0 1 0 790124083 19951616 4193 4294967295 134512640 134714508 3221221776 3221219120 1074839045 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4871 4193 1111 63 0 4808 0
vsize: 19484
[startup+910.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 351039 0 0 0 90027 981 0 0 25 0 1 0 790124083 20975616 4230 4294967295 134512640 134714508 3221221776 3221217936 1074883530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5121 4230 1111 63 0 5058 0
vsize: 20484
[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 354505 0 0 0 91019 990 0 0 25 0 1 0 790124083 20189184 4220 4294967295 134512640 134714508 3221221776 3221219424 1075818215 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4929 4220 1111 63 0 4866 0
vsize: 19716
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 357897 0 0 0 92011 998 0 0 25 0 1 0 790124083 21581824 4405 4294967295 134512640 134714508 3221221776 3221217936 1074883536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5269 4405 1111 63 0 5206 0
vsize: 21076
[startup+940.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 362391 0 0 0 93000 1008 0 0 25 0 1 0 790124083 20148224 4241 4294967295 134512640 134714508 3221221776 3221220112 1074153786 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4919 4241 1111 63 0 4856 0
vsize: 19676
[startup+950.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 366148 0 0 0 93992 1017 0 0 25 0 1 0 790124083 21286912 4323 4294967295 134512640 134714508 3221221776 3221217904 1075112086 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5197 4323 1111 63 0 5134 0
vsize: 20788
[startup+960.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 370779 0 0 0 94979 1030 0 0 25 0 1 0 790124083 20287488 4275 4294967295 134512640 134714508 3221221776 3221219424 1075817673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4953 4275 1111 63 0 4890 0
vsize: 19812
[startup+970.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 374063 0 0 0 95969 1040 0 0 25 0 1 0 790124083 21286912 4312 4294967295 134512640 134714508 3221221776 3221218840 1077410205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5197 4312 1111 63 0 5134 0
vsize: 20788
[startup+980.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 377877 0 0 0 96959 1051 0 0 25 0 1 0 790124083 21471232 4350 4294967295 134512640 134714508 3221221776 3221217984 1074815253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5242 4350 1111 63 0 5179 0
vsize: 20968
[startup+990.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 381373 0 0 0 97950 1059 0 0 25 0 1 0 790124083 20492288 4314 4294967295 134512640 134714508 3221221776 3221220188 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5003 4314 1111 63 0 4940 0
vsize: 20012
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 385179 0 0 0 98941 1069 0 0 25 0 1 0 790124083 20582400 4325 4294967295 134512640 134714508 3221221776 3221220080 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5025 4325 1111 63 0 4962 0
vsize: 20100
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 388805 0 0 0 99930 1079 0 0 25 0 1 0 790124083 21946368 4508 4294967295 134512640 134714508 3221221776 3221217736 1074789596 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5358 4508 1111 63 0 5295 0
vsize: 21432
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 392983 0 0 0 100919 1091 0 0 25 0 1 0 790124083 21766144 4425 4294967295 134512640 134714508 3221221776 3221217924 1075964390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5314 4425 1111 63 0 5251 0
vsize: 21256
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 397125 0 0 0 101910 1101 0 0 25 0 1 0 790124083 20623360 4357 4294967295 134512640 134714508 3221221776 3221220032 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5035 4357 1111 63 0 4972 0
vsize: 20140
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 400986 0 0 0 102900 1111 0 0 25 0 1 0 790124083 20627456 4358 4294967295 134512640 134714508 3221221776 3221220128 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5036 4358 1111 63 0 4973 0
vsize: 20144
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 404902 0 0 0 103887 1123 0 0 25 0 1 0 790124083 20901888 4425 4294967295 134512640 134714508 3221221776 3221220176 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5103 4425 1111 63 0 5040 0
vsize: 20412
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 408084 0 0 0 104878 1132 0 0 25 0 1 0 790124083 20860928 4415 4294967295 134512640 134714508 3221221776 3221220080 1074153792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5093 4415 1111 63 0 5030 0
vsize: 20372
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 411468 0 0 0 105871 1140 0 0 25 0 1 0 790124083 20860928 4415 4294967295 134512640 134714508 3221221776 3221218924 1076999581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5093 4415 1111 63 0 5030 0
vsize: 20372
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 414366 0 0 0 106863 1148 0 0 25 0 1 0 790124083 21983232 4467 4294967295 134512640 134714508 3221221776 3221217656 1074788488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5367 4467 1111 63 0 5304 0
vsize: 21468
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 417565 0 0 0 107854 1157 0 0 25 0 1 0 790124083 21905408 4551 4294967295 134512640 134714508 3221221776 3221218000 1074961126 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5348 4552 1111 63 0 5285 0
vsize: 21392
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 420786 0 0 0 108846 1165 0 0 25 0 1 0 790124083 22036480 4608 4294967295 134512640 134714508 3221221776 3221217740 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5380 4608 1111 63 0 5317 0
vsize: 21520
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 423227 0 0 0 109840 1172 0 0 25 0 1 0 790124083 21917696 4478 4294967295 134512640 134714508 3221221776 3221218112 1075114277 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5351 4478 1111 63 0 5288 0
vsize: 21404
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 428343 0 0 0 110827 1184 0 0 25 0 1 0 790124083 21590016 4491 4294967295 134512640 134714508 3221221776 3221218712 1075066492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5271 4491 1111 63 0 5208 0
vsize: 21084
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 435750 0 0 0 111809 1203 0 0 25 0 1 0 790124083 20934656 4433 4294967295 134512640 134714508 3221221776 3221220128 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5111 4433 1111 63 0 5048 0
vsize: 20444
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 439083 0 0 0 112800 1212 0 0 25 0 1 0 790124083 22327296 4598 4294967295 134512640 134714508 3221221776 3221217820 1074873501 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5451 4598 1111 63 0 5388 0
vsize: 21804
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 442761 0 0 0 113789 1223 0 0 25 0 1 0 790124083 21032960 4457 4294967295 134512640 134714508 3221221776 3221220176 1074118854 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5135 4457 1111 63 0 5072 0
vsize: 20540
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 445988 0 0 0 114780 1233 0 0 25 0 1 0 790124083 21831680 4536 4294967295 134512640 134714508 3221221776 3221218272 1075088563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5330 4536 1111 63 0 5267 0
vsize: 21320
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/55 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 449986 0 0 0 115767 1246 0 0 25 0 1 0 790124083 22286336 4535 4294967295 134512640 134714508 3221221776 3221217984 1074815247 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5441 4535 1111 63 0 5378 0
vsize: 21764
[startup+1175.83 s]
Raw data (loadavg): 1.00 1.00 0.98 1/54 25088
Raw data (stat): 25088 (bsolo_lpr) R 25087 7876 7672 0 -1 0 449986 0 0 0 115767 1246 0 0 25 0 1 0 790124083 22286336 4535 4294967295 134512640 134714508 3221221776 3221217984 1074815247 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5441 4535 1111 63 0 5378 0
vsize: 0

Child status: 0
Real time (s): 1175.83
CPU time (s): 1175.92
CPU user time (s): 1163.39
CPU system time (s): 12.5301
CPU usage (%): 100.007
Max. virtual memory (Kb): 21804
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####