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-chnl35_45_pb.cnf.cr.opb
MD5SUM	1f5fb3c191c2c77719f10f35e4f5f992
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	46
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.094985
Number of variables	3150
Total number of constraints	160
Number of constraints which are clauses	90
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	45
Trace number 23217

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 13:43:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=136 boxname=wulflinc31 idbench=16 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  1f5fb3c191c2c77719f10f35e4f5f992  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_45_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_45_pb.cnf.cr.opb
IDLAUNCH: 136
/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:        930980 kB
Buffers:         36240 kB
Cached:          45516 kB
SwapCached:        864 kB
Active:          70556 kB
Inactive:        13568 kB
HighTotal:      131008 kB
HighFree:        84504 kB
LowTotal:       903652 kB
LowFree:        846476 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              84 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13964 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 14:03:01 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 136 7 1175.05 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 3150 variables and 160 constraints.
c After prepocess the problem consists of 3150 variables and 160 constraints.
c preprocess terminated 1.281 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.97 0.91 2/54 11965
Raw data (stat): 11965 (runsolver) R 11964 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 631927037 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 1654 0 0 0 985 10 0 0 25 0 1 0 631927037 9949184 1575 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2429 1575 1111 63 0 2366 0
vsize: 9716
[startup+20 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 1963 0 0 0 1982 13 0 0 25 0 1 0 631927037 11288576 1884 4294967295 134512640 134714508 3221221776 3221220384 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2756 1884 1111 63 0 2693 0
vsize: 11024
[startup+30.0009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2036 0 0 0 2980 16 0 0 25 0 1 0 631927037 11558912 1957 4294967295 134512640 134714508 3221221776 3221220404 1077374077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2822 1957 1111 63 0 2759 0
vsize: 11288
[startup+40.0008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2189 0 0 0 3978 17 0 0 25 0 1 0 631927037 12087296 2110 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2951 2110 1111 63 0 2888 0
vsize: 11804
[startup+50.0017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2237 0 0 0 4977 19 0 0 25 0 1 0 631927037 12357632 2158 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3017 2158 1111 63 0 2954 0
vsize: 12068
[startup+60.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2271 0 0 0 5976 20 0 0 25 0 1 0 631927037 12492800 2192 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3050 2192 1111 63 0 2987 0
vsize: 12200
[startup+70.0016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2298 0 0 0 6975 21 0 0 25 0 1 0 631927037 12627968 2219 4294967295 134512640 134714508 3221221776 3221220480 134591893 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3083 2219 1111 63 0 3020 0
vsize: 12332
[startup+80.0025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2305 0 0 0 7974 22 0 0 25 0 1 0 631927037 12627968 2226 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3083 2226 1111 63 0 3020 0
vsize: 12332
[startup+90.0028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2324 0 0 0 8973 24 0 0 25 0 1 0 631927037 12763136 2245 4294967295 134512640 134714508 3221221776 3221220324 134696414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3116 2245 1111 63 0 3053 0
vsize: 12464
[startup+100.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2355 0 0 0 9971 25 0 0 25 0 1 0 631927037 12898304 2276 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3149 2276 1111 63 0 3086 0
vsize: 12596
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2371 0 0 0 10970 27 0 0 25 0 1 0 631927037 12873728 2292 4294967295 134512640 134714508 3221221776 3221220540 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3143 2292 1111 63 0 3080 0
vsize: 12572
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2410 0 0 0 11969 28 0 0 25 0 1 0 631927037 13008896 2331 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3176 2331 1111 63 0 3113 0
vsize: 12704
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2429 0 0 0 12967 30 0 0 25 0 1 0 631927037 13144064 2350 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3209 2350 1111 63 0 3146 0
vsize: 12836
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2471 0 0 0 13965 32 0 0 25 0 1 0 631927037 13279232 2392 4294967295 134512640 134714508 3221221776 3221220468 134534132 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3242 2392 1111 63 0 3179 0
vsize: 12968
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2488 0 0 0 14964 34 0 0 25 0 1 0 631927037 13406208 2409 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3273 2409 1111 63 0 3210 0
vsize: 13092
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2665 0 0 0 15962 36 0 0 25 0 1 0 631927037 14082048 2586 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3438 2586 1111 63 0 3375 0
vsize: 13752
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2798 0 0 0 16961 37 0 0 25 0 1 0 631927037 14618624 2719 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3569 2719 1111 63 0 3506 0
vsize: 14276
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2883 0 0 0 17959 39 0 0 25 0 1 0 631927037 15024128 2804 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3668 2804 1111 63 0 3605 0
vsize: 14672
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 2924 0 0 0 18957 42 0 0 25 0 1 0 631927037 15159296 2845 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3701 2845 1111 63 0 3638 0
vsize: 14804
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3007 0 0 0 19955 43 0 0 25 0 1 0 631927037 15564800 2928 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3800 2928 1111 63 0 3737 0
vsize: 15200
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3025 0 0 0 20954 44 0 0 25 0 1 0 631927037 15564800 2946 4294967295 134512640 134714508 3221221776 3221220540 134652885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3800 2946 1111 63 0 3737 0
vsize: 15200
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3075 0 0 0 21952 46 0 0 25 0 1 0 631927037 15835136 2996 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3866 2996 1111 63 0 3803 0
vsize: 15464
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3111 0 0 0 22951 48 0 0 25 0 1 0 631927037 15953920 3032 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3895 3032 1111 63 0 3832 0
vsize: 15580
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3138 0 0 0 23950 49 0 0 25 0 1 0 631927037 16089088 3059 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3928 3059 1111 63 0 3865 0
vsize: 15712
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3211 0 0 0 24948 51 0 0 25 0 1 0 631927037 16359424 3132 4294967295 134512640 134714508 3221221776 3221220544 134592137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3994 3132 1111 63 0 3931 0
vsize: 15976
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3304 0 0 0 25947 53 0 0 25 0 1 0 631927037 16764928 3225 4294967295 134512640 134714508 3221221776 3221220524 134535620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4093 3225 1111 63 0 4030 0
vsize: 16372
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3414 0 0 0 26945 54 0 0 25 0 1 0 631927037 17162240 3335 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4190 3335 1111 63 0 4127 0
vsize: 16760
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3492 0 0 0 27943 57 0 0 25 0 1 0 631927037 17432576 3413 4294967295 134512640 134714508 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4256 3413 1111 63 0 4193 0
vsize: 17024
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3526 0 0 0 28941 59 0 0 25 0 1 0 631927037 17567744 3447 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4289 3447 1111 63 0 4226 0
vsize: 17156
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3557 0 0 0 29940 60 0 0 25 0 1 0 631927037 17702912 3478 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4322 3478 1111 63 0 4259 0
vsize: 17288
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3611 0 0 0 30938 62 0 0 25 0 1 0 631927037 17973248 3532 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4388 3532 1111 63 0 4325 0
vsize: 17552
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3650 0 0 0 31936 64 0 0 25 0 1 0 631927037 18108416 3571 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4421 3571 1111 63 0 4358 0
vsize: 17684
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3694 0 0 0 32935 65 0 0 25 0 1 0 631927037 18358272 3615 4294967295 134512640 134714508 3221221776 3221220596 134590259 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4482 3615 1111 63 0 4419 0
vsize: 17928
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3727 0 0 0 33934 67 0 0 25 0 1 0 631927037 18489344 3648 4294967295 134512640 134714508 3221221776 3221220544 134551796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4514 3648 1111 63 0 4451 0
vsize: 18056
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3771 0 0 0 34932 69 0 0 25 0 1 0 631927037 18595840 3692 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4540 3692 1111 63 0 4477 0
vsize: 18160
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3786 0 0 0 35930 71 0 0 25 0 1 0 631927037 18731008 3707 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4573 3707 1111 63 0 4510 0
vsize: 18292
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3810 0 0 0 36929 73 0 0 25 0 1 0 631927037 18731008 3731 4294967295 134512640 134714508 3221221776 3221220444 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4573 3731 1111 63 0 4510 0
vsize: 18292
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3821 0 0 0 37927 75 0 0 25 0 1 0 631927037 18862080 3742 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4605 3742 1111 63 0 4542 0
vsize: 18420
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3848 0 0 0 38926 76 0 0 25 0 1 0 631927037 18997248 3769 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4638 3769 1111 63 0 4575 0
vsize: 18552
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3867 0 0 0 39924 78 0 0 25 0 1 0 631927037 18997248 3788 4294967295 134512640 134714508 3221221776 3221220416 134696077 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4638 3788 1111 63 0 4575 0
vsize: 18552
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3897 0 0 0 40923 79 0 0 25 0 1 0 631927037 19132416 3818 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4671 3818 1111 63 0 4608 0
vsize: 18684
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3920 0 0 0 41922 80 0 0 25 0 1 0 631927037 19267584 3841 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4704 3841 1111 63 0 4641 0
vsize: 18816
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 3988 0 0 0 42921 82 0 0 25 0 1 0 631927037 19537920 3909 4294967295 134512640 134714508 3221221776 3221220432 1076647581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4770 3909 1111 63 0 4707 0
vsize: 19080
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4049 0 0 0 43920 83 0 0 25 0 1 0 631927037 19808256 3970 4294967295 134512640 134714508 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4836 3970 1111 63 0 4773 0
vsize: 19344
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4102 0 0 0 44919 84 0 0 25 0 1 0 631927037 19943424 4023 4294967295 134512640 134714508 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4869 4023 1111 63 0 4806 0
vsize: 19476
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4113 0 0 0 45918 85 0 0 25 0 1 0 631927037 20078592 4034 4294967295 134512640 134714508 3221221776 3221220304 134672417 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4902 4034 1111 63 0 4839 0
vsize: 19608
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4113 0 0 0 46916 87 0 0 25 0 1 0 631927037 20078592 4034 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4902 4034 1111 63 0 4839 0
vsize: 19608
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4126 0 0 0 47914 90 0 0 25 0 1 0 631927037 20078592 4047 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4902 4047 1111 63 0 4839 0
vsize: 19608
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4174 0 0 0 48913 91 0 0 25 0 1 0 631927037 20332544 4095 4294967295 134512640 134714508 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4964 4095 1111 63 0 4901 0
vsize: 19856
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4184 0 0 0 49912 92 0 0 25 0 1 0 631927037 20332544 4105 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4964 4105 1111 63 0 4901 0
vsize: 19856
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4219 0 0 0 50911 93 0 0 25 0 1 0 631927037 20467712 4140 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4997 4140 1111 63 0 4934 0
vsize: 19988
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4226 0 0 0 51910 94 0 0 25 0 1 0 631927037 20467712 4147 4294967295 134512640 134714508 3221221776 3221220480 134528735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4997 4147 1111 63 0 4934 0
vsize: 19988
[startup+530.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4242 0 0 0 52909 96 0 0 25 0 1 0 631927037 20602880 4163 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5030 4163 1111 63 0 4967 0
vsize: 20120
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4264 0 0 0 53907 98 0 0 25 0 1 0 631927037 20602880 4185 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5030 4185 1111 63 0 4967 0
vsize: 20120
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4302 0 0 0 54906 99 0 0 25 0 1 0 631927037 20873216 4223 4294967295 134512640 134714508 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5096 4223 1111 63 0 5033 0
vsize: 20384
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4377 0 0 0 55904 102 0 0 25 0 1 0 631927037 21131264 4298 4294967295 134512640 134714508 3221221776 3221220336 134696546 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5159 4298 1111 63 0 5096 0
vsize: 20636
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4470 0 0 0 56902 103 0 0 25 0 1 0 631927037 21536768 4391 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5258 4391 1111 63 0 5195 0
vsize: 21032
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4503 0 0 0 57901 105 0 0 25 0 1 0 631927037 21639168 4424 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5283 4424 1111 63 0 5220 0
vsize: 21132
[startup+590.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4536 0 0 0 58899 107 0 0 25 0 1 0 631927037 21774336 4457 4294967295 134512640 134714508 3221221776 3221220432 134536680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5316 4457 1111 63 0 5253 0
vsize: 21264
[startup+600.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4550 0 0 0 59898 108 0 0 25 0 1 0 631927037 21774336 4471 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5316 4471 1111 63 0 5253 0
vsize: 21264
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4579 0 0 0 60897 109 0 0 25 0 1 0 631927037 21909504 4500 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5349 4500 1111 63 0 5286 0
vsize: 21396
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4599 0 0 0 61897 110 0 0 25 0 1 0 631927037 22032384 4520 4294967295 134512640 134714508 3221221776 3221220540 134552548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5379 4520 1111 63 0 5316 0
vsize: 21516
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4616 0 0 0 62895 111 0 0 25 0 1 0 631927037 22032384 4537 4294967295 134512640 134714508 3221221776 3221220400 134696023 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5379 4537 1111 63 0 5316 0
vsize: 21516
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4649 0 0 0 63894 113 0 0 25 0 1 0 631927037 22163456 4570 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5411 4570 1111 63 0 5348 0
vsize: 21644
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4649 0 0 0 64893 114 0 0 25 0 1 0 631927037 22163456 4570 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5411 4570 1111 63 0 5348 0
vsize: 21644
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4660 0 0 0 65892 115 0 0 25 0 1 0 631927037 22298624 4581 4294967295 134512640 134714508 3221221776 3221220544 134528831 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5444 4581 1111 63 0 5381 0
vsize: 21776
[startup+670.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4660 0 0 0 66890 117 0 0 25 0 1 0 631927037 22298624 4581 4294967295 134512640 134714508 3221221776 3221220384 134536849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5444 4581 1111 63 0 5381 0
vsize: 21776
[startup+680.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4660 0 0 0 67890 118 0 0 25 0 1 0 631927037 22298624 4581 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5444 4581 1111 63 0 5381 0
vsize: 21776
[startup+690.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4681 0 0 0 68889 119 0 0 25 0 1 0 631927037 22298624 4602 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5444 4602 1111 63 0 5381 0
vsize: 21776
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4681 0 0 0 69888 120 0 0 25 0 1 0 631927037 22298624 4602 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5444 4602 1111 63 0 5381 0
vsize: 21776
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4681 0 0 0 70887 121 0 0 25 0 1 0 631927037 22298624 4602 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5444 4602 1111 63 0 5381 0
vsize: 21776
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4791 0 0 0 71886 122 0 0 25 0 1 0 631927037 22814720 4712 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5570 4712 1111 63 0 5507 0
vsize: 22280
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4891 0 0 0 72884 125 0 0 25 0 1 0 631927037 23203840 4812 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5665 4812 1111 63 0 5602 0
vsize: 22660
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4920 0 0 0 73883 126 0 0 25 0 1 0 631927037 23326720 4841 4294967295 134512640 134714508 3221221776 3221220380 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5695 4841 1111 63 0 5632 0
vsize: 22780
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4939 0 0 0 74881 128 0 0 25 0 1 0 631927037 23461888 4860 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5728 4860 1111 63 0 5665 0
vsize: 22912
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 4951 0 0 0 75880 129 0 0 25 0 1 0 631927037 23461888 4872 4294967295 134512640 134714508 3221221776 3221220496 134535757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5728 4872 1111 63 0 5665 0
vsize: 22912
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5007 0 0 0 76879 130 0 0 25 0 1 0 631927037 23732224 4928 4294967295 134512640 134714508 3221221776 3221220544 134551796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5794 4928 1111 63 0 5731 0
vsize: 23176
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5049 0 0 0 77878 131 0 0 25 0 1 0 631927037 23867392 4970 4294967295 134512640 134714508 3221221776 3221220528 134592345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5827 4970 1111 63 0 5764 0
vsize: 23308
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5068 0 0 0 78878 132 0 0 25 0 1 0 631927037 24002560 4989 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5860 4989 1111 63 0 5797 0
vsize: 23440
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5068 0 0 0 79877 133 0 0 25 0 1 0 631927037 24002560 4989 4294967295 134512640 134714508 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5860 4989 1111 63 0 5797 0
vsize: 23440
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5080 0 0 0 80875 135 0 0 25 0 1 0 631927037 23965696 5001 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5851 5001 1111 63 0 5788 0
vsize: 23404
[startup+820.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5099 0 0 0 81874 136 0 0 25 0 1 0 631927037 24100864 5020 4294967295 134512640 134714508 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5884 5020 1111 63 0 5821 0
vsize: 23536
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5102 0 0 0 82873 138 0 0 25 0 1 0 631927037 24100864 5023 4294967295 134512640 134714508 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5884 5023 1111 63 0 5821 0
vsize: 23536
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5123 0 0 0 83871 139 0 0 25 0 1 0 631927037 24236032 5044 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5917 5044 1111 63 0 5854 0
vsize: 23668
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5149 0 0 0 84870 141 0 0 25 0 1 0 631927037 24236032 5070 4294967295 134512640 134714508 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5917 5070 1111 63 0 5854 0
vsize: 23668
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5153 0 0 0 85869 142 0 0 25 0 1 0 631927037 24236032 5074 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5917 5074 1111 63 0 5854 0
vsize: 23668
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5153 0 0 0 86867 144 0 0 25 0 1 0 631927037 24236032 5074 4294967295 134512640 134714508 3221221776 3221220512 134523886 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5917 5074 1111 63 0 5854 0
vsize: 23668
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5180 0 0 0 87866 145 0 0 25 0 1 0 631927037 24371200 5101 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5950 5101 1111 63 0 5887 0
vsize: 23800
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5244 0 0 0 88865 146 0 0 25 0 1 0 631927037 24637440 5165 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6015 5165 1111 63 0 5952 0
vsize: 24060
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5296 0 0 0 89864 148 0 0 25 0 1 0 631927037 24907776 5217 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6081 5217 1111 63 0 6018 0
vsize: 24324
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5300 0 0 0 90862 150 0 0 25 0 1 0 631927037 24907776 5221 4294967295 134512640 134714508 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6081 5221 1111 63 0 6018 0
vsize: 24324
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5315 0 0 0 91861 151 0 0 25 0 1 0 631927037 24907776 5236 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6081 5236 1111 63 0 6018 0
vsize: 24324
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5315 0 0 0 92861 151 0 0 25 0 1 0 631927037 24907776 5236 4294967295 134512640 134714508 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6081 5236 1111 63 0 6018 0
vsize: 24324
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5325 0 0 0 93860 152 0 0 25 0 1 0 631927037 25042944 5246 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6114 5246 1111 63 0 6051 0
vsize: 24456
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5333 0 0 0 94859 153 0 0 25 0 1 0 631927037 25042944 5254 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6114 5254 1111 63 0 6051 0
vsize: 24456
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5346 0 0 0 95858 155 0 0 25 0 1 0 631927037 25042944 5267 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6114 5267 1111 63 0 6051 0
vsize: 24456
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5348 0 0 0 96856 156 0 0 25 0 1 0 631927037 25042944 5269 4294967295 134512640 134714508 3221221776 3221220544 134592353 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6114 5269 1111 63 0 6051 0
vsize: 24456
[startup+980.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5382 0 0 0 97856 157 0 0 25 0 1 0 631927037 25178112 5303 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6147 5303 1111 63 0 6084 0
vsize: 24588
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11965
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5382 0 0 0 98855 159 0 0 25 0 1 0 631927037 25178112 5303 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6147 5303 1111 63 0 6084 0
vsize: 24588
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 12001
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5389 0 0 0 99856 160 0 0 25 0 1 0 631927037 25313280 5310 4294967295 134512640 134714508 3221221776 3221220416 134696011 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6180 5310 1111 63 0 6117 0
vsize: 24720
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12018
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5414 0 0 0 100854 162 0 0 25 0 1 0 631927037 25309184 5335 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6179 5335 1111 63 0 6116 0
vsize: 24716
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12018
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5422 0 0 0 101853 164 0 0 25 0 1 0 631927037 25444352 5343 4294967295 134512640 134714508 3221221776 3221220464 134524471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6212 5343 1111 63 0 6149 0
vsize: 24848
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12018
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5473 0 0 0 102851 166 0 0 25 0 1 0 631927037 25571328 5394 4294967295 134512640 134714508 3221221776 3221220568 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6243 5394 1111 63 0 6180 0
vsize: 24972
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12018
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5515 0 0 0 103848 169 0 0 25 0 1 0 631927037 25841664 5436 4294967295 134512640 134714508 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6309 5436 1111 63 0 6246 0
vsize: 25236
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12018
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5564 0 0 0 104845 172 0 0 25 0 1 0 631927037 25972736 5485 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6341 5485 1111 63 0 6278 0
vsize: 25364
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12018
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5591 0 0 0 105843 174 0 0 25 0 1 0 631927037 26107904 5512 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6374 5512 1111 63 0 6311 0
vsize: 25496
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12020
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5604 0 0 0 106841 176 0 0 25 0 1 0 631927037 26079232 5525 4294967295 134512640 134714508 3221221776 3221220560 134529206 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6367 5525 1111 63 0 6304 0
vsize: 25468
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12020
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5664 0 0 0 107839 178 0 0 25 0 1 0 631927037 26349568 5585 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6433 5585 1111 63 0 6370 0
vsize: 25732
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12020
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5699 0 0 0 108837 180 0 0 25 0 1 0 631927037 26484736 5620 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6466 5620 1111 63 0 6403 0
vsize: 25864
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12020
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5717 0 0 0 109837 181 0 0 25 0 1 0 631927037 26599424 5638 4294967295 134512640 134714508 3221221776 3221220408 134552673 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6494 5638 1111 63 0 6431 0
vsize: 25976
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12020
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5750 0 0 0 110835 183 0 0 25 0 1 0 631927037 26734592 5671 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6527 5671 1111 63 0 6464 0
vsize: 26108
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12020
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5765 0 0 0 111834 183 0 0 25 0 1 0 631927037 26734592 5686 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6527 5686 1111 63 0 6464 0
vsize: 26108
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12020
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5795 0 0 0 112833 185 0 0 25 0 1 0 631927037 26869760 5716 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6560 5716 1111 63 0 6497 0
vsize: 26240
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12020
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5834 0 0 0 113832 186 0 0 25 0 1 0 631927037 27140096 5755 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6626 5755 1111 63 0 6563 0
vsize: 26504
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12020
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5900 0 0 0 114831 188 0 0 25 0 1 0 631927037 27410432 5821 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6692 5821 1111 63 0 6629 0
vsize: 26768
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12020
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5941 0 0 0 115829 189 0 0 25 0 1 0 631927037 27533312 5862 4294967295 134512640 134714508 3221221776 3221220172 1077379863 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6722 5862 1111 63 0 6659 0
vsize: 26888
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12020
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5985 0 0 0 116829 190 0 0 25 0 1 0 631927037 27664384 5906 4294967295 134512640 134714508 3221221776 3221220272 134535383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6754 5906 1111 63 0 6691 0
vsize: 27016
[startup+1174.91 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 12020
Raw data (stat): 11965 (bsolo_lpr) R 11964 7876 7672 0 -1 0 5985 0 0 0 116829 190 0 0 25 0 1 0 631927037 27664384 5906 4294967295 134512640 134714508 3221221776 3221220272 134535383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6754 5906 1111 63 0 6691 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.05
CPU user time (s): 1173.12
CPU system time (s): 1.92071
CPU usage (%): 100.011
Max. virtual memory (Kb): 27016
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####