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-fpga45_45_sat_pb.cnf.cr.opb
MD5SUM	da4cd22fd601b0d838453ba86be8f9aa
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	SAT
Best CPU time to get the best result obtained on this benchmark	6.73997
Number of variables	3038
Total number of constraints	2160
Number of constraints which are clauses	2070
Number of constraints which are cardinality constraints (but not clauses)	90
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 23422

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 11:05:09 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=505 boxname=wulflinc31 idbench=57 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  da4cd22fd601b0d838453ba86be8f9aa  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga45_45_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fpga45_45_sat_pb.cnf.cr.opb
IDLAUNCH: 505
/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:        920452 kB
Buffers:         39804 kB
Cached:          52004 kB
SwapCached:        944 kB
Active:          76428 kB
Inactive:        17832 kB
HighTotal:      131008 kB
HighFree:        78008 kB
LowTotal:       903652 kB
LowFree:        842444 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:             436 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14360 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 11:24:45 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 505 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 3038 variables and 2160 constraints.
c After prepocess the problem consists of 3038 variables and 2160 constraints.
c preprocess terminated 9.357 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.92 1.00 0.99 2/54 1668
Raw data (stat): 1668 (runsolver) R 1667 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 648259305 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.0005 s]
Raw data (loadavg): 0.93 1.00 0.99 2/54 1668
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 2277 0 0 0 987 8 0 0 25 0 1 0 648259305 12447744 2198 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3039 2198 1111 63 0 2976 0
vsize: 12156
[startup+20.0015 s]
Raw data (loadavg): 0.94 1.00 0.99 2/54 1668
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 2519 0 0 0 1984 11 0 0 25 0 1 0 648259305 13529088 2440 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3303 2440 1111 63 0 3240 0
vsize: 13212
[startup+30.0022 s]
Raw data (loadavg): 0.95 1.00 0.99 2/54 1668
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 2665 0 0 0 2982 14 0 0 25 0 1 0 648259305 14073856 2586 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3436 2586 1111 63 0 3373 0
vsize: 13744
[startup+40.0032 s]
Raw data (loadavg): 0.96 1.00 0.99 2/54 1668
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3157 0 0 0 3979 17 0 0 25 0 1 0 648259305 16097280 3078 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3930 3078 1111 63 0 3867 0
vsize: 15720
[startup+50.0044 s]
Raw data (loadavg): 0.96 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3396 0 0 0 4978 18 0 0 25 0 1 0 648259305 17043456 3317 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4161 3317 1111 63 0 4098 0
vsize: 16644
[startup+60.004 s]
Raw data (loadavg): 0.97 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3523 0 0 0 5977 19 0 0 25 0 1 0 648259305 17580032 3444 4294967295 134512640 134714508 3221221776 3221220172 1077379970 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3444 1111 63 0 4229 0
vsize: 17168
[startup+70.005 s]
Raw data (loadavg): 0.97 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3523 0 0 0 6977 19 0 0 25 0 1 0 648259305 17580032 3444 4294967295 134512640 134714508 3221221776 3221220464 134543700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3444 1111 63 0 4229 0
vsize: 17168
[startup+80.0049 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3523 0 0 0 7976 20 0 0 25 0 1 0 648259305 17580032 3444 4294967295 134512640 134714508 3221221776 3221220368 134542682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3444 1111 63 0 4229 0
vsize: 17168
[startup+90.0058 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3523 0 0 0 8976 20 0 0 25 0 1 0 648259305 17580032 3444 4294967295 134512640 134714508 3221221776 3221220408 134543665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3444 1111 63 0 4229 0
vsize: 17168
[startup+100.006 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3523 0 0 0 9976 20 0 0 25 0 1 0 648259305 17580032 3444 4294967295 134512640 134714508 3221221776 3221220528 134592340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3444 1111 63 0 4229 0
vsize: 17168
[startup+110.006 s]
Raw data (loadavg): 0.98 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3523 0 0 0 10976 21 0 0 25 0 1 0 648259305 17580032 3444 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3444 1111 63 0 4229 0
vsize: 17168
[startup+120.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 11976 21 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220540 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+130.006 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 12976 22 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+140.007 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 13976 22 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220380 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+150.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 14975 22 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220560 134528816 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+160.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 15975 23 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220096 134697232 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+170.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 16974 24 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220564 134584851 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+180.008 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 17974 24 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220400 134542300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+190.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 18974 25 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220232 1077377291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+200.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 19973 25 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+210.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 20973 26 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220404 134696256 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+220.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 21973 26 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220464 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+230.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 22973 26 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+240.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 23973 27 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+250.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 24973 27 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220432 134536627 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+260.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 25973 27 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+270.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 26972 28 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220480 134584836 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+280.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 27972 28 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+290.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 28972 28 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220384 134549497 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+300.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 29971 29 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+310.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 30970 31 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220464 134524583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+320.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 31968 33 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220496 134591847 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+330.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 32966 35 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+340.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 33964 37 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220512 134558501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+350.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 34963 38 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220416 134696060 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+360.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 35961 40 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+370.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 36959 42 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+380.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 37957 44 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+390.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 38956 46 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220048 134697347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+400.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 39955 47 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+410.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3530 0 0 0 40955 48 0 0 25 0 1 0 648259305 17580032 3451 4294967295 134512640 134714508 3221221776 3221220504 134558801 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+420.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3566 0 0 0 41955 48 0 0 25 0 1 0 648259305 17715200 3487 4294967295 134512640 134714508 3221221776 3221220432 134536627 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4325 3487 1111 63 0 4262 0
vsize: 17300
[startup+430.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3566 0 0 0 42954 48 0 0 25 0 1 0 648259305 17715200 3487 4294967295 134512640 134714508 3221221776 3221220416 134539362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4325 3487 1111 63 0 4262 0
vsize: 17300
[startup+440.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3566 0 0 0 43954 48 0 0 25 0 1 0 648259305 17715200 3487 4294967295 134512640 134714508 3221221776 3221220344 1077377580 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4325 3487 1111 63 0 4262 0
vsize: 17300
[startup+450.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3566 0 0 0 44954 49 0 0 25 0 1 0 648259305 17715200 3487 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4325 3487 1111 63 0 4262 0
vsize: 17300
[startup+460.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3566 0 0 0 45954 50 0 0 25 0 1 0 648259305 17715200 3487 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4325 3487 1111 63 0 4262 0
vsize: 17300
[startup+470.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3566 0 0 0 46953 50 0 0 25 0 1 0 648259305 17715200 3487 4294967295 134512640 134714508 3221221776 3221220344 134542370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4325 3487 1111 63 0 4262 0
vsize: 17300
[startup+480.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3684 0 0 0 47952 51 0 0 25 0 1 0 648259305 18259968 3605 4294967295 134512640 134714508 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4458 3605 1111 63 0 4395 0
vsize: 17832
[startup+490.017 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3684 0 0 0 48952 52 0 0 25 0 1 0 648259305 18259968 3605 4294967295 134512640 134714508 3221221776 3221220460 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4458 3605 1111 63 0 4395 0
vsize: 17832
[startup+500.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3726 0 0 0 49951 53 0 0 25 0 1 0 648259305 18395136 3647 4294967295 134512640 134714508 3221221776 3221220312 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4491 3647 1111 63 0 4428 0
vsize: 17964
[startup+510.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3729 0 0 0 50950 54 0 0 25 0 1 0 648259305 18296832 3629 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4467 3629 1111 63 0 4404 0
vsize: 17868
[startup+520.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3729 0 0 0 51950 55 0 0 25 0 1 0 648259305 18251776 3618 4294967295 134512640 134714508 3221221776 3221220408 134696313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+530.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3729 0 0 0 52949 55 0 0 25 0 1 0 648259305 18251776 3618 4294967295 134512640 134714508 3221221776 3221220524 134558496 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+540.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3729 0 0 0 53949 56 0 0 25 0 1 0 648259305 18251776 3618 4294967295 134512640 134714508 3221221776 3221220432 134536738 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+550.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3729 0 0 0 54948 56 0 0 25 0 1 0 648259305 18251776 3618 4294967295 134512640 134714508 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+560.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3842 0 0 0 55948 57 0 0 25 0 1 0 648259305 18792448 3731 4294967295 134512640 134714508 3221221776 3221220560 134528771 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4588 3731 1111 63 0 4525 0
vsize: 18352
[startup+570.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3842 0 0 0 56947 58 0 0 25 0 1 0 648259305 18251776 3618 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+580.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3842 0 0 0 57946 59 0 0 25 0 1 0 648259305 18251776 3618 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+590.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3842 0 0 0 58946 60 0 0 25 0 1 0 648259305 18251776 3618 4294967295 134512640 134714508 3221221776 3221220360 134543647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+600.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3842 0 0 0 59944 62 0 0 25 0 1 0 648259305 18251776 3618 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+610.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 3985 0 0 0 60943 63 0 0 25 0 1 0 648259305 18923520 3761 4294967295 134512640 134714508 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3761 1111 63 0 4557 0
vsize: 18480
[startup+620.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4094 0 0 0 61942 65 0 0 25 0 1 0 648259305 18522112 3682 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4522 3682 1111 63 0 4459 0
vsize: 18088
[startup+630.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4264 0 0 0 62941 66 0 0 25 0 1 0 648259305 19324928 3852 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4718 3852 1111 63 0 4655 0
vsize: 18872
[startup+640.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4264 0 0 0 63940 66 0 0 25 0 1 0 648259305 19177472 3844 4294967295 134512640 134714508 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4682 3844 1111 63 0 4619 0
vsize: 18728
[startup+650.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4306 0 0 0 64939 68 0 0 25 0 1 0 648259305 19447808 3886 4294967295 134512640 134714508 3221221776 3221220428 134543653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4748 3886 1111 63 0 4685 0
vsize: 18992
[startup+660.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4308 0 0 0 65938 69 0 0 25 0 1 0 648259305 19177472 3844 4294967295 134512640 134714508 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4682 3844 1111 63 0 4619 0
vsize: 18728
[startup+670.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4308 0 0 0 66938 69 0 0 25 0 1 0 648259305 19177472 3844 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4682 3844 1111 63 0 4619 0
vsize: 18728
[startup+680.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4308 0 0 0 67938 69 0 0 25 0 1 0 648259305 19177472 3844 4294967295 134512640 134714508 3221221776 3221220416 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4682 3844 1111 63 0 4619 0
vsize: 18728
[startup+690.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4308 0 0 0 68938 70 0 0 25 0 1 0 648259305 19025920 3807 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4645 3807 1111 63 0 4582 0
vsize: 18580
[startup+700.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4308 0 0 0 69938 70 0 0 25 0 1 0 648259305 19025920 3807 4294967295 134512640 134714508 3221221776 3221220448 134542863 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4645 3807 1111 63 0 4582 0
vsize: 18580
[startup+710.021 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4308 0 0 0 70937 70 0 0 25 0 1 0 648259305 19025920 3807 4294967295 134512640 134714508 3221221776 3221220304 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4645 3807 1111 63 0 4582 0
vsize: 18580
[startup+720.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4308 0 0 0 71937 71 0 0 25 0 1 0 648259305 19025920 3807 4294967295 134512640 134714508 3221221776 3221220416 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4645 3807 1111 63 0 4582 0
vsize: 18580
[startup+730.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4308 0 0 0 72937 72 0 0 25 0 1 0 648259305 19025920 3807 4294967295 134512640 134714508 3221221776 3221220400 134542344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4645 3807 1111 63 0 4582 0
vsize: 18580
[startup+740.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4308 0 0 0 73935 73 0 0 25 0 1 0 648259305 19025920 3807 4294967295 134512640 134714508 3221221776 3221220584 134558576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4645 3807 1111 63 0 4582 0
vsize: 18580
[startup+750.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4317 0 0 0 74935 74 0 0 25 0 1 0 648259305 19025920 3807 4294967295 134512640 134714508 3221221776 3221220416 134613422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4645 3807 1111 63 0 4582 0
vsize: 18580
[startup+760.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4352 0 0 0 75934 74 0 0 25 0 1 0 648259305 19283968 3842 4294967295 134512640 134714508 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4708 3842 1111 63 0 4645 0
vsize: 18832
[startup+770.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4425 0 0 0 76934 75 0 0 25 0 1 0 648259305 19529728 3915 4294967295 134512640 134714508 3221221776 3221220464 134542898 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4768 3915 1111 63 0 4705 0
vsize: 19072
[startup+780.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4425 0 0 0 77933 76 0 0 25 0 1 0 648259305 19529728 3915 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4768 3915 1111 63 0 4705 0
vsize: 19072
[startup+790.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4425 0 0 0 78933 76 0 0 25 0 1 0 648259305 19529728 3915 4294967295 134512640 134714508 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4768 3915 1111 63 0 4705 0
vsize: 19072
[startup+800.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4425 0 0 0 79933 76 0 0 25 0 1 0 648259305 19529728 3915 4294967295 134512640 134714508 3221221776 3221220184 134697439 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4768 3915 1111 63 0 4705 0
vsize: 19072
[startup+810.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4425 0 0 0 80933 77 0 0 25 0 1 0 648259305 19529728 3915 4294967295 134512640 134714508 3221221776 3221220512 134535706 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4768 3915 1111 63 0 4705 0
vsize: 19072
[startup+820.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4425 0 0 0 81932 77 0 0 25 0 1 0 648259305 19529728 3915 4294967295 134512640 134714508 3221221776 3221220416 134613422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4768 3915 1111 63 0 4705 0
vsize: 19072
[startup+830.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4425 0 0 0 82932 77 0 0 25 0 1 0 648259305 19439616 3908 4294967295 134512640 134714508 3221221776 3221220336 134543035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4746 3908 1111 63 0 4683 0
vsize: 18984
[startup+840.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4425 0 0 0 83931 79 0 0 25 0 1 0 648259305 19439616 3908 4294967295 134512640 134714508 3221221776 3221220400 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4746 3908 1111 63 0 4683 0
vsize: 18984
[startup+850.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4425 0 0 0 84931 79 0 0 25 0 1 0 648259305 19439616 3908 4294967295 134512640 134714508 3221221776 3221220172 1077379908 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4746 3908 1111 63 0 4683 0
vsize: 18984
[startup+860.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4425 0 0 0 85931 79 0 0 25 0 1 0 648259305 19439616 3908 4294967295 134512640 134714508 3221221776 3221220356 1077378613 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4746 3908 1111 63 0 4683 0
vsize: 18984
[startup+870.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4425 0 0 0 86930 80 0 0 25 0 1 0 648259305 19439616 3908 4294967295 134512640 134714508 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4746 3908 1111 63 0 4683 0
vsize: 18984
[startup+880.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4486 0 0 0 87930 80 0 0 25 0 1 0 648259305 19714048 3969 4294967295 134512640 134714508 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4813 3969 1111 63 0 4750 0
vsize: 19252
[startup+890.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4486 0 0 0 88930 81 0 0 25 0 1 0 648259305 19714048 3969 4294967295 134512640 134714508 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4813 3969 1111 63 0 4750 0
vsize: 19252
[startup+900.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4488 0 0 0 89929 82 0 0 25 0 1 0 648259305 19714048 3971 4294967295 134512640 134714508 3221221776 3221220416 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4813 3971 1111 63 0 4750 0
vsize: 19252
[startup+910.023 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4488 0 0 0 90928 83 0 0 25 0 1 0 648259305 19714048 3971 4294967295 134512640 134714508 3221221776 3221220452 1077374446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4813 3971 1111 63 0 4750 0
vsize: 19252
[startup+920.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4488 0 0 0 91927 84 0 0 25 0 1 0 648259305 19714048 3971 4294967295 134512640 134714508 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4813 3971 1111 63 0 4750 0
vsize: 19252
[startup+930.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4488 0 0 0 92927 85 0 0 25 0 1 0 648259305 19714048 3971 4294967295 134512640 134714508 3221221776 3221220432 134613625 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4813 3971 1111 63 0 4750 0
vsize: 19252
[startup+940.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4640 0 0 0 93925 86 0 0 25 0 1 0 648259305 19927040 4027 4294967295 134512640 134714508 3221221776 3221220476 1076533124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4865 4027 1111 63 0 4802 0
vsize: 19460
[startup+950.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4640 0 0 0 94924 88 0 0 25 0 1 0 648259305 19927040 4027 4294967295 134512640 134714508 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4865 4027 1111 63 0 4802 0
vsize: 19460
[startup+960.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4640 0 0 0 95923 89 0 0 25 0 1 0 648259305 19927040 4027 4294967295 134512640 134714508 3221221776 3221220440 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4865 4027 1111 63 0 4802 0
vsize: 19460
[startup+970.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4647 0 0 0 96922 90 0 0 25 0 1 0 648259305 20062208 4034 4294967295 134512640 134714508 3221221776 3221220396 134613956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4898 4034 1111 63 0 4835 0
vsize: 19592
[startup+980.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4743 0 0 0 97921 91 0 0 25 0 1 0 648259305 20312064 4121 4294967295 134512640 134714508 3221221776 3221220416 134613422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4959 4121 1111 63 0 4896 0
vsize: 19836
[startup+990.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4743 0 0 0 98920 92 0 0 25 0 1 0 648259305 20312064 4121 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4959 4121 1111 63 0 4896 0
vsize: 19836
[startup+1000.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4743 0 0 0 99920 93 0 0 25 0 1 0 648259305 20312064 4121 4294967295 134512640 134714508 3221221776 3221220448 134652822 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4959 4121 1111 63 0 4896 0
vsize: 19836
[startup+1010.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4743 0 0 0 100919 93 0 0 25 0 1 0 648259305 20312064 4121 4294967295 134512640 134714508 3221221776 3221220520 134543125 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4959 4121 1111 63 0 4896 0
vsize: 19836
[startup+1020.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4743 0 0 0 101919 94 0 0 25 0 1 0 648259305 20312064 4121 4294967295 134512640 134714508 3221221776 3221220416 134696080 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4959 4121 1111 63 0 4896 0
vsize: 19836
[startup+1030.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4743 0 0 0 102918 95 0 0 25 0 1 0 648259305 20312064 4121 4294967295 134512640 134714508 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4959 4121 1111 63 0 4896 0
vsize: 19836
[startup+1040.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4743 0 0 0 103918 95 0 0 25 0 1 0 648259305 20250624 4106 4294967295 134512640 134714508 3221221776 3221220464 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1050.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4743 0 0 0 104918 96 0 0 25 0 1 0 648259305 20250624 4106 4294967295 134512640 134714508 3221221776 3221220260 134697343 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1060.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4743 0 0 0 105918 96 0 0 25 0 1 0 648259305 20250624 4106 4294967295 134512640 134714508 3221221776 3221220512 134523948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1070.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4743 0 0 0 106918 96 0 0 25 0 1 0 648259305 20250624 4106 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1080.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4743 0 0 0 107917 97 0 0 25 0 1 0 648259305 20250624 4106 4294967295 134512640 134714508 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1090.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4743 0 0 0 108917 97 0 0 25 0 1 0 648259305 20250624 4106 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1100.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4743 0 0 0 109917 97 0 0 25 0 1 0 648259305 20250624 4106 4294967295 134512640 134714508 3221221776 3221220432 134524117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1110.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4743 0 0 0 110916 98 0 0 25 0 1 0 648259305 20250624 4106 4294967295 134512640 134714508 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1120.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4743 0 0 0 111916 98 0 0 25 0 1 0 648259305 20250624 4106 4294967295 134512640 134714508 3221221776 3221220336 134542368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1130.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4743 0 0 0 112916 99 0 0 25 0 1 0 648259305 20250624 4106 4294967295 134512640 134714508 3221221776 3221220464 134524469 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1140.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 4823 0 0 0 113914 100 0 0 25 0 1 0 648259305 20561920 4182 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5020 4182 1111 63 0 4957 0
vsize: 20080
[startup+1150.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 5472 0 0 0 114912 103 0 0 25 0 1 0 648259305 23261184 4831 4294967295 134512640 134714508 3221221776 3221220480 134528524 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5679 4831 1111 63 0 5616 0
vsize: 22716
[startup+1160.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 6006 0 0 0 115910 105 0 0 25 0 1 0 648259305 25427968 5365 4294967295 134512640 134714508 3221221776 3221220416 134696116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6208 5365 1111 63 0 6145 0
vsize: 24832
[startup+1170.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/54 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 6468 0 0 0 116907 108 0 0 25 0 1 0 648259305 27406336 5827 4294967295 134512640 134714508 3221221776 3221220464 134524417 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6691 5827 1111 63 0 6628 0
vsize: 26764
[startup+1174.91 s]
Raw data (loadavg): 0.99 1.00 0.99 1/53 1670
Raw data (stat): 1668 (bsolo_lpr) R 1667 7876 7672 0 -1 0 6468 0 0 0 116907 108 0 0 25 0 1 0 648259305 27406336 5827 4294967295 134512640 134714508 3221221776 3221220464 134524417 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6691 5827 1111 63 0 6628 0
vsize: 0

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