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/MIPLIB/miplib/normalized-mps-v2-13-7-vpm1.opb
MD5SUM	96fe6be9d2b9e3e89a4b05733b0daf45
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07084
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 25818

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 20:12:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17356 boxname=wulflinc31 idbench=1336 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  96fe6be9d2b9e3e89a4b05733b0daf45  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-vpm1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-vpm1.opb
IDLAUNCH: 17356
/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:        875272 kB
Buffers:         23348 kB
Cached:         116252 kB
SwapCached:       1024 kB
Active:          74564 kB
Inactive:        67196 kB
HighTotal:      131008 kB
HighFree:        15680 kB
LowTotal:       903652 kB
LowFree:        859592 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12000 kB
Committed_AS:    63852 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 20:32:10 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 17356 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2124 variables and 486 constraints.
c After prepocess the problem consists of 1459 variables and 357 constraints.
c preprocess terminated 48.818 s
c Initial Lower Bound: 16
c Lower Bound Elapsed time: 0.1845
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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.93 0.98 0.93 2/55 28049
Raw data (stat): 28049 (runsolver) R 28048 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 815723014 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.0011 s]
Raw data (loadavg): 0.94 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 5919 0 0 0 979 17 0 0 25 0 1 0 815723014 27406336 5840 4294967295 134512640 134714508 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6691 5840 1111 63 0 6628 0
vsize: 26764
[startup+20.002 s]
Raw data (loadavg): 0.95 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 5962 0 0 0 1978 18 0 0 25 0 1 0 815723014 27533312 5883 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6722 5883 1111 63 0 6659 0
vsize: 26888
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 6064 0 0 0 2977 18 0 0 25 0 1 0 815723014 27783168 5929 4294967295 134512640 134714508 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 5929 1111 63 0 6720 0
vsize: 27132
[startup+40.0028 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 6072 0 0 0 3976 20 0 0 25 0 1 0 815723014 27783168 5937 4294967295 134512640 134714508 3221221792 3221220436 1076648096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6783 5937 1111 63 0 6720 0
vsize: 27132
[startup+50.0037 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 6342 0 0 0 4974 22 0 0 25 0 1 0 815723014 27930624 6124 4294967295 134512640 134714508 3221221792 3221219520 1075828956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6819 6124 1111 63 0 6756 0
vsize: 27276
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 6765 0 0 0 5973 24 0 0 25 0 1 0 815723014 28106752 6139 4294967295 134512640 134714508 3221221792 3221217824 1075965308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6862 6139 1111 63 0 6799 0
vsize: 27448
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 7193 0 0 0 6969 27 0 0 25 0 1 0 815723014 27930624 6124 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6124 1111 63 0 6756 0
vsize: 27276
[startup+80.0054 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 7355 0 0 0 7968 29 0 0 25 0 1 0 815723014 27930624 6124 4294967295 134512640 134714508 3221221792 3221219800 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6124 1111 63 0 6756 0
vsize: 27276
[startup+90.0056 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 7542 0 0 0 8965 31 0 0 25 0 1 0 815723014 28114944 6126 4294967295 134512640 134714508 3221221792 3221217952 1074794589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6864 6126 1111 63 0 6801 0
vsize: 27456
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 7738 0 0 0 9964 33 0 0 25 0 1 0 815723014 27930624 6124 4294967295 134512640 134714508 3221221792 3221220192 1074153766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6124 1111 63 0 6756 0
vsize: 27276
[startup+110.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 7922 0 0 0 10962 35 0 0 25 0 1 0 815723014 27930624 6124 4294967295 134512640 134714508 3221221792 3221219072 1074140055 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6124 1111 63 0 6756 0
vsize: 27276
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 8103 0 0 0 11959 38 0 0 25 0 1 0 815723014 27930624 6124 4294967295 134512640 134714508 3221221792 3221220088 1074138155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6124 1111 63 0 6756 0
vsize: 27276
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 8305 0 0 0 12957 40 0 0 25 0 1 0 815723014 28114944 6125 4294967295 134512640 134714508 3221221792 3221218128 1075114217 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6864 6125 1111 63 0 6801 0
vsize: 27456
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 8491 0 0 0 13955 42 0 0 25 0 1 0 815723014 28114944 6125 4294967295 134512640 134714508 3221221792 3221218684 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6864 6125 1111 63 0 6801 0
vsize: 27456
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 8693 0 0 0 14952 45 0 0 25 0 1 0 815723014 27930624 6125 4294967295 134512640 134714508 3221221792 3221219368 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 8914 0 0 0 15950 48 0 0 25 0 1 0 815723014 27930624 6125 4294967295 134512640 134714508 3221221792 3221220080 134650068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 9148 0 0 0 16948 51 0 0 25 0 1 0 815723014 27930624 6125 4294967295 134512640 134714508 3221221792 3221219744 1074206889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 9394 0 0 0 17945 53 0 0 25 0 1 0 815723014 28114944 6126 4294967295 134512640 134714508 3221221792 3221218912 1074835532 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6864 6126 1111 63 0 6801 0
vsize: 27456
[startup+190.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 9644 0 0 0 18943 55 0 0 25 0 1 0 815723014 27930624 6125 4294967295 134512640 134714508 3221221792 3221218896 1074138723 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+200.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 9900 0 0 0 19940 58 0 0 25 0 1 0 815723014 27930624 6125 4294967295 134512640 134714508 3221221792 3221219520 1075828215 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+210.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 10156 0 0 0 20938 60 0 0 25 0 1 0 815723014 27930624 6125 4294967295 134512640 134714508 3221221792 3221219712 1075799638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 10412 0 0 0 21936 63 0 0 25 0 1 0 815723014 27930624 6125 4294967295 134512640 134714508 3221221792 3221219864 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 10664 0 0 0 22932 67 0 0 25 0 1 0 815723014 27930624 6125 4294967295 134512640 134714508 3221221792 3221220192 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 10920 0 0 0 23930 70 0 0 25 0 1 0 815723014 27930624 6125 4294967295 134512640 134714508 3221221792 3221220144 1074153753 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 11177 0 0 0 24926 73 0 0 25 0 1 0 815723014 27930624 6125 4294967295 134512640 134714508 3221221792 3221220192 1074118827 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 11432 0 0 0 25924 76 0 0 25 0 1 0 815723014 27930624 6125 4294967295 134512640 134714508 3221221792 3221220128 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+270.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 11688 0 0 0 26921 79 0 0 25 0 1 0 815723014 28114944 6126 4294967295 134512640 134714508 3221221792 3221218448 1075966456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6864 6126 1111 63 0 6801 0
vsize: 27456
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 11939 0 0 0 27918 82 0 0 25 0 1 0 815723014 27930624 6125 4294967295 134512640 134714508 3221221792 3221220192 1074119062 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 12194 0 0 0 28916 85 0 0 25 0 1 0 815723014 27930624 6125 4294967295 134512640 134714508 3221221792 3221219928 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 12450 0 0 0 29914 86 0 0 25 0 1 0 815723014 27930624 6125 4294967295 134512640 134714508 3221221792 3221220076 1074206848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 14850 0 0 0 30907 94 0 0 25 0 1 0 815723014 28250112 6157 4294967295 134512640 134714508 3221221792 3221218064 1074799679 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6897 6157 1111 63 0 6834 0
vsize: 27588
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 20136 0 0 0 31893 108 0 0 25 0 1 0 815723014 27930624 6125 4294967295 134512640 134714508 3221221792 3221219580 1077404740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 28261 0 0 0 32874 127 0 0 25 0 1 0 815723014 27930624 6125 4294967295 134512640 134714508 3221221792 3221220176 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6819 6125 1111 63 0 6756 0
vsize: 27276
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 39241 0 0 0 33846 155 0 0 25 0 1 0 815723014 28192768 6168 4294967295 134512640 134714508 3221221792 3221220072 1074138237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6883 6168 1111 63 0 6820 0
vsize: 27532
[startup+350.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 49543 0 0 0 34819 182 0 0 25 0 1 0 815723014 28389376 6237 4294967295 134512640 134714508 3221221792 3221220208 1074117077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6931 6237 1111 63 0 6868 0
vsize: 27724
[startup+360.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 54696 0 0 0 35804 198 0 0 25 0 1 0 815723014 28540928 6274 4294967295 134512640 134714508 3221221792 3221219864 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6968 6274 1111 63 0 6905 0
vsize: 27872
[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 64021 0 0 0 36780 222 0 0 25 0 1 0 815723014 28618752 6293 4294967295 134512640 134714508 3221221792 3221219984 1074153812 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6987 6293 1111 63 0 6924 0
vsize: 27948
[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 72431 0 0 0 37761 241 0 0 25 0 1 0 815723014 28975104 6378 4294967295 134512640 134714508 3221221792 3221218856 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7074 6379 1111 63 0 7011 0
vsize: 28296
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 78528 0 0 0 38743 260 0 0 25 0 1 0 815723014 29143040 6421 4294967295 134512640 134714508 3221221792 3221220144 1074115298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7115 6421 1111 63 0 7052 0
vsize: 28460
[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 87013 0 0 0 39719 283 0 0 25 0 1 0 815723014 29356032 6467 4294967295 134512640 134714508 3221221792 3221219792 1074918533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7167 6467 1111 63 0 7104 0
vsize: 28668
[startup+410.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 96393 0 0 0 40697 305 0 0 25 0 1 0 815723014 30695424 6733 4294967295 134512640 134714508 3221221792 3221219520 1075828571 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7494 6733 1111 63 0 7431 0
vsize: 29976
[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 100601 0 0 0 41686 317 0 0 25 0 1 0 815723014 29949952 6618 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7312 6618 1111 63 0 7249 0
vsize: 29248
[startup+430.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 102512 0 0 0 42680 323 0 0 25 0 1 0 815723014 30048256 6644 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7336 6644 1111 63 0 7273 0
vsize: 29344
[startup+440.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 105232 0 0 0 43673 330 0 0 25 0 1 0 815723014 30072832 6650 4294967295 134512640 134714508 3221221792 3221219760 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7342 6650 1111 63 0 7279 0
vsize: 29368
[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 107472 0 0 0 44668 336 0 0 25 0 1 0 815723014 30584832 6740 4294967295 134512640 134714508 3221221792 3221218176 1074973232 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7467 6740 1111 63 0 7404 0
vsize: 29868
[startup+460.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 107918 0 0 0 45665 338 0 0 25 0 1 0 815723014 30437376 6739 4294967295 134512640 134714508 3221221792 3221220192 1074153672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6739 1111 63 0 7368 0
vsize: 29724
[startup+470.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 109399 0 0 0 46660 344 0 0 25 0 1 0 815723014 30437376 6739 4294967295 134512640 134714508 3221221792 3221219848 1074138166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6739 1111 63 0 7368 0
vsize: 29724
[startup+480.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 112361 0 0 0 47651 354 0 0 25 0 1 0 815723014 30572544 6740 4294967295 134512640 134714508 3221221792 3221219760 1075809106 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7464 6740 1111 63 0 7401 0
vsize: 29856
[startup+490.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 117438 0 0 0 48634 371 0 0 25 0 1 0 815723014 30437376 6739 4294967295 134512640 134714508 3221221792 3221220144 1074142716 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6739 1111 63 0 7368 0
vsize: 29724
[startup+500.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 124339 0 0 0 49615 390 0 0 25 0 1 0 815723014 30437376 6739 4294967295 134512640 134714508 3221221792 3221220128 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7431 6739 1111 63 0 7368 0
vsize: 29724
[startup+510.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 131762 0 0 0 50595 409 0 0 25 0 1 0 815723014 30666752 6795 4294967295 134512640 134714508 3221221792 3221219256 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7487 6795 1111 63 0 7424 0
vsize: 29948
[startup+520.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 139380 0 0 0 51575 430 0 0 25 0 1 0 815723014 31191040 6910 4294967295 134512640 134714508 3221221792 3221219840 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7615 6911 1111 63 0 7552 0
vsize: 30460
[startup+530.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 143649 0 0 0 52564 441 0 0 25 0 1 0 815723014 31698944 7051 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7739 7051 1111 63 0 7676 0
vsize: 30956
[startup+540.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 148331 0 0 0 53552 453 0 0 25 0 1 0 815723014 31059968 6897 4294967295 134512640 134714508 3221221792 3221219760 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7583 6897 1111 63 0 7520 0
vsize: 30332
[startup+550.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 155425 0 0 0 54535 470 0 0 25 0 1 0 815723014 31514624 6951 4294967295 134512640 134714508 3221221792 3221219904 1074867212 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7694 6951 1111 63 0 7631 0
vsize: 30776
[startup+560.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 158932 0 0 0 55528 478 0 0 25 0 1 0 815723014 31543296 7015 4294967295 134512640 134714508 3221221792 3221219368 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7701 7015 1111 63 0 7638 0
vsize: 30804
[startup+570.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 162756 0 0 0 56518 488 0 0 25 0 1 0 815723014 31911936 7105 4294967295 134512640 134714508 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7791 7105 1111 63 0 7728 0
vsize: 31164
[startup+580.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 166138 0 0 0 57510 497 0 0 25 0 1 0 815723014 31571968 7022 4294967295 134512640 134714508 3221221792 3221219848 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7708 7022 1111 63 0 7645 0
vsize: 30832
[startup+590.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 168592 0 0 0 58504 503 0 0 25 0 1 0 815723014 32342016 7210 4294967295 134512640 134714508 3221221792 3221220144 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7896 7210 1111 63 0 7833 0
vsize: 31584
[startup+600.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 172688 0 0 0 59494 513 0 0 25 0 1 0 815723014 32079872 7146 4294967295 134512640 134714508 3221221792 3221219840 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7832 7146 1111 63 0 7769 0
vsize: 31328
[startup+610.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 177223 0 0 0 60484 523 0 0 25 0 1 0 815723014 31645696 7040 4294967295 134512640 134714508 3221221792 3221220192 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7726 7040 1111 63 0 7663 0
vsize: 30904
[startup+620.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 180306 0 0 0 61475 532 0 0 25 0 1 0 815723014 33964032 7572 4294967295 134512640 134714508 3221221792 3221219904 1074867274 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8292 7572 1111 63 0 8229 0
vsize: 33168
[startup+630.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 183746 0 0 0 62467 540 0 0 25 0 1 0 815723014 33615872 7434 4294967295 134512640 134714508 3221221792 3221218712 1074950114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8207 7434 1111 63 0 8144 0
vsize: 32828
[startup+640.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 186495 0 0 0 63460 547 0 0 25 0 1 0 815723014 32305152 7201 4294967295 134512640 134714508 3221221792 3221219952 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7887 7201 1111 63 0 7824 0
vsize: 31548
[startup+650.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 189726 0 0 0 64451 556 0 0 25 0 1 0 815723014 32169984 7168 4294967295 134512640 134714508 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7854 7168 1111 63 0 7791 0
vsize: 31416
[startup+660.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 193787 0 0 0 65440 566 0 0 25 0 1 0 815723014 31645696 7040 4294967295 134512640 134714508 3221221792 3221219288 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7726 7040 1111 63 0 7663 0
vsize: 30904
[startup+670.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 197884 0 0 0 66431 576 0 0 25 0 1 0 815723014 31789056 7075 4294967295 134512640 134714508 3221221792 3221219248 1077814665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7761 7075 1111 63 0 7698 0
vsize: 31044
[startup+680.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 200569 0 0 0 67424 583 0 0 25 0 1 0 815723014 33878016 7572 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8271 7572 1111 63 0 8208 0
vsize: 33084
[startup+690.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 204414 0 0 0 68415 592 0 0 25 0 1 0 815723014 34000896 7573 4294967295 134512640 134714508 3221221792 3221219616 1075823496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8301 7573 1111 63 0 8238 0
vsize: 33204
[startup+700.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 208305 0 0 0 69403 604 0 0 25 0 1 0 815723014 32489472 7242 4294967295 134512640 134714508 3221221792 3221220144 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7932 7242 1111 63 0 7869 0
vsize: 31728
[startup+710.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 212318 0 0 0 70393 615 0 0 25 0 1 0 815723014 33808384 7567 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8254 7567 1111 63 0 8191 0
vsize: 33016
[startup+720.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 216248 0 0 0 71383 625 0 0 25 0 1 0 815723014 32174080 7169 4294967295 134512640 134714508 3221221792 3221219568 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7855 7169 1111 63 0 7792 0
vsize: 31420
[startup+730.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 219744 0 0 0 72375 632 0 0 25 0 1 0 815723014 31805440 7079 4294967295 134512640 134714508 3221221792 3221219616 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7766 7080 1111 63 0 7703 0
vsize: 31060
[startup+740.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 222547 0 0 0 73367 641 0 0 25 0 1 0 815723014 32292864 7198 4294967295 134512640 134714508 3221221792 3221219840 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7884 7198 1111 63 0 7821 0
vsize: 31536
[startup+750.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 225881 0 0 0 74359 649 0 0 25 0 1 0 815723014 33878016 7572 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8271 7572 1111 63 0 8208 0
vsize: 33084
[startup+760.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 229311 0 0 0 75351 657 0 0 25 0 1 0 815723014 32088064 7148 4294967295 134512640 134714508 3221221792 3221219600 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7834 7148 1111 63 0 7771 0
vsize: 31336
[startup+770.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 232682 0 0 0 76341 668 0 0 25 0 1 0 815723014 32182272 7171 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7857 7171 1111 63 0 7794 0
vsize: 31428
[startup+780.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 236875 0 0 0 77330 678 0 0 25 0 1 0 815723014 31817728 7082 4294967295 134512640 134714508 3221221792 3221219568 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7768 7082 1111 63 0 7705 0
vsize: 31072
[startup+790.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 239751 0 0 0 78325 684 0 0 25 0 1 0 815723014 32280576 7195 4294967295 134512640 134714508 3221221792 3221219664 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7881 7195 1111 63 0 7818 0
vsize: 31524
[startup+800.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 243967 0 0 0 79314 695 0 0 25 0 1 0 815723014 31756288 7059 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7753 7059 1111 63 0 7690 0
vsize: 31012
[startup+810.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 246933 0 0 0 80307 702 0 0 25 0 1 0 815723014 32284672 7187 4294967295 134512640 134714508 3221221792 3221219376 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7882 7187 1111 63 0 7819 0
vsize: 31528
[startup+820.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 249434 0 0 0 81302 708 0 0 25 0 1 0 815723014 33869824 7553 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8269 7553 1111 63 0 8206 0
vsize: 33076
[startup+830.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 252983 0 0 0 82294 716 0 0 25 0 1 0 815723014 33611776 7504 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8206 7504 1111 63 0 8143 0
vsize: 32824
[startup+840.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 256284 0 0 0 83286 724 0 0 25 0 1 0 815723014 32419840 7212 4294967295 134512640 134714508 3221221792 3221220176 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7915 7212 1111 63 0 7852 0
vsize: 31660
[startup+850.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 260452 0 0 0 84276 734 0 0 25 0 1 0 815723014 32088064 7148 4294967295 134512640 134714508 3221221792 3221219568 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7834 7148 1111 63 0 7771 0
vsize: 31336
[startup+860.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 265047 0 0 0 85266 744 0 0 25 0 1 0 815723014 32272384 7193 4294967295 134512640 134714508 3221221792 3221219904 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7879 7193 1111 63 0 7816 0
vsize: 31516
[startup+870.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 268950 0 0 0 86257 753 0 0 25 0 1 0 815723014 32272384 7189 4294967295 134512640 134714508 3221221792 3221219792 1074916565 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7879 7189 1111 63 0 7816 0
vsize: 31516
[startup+880.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 272561 0 0 0 87248 763 0 0 25 0 1 0 815723014 31825920 7084 4294967295 134512640 134714508 3221221792 3221220208 1074116254 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7770 7084 1111 63 0 7707 0
vsize: 31080
[startup+890.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 276418 0 0 0 88236 774 0 0 25 0 1 0 815723014 33947648 7589 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8288 7589 1111 63 0 8225 0
vsize: 33152
[startup+900.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 280067 0 0 0 89228 783 0 0 25 0 1 0 815723014 33226752 7395 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8112 7395 1111 63 0 8049 0
vsize: 32448
[startup+910.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 284145 0 0 0 90218 793 0 0 25 0 1 0 815723014 33468416 7454 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8171 7454 1111 63 0 8108 0
vsize: 32684
[startup+920.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 288693 0 0 0 91207 804 0 0 25 0 1 0 815723014 33910784 7580 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8279 7580 1111 63 0 8216 0
vsize: 33116
[startup+930.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 295637 0 0 0 92192 820 0 0 25 0 1 0 815723014 32260096 7191 4294967295 134512640 134714508 3221221792 3221219272 1077380592 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7876 7191 1111 63 0 7813 0
vsize: 31504
[startup+940.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 297346 0 0 0 93187 824 0 0 25 0 1 0 815723014 32845824 7334 4294967295 134512640 134714508 3221221792 3221219600 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8019 7334 1111 63 0 7956 0
vsize: 32076
[startup+950.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 299862 0 0 0 94180 832 0 0 25 0 1 0 815723014 34422784 7719 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8404 7719 1111 63 0 8341 0
vsize: 33616
[startup+960.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 303161 0 0 0 95170 842 0 0 25 0 1 0 815723014 32260096 7191 4294967295 134512640 134714508 3221221792 3221219816 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7876 7191 1111 63 0 7813 0
vsize: 31504
[startup+970.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 305834 0 0 0 96164 848 0 0 25 0 1 0 815723014 32436224 7194 4294967295 134512640 134714508 3221221792 3221219736 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7919 7194 1111 63 0 7856 0
vsize: 31676
[startup+980.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 308489 0 0 0 97158 854 0 0 25 0 1 0 815723014 32260096 7191 4294967295 134512640 134714508 3221221792 3221219768 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7876 7191 1111 63 0 7813 0
vsize: 31504
[startup+990.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 310954 0 0 0 98151 861 0 0 25 0 1 0 815723014 32428032 7212 4294967295 134512640 134714508 3221221792 3221219568 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7917 7212 1111 63 0 7854 0
vsize: 31668
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 314277 0 0 0 99144 868 0 0 25 0 1 0 815723014 32260096 7191 4294967295 134512640 134714508 3221221792 3221220176 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7876 7191 1111 63 0 7813 0
vsize: 31504
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 315984 0 0 0 100139 873 0 0 25 0 1 0 815723014 32256000 7190 4294967295 134512640 134714508 3221221792 3221220056 1077410205 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 317675 0 0 0 101134 878 0 0 25 0 1 0 815723014 32256000 7190 4294967295 134512640 134714508 3221221792 3221219840 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 318393 0 0 0 102131 882 0 0 25 0 1 0 815723014 32256000 7190 4294967295 134512640 134714508 3221221792 3221220048 1074153660 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 319454 0 0 0 103127 886 0 0 25 0 1 0 815723014 32256000 7190 4294967295 134512640 134714508 3221221792 3221219712 1075799512 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 321741 0 0 0 104121 892 0 0 25 0 1 0 815723014 32256000 7190 4294967295 134512640 134714508 3221221792 3221220192 1074118797 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 325881 0 0 0 105108 905 0 0 25 0 1 0 815723014 32256000 7190 4294967295 134512640 134714508 3221221792 3221220088 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 333961 0 0 0 106089 924 0 0 25 0 1 0 815723014 32436224 7229 4294967295 134512640 134714508 3221221792 3221218896 1074138847 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7919 7229 1111 63 0 7856 0
vsize: 31676
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 345023 0 0 0 107061 953 0 0 25 0 1 0 815723014 33161216 7329 4294967295 134512640 134714508 3221221792 3221218392 1075850624 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8096 7329 1111 63 0 8033 0
vsize: 32384
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 356558 0 0 0 108030 983 0 0 25 0 1 0 815723014 32522240 7255 4294967295 134512640 134714508 3221221792 3221219704 1074138150 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7940 7255 1111 63 0 7877 0
vsize: 31760
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 367686 0 0 0 109005 1009 0 0 25 0 1 0 815723014 32673792 7292 4294967295 134512640 134714508 3221221792 3221219904 1074153663 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7977 7292 1111 63 0 7914 0
vsize: 31908
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 378522 0 0 0 109978 1036 0 0 25 0 1 0 815723014 32858112 7337 4294967295 134512640 134714508 3221221792 3221220640 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8022 7337 1111 63 0 7959 0
vsize: 32088
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 387868 0 0 0 110954 1060 0 0 25 0 1 0 815723014 33431552 7452 4294967295 134512640 134714508 3221221792 3221218856 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8162 7456 1111 63 0 8099 0
vsize: 32648
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 398110 0 0 0 111930 1084 0 0 25 0 1 0 815723014 33308672 7447 4294967295 134512640 134714508 3221221792 3221220040 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8132 7447 1111 63 0 8069 0
vsize: 32528
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 407984 0 0 0 112907 1108 0 0 25 0 1 0 815723014 33411072 7472 4294967295 134512640 134714508 3221221792 3221220008 1077410279 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8157 7472 1111 63 0 8094 0
vsize: 32628
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 417412 0 0 0 113881 1133 0 0 25 0 1 0 815723014 33640448 7528 4294967295 134512640 134714508 3221221792 3221220176 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8213 7528 1111 63 0 8150 0
vsize: 32852
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 426434 0 0 0 114857 1158 0 0 25 0 1 0 815723014 34127872 7644 4294967295 134512640 134714508 3221221792 3221219836 1077379821 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8332 7644 1111 63 0 8269 0
vsize: 33328
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 433860 0 0 0 115836 1179 0 0 25 0 1 0 815723014 34217984 7647 4294967295 134512640 134714508 3221221792 3221220208 1074116576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8354 7649 1111 63 0 8291 0
vsize: 33416
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 28049
Raw data (stat): 28049 (bsolo_lpr) R 28048 7876 7672 0 -1 0 433860 0 0 0 115836 1179 0 0 25 0 1 0 815723014 34217984 7647 4294967295 134512640 134714508 3221221792 3221220208 1074116576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8354 7649 1111 63 0 8291 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.06
CPU user time (s): 1163.13
CPU system time (s): 11.9342
CPU usage (%): 100.011
Max. virtual memory (Kb): 33616
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####