PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran12x21.opb
MD5SUM	0d744fe957d41a18692933adc6be4af7
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1493203
Optimality of the best value was proved	NO
Number of terms in the objective function	5292
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1511880035
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1511880035
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	5292
Total number of constraints	285
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	285
Minimum length of a constraint	21
Maximum length of a constraint	420
Trace number 26885

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc23 THE 2005-05-24 17:38:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19267 boxname=wulflinc23 idbench=1483 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  0d744fe957d41a18692933adc6be4af7  /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-ran12x21.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-13-7-ran12x21.opb
IDLAUNCH: 19267
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        849884 kB
Buffers:         35432 kB
Cached:         127648 kB
SwapCached:        664 kB
Active:          73704 kB
Inactive:        91904 kB
HighTotal:      131008 kB
HighFree:        12264 kB
LowTotal:       903652 kB
LowFree:        837620 kB
SwapTotal:     2097136 kB
SwapFree:      2096032 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            13668 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 17:57:48 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 19267 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 5292 variables and 318 constraints.
c After prepocess the problem consists of 2942 variables and 409 constraints.
c preprocess terminated 7.699 s
c Initial Lower Bound: 404145
c Lower Bound Elapsed time: 0.7345
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.09 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.85 0.95 0.94 2/54 8240
Raw data (stat): 8240 (runsolver) R 8239 5562 5561 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832100352 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99967 s]
Raw data (loadavg): 0.87 0.95 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 9557 0 0 0 975 22 0 0 25 0 1 0 832100352 35647488 7930 4294967295 134512640 134714508 3221224592 3221222816 1074039235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8703 7930 1111 63 0 8640 0
vsize: 34812
[startup+20.0007 s]
Raw data (loadavg): 0.89 0.96 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 16571 0 0 0 1960 37 0 0 25 0 1 0 832100352 36270080 8089 4294967295 134512640 134714508 3221224592 3221222976 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8855 8089 1111 63 0 8792 0
vsize: 35420
[startup+30.0009 s]
Raw data (loadavg): 0.91 0.96 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 22289 0 0 0 2945 52 0 0 25 0 1 0 832100352 37085184 8258 4294967295 134512640 134714508 3221224592 3221221696 1074138729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9054 8258 1111 63 0 8991 0
vsize: 36216
[startup+40.0002 s]
Raw data (loadavg): 0.92 0.96 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 28313 0 0 0 3932 65 0 0 25 0 1 0 832100352 37212160 8265 4294967295 134512640 134714508 3221224592 3221220752 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9085 8265 1111 63 0 9022 0
vsize: 36340
[startup+50.003 s]
Raw data (loadavg): 0.93 0.96 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 34347 0 0 0 4917 80 0 0 25 0 1 0 832100352 36270080 8095 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+60.0026 s]
Raw data (loadavg): 0.94 0.96 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 40642 0 0 0 5905 93 0 0 25 0 1 0 832100352 37224448 8254 4294967295 134512640 134714508 3221224592 3221222512 1075799685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9088 8254 1111 63 0 9025 0
vsize: 36352
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.96 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 46899 0 0 0 6892 106 0 0 25 0 1 0 832100352 37167104 8256 4294967295 134512640 134714508 3221224592 3221220556 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9074 8256 1111 63 0 9011 0
vsize: 36296
[startup+80.0037 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 53186 0 0 0 7878 120 0 0 25 0 1 0 832100352 36270080 8095 4294967295 134512640 134714508 3221224592 3221222880 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+90.0033 s]
Raw data (loadavg): 0.96 0.96 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 59443 0 0 0 8866 132 0 0 25 0 1 0 832100352 36655104 8189 4294967295 134512640 134714508 3221224592 3221222912 1074138432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8996 8189 1111 63 0 8933 0
vsize: 35796
[startup+100.004 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 65834 0 0 0 9851 148 0 0 25 0 1 0 832100352 36270080 8095 4294967295 134512640 134714508 3221224592 3221222880 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+110.004 s]
Raw data (loadavg): 0.97 0.96 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 72280 0 0 0 10836 162 0 0 25 0 1 0 832100352 36270080 8095 4294967295 134512640 134714508 3221224592 3221222992 1074153766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 78722 0 0 0 11821 177 0 0 25 0 1 0 832100352 36270080 8095 4294967295 134512640 134714508 3221224592 3221208880 134650141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+130.003 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 85170 0 0 0 12806 193 0 0 25 0 1 0 832100352 36868096 8188 4294967295 134512640 134714508 3221224592 3221221512 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9001 8188 1111 63 0 8938 0
vsize: 36004
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 91701 0 0 0 13793 206 0 0 25 0 1 0 832100352 37195776 8247 4294967295 134512640 134714508 3221224592 3221222560 1075961312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9081 8247 1111 63 0 9018 0
vsize: 36324
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 98151 0 0 0 14779 220 0 0 25 0 1 0 832100352 37134336 8246 4294967295 134512640 134714508 3221224592 3221221712 1074832658 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9066 8246 1111 63 0 9003 0
vsize: 36264
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 104457 0 0 0 15764 236 0 0 25 0 1 0 832100352 37134336 8247 4294967295 134512640 134714508 3221224592 3221221040 1075132787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9066 8247 1111 63 0 9003 0
vsize: 36264
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 110944 0 0 0 16746 254 0 0 25 0 1 0 832100352 36270080 8095 4294967295 134512640 134714508 3221224592 3221222992 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 117225 0 0 0 17733 267 0 0 25 0 1 0 832100352 36446208 8138 4294967295 134512640 134714508 3221224592 3221220108 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 8138 1111 63 0 8835 0
vsize: 35592
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 124263 0 0 0 18715 285 0 0 25 0 1 0 832100352 36270080 8095 4294967295 134512640 134714508 3221224592 3221222792 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 131025 0 0 0 19701 300 0 0 25 0 1 0 832100352 37175296 8243 4294967295 134512640 134714508 3221224592 3221222704 1074867334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9076 8243 1111 63 0 9013 0
vsize: 36304
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 137879 0 0 0 20685 315 0 0 25 0 1 0 832100352 36450304 8139 4294967295 134512640 134714508 3221224592 3221221904 1075006859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8899 8139 1111 63 0 8836 0
vsize: 35596
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 144422 0 0 0 21671 330 0 0 25 0 1 0 832100352 36270080 8095 4294967295 134512640 134714508 3221224592 3221222896 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 151224 0 0 0 22655 346 0 0 25 0 1 0 832100352 36446208 8138 4294967295 134512640 134714508 3221224592 3221223040 1074039446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 8138 1111 63 0 8835 0
vsize: 35592
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 158038 0 0 0 23638 363 0 0 25 0 1 0 832100352 37101568 8239 4294967295 134512640 134714508 3221224592 3221220728 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9058 8239 1111 63 0 8995 0
vsize: 36232
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 164750 0 0 0 24626 376 0 0 25 0 1 0 832100352 36937728 8229 4294967295 134512640 134714508 3221224592 3221220556 1074860632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9018 8229 1111 63 0 8955 0
vsize: 36072
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 171663 0 0 0 25611 391 0 0 25 0 1 0 832100352 36933632 8229 4294967295 134512640 134714508 3221224592 3221220736 1074968691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9017 8229 1111 63 0 8954 0
vsize: 36068
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 178320 0 0 0 26595 407 0 0 25 0 1 0 832100352 36270080 8095 4294967295 134512640 134714508 3221224592 3221222880 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 184987 0 0 0 27580 422 0 0 25 0 1 0 832100352 36786176 8221 4294967295 134512640 134714508 3221224592 3221222592 1074916731 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8981 8221 1111 63 0 8918 0
vsize: 35924
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 191599 0 0 0 28568 435 0 0 25 0 1 0 832100352 36270080 8095 4294967295 134512640 134714508 3221224592 3221222460 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 198220 0 0 0 29553 450 0 0 25 0 1 0 832100352 36438016 8136 4294967295 134512640 134714508 3221224592 3221222592 1074140697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8896 8136 1111 63 0 8833 0
vsize: 35584
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 204859 0 0 0 30539 464 0 0 25 0 1 0 832100352 36270080 8095 4294967295 134512640 134714508 3221224592 3221222880 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 211855 0 0 0 31523 480 0 0 25 0 1 0 832100352 36433920 8135 4294967295 134512640 134714508 3221224592 3221223232 134649075 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8895 8135 1111 63 0 8832 0
vsize: 35580
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 218330 0 0 0 32509 494 0 0 25 0 1 0 832100352 36270080 8095 4294967295 134512640 134714508 3221224592 3221221744 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 225275 0 0 0 33494 509 0 0 25 0 1 0 832100352 36421632 8132 4294967295 134512640 134714508 3221224592 3221220480 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8892 8132 1111 63 0 8829 0
vsize: 35568
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 232362 0 0 0 34478 525 0 0 25 0 1 0 832100352 36974592 8238 4294967295 134512640 134714508 3221224592 3221220664 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9027 8238 1111 63 0 8964 0
vsize: 36108
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 239244 0 0 0 35463 541 0 0 25 0 1 0 832100352 36270080 8095 4294967295 134512640 134714508 3221224592 3221222880 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 246392 0 0 0 36448 556 0 0 25 0 1 0 832100352 36270080 8095 4294967295 134512640 134714508 3221224592 3221222896 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 253934 0 0 0 37430 574 0 0 25 0 1 0 832100352 36270080 8095 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8095 1111 63 0 8792 0
vsize: 35420
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 261284 0 0 0 38414 590 0 0 25 0 1 0 832100352 36425728 8134 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8893 8134 1111 63 0 8830 0
vsize: 35572
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 268630 0 0 0 39399 606 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221222880 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 275958 0 0 0 40382 622 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 283137 0 0 0 41368 637 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221222792 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 290284 0 0 0 42353 652 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221222756 1077374461 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 297612 0 0 0 43335 670 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221222896 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 304816 0 0 0 44320 685 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221211028 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 311997 0 0 0 45303 702 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221220632 1074138285 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 319085 0 0 0 46288 717 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221222896 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 325983 0 0 0 47272 734 0 0 25 0 1 0 832100352 36888576 8219 4294967295 134512640 134714508 3221224592 3221220960 1075894558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9006 8219 1111 63 0 8943 0
vsize: 36024
[startup+490.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 332485 0 0 0 48258 747 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221222528 1074052193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 339091 0 0 0 49243 763 0 0 25 0 1 0 832100352 36589568 8135 4294967295 134512640 134714508 3221224592 3221222336 1075646679 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8898 8100 1111 63 0 8835 0
vsize: 35732
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 345597 0 0 0 50228 778 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221222928 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+520.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 351812 0 0 0 51214 792 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221222896 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 357896 0 0 0 52202 805 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+540.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 364120 0 0 0 53189 818 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221221896 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+550.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 369879 0 0 0 54176 831 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221221064 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 375336 0 0 0 55164 842 0 0 25 0 1 0 832100352 36872192 8169 4294967295 134512640 134714508 3221224592 3221222240 1075817957 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9002 8169 1111 63 0 8939 0
vsize: 36008
[startup+570.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 380139 0 0 0 56152 855 0 0 25 0 1 0 832100352 36503552 8106 4294967295 134512640 134714508 3221224592 3221222248 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8912 8106 1111 63 0 8849 0
vsize: 35648
[startup+580.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 384912 0 0 0 57140 867 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+590.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 389547 0 0 0 58129 878 0 0 25 0 1 0 832100352 36397056 8127 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8886 8127 1111 63 0 8823 0
vsize: 35544
[startup+600.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 393488 0 0 0 59119 888 0 0 25 0 1 0 832100352 37019648 8211 4294967295 134512640 134714508 3221224592 3221220960 1075894551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9038 8211 1111 63 0 8975 0
vsize: 36152
[startup+610.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 397222 0 0 0 60109 898 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+620.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 401012 0 0 0 61101 906 0 0 25 0 1 0 832100352 36270080 8096 4294967295 134512640 134714508 3221224592 3221222856 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8096 1111 63 0 8792 0
vsize: 35420
[startup+630.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 403246 0 0 0 62096 911 0 0 25 0 1 0 832100352 36270080 8109 4294967295 134512640 134714508 3221224592 3221222896 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8109 1111 63 0 8792 0
vsize: 35420
[startup+640.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 403316 0 0 0 63095 913 0 0 25 0 1 0 832100352 36454400 8111 4294967295 134512640 134714508 3221224592 3221222512 1075799685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8900 8111 1111 63 0 8837 0
vsize: 35600
[startup+650.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 403385 0 0 0 64095 913 0 0 25 0 1 0 832100352 36270080 8110 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8110 1111 63 0 8792 0
vsize: 35420
[startup+660.003 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 403458 0 0 0 65094 914 0 0 25 0 1 0 832100352 36454400 8115 4294967295 134512640 134714508 3221224592 3221222320 1075828939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8900 8115 1111 63 0 8837 0
vsize: 35600
[startup+670.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 403529 0 0 0 66094 914 0 0 25 0 1 0 832100352 36270080 8114 4294967295 134512640 134714508 3221224592 3221222992 1074118827 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+680.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 403599 0 0 0 67094 915 0 0 25 0 1 0 832100352 36270080 8114 4294967295 134512640 134714508 3221224592 3221221520 1074050818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+690.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 403671 0 0 0 68093 915 0 0 25 0 1 0 832100352 36270080 8114 4294967295 134512640 134714508 3221224592 3221222840 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+700.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 403743 0 0 0 69092 917 0 0 25 0 1 0 832100352 36270080 8114 4294967295 134512640 134714508 3221224592 3221220588 1074860989 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+710.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 403815 0 0 0 70092 917 0 0 25 0 1 0 832100352 36270080 8114 4294967295 134512640 134714508 3221224592 3221221828 1075332550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+720.004 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 403889 0 0 0 71092 917 0 0 25 0 1 0 832100352 36270080 8114 4294967295 134512640 134714508 3221224592 3221222992 1074118811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+730.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 403961 0 0 0 72092 918 0 0 25 0 1 0 832100352 36270080 8114 4294967295 134512640 134714508 3221224592 3221222504 1074138237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+740.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 404035 0 0 0 73091 918 0 0 25 0 1 0 832100352 36454400 8116 4294967295 134512640 134714508 3221224592 3221222320 1075829500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8900 8116 1111 63 0 8837 0
vsize: 35600
[startup+750.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 404105 0 0 0 74091 919 0 0 25 0 1 0 832100352 36270080 8114 4294967295 134512640 134714508 3221224592 3221222376 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+760.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 404179 0 0 0 75091 919 0 0 25 0 1 0 832100352 36270080 8114 4294967295 134512640 134714508 3221224592 3221222944 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+770.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 404253 0 0 0 76090 920 0 0 25 0 1 0 832100352 36270080 8114 4294967295 134512640 134714508 3221224592 3221221776 1074056223 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+780.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 404331 0 0 0 77090 921 0 0 25 0 1 0 832100352 36270080 8114 4294967295 134512640 134714508 3221224592 3221222460 1073948008 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+790.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 404411 0 0 0 78089 921 0 0 25 0 1 0 832100352 36270080 8114 4294967295 134512640 134714508 3221224592 3221223312 134556843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+800.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 404491 0 0 0 79089 922 0 0 25 0 1 0 832100352 36270080 8114 4294967295 134512640 134714508 3221224592 3221223232 134649103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 404573 0 0 0 80089 923 0 0 25 0 1 0 832100352 36270080 8114 4294967295 134512640 134714508 3221224592 3221220588 1074788069 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 404655 0 0 0 81088 924 0 0 25 0 1 0 832100352 36270080 8114 4294967295 134512640 134714508 3221224592 3221221632 1075860583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8114 1111 63 0 8792 0
vsize: 35420
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 404738 0 0 0 82087 925 0 0 25 0 1 0 832100352 36270080 8115 4294967295 134512640 134714508 3221224592 3221221992 1077380592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 404824 0 0 0 83086 926 0 0 25 0 1 0 832100352 36454400 8117 4294967295 134512640 134714508 3221224592 3221222512 1075799765 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8900 8117 1111 63 0 8837 0
vsize: 35600
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 404916 0 0 0 84086 926 0 0 25 0 1 0 832100352 36270080 8115 4294967295 134512640 134714508 3221224592 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 405014 0 0 0 85086 927 0 0 25 0 1 0 832100352 36270080 8115 4294967295 134512640 134714508 3221224592 3221221696 1074139071 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 405114 0 0 0 86085 928 0 0 25 0 1 0 832100352 36270080 8115 4294967295 134512640 134714508 3221224592 3221222976 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 405220 0 0 0 87084 929 0 0 25 0 1 0 832100352 36270080 8115 4294967295 134512640 134714508 3221224592 3221222320 1075635904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 405326 0 0 0 88083 930 0 0 25 0 1 0 832100352 36270080 8115 4294967295 134512640 134714508 3221224592 3221222536 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+900.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 405434 0 0 0 89082 931 0 0 25 0 1 0 832100352 36270080 8115 4294967295 134512640 134714508 3221224592 3221222992 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 405542 0 0 0 90082 932 0 0 25 0 1 0 832100352 36270080 8115 4294967295 134512640 134714508 3221224592 3221222888 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 405654 0 0 0 91081 933 0 0 25 0 1 0 832100352 36270080 8115 4294967295 134512640 134714508 3221224592 3221222336 1075645384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8115 1111 63 0 8792 0
vsize: 35420
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 405777 0 0 0 92080 934 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222336 1075646922 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 405903 0 0 0 93080 934 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222976 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 406031 0 0 0 94079 936 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 406157 0 0 0 95078 937 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222496 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 406283 0 0 0 96077 937 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221220820 1075115133 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 406409 0 0 0 97077 938 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222888 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+990.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 406535 0 0 0 98075 940 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221221936 1074839033 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 406659 0 0 0 99075 941 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222688 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 406785 0 0 0 100074 942 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 406909 0 0 0 101073 943 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222992 1074118808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 407029 0 0 0 102072 944 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221223056 1074119512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 407153 0 0 0 103071 945 0 0 25 0 1 0 832100352 36450304 8118 4294967295 134512640 134714508 3221224592 3221222320 1075828392 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8899 8118 1111 63 0 8836 0
vsize: 35596
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 407275 0 0 0 104070 946 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222992 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 407393 0 0 0 105070 946 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222600 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 407519 0 0 0 106069 947 0 0 25 0 1 0 832100352 36450304 8118 4294967295 134512640 134714508 3221224592 3221222560 1075809065 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8899 8118 1111 63 0 8836 0
vsize: 35596
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 407643 0 0 0 107069 948 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222544 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 407773 0 0 0 108067 949 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222992 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 407895 0 0 0 109067 950 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222976 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 408025 0 0 0 110066 951 0 0 25 0 1 0 832100352 36450304 8118 4294967295 134512640 134714508 3221224592 3221222320 1075828912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8899 8118 1111 63 0 8836 0
vsize: 35596
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 408155 0 0 0 111065 952 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222472 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 408281 0 0 0 112064 953 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222944 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 408407 0 0 0 113064 954 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 408533 0 0 0 114063 955 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222904 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 408661 0 0 0 115062 956 0 0 25 0 1 0 832100352 36450304 8118 4294967295 134512640 134714508 3221224592 3221222512 1075799538 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8899 8118 1111 63 0 8836 0
vsize: 35596
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 408785 0 0 0 116061 957 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222976 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 35420
[startup+1174.94 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 8240
Raw data (stat): 8240 (bsolo_lpr) R 8239 5562 5561 0 -1 0 408785 0 0 0 116061 957 0 0 25 0 1 0 832100352 36270080 8116 4294967295 134512640 134714508 3221224592 3221222976 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8855 8116 1111 63 0 8792 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.12
CPU user time (s): 1165.52
CPU system time (s): 9.59854
CPU usage (%): 100.015
Max. virtual memory (Kb): 36352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####