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_40_pb.cnf.cr.opb
MD5SUM	85d4e2fa5fd7a61a85d3ecb1e311bddb
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	41
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.083986
Number of variables	2800
Total number of constraints	150
Number of constraints which are clauses	80
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	40
Trace number 23212

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 12:23:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=127 boxname=wulflinc31 idbench=15 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  85d4e2fa5fd7a61a85d3ecb1e311bddb  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_40_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_40_pb.cnf.cr.opb
IDLAUNCH: 127
/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:        931344 kB
Buffers:         36152 kB
Cached:          45400 kB
SwapCached:        864 kB
Active:          70464 kB
Inactive:        13472 kB
HighTotal:      131008 kB
HighFree:        84588 kB
LowTotal:       903652 kB
LowFree:        846756 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              80 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13892 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 12:42:51 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 127 7 1175.04 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 2800 variables and 150 constraints.
c After prepocess the problem consists of 2800 variables and 150 constraints.
c preprocess terminated 1.042 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.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (runsolver) R 11423 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 631445970 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0006 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 1454 0 0 0 989 7 0 0 25 0 1 0 631445970 9125888 1375 4294967295 134512640 134714508 3221221776 3221220324 134696414 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2228 1375 1111 63 0 2165 0
vsize: 8912
[startup+20.0005 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 1928 0 0 0 1986 9 0 0 25 0 1 0 631445970 11005952 1849 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2687 1849 1111 63 0 2624 0
vsize: 10748
[startup+30.0014 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2113 0 0 0 2985 11 0 0 25 0 1 0 631445970 11816960 2034 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2885 2034 1111 63 0 2822 0
vsize: 11540
[startup+40.0014 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2210 0 0 0 3983 13 0 0 25 0 1 0 631445970 12222464 2131 4294967295 134512640 134714508 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2984 2131 1111 63 0 2921 0
vsize: 11936
[startup+50.0026 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2297 0 0 0 4981 15 0 0 25 0 1 0 631445970 12603392 2218 4294967295 134512640 134714508 3221221776 3221220328 134696461 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3077 2218 1111 63 0 3014 0
vsize: 12308
[startup+60.0022 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2355 0 0 0 5979 17 0 0 25 0 1 0 631445970 12865536 2276 4294967295 134512640 134714508 3221221776 3221220560 134529259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3141 2276 1111 63 0 3078 0
vsize: 12564
[startup+70.0022 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2396 0 0 0 6978 19 0 0 25 0 1 0 631445970 13000704 2317 4294967295 134512640 134714508 3221221776 3221220336 134696583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3174 2317 1111 63 0 3111 0
vsize: 12696
[startup+80.0031 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2406 0 0 0 7977 20 0 0 25 0 1 0 631445970 13000704 2327 4294967295 134512640 134714508 3221221776 3221220416 134696276 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3174 2327 1111 63 0 3111 0
vsize: 12696
[startup+90.003 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2430 0 0 0 8976 21 0 0 25 0 1 0 631445970 13135872 2351 4294967295 134512640 134714508 3221221776 3221220364 134551980 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3207 2351 1111 63 0 3144 0
vsize: 12828
[startup+100.004 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2472 0 0 0 9975 22 0 0 25 0 1 0 631445970 13271040 2393 4294967295 134512640 134714508 3221221776 3221220320 134672641 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3240 2393 1111 63 0 3177 0
vsize: 12960
[startup+110.004 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2536 0 0 0 10973 25 0 0 25 0 1 0 631445970 13541376 2457 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3306 2457 1111 63 0 3243 0
vsize: 13224
[startup+120.004 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2588 0 0 0 11972 25 0 0 25 0 1 0 631445970 13811712 2509 4294967295 134512640 134714508 3221221776 3221220324 134696728 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3372 2509 1111 63 0 3309 0
vsize: 13488
[startup+130.004 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2607 0 0 0 12971 27 0 0 25 0 1 0 631445970 13811712 2528 4294967295 134512640 134714508 3221221776 3221220184 134697439 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3372 2528 1111 63 0 3309 0
vsize: 13488
[startup+140.004 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2638 0 0 0 13969 28 0 0 25 0 1 0 631445970 13946880 2559 4294967295 134512640 134714508 3221221776 3221220736 134576600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3405 2559 1111 63 0 3342 0
vsize: 13620
[startup+150.005 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2638 0 0 0 14968 30 0 0 25 0 1 0 631445970 13946880 2559 4294967295 134512640 134714508 3221221776 3221220416 134536657 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3405 2559 1111 63 0 3342 0
vsize: 13620
[startup+160.005 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2739 0 0 0 15966 32 0 0 25 0 1 0 631445970 14352384 2660 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3504 2660 1111 63 0 3441 0
vsize: 14016
[startup+170.005 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2820 0 0 0 16964 34 0 0 25 0 1 0 631445970 14757888 2741 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3603 2741 1111 63 0 3540 0
vsize: 14412
[startup+180.005 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2913 0 0 0 17963 36 0 0 25 0 1 0 631445970 15142912 2834 4294967295 134512640 134714508 3221221776 3221220336 134696546 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3697 2834 1111 63 0 3634 0
vsize: 14788
[startup+190.005 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2943 0 0 0 18961 38 0 0 25 0 1 0 631445970 15278080 2864 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3730 2864 1111 63 0 3667 0
vsize: 14920
[startup+200.006 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 2983 0 0 0 19960 39 0 0 25 0 1 0 631445970 15413248 2904 4294967295 134512640 134714508 3221221776 3221220404 134536674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3763 2904 1111 63 0 3700 0
vsize: 15052
[startup+210.006 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3040 0 0 0 20959 40 0 0 25 0 1 0 631445970 15683584 2961 4294967295 134512640 134714508 3221221776 3221220404 134696225 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3829 2961 1111 63 0 3766 0
vsize: 15316
[startup+220.006 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3075 0 0 0 21958 41 0 0 25 0 1 0 631445970 15818752 2996 4294967295 134512640 134714508 3221221776 3221220408 134696347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3862 2996 1111 63 0 3799 0
vsize: 15448
[startup+230.006 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3091 0 0 0 22957 42 0 0 25 0 1 0 631445970 15818752 3012 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3862 3012 1111 63 0 3799 0
vsize: 15448
[startup+240.006 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3096 0 0 0 23956 44 0 0 25 0 1 0 631445970 15818752 3017 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3862 3017 1111 63 0 3799 0
vsize: 15448
[startup+250.007 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3109 0 0 0 24955 45 0 0 25 0 1 0 631445970 15953920 3030 4294967295 134512640 134714508 3221221776 3221220344 1077377633 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3895 3030 1111 63 0 3832 0
vsize: 15580
[startup+260.008 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3136 0 0 0 25954 46 0 0 25 0 1 0 631445970 15953920 3057 4294967295 134512640 134714508 3221221776 3221220512 134535840 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3895 3057 1111 63 0 3832 0
vsize: 15580
[startup+270.008 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3152 0 0 0 26953 47 0 0 25 0 1 0 631445970 16060416 3073 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3921 3073 1111 63 0 3858 0
vsize: 15684
[startup+280.008 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3152 0 0 0 27951 49 0 0 25 0 1 0 631445970 16060416 3073 4294967295 134512640 134714508 3221221776 3221220528 134592393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3921 3073 1111 63 0 3858 0
vsize: 15684
[startup+290.008 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3152 0 0 0 28950 50 0 0 25 0 1 0 631445970 16060416 3073 4294967295 134512640 134714508 3221221776 3221220332 134535620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3921 3073 1111 63 0 3858 0
vsize: 15684
[startup+300.009 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3170 0 0 0 29949 52 0 0 25 0 1 0 631445970 16195584 3091 4294967295 134512640 134714508 3221221776 3221220316 134539337 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3954 3091 1111 63 0 3891 0
vsize: 15816
[startup+310.008 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3208 0 0 0 30948 53 0 0 25 0 1 0 631445970 16330752 3129 4294967295 134512640 134714508 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3987 3129 1111 63 0 3924 0
vsize: 15948
[startup+320.008 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3233 0 0 0 31946 55 0 0 25 0 1 0 631445970 16465920 3154 4294967295 134512640 134714508 3221221776 3221220216 1077378180 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4020 3154 1111 63 0 3957 0
vsize: 16080
[startup+330.009 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3253 0 0 0 32945 56 0 0 25 0 1 0 631445970 16465920 3174 4294967295 134512640 134714508 3221221776 3221220320 134672623 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4020 3174 1111 63 0 3957 0
vsize: 16080
[startup+340.009 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3289 0 0 0 33944 58 0 0 25 0 1 0 631445970 16601088 3210 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4053 3210 1111 63 0 3990 0
vsize: 16212
[startup+350.01 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3310 0 0 0 34942 59 0 0 25 0 1 0 631445970 16736256 3231 4294967295 134512640 134714508 3221221776 3221220464 134523184 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4086 3231 1111 63 0 4023 0
vsize: 16344
[startup+360.011 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3324 0 0 0 35941 60 0 0 25 0 1 0 631445970 16736256 3245 4294967295 134512640 134714508 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4086 3245 1111 63 0 4023 0
vsize: 16344
[startup+370.011 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3352 0 0 0 36940 62 0 0 25 0 1 0 631445970 16867328 3273 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4118 3273 1111 63 0 4055 0
vsize: 16472
[startup+380.011 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3427 0 0 0 37939 63 0 0 25 0 1 0 631445970 17272832 3348 4294967295 134512640 134714508 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4217 3348 1111 63 0 4154 0
vsize: 16868
[startup+390.011 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3441 0 0 0 38938 65 0 0 25 0 1 0 631445970 17252352 3362 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4212 3362 1111 63 0 4149 0
vsize: 16848
[startup+400.012 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3441 0 0 0 39937 66 0 0 25 0 1 0 631445970 17252352 3362 4294967295 134512640 134714508 3221221776 3221220464 134534089 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4212 3362 1111 63 0 4149 0
vsize: 16848
[startup+410.012 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3451 0 0 0 40936 67 0 0 25 0 1 0 631445970 17252352 3372 4294967295 134512640 134714508 3221221776 3221220512 134558529 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4212 3372 1111 63 0 4149 0
vsize: 16848
[startup+420.012 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3464 0 0 0 41934 69 0 0 25 0 1 0 631445970 17387520 3385 4294967295 134512640 134714508 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4245 3385 1111 63 0 4182 0
vsize: 16980
[startup+430.013 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3464 0 0 0 42933 70 0 0 25 0 1 0 631445970 17387520 3385 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4245 3385 1111 63 0 4182 0
vsize: 16980
[startup+440.013 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3472 0 0 0 43932 71 0 0 25 0 1 0 631445970 17387520 3393 4294967295 134512640 134714508 3221221776 3221220404 134696217 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4245 3393 1111 63 0 4182 0
vsize: 16980
[startup+450.013 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3481 0 0 0 44930 73 0 0 25 0 1 0 631445970 17387520 3402 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4245 3402 1111 63 0 4182 0
vsize: 16980
[startup+460.013 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3486 0 0 0 45930 74 0 0 25 0 1 0 631445970 17387520 3407 4294967295 134512640 134714508 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4245 3407 1111 63 0 4182 0
vsize: 16980
[startup+470.014 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3503 0 0 0 46928 76 0 0 25 0 1 0 631445970 17522688 3424 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4278 3424 1111 63 0 4215 0
vsize: 17112
[startup+480.014 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3505 0 0 0 47926 78 0 0 25 0 1 0 631445970 17522688 3426 4294967295 134512640 134714508 3221221776 3221220372 134549856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4278 3426 1111 63 0 4215 0
vsize: 17112
[startup+490.015 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3563 0 0 0 48925 79 0 0 25 0 1 0 631445970 17793024 3484 4294967295 134512640 134714508 3221221776 3221220560 134529341 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4344 3484 1111 63 0 4281 0
vsize: 17376
[startup+500.015 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3617 0 0 0 49924 81 0 0 25 0 1 0 631445970 17928192 3538 4294967295 134512640 134714508 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4377 3538 1111 63 0 4314 0
vsize: 17508
[startup+510.015 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3668 0 0 0 50923 82 0 0 25 0 1 0 631445970 18198528 3589 4294967295 134512640 134714508 3221221776 3221220332 134539243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4443 3589 1111 63 0 4380 0
vsize: 17772
[startup+520.015 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3673 0 0 0 51922 83 0 0 25 0 1 0 631445970 18198528 3594 4294967295 134512640 134714508 3221221776 3221220536 134592149 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4443 3594 1111 63 0 4380 0
vsize: 17772
[startup+530.016 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3673 0 0 0 52921 84 0 0 25 0 1 0 631445970 18198528 3594 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4443 3594 1111 63 0 4380 0
vsize: 17772
[startup+540.017 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3673 0 0 0 53920 85 0 0 25 0 1 0 631445970 18198528 3594 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4443 3594 1111 63 0 4380 0
vsize: 17772
[startup+550.018 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3683 0 0 0 54919 86 0 0 25 0 1 0 631445970 18198528 3604 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4443 3604 1111 63 0 4380 0
vsize: 17772
[startup+560.019 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3709 0 0 0 55918 87 0 0 25 0 1 0 631445970 18333696 3630 4294967295 134512640 134714508 3221221776 3221220544 134592119 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4476 3630 1111 63 0 4413 0
vsize: 17904
[startup+570.019 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3713 0 0 0 56917 89 0 0 25 0 1 0 631445970 18333696 3634 4294967295 134512640 134714508 3221221776 3221220448 134542865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4476 3634 1111 63 0 4413 0
vsize: 17904
[startup+580.019 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3730 0 0 0 57916 90 0 0 25 0 1 0 631445970 18468864 3651 4294967295 134512640 134714508 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4509 3651 1111 63 0 4446 0
vsize: 18036
[startup+590.019 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3783 0 0 0 58914 92 0 0 25 0 1 0 631445970 18726912 3704 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4572 3704 1111 63 0 4509 0
vsize: 18288
[startup+600.019 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 3861 0 0 0 59913 93 0 0 25 0 1 0 631445970 18968576 3782 4294967295 134512640 134714508 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4631 3782 1111 63 0 4568 0
vsize: 18524
[startup+610.021 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4011 0 0 0 60912 95 0 0 25 0 1 0 631445970 19636224 3932 4294967295 134512640 134714508 3221221776 3221220592 134588079 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4794 3932 1111 63 0 4731 0
vsize: 19176
[startup+620.02 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4075 0 0 0 61910 97 0 0 25 0 1 0 631445970 19894272 3996 4294967295 134512640 134714508 3221221776 3221220408 134696313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4857 3996 1111 63 0 4794 0
vsize: 19428
[startup+630.02 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4109 0 0 0 62909 98 0 0 25 0 1 0 631445970 20008960 4030 4294967295 134512640 134714508 3221221776 3221220416 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4885 4030 1111 63 0 4822 0
vsize: 19540
[startup+640.02 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4146 0 0 0 63908 99 0 0 25 0 1 0 631445970 20144128 4067 4294967295 134512640 134714508 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 4067 1111 63 0 4855 0
vsize: 19672
[startup+650.021 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4147 0 0 0 64907 101 0 0 25 0 1 0 631445970 20144128 4068 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4918 4068 1111 63 0 4855 0
vsize: 19672
[startup+660.021 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4166 0 0 0 65905 103 0 0 25 0 1 0 631445970 20279296 4087 4294967295 134512640 134714508 3221221776 3221220432 134524137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4087 1111 63 0 4888 0
vsize: 19804
[startup+670.021 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4193 0 0 0 66904 104 0 0 25 0 1 0 631445970 20279296 4114 4294967295 134512640 134714508 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4951 4114 1111 63 0 4888 0
vsize: 19804
[startup+680.022 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4246 0 0 0 67903 105 0 0 25 0 1 0 631445970 20549632 4167 4294967295 134512640 134714508 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5017 4167 1111 63 0 4954 0
vsize: 20068
[startup+690.022 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4298 0 0 0 68902 107 0 0 25 0 1 0 631445970 20819968 4219 4294967295 134512640 134714508 3221221776 3221220528 134592373 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5083 4219 1111 63 0 5020 0
vsize: 20332
[startup+700.023 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4348 0 0 0 69899 109 0 0 25 0 1 0 631445970 20955136 4269 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5116 4269 1111 63 0 5053 0
vsize: 20464
[startup+710.024 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4387 0 0 0 70898 111 0 0 25 0 1 0 631445970 21090304 4308 4294967295 134512640 134714508 3221221776 3221220524 134587987 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5149 4308 1111 63 0 5086 0
vsize: 20596
[startup+720.024 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4416 0 0 0 71896 113 0 0 25 0 1 0 631445970 21209088 4337 4294967295 134512640 134714508 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5178 4337 1111 63 0 5115 0
vsize: 20712
[startup+730.024 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4459 0 0 0 72894 115 0 0 25 0 1 0 631445970 21479424 4380 4294967295 134512640 134714508 3221221776 3221220408 134696347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5244 4380 1111 63 0 5181 0
vsize: 20976
[startup+740.024 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4492 0 0 0 73893 116 0 0 25 0 1 0 631445970 21614592 4413 4294967295 134512640 134714508 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5277 4413 1111 63 0 5214 0
vsize: 21108
[startup+750.025 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4512 0 0 0 74891 118 0 0 25 0 1 0 631445970 21614592 4433 4294967295 134512640 134714508 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5277 4433 1111 63 0 5214 0
vsize: 21108
[startup+760.026 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4541 0 0 0 75890 120 0 0 25 0 1 0 631445970 21749760 4462 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5310 4462 1111 63 0 5247 0
vsize: 21240
[startup+770.025 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4587 0 0 0 76888 121 0 0 25 0 1 0 631445970 22020096 4508 4294967295 134512640 134714508 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5376 4508 1111 63 0 5313 0
vsize: 21504
[startup+780.026 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4740 0 0 0 77887 123 0 0 25 0 1 0 631445970 22560768 4661 4294967295 134512640 134714508 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5508 4661 1111 63 0 5445 0
vsize: 22032
[startup+790.026 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4836 0 0 0 78885 125 0 0 25 0 1 0 631445970 22929408 4757 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5598 4757 1111 63 0 5535 0
vsize: 22392
[startup+800.026 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4903 0 0 0 79883 127 0 0 25 0 1 0 631445970 23306240 4824 4294967295 134512640 134714508 3221221776 3221220496 134535762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5690 4824 1111 63 0 5627 0
vsize: 22760
[startup+810.027 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4918 0 0 0 80882 129 0 0 25 0 1 0 631445970 23306240 4839 4294967295 134512640 134714508 3221221776 3221220368 134549757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5690 4839 1111 63 0 5627 0
vsize: 22760
[startup+820.027 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4940 0 0 0 81881 130 0 0 25 0 1 0 631445970 23441408 4861 4294967295 134512640 134714508 3221221776 3221220496 134535762 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5723 4861 1111 63 0 5660 0
vsize: 22892
[startup+830.028 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4947 0 0 0 82880 130 0 0 25 0 1 0 631445970 23441408 4868 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5723 4868 1111 63 0 5660 0
vsize: 22892
[startup+840.028 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4954 0 0 0 83880 131 0 0 25 0 1 0 631445970 23441408 4875 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5723 4875 1111 63 0 5660 0
vsize: 22892
[startup+850.028 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 4980 0 0 0 84878 133 0 0 25 0 1 0 631445970 23576576 4901 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5756 4901 1111 63 0 5693 0
vsize: 23024
[startup+860.029 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5009 0 0 0 85877 134 0 0 25 0 1 0 631445970 23711744 4930 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5789 4930 1111 63 0 5726 0
vsize: 23156
[startup+870.028 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5019 0 0 0 86876 136 0 0 25 0 1 0 631445970 23711744 4940 4294967295 134512640 134714508 3221221776 3221220536 134592433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5789 4940 1111 63 0 5726 0
vsize: 23156
[startup+880.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5019 0 0 0 87875 137 0 0 25 0 1 0 631445970 23711744 4940 4294967295 134512640 134714508 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5789 4940 1111 63 0 5726 0
vsize: 23156
[startup+890.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5037 0 0 0 88874 138 0 0 25 0 1 0 631445970 23842816 4958 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5821 4958 1111 63 0 5758 0
vsize: 23284
[startup+900.029 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5041 0 0 0 89873 139 0 0 25 0 1 0 631445970 23842816 4962 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5821 4962 1111 63 0 5758 0
vsize: 23284
[startup+910.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5049 0 0 0 90872 140 0 0 25 0 1 0 631445970 23842816 4970 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5821 4970 1111 63 0 5758 0
vsize: 23284
[startup+920.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5066 0 0 0 91871 141 0 0 25 0 1 0 631445970 23977984 4987 4294967295 134512640 134714508 3221221776 3221220512 134558542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5854 4987 1111 63 0 5791 0
vsize: 23416
[startup+930.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5072 0 0 0 92869 143 0 0 25 0 1 0 631445970 23977984 4993 4294967295 134512640 134714508 3221221776 3221220344 1077377470 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5854 4993 1111 63 0 5791 0
vsize: 23416
[startup+940.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5089 0 0 0 93869 144 0 0 25 0 1 0 631445970 23977984 5010 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5854 5010 1111 63 0 5791 0
vsize: 23416
[startup+950.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5098 0 0 0 94867 145 0 0 25 0 1 0 631445970 24113152 5019 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5887 5019 1111 63 0 5824 0
vsize: 23548
[startup+960.031 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5108 0 0 0 95867 146 0 0 25 0 1 0 631445970 24113152 5029 4294967295 134512640 134714508 3221221776 3221220368 134549825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5887 5029 1111 63 0 5824 0
vsize: 23548
[startup+970.031 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5124 0 0 0 96865 148 0 0 25 0 1 0 631445970 24113152 5045 4294967295 134512640 134714508 3221221776 3221220400 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5887 5045 1111 63 0 5824 0
vsize: 23548
[startup+980.031 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5124 0 0 0 97864 149 0 0 25 0 1 0 631445970 24113152 5045 4294967295 134512640 134714508 3221221776 3221220460 134552651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5887 5045 1111 63 0 5824 0
vsize: 23548
[startup+990.031 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5152 0 0 0 98862 151 0 0 25 0 1 0 631445970 24244224 5073 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5919 5073 1111 63 0 5856 0
vsize: 23676
[startup+1000.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5155 0 0 0 99862 152 0 0 25 0 1 0 631445970 24244224 5076 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5919 5076 1111 63 0 5856 0
vsize: 23676
[startup+1010.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5170 0 0 0 100861 153 0 0 25 0 1 0 631445970 24379392 5091 4294967295 134512640 134714508 3221221776 3221220336 134696587 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5952 5091 1111 63 0 5889 0
vsize: 23808
[startup+1020.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5189 0 0 0 101860 155 0 0 25 0 1 0 631445970 24379392 5110 4294967295 134512640 134714508 3221221776 3221220384 134549467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5952 5110 1111 63 0 5889 0
vsize: 23808
[startup+1030.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5221 0 0 0 102858 157 0 0 25 0 1 0 631445970 24514560 5142 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5985 5142 1111 63 0 5922 0
vsize: 23940
[startup+1040.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5253 0 0 0 103857 158 0 0 25 0 1 0 631445970 24649728 5174 4294967295 134512640 134714508 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6018 5174 1111 63 0 5955 0
vsize: 24072
[startup+1050.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5294 0 0 0 104855 160 0 0 25 0 1 0 631445970 24920064 5215 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6084 5215 1111 63 0 6021 0
vsize: 24336
[startup+1060.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5318 0 0 0 105855 160 0 0 25 0 1 0 631445970 24907776 5239 4294967295 134512640 134714508 3221221776 3221220536 134552685 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6081 5239 1111 63 0 6018 0
vsize: 24324
[startup+1070.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5345 0 0 0 106854 162 0 0 25 0 1 0 631445970 25034752 5266 4294967295 134512640 134714508 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6112 5266 1111 63 0 6049 0
vsize: 24448
[startup+1080.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5345 0 0 0 107852 163 0 0 25 0 1 0 631445970 25034752 5266 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6112 5266 1111 63 0 6049 0
vsize: 24448
[startup+1090.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5420 0 0 0 108851 164 0 0 25 0 1 0 631445970 25399296 5341 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6201 5341 1111 63 0 6138 0
vsize: 24804
[startup+1100.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5565 0 0 0 109850 165 0 0 25 0 1 0 631445970 25935872 5486 4294967295 134512640 134714508 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6332 5486 1111 63 0 6269 0
vsize: 25328
[startup+1110.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5693 0 0 0 110849 167 0 0 25 0 1 0 631445970 26456064 5614 4294967295 134512640 134714508 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6459 5614 1111 63 0 6396 0
vsize: 25836
[startup+1120.03 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5875 0 0 0 111847 169 0 0 25 0 1 0 631445970 27267072 5796 4294967295 134512640 134714508 3221221776 3221220568 134558576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6657 5796 1111 63 0 6594 0
vsize: 26628
[startup+1130.04 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 5968 0 0 0 112847 170 0 0 25 0 1 0 631445970 27672576 5889 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6756 5889 1111 63 0 6693 0
vsize: 27024
[startup+1140.04 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 6009 0 0 0 113847 171 0 0 25 0 1 0 631445970 27807744 5930 4294967295 134512640 134714508 3221221776 3221220548 134588026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6789 5930 1111 63 0 6726 0
vsize: 27156
[startup+1150.04 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 6039 0 0 0 114846 172 0 0 25 0 1 0 631445970 27942912 5960 4294967295 134512640 134714508 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6822 5960 1111 63 0 6759 0
vsize: 27288
[startup+1160.04 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 6079 0 0 0 115845 173 0 0 25 0 1 0 631445970 28078080 6000 4294967295 134512640 134714508 3221221776 3221220364 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6855 6000 1111 63 0 6792 0
vsize: 27420
[startup+1170.04 s]
Raw data (loadavg): 0.99 1.00 0.92 2/54 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 6155 0 0 0 116842 176 0 0 25 0 1 0 631445970 28348416 6076 4294967295 134512640 134714508 3221221776 3221220524 134551637 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6921 6076 1111 63 0 6858 0
vsize: 27684
[startup+1174.9 s]
Raw data (loadavg): 0.99 1.00 0.92 1/53 11424
Raw data (stat): 11424 (bsolo_lpr) R 11423 7876 7672 0 -1 0 6155 0 0 0 116842 176 0 0 25 0 1 0 631445970 28348416 6076 4294967295 134512640 134714508 3221221776 3221220524 134551637 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6921 6076 1111 63 0 6858 0
vsize: 0

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