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/miplib3/normalized-mps-v2-13-7-vpm1.opb
MD5SUM	ec9e3281577e2d3f7b25c1cc88cac9ea
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.06884
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 26996

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-05-24 18:35:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18929 boxname=wulflinc30 idbench=1457 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  ec9e3281577e2d3f7b25c1cc88cac9ea  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-vpm1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-vpm1.opb
IDLAUNCH: 18929
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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.072
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:        439704 kB
Buffers:         11780 kB
Cached:         551948 kB
SwapCached:        672 kB
Active:          25024 kB
Inactive:       540908 kB
HighTotal:      131008 kB
HighFree:         4592 kB
LowTotal:       903652 kB
LowFree:        435112 kB
SwapTotal:     2097892 kB
SwapFree:      2096524 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5224 kB
Slab:            23548 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:55:24 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 18929 7 1175.07 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.216 s
c Initial Lower Bound: 16
c Lower Bound Elapsed time: 0.18225
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.84 0.95 0.98 2/54 25265
Raw data (stat): 25265 (runsolver) R 25264 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832439053 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99995 s]
Raw data (loadavg): 0.87 0.95 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 5917 0 0 0 985 12 0 0 25 0 1 0 832439053 27402240 5839 4294967295 134512640 134714508 3221224592 3221223228 134554932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6690 5839 1111 63 0 6627 0
vsize: 26760
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.95 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 5960 0 0 0 1985 13 0 0 25 0 1 0 832439053 27529216 5882 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6721 5882 1111 63 0 6658 0
vsize: 26884
[startup+30.0012 s]
Raw data (loadavg): 0.90 0.95 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 6062 0 0 0 2985 13 0 0 25 0 1 0 832439053 27779072 5928 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 5928 1111 63 0 6719 0
vsize: 27128
[startup+40.0013 s]
Raw data (loadavg): 0.92 0.95 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 6070 0 0 0 3985 13 0 0 25 0 1 0 832439053 27779072 5936 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6782 5936 1111 63 0 6719 0
vsize: 27128
[startup+50.0019 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 6354 0 0 0 4984 14 0 0 25 0 1 0 832439053 27926528 6123 4294967295 134512640 134714508 3221224592 3221222544 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+60.0016 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 6820 0 0 0 5981 16 0 0 25 0 1 0 832439053 27926528 6123 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+70.0096 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 7204 0 0 0 6980 18 0 0 25 0 1 0 832439053 27926528 6123 4294967295 134512640 134714508 3221224592 3221222240 1075818272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+80.018 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 7368 0 0 0 7980 19 0 0 25 0 1 0 832439053 27926528 6123 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+90.018 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 7555 0 0 0 8980 20 0 0 25 0 1 0 832439053 27926528 6123 4294967295 134512640 134714508 3221224592 3221222320 1075828552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+100.018 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 7750 0 0 0 9978 21 0 0 25 0 1 0 832439053 27926528 6123 4294967295 134512640 134714508 3221224592 3221222960 1074140697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+110.019 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 7933 0 0 0 10977 23 0 0 25 0 1 0 832439053 27926528 6123 4294967295 134512640 134714508 3221224592 3221223212 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+120.019 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 8111 0 0 0 11976 24 0 0 25 0 1 0 832439053 27926528 6123 4294967295 134512640 134714508 3221224592 3221223208 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+130.019 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 8315 0 0 0 12975 25 0 0 25 0 1 0 832439053 27926528 6123 4294967295 134512640 134714508 3221224592 3221222788 1077374077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+140.019 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 8497 0 0 0 13974 27 0 0 25 0 1 0 832439053 27926528 6123 4294967295 134512640 134714508 3221224592 3221222856 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6123 1111 63 0 6755 0
vsize: 27272
[startup+150.02 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 8698 0 0 0 14971 29 0 0 25 0 1 0 832439053 27926528 6124 4294967295 134512640 134714508 3221224592 3221222240 1074247411 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+160.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 8917 0 0 0 15969 32 0 0 25 0 1 0 832439053 27926528 6124 4294967295 134512640 134714508 3221224592 3221222168 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+170.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 9148 0 0 0 16967 34 0 0 25 0 1 0 832439053 27926528 6124 4294967295 134512640 134714508 3221224592 3221222592 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+180.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 9390 0 0 0 17962 39 0 0 25 0 1 0 832439053 27926528 6124 4294967295 134512640 134714508 3221224592 3221222928 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+190.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 9638 0 0 0 18959 42 0 0 25 0 1 0 832439053 27926528 6124 4294967295 134512640 134714508 3221224592 3221222880 134650104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+200.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 9890 0 0 0 19957 44 0 0 25 0 1 0 832439053 27926528 6124 4294967295 134512640 134714508 3221224592 3221222560 1075961286 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+210.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 10143 0 0 0 20954 47 0 0 25 0 1 0 832439053 28110848 6125 4294967295 134512640 134714508 3221224592 3221220864 1074805437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6863 6125 1111 63 0 6800 0
vsize: 27452
[startup+220.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 10396 0 0 0 21952 50 0 0 25 0 1 0 832439053 27926528 6124 4294967295 134512640 134714508 3221224592 3221222552 1074138315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+230.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 10646 0 0 0 22949 53 0 0 25 0 1 0 832439053 27926528 6124 4294967295 134512640 134714508 3221224592 3221222904 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+240.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 10898 0 0 0 23945 57 0 0 25 0 1 0 832439053 27926528 6124 4294967295 134512640 134714508 3221224592 3221222392 1077374845 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+250.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 11151 0 0 0 24942 60 0 0 25 0 1 0 832439053 27926528 6124 4294967295 134512640 134714508 3221224592 3221221712 1074865632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+260.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 11404 0 0 0 25940 63 0 0 25 0 1 0 832439053 27926528 6124 4294967295 134512640 134714508 3221224592 3221222320 1075828192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+270.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 11656 0 0 0 26938 65 0 0 25 0 1 0 832439053 27926528 6124 4294967295 134512640 134714508 3221224592 3221222928 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 11904 0 0 0 27935 67 0 0 25 0 1 0 832439053 27926528 6124 4294967295 134512640 134714508 3221224592 3221222592 1074916669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+290.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 12158 0 0 0 28931 72 0 0 25 0 1 0 832439053 27926528 6124 4294967295 134512640 134714508 3221224592 3221222896 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+300.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 12410 0 0 0 29928 75 0 0 25 0 1 0 832439053 28110848 6125 4294967295 134512640 134714508 3221224592 3221221576 1074831552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6863 6125 1111 63 0 6800 0
vsize: 27452
[startup+310.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 14108 0 0 0 30922 81 0 0 25 0 1 0 832439053 27926528 6124 4294967295 134512640 134714508 3221224592 3221222944 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+320.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 19039 0 0 0 31908 96 0 0 25 0 1 0 832439053 27926528 6124 4294967295 134512640 134714508 3221224592 3221222736 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6818 6124 1111 63 0 6755 0
vsize: 27272
[startup+330.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 26324 0 0 0 32888 116 0 0 25 0 1 0 832439053 28188672 6154 4294967295 134512640 134714508 3221224592 3221221872 1074140026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6882 6159 1111 63 0 6819 0
vsize: 27528
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 36930 0 0 0 33860 144 0 0 25 0 1 0 832439053 28135424 6175 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6869 6175 1111 63 0 6806 0
vsize: 27476
[startup+350.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 47602 0 0 0 34834 170 0 0 25 0 1 0 832439053 28090368 6164 4294967295 134512640 134714508 3221224592 3221222784 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6858 6164 1111 63 0 6795 0
vsize: 27432
[startup+360.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 53110 0 0 0 35818 186 0 0 25 0 1 0 832439053 28536832 6273 4294967295 134512640 134714508 3221224592 3221222784 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6967 6273 1111 63 0 6904 0
vsize: 27868
[startup+370.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 61526 0 0 0 36797 208 0 0 25 0 1 0 832439053 28573696 6282 4294967295 134512640 134714508 3221224592 3221222508 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6976 6282 1111 63 0 6913 0
vsize: 27904
[startup+380.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 70427 0 0 0 37772 233 0 0 25 0 1 0 832439053 28848128 6349 4294967295 134512640 134714508 3221224592 3221222928 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7043 6349 1111 63 0 6980 0
vsize: 28172
[startup+390.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 76889 0 0 0 38753 252 0 0 25 0 1 0 832439053 29118464 6415 4294967295 134512640 134714508 3221224592 3221222800 1074153660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7109 6415 1111 63 0 7046 0
vsize: 28436
[startup+400.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 84685 0 0 0 39733 273 0 0 25 0 1 0 832439053 29360128 6438 4294967295 134512640 134714508 3221224592 3221221676 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7168 6439 1111 63 0 7105 0
vsize: 28672
[startup+410.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 93808 0 0 0 40710 296 0 0 25 0 1 0 832439053 29491200 6506 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7233 6506 1111 63 0 7170 0
vsize: 28800
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 99499 0 0 0 41696 310 0 0 25 0 1 0 832439053 30019584 6593 4294967295 134512640 134714508 3221224592 3221221576 1074831502 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7329 6593 1111 63 0 7266 0
vsize: 29316
[startup+430.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 102134 0 0 0 42689 317 0 0 25 0 1 0 832439053 30044160 6643 4294967295 134512640 134714508 3221224592 3221222376 1077374903 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7335 6643 1111 63 0 7272 0
vsize: 29340
[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 104199 0 0 0 43679 327 0 0 25 0 1 0 832439053 30068736 6644 4294967295 134512640 134714508 3221224592 3221221696 1074138829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7341 6644 1111 63 0 7278 0
vsize: 29364
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 107415 0 0 0 44672 334 0 0 25 0 1 0 832439053 30457856 6744 4294967295 134512640 134714508 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6744 1111 63 0 7373 0
vsize: 29744
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 107647 0 0 0 45670 336 0 0 25 0 1 0 832439053 30457856 6743 4294967295 134512640 134714508 3221224592 3221222320 1075635520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7436 6743 1111 63 0 7373 0
vsize: 29744
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 108636 0 0 0 46666 340 0 0 25 0 1 0 832439053 30433280 6738 4294967295 134512640 134714508 3221224592 3221222592 1074916558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7430 6738 1111 63 0 7367 0
vsize: 29720
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 111100 0 0 0 47659 348 0 0 25 0 1 0 832439053 30830592 6763 4294967295 134512640 134714508 3221224592 3221221712 1074834350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 6748 1111 63 0 7390 0
vsize: 30108
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 115498 0 0 0 48648 359 0 0 25 0 1 0 832439053 30433280 6738 4294967295 134512640 134714508 3221224592 3221222704 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7430 6738 1111 63 0 7367 0
vsize: 29720
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 121254 0 0 0 49633 374 0 0 25 0 1 0 832439053 30572544 6742 4294967295 134512640 134714508 3221224592 3221222560 1075961030 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7464 6742 1111 63 0 7401 0
vsize: 29856
[startup+510.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 128737 0 0 0 50613 394 0 0 25 0 1 0 832439053 30740480 6807 4294967295 134512640 134714508 3221224592 3221222320 1075635647 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7505 6807 1111 63 0 7442 0
vsize: 30020
[startup+520.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 137209 0 0 0 51591 417 0 0 25 0 1 0 832439053 31125504 6851 4294967295 134512640 134714508 3221224592 3221222512 1075799652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7599 6851 1111 63 0 7536 0
vsize: 30396
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 141682 0 0 0 52582 426 0 0 25 0 1 0 832439053 32550912 7153 4294967295 134512640 134714508 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7947 7153 1111 63 0 7884 0
vsize: 31788
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 146143 0 0 0 53571 437 0 0 25 0 1 0 832439053 31711232 7054 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7742 7054 1111 63 0 7679 0
vsize: 30968
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 151215 0 0 0 54557 451 0 0 25 0 1 0 832439053 31182848 6919 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7613 6919 1111 63 0 7550 0
vsize: 30452
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 157270 0 0 0 55542 466 0 0 25 0 1 0 832439053 32604160 7271 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7960 7271 1111 63 0 7897 0
vsize: 31840
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 160585 0 0 0 56534 475 0 0 25 0 1 0 832439053 33263616 7422 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 7422 1111 63 0 8058 0
vsize: 32484
[startup+580.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 164468 0 0 0 57525 483 0 0 25 0 1 0 832439053 31768576 7060 4294967295 134512640 134714508 3221224592 3221222512 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7756 7060 1111 63 0 7693 0
vsize: 31024
[startup+590.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 167888 0 0 0 58515 493 0 0 25 0 1 0 832439053 31567872 7021 4294967295 134512640 134714508 3221224592 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7707 7021 1111 63 0 7644 0
vsize: 30828
[startup+600.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 171093 0 0 0 59507 502 0 0 25 0 1 0 832439053 33873920 7551 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8270 7551 1111 63 0 8207 0
vsize: 33080
[startup+610.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 174783 0 0 0 60499 510 0 0 25 0 1 0 832439053 32313344 7203 4294967295 134512640 134714508 3221224592 3221222448 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7889 7203 1111 63 0 7826 0
vsize: 31556
[startup+620.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 179610 0 0 0 61487 522 0 0 25 0 1 0 832439053 31641600 7039 4294967295 134512640 134714508 3221224592 3221221936 1074838976 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7725 7039 1111 63 0 7662 0
vsize: 30900
[startup+630.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 181915 0 0 0 62481 529 0 0 25 0 1 0 832439053 32350208 7212 4294967295 134512640 134714508 3221224592 3221222544 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7898 7212 1111 63 0 7835 0
vsize: 31592
[startup+640.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 185553 0 0 0 63472 537 0 0 25 0 1 0 832439053 33804288 7429 4294967295 134512640 134714508 3221224592 3221221784 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8253 7436 1111 63 0 8190 0
vsize: 33012
[startup+650.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 188464 0 0 0 64465 545 0 0 25 0 1 0 832439053 32342016 7188 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7896 7194 1111 63 0 7833 0
vsize: 31584
[startup+660.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 192431 0 0 0 65456 554 0 0 25 0 1 0 832439053 31641600 7039 4294967295 134512640 134714508 3221224592 3221222416 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7725 7039 1111 63 0 7662 0
vsize: 30900
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 196549 0 0 0 66445 565 0 0 25 0 1 0 832439053 31870976 7095 4294967295 134512640 134714508 3221224592 3221222464 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7781 7095 1111 63 0 7718 0
vsize: 31124
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 199955 0 0 0 67437 574 0 0 25 0 1 0 832439053 32108544 7153 4294967295 134512640 134714508 3221224592 3221222448 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7839 7153 1111 63 0 7776 0
vsize: 31356
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 203920 0 0 0 68428 582 0 0 25 0 1 0 832439053 31879168 7097 4294967295 134512640 134714508 3221224592 3221222400 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7783 7097 1111 63 0 7720 0
vsize: 31132
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 207953 0 0 0 69419 592 0 0 25 0 1 0 832439053 31641600 7039 4294967295 134512640 134714508 3221224592 3221222592 1074052283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7725 7039 1111 63 0 7662 0
vsize: 30900
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 211725 0 0 0 70410 601 0 0 25 0 1 0 832439053 32309248 7182 4294967295 134512640 134714508 3221224592 3221222416 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7888 7182 1111 63 0 7825 0
vsize: 31552
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 215628 0 0 0 71402 609 0 0 25 0 1 0 832439053 31641600 7039 4294967295 134512640 134714508 3221224592 3221222608 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7725 7039 1111 63 0 7662 0
vsize: 30900
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 219108 0 0 0 72393 618 0 0 25 0 1 0 832439053 31846400 7040 4294967295 134512640 134714508 3221224592 3221222704 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7775 7040 1111 63 0 7712 0
vsize: 31100
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 222387 0 0 0 73386 625 0 0 25 0 1 0 832439053 31641600 7039 4294967295 134512640 134714508 3221224592 3221222416 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7725 7039 1111 63 0 7662 0
vsize: 30900
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 225274 0 0 0 74378 633 0 0 25 0 1 0 832439053 32153600 7164 4294967295 134512640 134714508 3221224592 3221222288 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7850 7164 1111 63 0 7787 0
vsize: 31400
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 228735 0 0 0 75370 641 0 0 25 0 1 0 832439053 31641600 7039 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7725 7039 1111 63 0 7662 0
vsize: 30900
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 231734 0 0 0 76362 650 0 0 25 0 1 0 832439053 33312768 7432 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8133 7432 1111 63 0 8070 0
vsize: 32532
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 236313 0 0 0 77351 661 0 0 25 0 1 0 832439053 31936512 7052 4294967295 134512640 134714508 3221224592 3221222240 1075817768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7797 7052 1111 63 0 7734 0
vsize: 31188
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 239696 0 0 0 78342 670 0 0 25 0 1 0 832439053 32059392 7141 4294967295 134512640 134714508 3221224592 3221222400 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7827 7141 1111 63 0 7764 0
vsize: 31308
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 243532 0 0 0 79332 680 0 0 25 0 1 0 832439053 31641600 7039 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7725 7039 1111 63 0 7662 0
vsize: 30900
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 246890 0 0 0 80324 688 0 0 25 0 1 0 832439053 32169984 7145 4294967295 134512640 134714508 3221224592 3221222400 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7854 7145 1111 63 0 7791 0
vsize: 31416
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 249432 0 0 0 81318 694 0 0 25 0 1 0 832439053 33865728 7552 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8268 7552 1111 63 0 8205 0
vsize: 33072
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 252981 0 0 0 82310 703 0 0 25 0 1 0 832439053 33607680 7503 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8205 7503 1111 63 0 8142 0
vsize: 32820
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 256256 0 0 0 83303 710 0 0 25 0 1 0 832439053 32313344 7185 4294967295 134512640 134714508 3221224592 3221222400 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7889 7185 1111 63 0 7826 0
vsize: 31556
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 260338 0 0 0 84293 720 0 0 25 0 1 0 832439053 31641600 7039 4294967295 134512640 134714508 3221224592 3221222368 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7725 7039 1111 63 0 7662 0
vsize: 30900
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 264977 0 0 0 85283 731 0 0 25 0 1 0 832439053 32059392 7141 4294967295 134512640 134714508 3221224592 3221222368 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7827 7141 1111 63 0 7764 0
vsize: 31308
[startup+870.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 268474 0 0 0 86275 739 0 0 25 0 1 0 832439053 32542720 7185 4294967295 134512640 134714508 3221224592 3221222524 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7945 7185 1111 63 0 7882 0
vsize: 31780
[startup+880.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 272067 0 0 0 87266 747 0 0 25 0 1 0 832439053 32366592 7216 4294967295 134512640 134714508 3221224592 3221223120 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7902 7216 1111 63 0 7839 0
vsize: 31608
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 276416 0 0 0 88255 759 0 0 25 0 1 0 832439053 33943552 7588 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8287 7588 1111 63 0 8224 0
vsize: 33148
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 279708 0 0 0 89246 768 0 0 25 0 1 0 832439053 32169984 7148 4294967295 134512640 134714508 3221224592 3221222928 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7854 7148 1111 63 0 7791 0
vsize: 31416
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 283734 0 0 0 90236 778 0 0 25 0 1 0 832439053 32239616 7175 4294967295 134512640 134714508 3221224592 3221222976 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7871 7175 1111 63 0 7808 0
vsize: 31484
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 288691 0 0 0 91224 791 0 0 25 0 1 0 832439053 33906688 7579 4294967295 134512640 134714508 3221224592 3221222592 1074918343 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8278 7579 1111 63 0 8215 0
vsize: 33112
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 295430 0 0 0 92210 805 0 0 25 0 1 0 832439053 32256000 7190 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+940.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 297264 0 0 0 93205 809 0 0 25 0 1 0 832439053 32514048 7253 4294967295 134512640 134714508 3221224592 3221222400 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7938 7253 1111 63 0 7875 0
vsize: 31752
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 299860 0 0 0 94199 816 0 0 25 0 1 0 832439053 34418688 7718 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8403 7718 1111 63 0 8340 0
vsize: 33612
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 303054 0 0 0 95190 825 0 0 25 0 1 0 832439053 32256000 7190 4294967295 134512640 134714508 3221224592 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 305748 0 0 0 96182 833 0 0 25 0 1 0 832439053 32256000 7190 4294967295 134512640 134714508 3221224592 3221222416 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+980.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 308451 0 0 0 97175 841 0 0 25 0 1 0 832439053 32256000 7190 4294967295 134512640 134714508 3221224592 3221222336 1075640393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 310931 0 0 0 98169 847 0 0 25 0 1 0 832439053 32256000 7190 4294967295 134512640 134714508 3221224592 3221222400 1074153794 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 314195 0 0 0 99162 854 0 0 25 0 1 0 832439053 32256000 7190 4294967295 134512640 134714508 3221224592 3221222896 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7875 7190 1111 63 0 7812 0
vsize: 31500
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 315863 0 0 0 100155 861 0 0 25 0 1 0 832439053 32251904 7189 4294967295 134512640 134714508 3221224592 3221222536 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7874 7189 1111 63 0 7811 0
vsize: 31496
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 317649 0 0 0 101151 866 0 0 25 0 1 0 832439053 32251904 7189 4294967295 134512640 134714508 3221224592 3221222908 1074138442 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7874 7189 1111 63 0 7811 0
vsize: 31496
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 318357 0 0 0 102148 869 0 0 25 0 1 0 832439053 32251904 7189 4294967295 134512640 134714508 3221224592 3221221696 1074138758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7874 7189 1111 63 0 7811 0
vsize: 31496
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 319365 0 0 0 103144 873 0 0 25 0 1 0 832439053 32251904 7189 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7874 7189 1111 63 0 7811 0
vsize: 31496
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 321519 0 0 0 104138 880 0 0 25 0 1 0 832439053 32251904 7189 4294967295 134512640 134714508 3221224592 3221222608 1074153673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7874 7189 1111 63 0 7811 0
vsize: 31496
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 325425 0 0 0 105126 891 0 0 25 0 1 0 832439053 32251904 7189 4294967295 134512640 134714508 3221224592 3221222640 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7874 7189 1111 63 0 7811 0
vsize: 31496
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 333158 0 0 0 106108 910 0 0 25 0 1 0 832439053 32292864 7199 4294967295 134512640 134714508 3221224592 3221222816 1074153430 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7884 7199 1111 63 0 7821 0
vsize: 31536
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 344023 0 0 0 107080 938 0 0 25 0 1 0 832439053 32448512 7237 4294967295 134512640 134714508 3221224592 3221222688 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7922 7237 1111 63 0 7859 0
vsize: 31688
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 355398 0 0 0 108054 964 0 0 25 0 1 0 832439053 32518144 7254 4294967295 134512640 134714508 3221224592 3221222832 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7939 7254 1111 63 0 7876 0
vsize: 31756
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 366595 0 0 0 109026 992 0 0 25 0 1 0 832439053 32641024 7284 4294967295 134512640 134714508 3221224592 3221223168 134650104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7969 7284 1111 63 0 7906 0
vsize: 31876
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 377029 0 0 0 109999 1019 0 0 25 0 1 0 832439053 33116160 7355 4294967295 134512640 134714508 3221224592 3221221676 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8085 7361 1111 63 0 8022 0
vsize: 32340
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 386296 0 0 0 110972 1046 0 0 25 0 1 0 832439053 33136640 7405 4294967295 134512640 134714508 3221224592 3221222740 1077374154 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8090 7405 1111 63 0 8027 0
vsize: 32360
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 396595 0 0 0 111947 1072 0 0 25 0 1 0 832439053 33447936 7461 4294967295 134512640 134714508 3221224592 3221222592 1074918520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8166 7461 1111 63 0 8103 0
vsize: 32664
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 406468 0 0 0 112920 1099 0 0 25 0 1 0 832439053 33538048 7498 4294967295 134512640 134714508 3221224592 3221223216 1074028984 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8188 7498 1111 63 0 8125 0
vsize: 32752
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 415766 0 0 0 113899 1120 0 0 25 0 1 0 832439053 34205696 7581 4294967295 134512640 134714508 3221224592 3221220592 1075965307 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8351 7581 1111 63 0 8288 0
vsize: 33404
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 424916 0 0 0 114876 1143 0 0 25 0 1 0 832439053 34013184 7619 4294967295 134512640 134714508 3221224592 3221222976 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8304 7619 1111 63 0 8241 0
vsize: 33216
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 432267 0 0 0 115856 1163 0 0 25 0 1 0 832439053 34091008 7638 4294967295 134512640 134714508 3221224592 3221222944 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8323 7638 1111 63 0 8260 0
vsize: 33292
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.98 1/53 25265
Raw data (stat): 25265 (bsolo_lpr) R 25264 22056 22055 0 -1 0 432267 0 0 0 115856 1163 0 0 25 0 1 0 832439053 34091008 7638 4294967295 134512640 134714508 3221224592 3221222944 1074153648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8323 7638 1111 63 0 8260 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.07
CPU user time (s): 1163.3
CPU system time (s): 11.7692
CPU usage (%): 100.014
Max. virtual memory (Kb): 33612
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####