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/submitted/aloul/FPGA_SAT05/normalized-chnl50_60_pb.cnf.cr.opb
MD5SUM	6968a43b42bba7df68b13fdfd3b616a1
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	61
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.187971
Number of variables	6000
Total number of constraints	220
Number of constraints which are clauses	120
Number of constraints which are cardinality constraints (but not clauses)	100
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	50
Maximum length of a constraint	60
Trace number 23247

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 21:44:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=190 boxname=wulflinc31 idbench=22 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  6968a43b42bba7df68b13fdfd3b616a1  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl50_60_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl50_60_pb.cnf.cr.opb
IDLAUNCH: 190
/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:        929784 kB
Buffers:         36812 kB
Cached:          46168 kB
SwapCached:        864 kB
Active:          71272 kB
Inactive:        14168 kB
HighTotal:      131008 kB
HighFree:        83748 kB
LowTotal:       903652 kB
LowFree:        846036 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             132 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13952 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 22:03:56 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 190 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 6000 variables and 220 constraints.
c After prepocess the problem consists of 6000 variables and 220 constraints.
c preprocess terminated 3.244 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.91 0.97 0.91 2/54 15265
Raw data (stat): 15265 (runsolver) R 15264 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 634812869 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.0002 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2091 0 0 0 987 8 0 0 25 0 1 0 634812869 11792384 2012 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2879 2012 1111 63 0 2816 0
vsize: 11516
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2132 0 0 0 1986 9 0 0 25 0 1 0 634812869 12062720 2053 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2945 2053 1111 63 0 2882 0
vsize: 11780
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2141 0 0 0 2985 11 0 0 25 0 1 0 634812869 12062720 2062 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2945 2062 1111 63 0 2882 0
vsize: 11780
[startup+40.001 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2196 0 0 0 3983 12 0 0 25 0 1 0 634812869 12333056 2117 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3011 2117 1111 63 0 2948 0
vsize: 12044
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2204 0 0 0 4982 13 0 0 25 0 1 0 634812869 12328960 2125 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3010 2125 1111 63 0 2947 0
vsize: 12040
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2243 0 0 0 5981 15 0 0 25 0 1 0 634812869 12464128 2164 4294967295 134512640 134714508 3221221776 3221220352 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3043 2164 1111 63 0 2980 0
vsize: 12172
[startup+70.0025 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2268 0 0 0 6980 16 0 0 25 0 1 0 634812869 12582912 2189 4294967295 134512640 134714508 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3072 2189 1111 63 0 3009 0
vsize: 12288
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2277 0 0 0 7979 17 0 0 25 0 1 0 634812869 12582912 2198 4294967295 134512640 134714508 3221221776 3221220712 134576609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3072 2198 1111 63 0 3009 0
vsize: 12288
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2289 0 0 0 8978 18 0 0 25 0 1 0 634812869 12718080 2210 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3105 2210 1111 63 0 3042 0
vsize: 12420
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2299 0 0 0 9977 20 0 0 25 0 1 0 634812869 12718080 2220 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3105 2220 1111 63 0 3042 0
vsize: 12420
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2300 0 0 0 10975 22 0 0 25 0 1 0 634812869 12718080 2221 4294967295 134512640 134714508 3221221776 3221220464 134534122 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3105 2221 1111 63 0 3042 0
vsize: 12420
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2324 0 0 0 11973 23 0 0 25 0 1 0 634812869 12853248 2245 4294967295 134512640 134714508 3221221776 3221220172 1077379959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3138 2245 1111 63 0 3075 0
vsize: 12552
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2337 0 0 0 12972 25 0 0 25 0 1 0 634812869 12836864 2258 4294967295 134512640 134714508 3221221776 3221220528 134592393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3134 2258 1111 63 0 3071 0
vsize: 12536
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2353 0 0 0 13972 26 0 0 25 0 1 0 634812869 12972032 2274 4294967295 134512640 134714508 3221221776 3221220528 134592443 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3167 2274 1111 63 0 3104 0
vsize: 12668
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2394 0 0 0 14971 26 0 0 25 0 1 0 634812869 13103104 2315 4294967295 134512640 134714508 3221221776 3221220276 1076648102 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3199 2315 1111 63 0 3136 0
vsize: 12796
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2414 0 0 0 15970 27 0 0 25 0 1 0 634812869 13103104 2335 4294967295 134512640 134714508 3221221776 3221220404 1077374149 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3199 2335 1111 63 0 3136 0
vsize: 12796
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2448 0 0 0 16969 28 0 0 25 0 1 0 634812869 13373440 2369 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3265 2369 1111 63 0 3202 0
vsize: 13060
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2512 0 0 0 17969 29 0 0 25 0 1 0 634812869 13508608 2433 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3298 2433 1111 63 0 3235 0
vsize: 13192
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2512 0 0 0 18968 30 0 0 25 0 1 0 634812869 13508608 2433 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3298 2433 1111 63 0 3235 0
vsize: 13192
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2512 0 0 0 19967 31 0 0 25 0 1 0 634812869 13508608 2433 4294967295 134512640 134714508 3221221776 3221220448 134543712 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3298 2433 1111 63 0 3235 0
vsize: 13192
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2512 0 0 0 20966 32 0 0 25 0 1 0 634812869 13508608 2433 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3298 2433 1111 63 0 3235 0
vsize: 13192
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2522 0 0 0 21965 34 0 0 25 0 1 0 634812869 13643776 2443 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3331 2443 1111 63 0 3268 0
vsize: 13324
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2540 0 0 0 22963 35 0 0 25 0 1 0 634812869 13643776 2461 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3331 2461 1111 63 0 3268 0
vsize: 13324
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2558 0 0 0 23962 37 0 0 25 0 1 0 634812869 13778944 2479 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3364 2479 1111 63 0 3301 0
vsize: 13456
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2568 0 0 0 24961 38 0 0 25 0 1 0 634812869 13778944 2489 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3364 2489 1111 63 0 3301 0
vsize: 13456
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2568 0 0 0 25959 40 0 0 25 0 1 0 634812869 13778944 2489 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3364 2489 1111 63 0 3301 0
vsize: 13456
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2583 0 0 0 26958 41 0 0 25 0 1 0 634812869 13914112 2504 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3397 2504 1111 63 0 3334 0
vsize: 13588
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2588 0 0 0 27958 42 0 0 25 0 1 0 634812869 13852672 2509 4294967295 134512640 134714508 3221221776 3221220344 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3382 2509 1111 63 0 3319 0
vsize: 13528
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2588 0 0 0 28957 43 0 0 25 0 1 0 634812869 13852672 2509 4294967295 134512640 134714508 3221221776 3221220516 134591993 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3382 2509 1111 63 0 3319 0
vsize: 13528
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2605 0 0 0 29955 45 0 0 25 0 1 0 634812869 13975552 2526 4294967295 134512640 134714508 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3412 2526 1111 63 0 3349 0
vsize: 13648
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2638 0 0 0 30954 46 0 0 25 0 1 0 634812869 14082048 2559 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2559 1111 63 0 3375 0
vsize: 13752
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2670 0 0 0 31954 47 0 0 25 0 1 0 634812869 14159872 2591 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3457 2591 1111 63 0 3394 0
vsize: 13828
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2670 0 0 0 32953 48 0 0 25 0 1 0 634812869 14159872 2591 4294967295 134512640 134714508 3221221776 3221220444 134551608 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3457 2591 1111 63 0 3394 0
vsize: 13828
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2686 0 0 0 33951 50 0 0 25 0 1 0 634812869 14295040 2607 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3490 2607 1111 63 0 3427 0
vsize: 13960
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2690 0 0 0 34950 51 0 0 25 0 1 0 634812869 14282752 2611 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3487 2611 1111 63 0 3424 0
vsize: 13948
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2704 0 0 0 35949 52 0 0 25 0 1 0 634812869 14393344 2625 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3514 2625 1111 63 0 3451 0
vsize: 14056
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2722 0 0 0 36948 54 0 0 25 0 1 0 634812869 14393344 2643 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3514 2643 1111 63 0 3451 0
vsize: 14056
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2722 0 0 0 37947 54 0 0 25 0 1 0 634812869 14393344 2643 4294967295 134512640 134714508 3221221776 3221220512 134558537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3514 2643 1111 63 0 3451 0
vsize: 14056
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2729 0 0 0 38946 55 0 0 25 0 1 0 634812869 14393344 2650 4294967295 134512640 134714508 3221221776 3221220480 134524393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3514 2650 1111 63 0 3451 0
vsize: 14056
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2735 0 0 0 39945 56 0 0 25 0 1 0 634812869 14524416 2656 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3546 2656 1111 63 0 3483 0
vsize: 14184
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2735 0 0 0 40944 57 0 0 25 0 1 0 634812869 14524416 2656 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3546 2656 1111 63 0 3483 0
vsize: 14184
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2735 0 0 0 41943 59 0 0 25 0 1 0 634812869 14524416 2656 4294967295 134512640 134714508 3221221776 3221220688 134595192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3546 2656 1111 63 0 3483 0
vsize: 14184
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2735 0 0 0 42942 60 0 0 25 0 1 0 634812869 14524416 2656 4294967295 134512640 134714508 3221221776 3221220476 1077374432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3546 2656 1111 63 0 3483 0
vsize: 14184
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2735 0 0 0 43941 61 0 0 25 0 1 0 634812869 14524416 2656 4294967295 134512640 134714508 3221221776 3221220500 134613700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3546 2656 1111 63 0 3483 0
vsize: 14184
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2735 0 0 0 44940 62 0 0 25 0 1 0 634812869 14524416 2656 4294967295 134512640 134714508 3221221776 3221220400 134696270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3546 2656 1111 63 0 3483 0
vsize: 14184
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2755 0 0 0 45939 63 0 0 25 0 1 0 634812869 14524416 2676 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3546 2676 1111 63 0 3483 0
vsize: 14184
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2760 0 0 0 46939 64 0 0 25 0 1 0 634812869 14524416 2681 4294967295 134512640 134714508 3221221776 3221220440 134613401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3546 2681 1111 63 0 3483 0
vsize: 14184
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2768 0 0 0 47937 66 0 0 25 0 1 0 634812869 14630912 2689 4294967295 134512640 134714508 3221221776 3221220404 1077374180 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3572 2689 1111 63 0 3509 0
vsize: 14288
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2782 0 0 0 48936 67 0 0 25 0 1 0 634812869 14630912 2703 4294967295 134512640 134714508 3221221776 3221220280 134697091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3572 2703 1111 63 0 3509 0
vsize: 14288
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2783 0 0 0 49935 68 0 0 25 0 1 0 634812869 14630912 2704 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3572 2704 1111 63 0 3509 0
vsize: 14288
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2783 0 0 0 50934 70 0 0 25 0 1 0 634812869 14630912 2704 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3572 2704 1111 63 0 3509 0
vsize: 14288
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2783 0 0 0 51933 71 0 0 25 0 1 0 634812869 14630912 2704 4294967295 134512640 134714508 3221221776 3221220452 1077374514 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3572 2704 1111 63 0 3509 0
vsize: 14288
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2784 0 0 0 52932 72 0 0 25 0 1 0 634812869 14630912 2705 4294967295 134512640 134714508 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3572 2705 1111 63 0 3509 0
vsize: 14288
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2786 0 0 0 53931 73 0 0 25 0 1 0 634812869 14630912 2707 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3572 2707 1111 63 0 3509 0
vsize: 14288
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2797 0 0 0 54930 74 0 0 25 0 1 0 634812869 14766080 2718 4294967295 134512640 134714508 3221221776 3221220692 134588439 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2718 1111 63 0 3542 0
vsize: 14420
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2797 0 0 0 55929 75 0 0 25 0 1 0 634812869 14766080 2718 4294967295 134512640 134714508 3221221776 3221220368 134549825 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2718 1111 63 0 3542 0
vsize: 14420
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2799 0 0 0 56928 76 0 0 25 0 1 0 634812869 14766080 2720 4294967295 134512640 134714508 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3605 2720 1111 63 0 3542 0
vsize: 14420
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2833 0 0 0 57927 77 0 0 25 0 1 0 634812869 14901248 2754 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3638 2754 1111 63 0 3575 0
vsize: 14552
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2847 0 0 0 58926 78 0 0 25 0 1 0 634812869 14901248 2768 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2847 0 0 0 59925 80 0 0 25 0 1 0 634812869 14901248 2768 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2847 0 0 0 60924 81 0 0 25 0 1 0 634812869 14901248 2768 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+620.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2847 0 0 0 61923 82 0 0 25 0 1 0 634812869 14901248 2768 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2847 0 0 0 62922 84 0 0 25 0 1 0 634812869 14901248 2768 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2847 0 0 0 63920 85 0 0 25 0 1 0 634812869 14901248 2768 4294967295 134512640 134714508 3221221776 3221220416 134696113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2847 0 0 0 64919 86 0 0 25 0 1 0 634812869 14901248 2768 4294967295 134512640 134714508 3221221776 3221220384 134523359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2847 0 0 0 65918 87 0 0 25 0 1 0 634812869 14901248 2768 4294967295 134512640 134714508 3221221776 3221220384 134549286 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2847 0 0 0 66918 88 0 0 25 0 1 0 634812869 14901248 2768 4294967295 134512640 134714508 3221221776 3221220416 134696048 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3638 2768 1111 63 0 3575 0
vsize: 14552
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2858 0 0 0 67917 89 0 0 25 0 1 0 634812869 15032320 2779 4294967295 134512640 134714508 3221221776 3221220368 134543710 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2779 1111 63 0 3607 0
vsize: 14680
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2858 0 0 0 68916 91 0 0 25 0 1 0 634812869 15032320 2779 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2779 1111 63 0 3607 0
vsize: 14680
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2858 0 0 0 69914 92 0 0 25 0 1 0 634812869 15032320 2779 4294967295 134512640 134714508 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2779 1111 63 0 3607 0
vsize: 14680
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2863 0 0 0 70913 94 0 0 25 0 1 0 634812869 15032320 2784 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2784 1111 63 0 3607 0
vsize: 14680
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2863 0 0 0 71912 95 0 0 25 0 1 0 634812869 15032320 2784 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2784 1111 63 0 3607 0
vsize: 14680
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2863 0 0 0 72911 96 0 0 25 0 1 0 634812869 15032320 2784 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2784 1111 63 0 3607 0
vsize: 14680
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2872 0 0 0 73910 97 0 0 25 0 1 0 634812869 15032320 2793 4294967295 134512640 134714508 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2793 1111 63 0 3607 0
vsize: 14680
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2872 0 0 0 74909 99 0 0 25 0 1 0 634812869 15032320 2793 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2793 1111 63 0 3607 0
vsize: 14680
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2882 0 0 0 75908 99 0 0 25 0 1 0 634812869 15032320 2803 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2803 1111 63 0 3607 0
vsize: 14680
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2882 0 0 0 76906 101 0 0 25 0 1 0 634812869 15032320 2803 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2803 1111 63 0 3607 0
vsize: 14680
[startup+780.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2882 0 0 0 77905 103 0 0 25 0 1 0 634812869 15032320 2803 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2803 1111 63 0 3607 0
vsize: 14680
[startup+790.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2883 0 0 0 78904 104 0 0 25 0 1 0 634812869 15032320 2804 4294967295 134512640 134714508 3221221776 3221220560 134529249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3670 2804 1111 63 0 3607 0
vsize: 14680
[startup+800.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2891 0 0 0 79903 105 0 0 25 0 1 0 634812869 15167488 2812 4294967295 134512640 134714508 3221221776 3221220480 134528677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3703 2812 1111 63 0 3640 0
vsize: 14812
[startup+810.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2915 0 0 0 80902 106 0 0 25 0 1 0 634812869 15167488 2836 4294967295 134512640 134714508 3221221776 3221220368 134549670 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+820.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2915 0 0 0 81901 107 0 0 25 0 1 0 634812869 15167488 2836 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2915 0 0 0 82900 109 0 0 25 0 1 0 634812869 15167488 2836 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+840.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2915 0 0 0 83899 110 0 0 25 0 1 0 634812869 15167488 2836 4294967295 134512640 134714508 3221221776 3221220324 134696725 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2915 0 0 0 84898 111 0 0 25 0 1 0 634812869 15167488 2836 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2915 0 0 0 85897 112 0 0 25 0 1 0 634812869 15167488 2836 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2915 0 0 0 86896 113 0 0 25 0 1 0 634812869 15167488 2836 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+880.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2915 0 0 0 87895 114 0 0 25 0 1 0 634812869 15167488 2836 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+890.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2915 0 0 0 88894 116 0 0 25 0 1 0 634812869 15167488 2836 4294967295 134512640 134714508 3221221776 3221220396 134549859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+900.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2915 0 0 0 89893 117 0 0 25 0 1 0 634812869 15167488 2836 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+910.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2915 0 0 0 90892 118 0 0 25 0 1 0 634812869 15167488 2836 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3703 2836 1111 63 0 3640 0
vsize: 14812
[startup+920.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2931 0 0 0 91891 119 0 0 25 0 1 0 634812869 15302656 2852 4294967295 134512640 134714508 3221221776 3221220416 134696085 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3736 2852 1111 63 0 3673 0
vsize: 14944
[startup+930.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2931 0 0 0 92890 120 0 0 25 0 1 0 634812869 15302656 2852 4294967295 134512640 134714508 3221221776 3221220444 1077378561 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3736 2852 1111 63 0 3673 0
vsize: 14944
[startup+940.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15265
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2931 0 0 0 93889 122 0 0 25 0 1 0 634812869 15282176 2852 4294967295 134512640 134714508 3221221776 3221220384 134549457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3731 2852 1111 63 0 3668 0
vsize: 14924
[startup+950.012 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 15318
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2936 0 0 0 94888 123 0 0 25 0 1 0 634812869 15282176 2857 4294967295 134512640 134714508 3221221776 3221220344 1077377203 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3731 2857 1111 63 0 3668 0
vsize: 14924
[startup+960.011 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 15318
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2936 0 0 0 95887 124 0 0 25 0 1 0 634812869 15282176 2857 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3731 2857 1111 63 0 3668 0
vsize: 14924
[startup+970.011 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 15318
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2939 0 0 0 96886 124 0 0 25 0 1 0 634812869 15282176 2860 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3731 2860 1111 63 0 3668 0
vsize: 14924
[startup+980.012 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 15318
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2947 0 0 0 97886 125 0 0 25 0 1 0 634812869 15417344 2868 4294967295 134512640 134714508 3221221776 3221220416 134696113 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3764 2868 1111 63 0 3701 0
vsize: 15056
[startup+990.012 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 15318
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2947 0 0 0 98885 126 0 0 25 0 1 0 634812869 15417344 2868 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3764 2868 1111 63 0 3701 0
vsize: 15056
[startup+1000.01 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 15318
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2956 0 0 0 99884 127 0 0 25 0 1 0 634812869 15405056 2877 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3761 2877 1111 63 0 3698 0
vsize: 15044
[startup+1010.01 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 2982 0 0 0 100883 128 0 0 25 0 1 0 634812869 15540224 2903 4294967295 134512640 134714508 3221221776 3221220480 134528436 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3794 2903 1111 63 0 3731 0
vsize: 15176
[startup+1020.01 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3014 0 0 0 101882 130 0 0 25 0 1 0 634812869 15675392 2935 4294967295 134512640 134714508 3221221776 3221220560 134528943 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2935 1111 63 0 3764 0
vsize: 15308
[startup+1030.01 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3014 0 0 0 102880 131 0 0 25 0 1 0 634812869 15675392 2935 4294967295 134512640 134714508 3221221776 3221220560 134529266 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2935 1111 63 0 3764 0
vsize: 15308
[startup+1040.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3014 0 0 0 103880 132 0 0 25 0 1 0 634812869 15675392 2935 4294967295 134512640 134714508 3221221776 3221220512 134535821 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2935 1111 63 0 3764 0
vsize: 15308
[startup+1050.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3014 0 0 0 104879 133 0 0 25 0 1 0 634812869 15675392 2935 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2935 1111 63 0 3764 0
vsize: 15308
[startup+1060.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3014 0 0 0 105879 134 0 0 25 0 1 0 634812869 15675392 2935 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2935 1111 63 0 3764 0
vsize: 15308
[startup+1070.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3014 0 0 0 106878 135 0 0 25 0 1 0 634812869 15675392 2935 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2935 1111 63 0 3764 0
vsize: 15308
[startup+1080.01 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3014 0 0 0 107877 136 0 0 25 0 1 0 634812869 15675392 2935 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2935 1111 63 0 3764 0
vsize: 15308
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3014 0 0 0 108875 138 0 0 25 0 1 0 634812869 15675392 2935 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2935 1111 63 0 3764 0
vsize: 15308
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3015 0 0 0 109874 139 0 0 25 0 1 0 634812869 15675392 2936 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2936 1111 63 0 3764 0
vsize: 15308
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3015 0 0 0 110873 140 0 0 25 0 1 0 634812869 15675392 2936 4294967295 134512640 134714508 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2936 1111 63 0 3764 0
vsize: 15308
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3023 0 0 0 111872 141 0 0 25 0 1 0 634812869 15675392 2944 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3827 2944 1111 63 0 3764 0
vsize: 15308
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3044 0 0 0 112871 143 0 0 25 0 1 0 634812869 15810560 2965 4294967295 134512640 134714508 3221221776 3221220528 134592393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3860 2965 1111 63 0 3797 0
vsize: 15440
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3044 0 0 0 113870 144 0 0 25 0 1 0 634812869 15810560 2965 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3860 2965 1111 63 0 3797 0
vsize: 15440
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3044 0 0 0 114870 144 0 0 25 0 1 0 634812869 15810560 2965 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3860 2965 1111 63 0 3797 0
vsize: 15440
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3044 0 0 0 115869 146 0 0 25 0 1 0 634812869 15810560 2965 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3860 2965 1111 63 0 3797 0
vsize: 15440
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3082 0 0 0 116867 147 0 0 25 0 1 0 634812869 15872000 3003 4294967295 134512640 134714508 3221221776 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3875 3003 1111 63 0 3812 0
vsize: 15500
[startup+1174.9 s]
Raw data (loadavg): 1.00 0.99 0.92 1/53 15320
Raw data (stat): 15265 (bsolo_lpr) R 15264 7876 7672 0 -1 0 3082 0 0 0 116867 147 0 0 25 0 1 0 634812869 15872000 3003 4294967295 134512640 134714508 3221221776 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3875 3003 1111 63 0 3812 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.03
CPU user time (s): 1173.55
CPU system time (s): 1.48277
CPU usage (%): 100.012
Max. virtual memory (Kb): 15500
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####