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 23423

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 11:24:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=506 boxname=wulflinc31 idbench=57 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  da4cd22fd601b0d838453ba86be8f9aa  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga45_45_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-fpga45_45_sat_pb.cnf.cr.opb
IDLAUNCH: 506
/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:        920744 kB
Buffers:         39824 kB
Cached:          51916 kB
SwapCached:        944 kB
Active:          76892 kB
Inactive:        17372 kB
HighTotal:      131008 kB
HighFree:        78092 kB
LowTotal:       903652 kB
LowFree:        842652 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14248 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 11:44:30 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 506 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.23 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.91 0.98 0.99 2/54 1763
Raw data (stat): 1763 (runsolver) R 1762 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 648377852 1056768 100 4294967295 134512640 135381576 3221221664 3221216880 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.0012 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 2277 0 0 0 988 8 0 0 25 0 1 0 648377852 12447744 2198 4294967295 134512640 134714508 3221221760 3221220320 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3039 2198 1111 63 0 2976 0
vsize: 12156
[startup+20.0024 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 2519 0 0 0 1985 10 0 0 25 0 1 0 648377852 13529088 2440 4294967295 134512640 134714508 3221221760 3221220684 1077781665 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.002 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 2665 0 0 0 2983 12 0 0 25 0 1 0 648377852 14073856 2586 4294967295 134512640 134714508 3221221760 3221220684 1077781665 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.0019 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3185 0 0 0 3980 16 0 0 25 0 1 0 648377852 16232448 3106 4294967295 134512640 134714508 3221221760 3221220508 134551608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3963 3106 1111 63 0 3900 0
vsize: 15852
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3396 0 0 0 4978 18 0 0 25 0 1 0 648377852 17043456 3317 4294967295 134512640 134714508 3221221760 3221220684 1077781665 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.0028 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3523 0 0 0 5976 19 0 0 25 0 1 0 648377852 17580032 3444 4294967295 134512640 134714508 3221221760 3221220428 134543615 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.0027 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3523 0 0 0 6976 20 0 0 25 0 1 0 648377852 17580032 3444 4294967295 134512640 134714508 3221221760 3221220400 134613454 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.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3523 0 0 0 7976 20 0 0 25 0 1 0 648377852 17580032 3444 4294967295 134512640 134714508 3221221760 3221220320 134542350 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.0036 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3523 0 0 0 8976 21 0 0 25 0 1 0 648377852 17580032 3444 4294967295 134512640 134714508 3221221760 3221220516 134587950 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.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3523 0 0 0 9975 21 0 0 25 0 1 0 648377852 17580032 3444 4294967295 134512640 134714508 3221221760 3221220368 134549296 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.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3523 0 0 0 10975 22 0 0 25 0 1 0 648377852 17580032 3444 4294967295 134512640 134714508 3221221760 3221220368 134523171 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.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 11974 23 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220400 134696044 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.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 12974 23 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 13974 24 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220516 134652874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 14974 24 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 15974 24 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220384 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 16973 24 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220544 134529024 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 17973 25 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220368 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 18973 25 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220400 134539567 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 19973 25 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220544 134529021 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+210.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 20973 26 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220296 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 21973 26 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220396 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 22973 26 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220156 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 23973 26 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220368 134543698 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 24973 27 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220396 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 25972 27 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220444 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 26972 27 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220376 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 27972 28 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220368 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 28972 28 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 29971 29 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220416 134613585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 30969 31 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220352 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 31968 33 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220432 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 32966 35 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220164 134697327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 33965 35 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+350.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 34963 38 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+360.011 s]
Raw data (loadavg): 1.07 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 35962 40 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+370.011 s]
Raw data (loadavg): 1.06 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 36960 41 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220352 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+380.01 s]
Raw data (loadavg): 1.05 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 37959 43 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220368 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+390.011 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 38957 45 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220400 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+400.011 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3530 0 0 0 39957 45 0 0 25 0 1 0 648377852 17580032 3451 4294967295 134512640 134714508 3221221760 3221220464 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4292 3451 1111 63 0 4229 0
vsize: 17168
[startup+410.011 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3566 0 0 0 40956 46 0 0 25 0 1 0 648377852 17715200 3487 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4325 3487 1111 63 0 4262 0
vsize: 17300
[startup+420.011 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3566 0 0 0 41956 46 0 0 25 0 1 0 648377852 17715200 3487 4294967295 134512640 134714508 3221221760 3221220368 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4325 3487 1111 63 0 4262 0
vsize: 17300
[startup+430.011 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3566 0 0 0 42956 47 0 0 25 0 1 0 648377852 17715200 3487 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4325 3487 1111 63 0 4262 0
vsize: 17300
[startup+440.012 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3566 0 0 0 43955 47 0 0 25 0 1 0 648377852 17715200 3487 4294967295 134512640 134714508 3221221760 3221220368 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4325 3487 1111 63 0 4262 0
vsize: 17300
[startup+450.012 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3566 0 0 0 44955 48 0 0 25 0 1 0 648377852 17715200 3487 4294967295 134512640 134714508 3221221760 3221220400 134524198 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4325 3487 1111 63 0 4262 0
vsize: 17300
[startup+460.013 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3566 0 0 0 45954 49 0 0 25 0 1 0 648377852 17715200 3487 4294967295 134512640 134714508 3221221760 3221220232 134613753 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4325 3487 1111 63 0 4262 0
vsize: 17300
[startup+470.013 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3572 0 0 0 46954 49 0 0 25 0 1 0 648377852 17850368 3493 4294967295 134512640 134714508 3221221760 3221220368 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4358 3493 1111 63 0 4295 0
vsize: 17432
[startup+480.013 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3684 0 0 0 47953 50 0 0 25 0 1 0 648377852 18259968 3605 4294967295 134512640 134714508 3221221760 3221220368 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4458 3605 1111 63 0 4395 0
vsize: 17832
[startup+490.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3684 0 0 0 48952 52 0 0 25 0 1 0 648377852 18259968 3605 4294967295 134512640 134714508 3221221760 3221220496 134587992 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4458 3605 1111 63 0 4395 0
vsize: 17832
[startup+500.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3729 0 0 0 49952 52 0 0 25 0 1 0 648377852 18395136 3650 4294967295 134512640 134714508 3221221760 3221220420 134523855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4491 3650 1111 63 0 4428 0
vsize: 17964
[startup+510.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3729 0 0 0 50951 52 0 0 25 0 1 0 648377852 18251776 3618 4294967295 134512640 134714508 3221221760 3221220340 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+520.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3729 0 0 0 51951 53 0 0 25 0 1 0 648377852 18251776 3618 4294967295 134512640 134714508 3221221760 3221220344 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+530.014 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3729 0 0 0 52950 54 0 0 25 0 1 0 648377852 18251776 3618 4294967295 134512640 134714508 3221221760 3221220408 134695927 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+540.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3729 0 0 0 53951 54 0 0 25 0 1 0 648377852 18251776 3618 4294967295 134512640 134714508 3221221760 3221220368 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+550.015 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3729 0 0 0 54950 54 0 0 25 0 1 0 648377852 18251776 3618 4294967295 134512640 134714508 3221221760 3221220400 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+560.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3842 0 0 0 55949 55 0 0 25 0 1 0 648377852 18792448 3731 4294967295 134512640 134714508 3221221760 3221220388 1077374123 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4588 3731 1111 63 0 4525 0
vsize: 18352
[startup+570.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3842 0 0 0 56949 56 0 0 25 0 1 0 648377852 18251776 3618 4294967295 134512640 134714508 3221221760 3221220528 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+580.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3842 0 0 0 57948 57 0 0 25 0 1 0 648377852 18251776 3618 4294967295 134512640 134714508 3221221760 3221220528 134529133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+590.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3842 0 0 0 58947 59 0 0 25 0 1 0 648377852 18251776 3618 4294967295 134512640 134714508 3221221760 3221220512 134592388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+600.016 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 3842 0 0 0 59946 59 0 0 25 0 1 0 648377852 18251776 3618 4294967295 134512640 134714508 3221221760 3221220400 134696066 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+610.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4030 0 0 0 60945 61 0 0 25 0 1 0 648377852 18251776 3618 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4456 3618 1111 63 0 4393 0
vsize: 17824
[startup+620.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4170 0 0 0 61944 62 0 0 25 0 1 0 648377852 18927616 3758 4294967295 134512640 134714508 3221221760 3221220480 134613733 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4621 3758 1111 63 0 4558 0
vsize: 18484
[startup+630.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4264 0 0 0 62943 63 0 0 25 0 1 0 648377852 19324928 3852 4294967295 134512640 134714508 3221221760 3221220484 134535789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4718 3852 1111 63 0 4655 0
vsize: 18872
[startup+640.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4264 0 0 0 63942 64 0 0 25 0 1 0 648377852 19177472 3844 4294967295 134512640 134714508 3221221760 3221220320 134552038 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4682 3844 1111 63 0 4619 0
vsize: 18728
[startup+650.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4308 0 0 0 64941 65 0 0 25 0 1 0 648377852 19177472 3844 4294967295 134512640 134714508 3221221760 3221220448 134523193 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4682 3844 1111 63 0 4619 0
vsize: 18728
[startup+660.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4308 0 0 0 65941 66 0 0 25 0 1 0 648377852 19177472 3844 4294967295 134512640 134714508 3221221760 3221220368 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4682 3844 1111 63 0 4619 0
vsize: 18728
[startup+670.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4308 0 0 0 66941 66 0 0 25 0 1 0 648377852 19177472 3844 4294967295 134512640 134714508 3221221760 3221220320 134696567 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4682 3844 1111 63 0 4619 0
vsize: 18728
[startup+680.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4308 0 0 0 67940 66 0 0 25 0 1 0 648377852 19177472 3844 4294967295 134512640 134714508 3221221760 3221220368 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4682 3844 1111 63 0 4619 0
vsize: 18728
[startup+690.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4308 0 0 0 68940 67 0 0 25 0 1 0 648377852 19025920 3807 4294967295 134512640 134714508 3221221760 3221220368 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4645 3807 1111 63 0 4582 0
vsize: 18580
[startup+700.017 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4308 0 0 0 69939 68 0 0 25 0 1 0 648377852 19025920 3807 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4645 3807 1111 63 0 4582 0
vsize: 18580
[startup+710.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4308 0 0 0 70939 68 0 0 25 0 1 0 648377852 19025920 3807 4294967295 134512640 134714508 3221221760 3221220384 134696254 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4645 3807 1111 63 0 4582 0
vsize: 18580
[startup+720.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4308 0 0 0 71939 69 0 0 25 0 1 0 648377852 19025920 3807 4294967295 134512640 134714508 3221221760 3221220400 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4645 3807 1111 63 0 4582 0
vsize: 18580
[startup+730.018 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4308 0 0 0 72938 69 0 0 25 0 1 0 648377852 19025920 3807 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4645 3807 1111 63 0 4582 0
vsize: 18580
[startup+740.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4317 0 0 0 73938 70 0 0 25 0 1 0 648377852 19161088 3816 4294967295 134512640 134714508 3221221760 3221220328 1077377239 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4678 3816 1111 63 0 4615 0
vsize: 18712
[startup+750.019 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4352 0 0 0 74937 71 0 0 25 0 1 0 648377852 19300352 3842 4294967295 134512640 134714508 3221221760 3221220400 134542342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4712 3842 1111 63 0 4649 0
vsize: 18848
[startup+760.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4425 0 0 0 75937 72 0 0 25 0 1 0 648377852 19529728 3915 4294967295 134512640 134714508 3221221760 3221220348 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4768 3915 1111 63 0 4705 0
vsize: 19072
[startup+770.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4425 0 0 0 76937 72 0 0 25 0 1 0 648377852 19529728 3915 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4768 3915 1111 63 0 4705 0
vsize: 19072
[startup+780.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4425 0 0 0 77936 72 0 0 25 0 1 0 648377852 19529728 3915 4294967295 134512640 134714508 3221221760 3221220400 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4768 3915 1111 63 0 4705 0
vsize: 19072
[startup+790.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4425 0 0 0 78936 73 0 0 25 0 1 0 648377852 19529728 3915 4294967295 134512640 134714508 3221221760 3221220308 134696675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4768 3915 1111 63 0 4705 0
vsize: 19072
[startup+800.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4425 0 0 0 79936 73 0 0 25 0 1 0 648377852 19529728 3915 4294967295 134512640 134714508 3221221760 3221220384 134696007 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4768 3915 1111 63 0 4705 0
vsize: 19072
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4425 0 0 0 80936 73 0 0 25 0 1 0 648377852 19529728 3915 4294967295 134512640 134714508 3221221760 3221220528 134592098 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4768 3915 1111 63 0 4705 0
vsize: 19072
[startup+820.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4425 0 0 0 81935 74 0 0 25 0 1 0 648377852 19439616 3908 4294967295 134512640 134714508 3221221760 3221220488 134528393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4746 3908 1111 63 0 4683 0
vsize: 18984
[startup+830.021 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4425 0 0 0 82934 75 0 0 25 0 1 0 648377852 19439616 3908 4294967295 134512640 134714508 3221221760 3221220348 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4746 3908 1111 63 0 4683 0
vsize: 18984
[startup+840.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4425 0 0 0 83934 76 0 0 25 0 1 0 648377852 19439616 3908 4294967295 134512640 134714508 3221221760 3221220320 134542344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4746 3908 1111 63 0 4683 0
vsize: 18984
[startup+850.022 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4425 0 0 0 84934 76 0 0 25 0 1 0 648377852 19439616 3908 4294967295 134512640 134714508 3221221760 3221220376 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4746 3908 1111 63 0 4683 0
vsize: 18984
[startup+860.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4425 0 0 0 85933 77 0 0 25 0 1 0 648377852 19439616 3908 4294967295 134512640 134714508 3221221760 3221220416 134524076 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4746 3908 1111 63 0 4683 0
vsize: 18984
[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4486 0 0 0 86932 79 0 0 25 0 1 0 648377852 19714048 3969 4294967295 134512640 134714508 3221221760 3221220544 134529067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4813 3969 1111 63 0 4750 0
vsize: 19252
[startup+880.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4486 0 0 0 87931 79 0 0 25 0 1 0 648377852 19714048 3969 4294967295 134512640 134714508 3221221760 3221220368 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4813 3969 1111 63 0 4750 0
vsize: 19252
[startup+890.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4488 0 0 0 88930 80 0 0 25 0 1 0 648377852 19714048 3971 4294967295 134512640 134714508 3221221760 3221220432 134542968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4813 3971 1111 63 0 4750 0
vsize: 19252
[startup+900.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4488 0 0 0 89930 81 0 0 25 0 1 0 648377852 19714048 3971 4294967295 134512640 134714508 3221221760 3221220480 134613728 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4813 3971 1111 63 0 4750 0
vsize: 19252
[startup+910.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4488 0 0 0 90929 82 0 0 25 0 1 0 648377852 19714048 3971 4294967295 134512640 134714508 3221221760 3221220484 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4813 3971 1111 63 0 4750 0
vsize: 19252
[startup+920.023 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4488 0 0 0 91929 82 0 0 25 0 1 0 648377852 19714048 3971 4294967295 134512640 134714508 3221221760 3221220444 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4813 3971 1111 63 0 4750 0
vsize: 19252
[startup+930.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4640 0 0 0 92927 84 0 0 25 0 1 0 648377852 19927040 4027 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4027 1111 63 0 4802 0
vsize: 19460
[startup+940.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4640 0 0 0 93926 86 0 0 25 0 1 0 648377852 19927040 4027 4294967295 134512640 134714508 3221221760 3221220236 134613966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4027 1111 63 0 4802 0
vsize: 19460
[startup+950.024 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4640 0 0 0 94925 87 0 0 25 0 1 0 648377852 19927040 4027 4294967295 134512640 134714508 3221221760 3221220400 134539362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4865 4027 1111 63 0 4802 0
vsize: 19460
[startup+960.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4685 0 0 0 95924 88 0 0 25 0 1 0 648377852 20197376 4072 4294967295 134512640 134714508 3221221760 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4931 4072 1111 63 0 4868 0
vsize: 19724
[startup+970.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4743 0 0 0 96922 90 0 0 25 0 1 0 648377852 20312064 4121 4294967295 134512640 134714508 3221221760 3221220544 134529288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4959 4121 1111 63 0 4896 0
vsize: 19836
[startup+980.025 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4743 0 0 0 97922 91 0 0 25 0 1 0 648377852 20312064 4121 4294967295 134512640 134714508 3221221760 3221220684 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4959 4121 1111 63 0 4896 0
vsize: 19836
[startup+990.026 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4743 0 0 0 98921 91 0 0 25 0 1 0 648377852 20312064 4121 4294967295 134512640 134714508 3221221760 3221220348 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4959 4121 1111 63 0 4896 0
vsize: 19836
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4743 0 0 0 99920 92 0 0 25 0 1 0 648377852 20312064 4121 4294967295 134512640 134714508 3221221760 3221220368 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4959 4121 1111 63 0 4896 0
vsize: 19836
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4743 0 0 0 100919 93 0 0 25 0 1 0 648377852 20312064 4121 4294967295 134512640 134714508 3221221760 3221220384 134542342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4959 4121 1111 63 0 4896 0
vsize: 19836
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4743 0 0 0 101919 94 0 0 25 0 1 0 648377852 20312064 4121 4294967295 134512640 134714508 3221221760 3221220368 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4959 4121 1111 63 0 4896 0
vsize: 19836
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4743 0 0 0 102919 94 0 0 25 0 1 0 648377852 20250624 4106 4294967295 134512640 134714508 3221221760 3221220384 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4743 0 0 0 103919 94 0 0 25 0 1 0 648377852 20250624 4106 4294967295 134512640 134714508 3221221760 3221220476 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4743 0 0 0 104918 95 0 0 25 0 1 0 648377852 20250624 4106 4294967295 134512640 134714508 3221221760 3221220464 134524573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4743 0 0 0 105918 95 0 0 25 0 1 0 648377852 20250624 4106 4294967295 134512640 134714508 3221221760 3221220416 134536600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4743 0 0 0 106918 96 0 0 25 0 1 0 648377852 20250624 4106 4294967295 134512640 134714508 3221221760 3221220476 134543760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4743 0 0 0 107917 97 0 0 25 0 1 0 648377852 20250624 4106 4294967295 134512640 134714508 3221221760 3221220496 134558537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4743 0 0 0 108917 97 0 0 25 0 1 0 648377852 20250624 4106 4294967295 134512640 134714508 3221221760 3221220448 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4743 0 0 0 109916 98 0 0 25 0 1 0 648377852 20250624 4106 4294967295 134512640 134714508 3221221760 3221220400 134536695 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4743 0 0 0 110916 98 0 0 25 0 1 0 648377852 20250624 4106 4294967295 134512640 134714508 3221221760 3221220348 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4944 4106 1111 63 0 4881 0
vsize: 19776
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4787 0 0 0 111915 100 0 0 25 0 1 0 648377852 20520960 4150 4294967295 134512640 134714508 3221221760 3221220328 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5010 4150 1111 63 0 4947 0
vsize: 20040
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 4985 0 0 0 112913 102 0 0 25 0 1 0 648377852 21237760 4344 4294967295 134512640 134714508 3221221760 3221220484 134613700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5185 4344 1111 63 0 5122 0
vsize: 20740
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 5674 0 0 0 113912 104 0 0 25 0 1 0 648377852 24072192 5033 4294967295 134512640 134714508 3221221760 3221220320 134542359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5877 5033 1111 63 0 5814 0
vsize: 23508
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 6006 0 0 0 114910 105 0 0 25 0 1 0 648377852 25427968 5365 4294967295 134512640 134714508 3221221760 3221220504 134558497 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6208 5365 1111 63 0 6145 0
vsize: 24832
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 6843 0 0 0 115907 108 0 0 25 0 1 0 648377852 28893184 6202 4294967295 134512640 134714508 3221221760 3221220516 134587950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7054 6202 1111 63 0 6991 0
vsize: 28216
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 6843 0 0 0 116907 109 0 0 25 0 1 0 648377852 28893184 6202 4294967295 134512640 134714508 3221221760 3221220320 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7054 6202 1111 63 0 6991 0
vsize: 28216
[startup+1174.9 s]
Raw data (loadavg): 1.00 1.00 0.99 1/53 1763
Raw data (stat): 1763 (bsolo_lpr_cuts) R 1762 7876 7672 0 -1 0 6843 0 0 0 116907 109 0 0 25 0 1 0 648377852 28893184 6202 4294967295 134512640 134714508 3221221760 3221220320 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7054 6202 1111 63 0 6991 0
vsize: 0

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