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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-3.opb
MD5SUM	3acd642471b3f4559739eef7eb2e9b58
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
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	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
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	1175.06
Number of variables	760
Total number of constraints	41095
Number of constraints which are clauses	41095
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 24767

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-12 17:59:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2926 boxname=wulflinc31 idbench=326 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  3acd642471b3f4559739eef7eb2e9b58  /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-3.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-frb40-19-3.opb
IDLAUNCH: 2926
/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:        883980 kB
Buffers:         35100 kB
Cached:          94000 kB
SwapCached:       1936 kB
Active:          95968 kB
Inactive:        36324 kB
HighTotal:      131008 kB
HighFree:        36204 kB
LowTotal:       903652 kB
LowFree:        847776 kB
SwapTotal:     2097892 kB
SwapFree:      2095224 kB
Dirty:             912 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12884 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-12 18:19:10 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 2926 7 1200.26 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 760 variables and 41095 constraints.
c After prepocess the problem consists of 760 variables and 27578 constraints.
c preprocess terminated 251.569 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.99 0.98 0.95 2/55 11027
Raw data (stat): 11027 (runsolver) R 11026 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 728512291 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0009 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11027
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 13456 0 0 0 956 39 0 0 25 0 1 0 728512291 56528896 12936 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13801 12936 1111 63 0 13738 0
vsize: 55204
[startup+20.002 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11027
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 13456 0 0 0 1956 40 0 0 25 0 1 0 728512291 55582720 12736 4294967295 134512640 134714508 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13570 12736 1111 63 0 13507 0
vsize: 54280
[startup+30.0028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11027
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 13515 0 0 0 2955 40 0 0 25 0 1 0 728512291 55836672 12795 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13632 12795 1111 63 0 13569 0
vsize: 54528
[startup+40.0028 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11027
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 13515 0 0 0 3955 40 0 0 25 0 1 0 728512291 55836672 12795 4294967295 134512640 134714508 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13632 12795 1111 63 0 13569 0
vsize: 54528
[startup+50.0027 s]
Raw data (loadavg): 0.99 0.98 0.95 2/55 11027
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 13592 0 0 0 4954 41 0 0 25 0 1 0 728512291 55836672 12798 4294967295 134512640 134714508 3221221792 3221220408 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13632 12798 1111 63 0 13569 0
vsize: 54528
[startup+60.0036 s]
Raw data (loadavg): 1.07 1.00 0.96 3/58 11076
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 5945 49 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220304 134543756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+70.0044 s]
Raw data (loadavg): 1.06 1.00 0.96 2/55 11080
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 6946 50 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220272 134539353 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+80.0054 s]
Raw data (loadavg): 1.05 1.00 0.96 2/55 11080
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 7945 50 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+90.0053 s]
Raw data (loadavg): 1.04 1.00 0.96 2/55 11080
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 8945 51 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220288 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+100.005 s]
Raw data (loadavg): 1.04 1.00 0.96 2/55 11080
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 9944 51 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220272 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+110.007 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 11080
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 10944 52 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+120.007 s]
Raw data (loadavg): 1.03 1.00 0.96 2/55 11080
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 11944 52 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220320 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+130.008 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 11080
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 12944 52 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220272 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+140.008 s]
Raw data (loadavg): 1.02 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 13944 53 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+150.008 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 14944 53 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+160.008 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 15943 54 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220320 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+170.008 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 16943 54 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+180.009 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 17943 54 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+190.01 s]
Raw data (loadavg): 1.01 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 18943 55 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+200.01 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 19942 56 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220464 134627250 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+210.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 20942 56 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220456 134627195 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 21941 57 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+230.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 14689 0 0 0 22941 57 0 0 25 0 1 0 728512291 58028032 13333 4294967295 134512640 134714508 3221221792 3221220464 134627187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14167 13333 1111 63 0 14104 0
vsize: 56668
[startup+240.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 15026 0 0 0 23940 58 0 0 25 0 1 0 728512291 59404288 13670 4294967295 134512640 134714508 3221221792 3221220660 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14503 13670 1111 63 0 14440 0
vsize: 58012
[startup+250.011 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 15026 0 0 0 24940 59 0 0 25 0 1 0 728512291 59404288 13670 4294967295 134512640 134714508 3221221792 3221220592 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14503 13670 1111 63 0 14440 0
vsize: 58012
[startup+260.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 15576 0 0 0 25937 62 0 0 25 0 1 0 728512291 61816832 14204 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15092 14204 1111 63 0 15029 0
vsize: 60368
[startup+270.012 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 15621 0 0 0 26935 64 0 0 25 0 1 0 728512291 61988864 14249 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15134 14249 1111 63 0 15071 0
vsize: 60536
[startup+280.013 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 15680 0 0 0 27933 66 0 0 25 0 1 0 728512291 62353408 14308 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15223 14308 1111 63 0 15160 0
vsize: 60892
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 15746 0 0 0 28932 67 0 0 25 0 1 0 728512291 62599168 14374 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15283 14374 1111 63 0 15220 0
vsize: 61132
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 15773 0 0 0 29931 68 0 0 25 0 1 0 728512291 62701568 14401 4294967295 134512640 134714508 3221221792 3221220064 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15308 14401 1111 63 0 15245 0
vsize: 61232
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 15808 0 0 0 30931 69 0 0 25 0 1 0 728512291 62812160 14436 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15335 14436 1111 63 0 15272 0
vsize: 61340
[startup+320.014 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 15829 0 0 0 31930 70 0 0 25 0 1 0 728512291 62894080 14457 4294967295 134512640 134714508 3221221792 3221220096 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15355 14457 1111 63 0 15292 0
vsize: 61420
[startup+330.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 15911 0 0 0 32929 71 0 0 25 0 1 0 728512291 63197184 14539 4294967295 134512640 134714508 3221221792 3221219712 1077814665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15429 14539 1111 63 0 15366 0
vsize: 61716
[startup+340.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 15930 0 0 0 33928 72 0 0 25 0 1 0 728512291 63270912 14558 4294967295 134512640 134714508 3221221792 3221220000 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15447 14558 1111 63 0 15384 0
vsize: 61788
[startup+350.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 15951 0 0 0 34927 73 0 0 25 0 1 0 728512291 63352832 14579 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15467 14579 1111 63 0 15404 0
vsize: 61868
[startup+360.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 15968 0 0 0 35927 74 0 0 25 0 1 0 728512291 63418368 14596 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15483 14596 1111 63 0 15420 0
vsize: 61932
[startup+370.015 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 16014 0 0 0 36925 75 0 0 25 0 1 0 728512291 63565824 14642 4294967295 134512640 134714508 3221221792 3221220064 1074153779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15519 14642 1111 63 0 15456 0
vsize: 62076
[startup+380.016 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 16032 0 0 0 37925 76 0 0 25 0 1 0 728512291 63635456 14660 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15536 14660 1111 63 0 15473 0
vsize: 62144
[startup+390.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 16051 0 0 0 38924 77 0 0 25 0 1 0 728512291 63709184 14679 4294967295 134512640 134714508 3221221792 3221220000 1074153663 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15554 14679 1111 63 0 15491 0
vsize: 62216
[startup+400.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 16067 0 0 0 39923 78 0 0 25 0 1 0 728512291 63770624 14695 4294967295 134512640 134714508 3221221792 3221220064 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15569 14695 1111 63 0 15506 0
vsize: 62276
[startup+410.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11082
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 16082 0 0 0 40922 79 0 0 25 0 1 0 728512291 63832064 14710 4294967295 134512640 134714508 3221221792 3221220016 1074153770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15584 14710 1111 63 0 15521 0
vsize: 62336
[startup+420.017 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 16099 0 0 0 41921 81 0 0 25 0 1 0 728512291 63897600 14727 4294967295 134512640 134714508 3221221792 3221220048 1074153782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15600 14727 1111 63 0 15537 0
vsize: 62400
[startup+430.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 21327 0 0 0 42909 93 0 0 25 0 1 0 728512291 85520384 18114 4294967295 134512640 134714508 3221221792 3221217856 1074969458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20879 18114 1111 63 0 20816 0
vsize: 83516
[startup+440.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22355 0 0 0 43907 95 0 0 25 0 1 0 728512291 87552000 19140 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21375 19140 1111 63 0 21312 0
vsize: 85500
[startup+450.018 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22540 0 0 0 44906 96 0 0 25 0 1 0 728512291 83484672 18414 4294967295 134512640 134714508 3221221792 3221217856 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20382 18414 1111 63 0 20319 0
vsize: 81528
[startup+460.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22556 0 0 0 45905 97 0 0 25 0 1 0 728512291 83484672 18428 4294967295 134512640 134714508 3221221792 3221217856 1074969449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20382 18428 1111 63 0 20319 0
vsize: 81528
[startup+470.019 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22580 0 0 0 46904 98 0 0 25 0 1 0 728512291 83484672 18450 4294967295 134512640 134714508 3221221792 3221217756 1074873490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20382 18450 1111 63 0 20319 0
vsize: 81528
[startup+480.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22592 0 0 0 47904 99 0 0 25 0 1 0 728512291 83705856 18460 4294967295 134512640 134714508 3221221792 3221218752 1075971417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20436 18460 1111 63 0 20373 0
vsize: 81744
[startup+490.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22612 0 0 0 48903 100 0 0 25 0 1 0 728512291 83484672 18478 4294967295 134512640 134714508 3221221792 3221217940 1075115076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20382 18478 1111 63 0 20319 0
vsize: 81528
[startup+500.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22641 0 0 0 49903 100 0 0 25 0 1 0 728512291 83484672 18505 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20382 18505 1111 63 0 20319 0
vsize: 81528
[startup+510.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22658 0 0 0 50903 100 0 0 25 0 1 0 728512291 83484672 18520 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20382 18520 1111 63 0 20319 0
vsize: 81528
[startup+520.02 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22694 0 0 0 51902 101 0 0 25 0 1 0 728512291 83894272 18554 4294967295 134512640 134714508 3221221792 3221217856 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20482 18554 1111 63 0 20419 0
vsize: 81928
[startup+530.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22780 0 0 0 52902 101 0 0 25 0 1 0 728512291 84320256 18638 4294967295 134512640 134714508 3221221792 3221217920 1074815265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20586 18638 1111 63 0 20523 0
vsize: 82344
[startup+540.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22797 0 0 0 53902 102 0 0 25 0 1 0 728512291 84320256 18651 4294967295 134512640 134714508 3221221792 3221217920 1075792790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20586 18651 1111 63 0 20523 0
vsize: 82344
[startup+550.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22809 0 0 0 54901 103 0 0 25 0 1 0 728512291 84320256 18663 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20586 18663 1111 63 0 20523 0
vsize: 82344
[startup+560.022 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22901 0 0 0 55901 103 0 0 25 0 1 0 728512291 84987904 18753 4294967295 134512640 134714508 3221221792 3221218244 1075863647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20749 18753 1111 63 0 20686 0
vsize: 82996
[startup+570.023 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22910 0 0 0 56901 104 0 0 25 0 1 0 728512291 84766720 18760 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20695 18760 1111 63 0 20632 0
vsize: 82780
[startup+580.024 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22932 0 0 0 57901 104 0 0 25 0 1 0 728512291 84766720 18780 4294967295 134512640 134714508 3221221792 3221217724 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20695 18780 1111 63 0 20632 0
vsize: 82780
[startup+590.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22942 0 0 0 58900 104 0 0 25 0 1 0 728512291 84766720 18786 4294967295 134512640 134714508 3221221792 3221217856 1074969471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20695 18786 1111 63 0 20632 0
vsize: 82780
[startup+600.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22961 0 0 0 59900 105 0 0 25 0 1 0 728512291 84766720 18803 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20695 18803 1111 63 0 20632 0
vsize: 82780
[startup+610.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22968 0 0 0 60900 105 0 0 25 0 1 0 728512291 84766720 18808 4294967295 134512640 134714508 3221221792 3221217940 1075115065 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20695 18808 1111 63 0 20632 0
vsize: 82780
[startup+620.025 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 22979 0 0 0 61900 106 0 0 25 0 1 0 728512291 84766720 18817 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20695 18817 1111 63 0 20632 0
vsize: 82780
[startup+630.026 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23012 0 0 0 62900 106 0 0 25 0 1 0 728512291 84766720 18848 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20695 18848 1111 63 0 20632 0
vsize: 82780
[startup+640.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23024 0 0 0 63900 106 0 0 25 0 1 0 728512291 84766720 18856 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20695 18856 1111 63 0 20632 0
vsize: 82780
[startup+650.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23088 0 0 0 64899 106 0 0 25 0 1 0 728512291 85237760 18918 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20810 18918 1111 63 0 20747 0
vsize: 83240
[startup+660.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23136 0 0 0 65899 107 0 0 25 0 1 0 728512291 85237760 18964 4294967295 134512640 134714508 3221221792 3221217952 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20810 18964 1111 63 0 20747 0
vsize: 83240
[startup+670.027 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23138 0 0 0 66899 107 0 0 25 0 1 0 728512291 85237760 18964 4294967295 134512640 134714508 3221221792 3221217824 1075895670 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20810 18964 1111 63 0 20747 0
vsize: 83240
[startup+680.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23144 0 0 0 67899 108 0 0 25 0 1 0 728512291 85237760 18966 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20810 18966 1111 63 0 20747 0
vsize: 83240
[startup+690.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23150 0 0 0 68899 108 0 0 25 0 1 0 728512291 85237760 18970 4294967295 134512640 134714508 3221221792 3221217840 1075112086 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20810 18970 1111 63 0 20747 0
vsize: 83240
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23158 0 0 0 69898 109 0 0 25 0 1 0 728512291 85237760 18974 4294967295 134512640 134714508 3221221792 3221217920 1074815309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20810 18974 1111 63 0 20747 0
vsize: 83240
[startup+710.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23161 0 0 0 70898 109 0 0 25 0 1 0 728512291 85237760 18975 4294967295 134512640 134714508 3221221792 3221217856 1074969463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20810 18975 1111 63 0 20747 0
vsize: 83240
[startup+720.031 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23165 0 0 0 71898 110 0 0 25 0 1 0 728512291 85237760 18975 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20810 18975 1111 63 0 20747 0
vsize: 83240
[startup+730.032 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23240 0 0 0 72897 110 0 0 25 0 1 0 728512291 85733376 19048 4294967295 134512640 134714508 3221221792 3221218048 1075114268 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20931 19048 1111 63 0 20868 0
vsize: 83724
[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23256 0 0 0 73897 111 0 0 25 0 1 0 728512291 85733376 19060 4294967295 134512640 134714508 3221221792 3221217596 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20931 19060 1111 63 0 20868 0
vsize: 83724
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23266 0 0 0 74897 111 0 0 25 0 1 0 728512291 85733376 19068 4294967295 134512640 134714508 3221221792 3221217952 1075115715 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20931 19068 1111 63 0 20868 0
vsize: 83724
[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23271 0 0 0 75896 112 0 0 25 0 1 0 728512291 85733376 19069 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20931 19069 1111 63 0 20868 0
vsize: 83724
[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23273 0 0 0 76896 112 0 0 25 0 1 0 728512291 85733376 19069 4294967295 134512640 134714508 3221221792 3221218080 1075894562 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20931 19069 1111 63 0 20868 0
vsize: 83724
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23283 0 0 0 77896 113 0 0 25 0 1 0 728512291 85733376 19075 4294967295 134512640 134714508 3221221792 3221217856 1074969461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20931 19075 1111 63 0 20868 0
vsize: 83724
[startup+790.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23285 0 0 0 78896 113 0 0 25 0 1 0 728512291 85733376 19075 4294967295 134512640 134714508 3221221792 3221217724 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20931 19075 1111 63 0 20868 0
vsize: 83724
[startup+800.034 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23326 0 0 0 79895 114 0 0 25 0 1 0 728512291 86253568 19112 4294967295 134512640 134714508 3221221792 3221218524 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21058 19112 1111 63 0 20995 0
vsize: 84232
[startup+810.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23387 0 0 0 80895 114 0 0 25 0 1 0 728512291 86253568 19171 4294967295 134512640 134714508 3221221792 3221217984 1074961146 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21058 19171 1111 63 0 20995 0
vsize: 84232
[startup+820.035 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23402 0 0 0 81895 115 0 0 25 0 1 0 728512291 86474752 19184 4294967295 134512640 134714508 3221221792 3221218368 1075968211 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21112 19184 1111 63 0 21049 0
vsize: 84448
[startup+830.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23405 0 0 0 82896 115 0 0 25 0 1 0 728512291 86253568 19183 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21058 19183 1111 63 0 20995 0
vsize: 84232
[startup+840.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23409 0 0 0 83895 116 0 0 25 0 1 0 728512291 86253568 19185 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21058 19185 1111 63 0 20995 0
vsize: 84232
[startup+850.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23414 0 0 0 84895 116 0 0 25 0 1 0 728512291 86253568 19186 4294967295 134512640 134714508 3221221792 3221217872 1075093367 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21058 19186 1111 63 0 20995 0
vsize: 84232
[startup+860.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23417 0 0 0 85895 117 0 0 25 0 1 0 728512291 86253568 19187 4294967295 134512640 134714508 3221221792 3221217920 1074815234 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21058 19187 1111 63 0 20995 0
vsize: 84232
[startup+870.048 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23419 0 0 0 86894 117 0 0 25 0 1 0 728512291 86253568 19187 4294967295 134512640 134714508 3221221792 3221217940 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21058 19187 1111 63 0 20995 0
vsize: 84232
[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23484 0 0 0 87894 118 0 0 25 0 1 0 728512291 86798336 19248 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21191 19248 1111 63 0 21128 0
vsize: 84764
[startup+890.088 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23514 0 0 0 88897 118 0 0 25 0 1 0 728512291 86798336 19276 4294967295 134512640 134714508 3221221792 3221217920 1074815276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21191 19276 1111 63 0 21128 0
vsize: 84764
[startup+900.088 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23519 0 0 0 89897 119 0 0 25 0 1 0 728512291 86798336 19279 4294967295 134512640 134714508 3221221792 3221217940 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21191 19279 1111 63 0 21128 0
vsize: 84764
[startup+910.088 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23720 0 0 0 90896 120 0 0 25 0 1 0 728512291 87973888 19474 4294967295 134512640 134714508 3221221792 3221217984 1074960868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21478 19474 1111 63 0 21415 0
vsize: 85912
[startup+920.088 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23764 0 0 0 91896 121 0 0 25 0 1 0 728512291 87973888 19516 4294967295 134512640 134714508 3221221792 3221217984 1074960970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21478 19516 1111 63 0 21415 0
vsize: 85912
[startup+930.089 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23767 0 0 0 92896 121 0 0 25 0 1 0 728512291 87973888 19517 4294967295 134512640 134714508 3221221792 3221217724 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21478 19517 1111 63 0 21415 0
vsize: 85912
[startup+940.088 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23785 0 0 0 93895 121 0 0 25 0 1 0 728512291 88195072 19533 4294967295 134512640 134714508 3221221792 3221218864 1075969830 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21532 19533 1111 63 0 21469 0
vsize: 86128
[startup+950.089 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23797 0 0 0 94895 122 0 0 25 0 1 0 728512291 87973888 19541 4294967295 134512640 134714508 3221221792 3221217824 1075895670 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21478 19541 1111 63 0 21415 0
vsize: 85912
[startup+960.089 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23803 0 0 0 95895 122 0 0 25 0 1 0 728512291 87973888 19545 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21478 19545 1111 63 0 21415 0
vsize: 85912
[startup+970.089 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23805 0 0 0 96895 123 0 0 25 0 1 0 728512291 87973888 19545 4294967295 134512640 134714508 3221221792 3221217596 1074788953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21478 19545 1111 63 0 21415 0
vsize: 85912
[startup+980.091 s]
Raw data (loadavg): 1.00 1.00 0.96 3/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 23927 0 0 0 97894 123 0 0 25 0 1 0 728512291 88600576 19665 4294967295 134512640 134714508 3221221792 3221217872 1074794536 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21631 19665 1111 63 0 21568 0
vsize: 86524
[startup+990.091 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24028 0 0 0 98894 124 0 0 25 0 1 0 728512291 89268224 19762 4294967295 134512640 134714508 3221221792 3221217952 1075115747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19762 1111 63 0 21731 0
vsize: 87176
[startup+1000.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24078 0 0 0 99894 124 0 0 25 0 1 0 728512291 89268224 19810 4294967295 134512640 134714508 3221221792 3221218256 1075088566 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19810 1111 63 0 21731 0
vsize: 87176
[startup+1010.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24082 0 0 0 100893 124 0 0 25 0 1 0 728512291 89268224 19812 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19812 1111 63 0 21731 0
vsize: 87176
[startup+1020.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24084 0 0 0 101893 125 0 0 25 0 1 0 728512291 89268224 19812 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19812 1111 63 0 21731 0
vsize: 87176
[startup+1030.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24090 0 0 0 102893 125 0 0 25 0 1 0 728512291 89268224 19814 4294967295 134512640 134714508 3221221792 3221218088 1075112600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19814 1111 63 0 21731 0
vsize: 87176
[startup+1040.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24097 0 0 0 103893 125 0 0 25 0 1 0 728512291 89268224 19819 4294967295 134512640 134714508 3221221792 3221217596 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19819 1111 63 0 21731 0
vsize: 87176
[startup+1050.09 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24104 0 0 0 104893 126 0 0 25 0 1 0 728512291 89268224 19824 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19824 1111 63 0 21731 0
vsize: 87176
[startup+1060.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24106 0 0 0 105892 127 0 0 25 0 1 0 728512291 89268224 19824 4294967295 134512640 134714508 3221221792 3221217680 1075965240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19824 1111 63 0 21731 0
vsize: 87176
[startup+1070.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24127 0 0 0 106892 127 0 0 25 0 1 0 728512291 89268224 19841 4294967295 134512640 134714508 3221221792 3221217984 1074960920 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19841 1111 63 0 21731 0
vsize: 87176
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24129 0 0 0 107891 128 0 0 25 0 1 0 728512291 89268224 19841 4294967295 134512640 134714508 3221221792 3221217872 1075095169 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19841 1111 63 0 21731 0
vsize: 87176
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24131 0 0 0 108891 128 0 0 25 0 1 0 728512291 89268224 19841 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19841 1111 63 0 21731 0
vsize: 87176
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24144 0 0 0 109890 129 0 0 25 0 1 0 728512291 89268224 19852 4294967295 134512640 134714508 3221221792 3221217852 1075093403 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19852 1111 63 0 21731 0
vsize: 87176
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24151 0 0 0 110890 130 0 0 25 0 1 0 728512291 89268224 19857 4294967295 134512640 134714508 3221221792 3221217596 1074788964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19857 1111 63 0 21731 0
vsize: 87176
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24168 0 0 0 111889 130 0 0 25 0 1 0 728512291 89268224 19870 4294967295 134512640 134714508 3221221792 3221217812 1075964214 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19870 1111 63 0 21731 0
vsize: 87176
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24170 0 0 0 112889 131 0 0 25 0 1 0 728512291 89268224 19870 4294967295 134512640 134714508 3221221792 3221218080 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19870 1111 63 0 21731 0
vsize: 87176
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24172 0 0 0 113889 131 0 0 25 0 1 0 728512291 89268224 19870 4294967295 134512640 134714508 3221221792 3221217644 1074788177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19870 1111 63 0 21731 0
vsize: 87176
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24174 0 0 0 114888 132 0 0 25 0 1 0 728512291 89268224 19870 4294967295 134512640 134714508 3221221792 3221217812 1075964227 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19870 1111 63 0 21731 0
vsize: 87176
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24176 0 0 0 115888 132 0 0 25 0 1 0 728512291 89268224 19870 4294967295 134512640 134714508 3221221792 3221217940 1075115049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19870 1111 63 0 21731 0
vsize: 87176
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24181 0 0 0 116888 133 0 0 25 0 1 0 728512291 89268224 19871 4294967295 134512640 134714508 3221221792 3221217588 1074786556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19871 1111 63 0 21731 0
vsize: 87176
[startup+1180.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24185 0 0 0 117888 133 0 0 25 0 1 0 728512291 89268224 19873 4294967295 134512640 134714508 3221221792 3221217872 1074794589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19873 1111 63 0 21731 0
vsize: 87176
[startup+1190.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24190 0 0 0 118887 133 0 0 25 0 1 0 728512291 89268224 19876 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19876 1111 63 0 21731 0
vsize: 87176
[startup+1200.1 s]
Raw data (loadavg): 1.00 1.00 0.96 2/55 11084
Raw data (stat): 11027 (bsolo_lpr) R 11026 7876 7672 0 -1 0 24192 0 0 0 119887 134 0 0 25 0 1 0 728512291 89268224 19876 4294967295 134512640 134714508 3221221792 3221217648 1075965260 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21794 19876 1111 63 0 21731 0
vsize: 87176
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.00 1.00 0.96 1/55 11084
Raw data (stat): 11027 (bsolo_lpr) Z 11026 7876 7672 0 -1 1036 24192 0 0 0 119887 138 0 0 25 0 1 0 728512291 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.14
CPU time (s): 1200.26
CPU user time (s): 1198.87
CPU system time (s): 1.38179
CPU usage (%): 100.01
Max. virtual memory (Kb): 87176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####