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-fpga15_13_sat_pb.cnf.cr.opb
MD5SUM	4b4e9c4dea51b53ba8323ee6782645f0
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	16
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.066989
Number of variables	293
Total number of constraints	236
Number of constraints which are clauses	208
Number of constraints which are cardinality constraints (but not clauses)	28
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	15
Trace number 40585

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 15:54:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28651 boxname=wulflinc1 idbench=37 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  4b4e9c4dea51b53ba8323ee6782645f0  /oldhome/oroussel/tmp/wulflinc1/normalized-fpga15_13_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-fpga15_13_sat_pb.cnf.cr.opb
IDLAUNCH: 28651
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        865120 kB
Buffers:         18640 kB
Cached:         126756 kB
SwapCached:       1144 kB
Active:          26724 kB
Inactive:       120864 kB
HighTotal:      131008 kB
HighFree:         5096 kB
LowTotal:       903652 kB
LowFree:        860024 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5256 kB
Slab:            16144 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:14:24 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 28651 7 1175.1 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 293 variables and 236 constraints.
c After prepocess the problem consists of 293 variables and 236 constraints.
c preprocess terminated 0.17 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/55 24130
Raw data (stat): 24130 (runsolver) R 24129 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 846016869 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 3238 0 0 0 987 10 0 0 25 0 1 0 846016869 16289792 3156 4294967295 134512640 134716908 3221224560 3221223248 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3977 3156 1111 63 0 3914 0
vsize: 15908
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 5055 0 0 0 1980 17 0 0 25 0 1 0 846016869 23859200 4973 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5825 4973 1111 63 0 5762 0
vsize: 23300
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 6452 0 0 0 2975 22 0 0 25 0 1 0 846016869 29548544 6369 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7214 6369 1111 63 0 7151 0
vsize: 28856
[startup+40.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 7260 0 0 0 3973 25 0 0 25 0 1 0 846016869 32800768 7177 4294967295 134512640 134716908 3221224560 3221223192 134536665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8008 7177 1111 63 0 7945 0
vsize: 32032
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 8400 0 0 0 4970 28 0 0 25 0 1 0 846016869 37535744 8317 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9164 8317 1111 63 0 9101 0
vsize: 36656
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 9168 0 0 0 5968 30 0 0 25 0 1 0 846016869 40644608 9085 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9923 9085 1111 63 0 9860 0
vsize: 39692
[startup+70.0053 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 9539 0 0 0 6967 31 0 0 25 0 1 0 846016869 42131456 9456 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10286 9456 1111 63 0 10223 0
vsize: 41144
[startup+80.0061 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 9809 0 0 0 7965 33 0 0 25 0 1 0 846016869 43347968 9726 4294967295 134512640 134716908 3221224560 3221222948 1077378626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10583 9726 1111 63 0 10520 0
vsize: 42332
[startup+90.0067 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 10469 0 0 0 8963 36 0 0 25 0 1 0 846016869 46051328 10385 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11243 10385 1111 63 0 11180 0
vsize: 44972
[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 11178 0 0 0 9960 39 0 0 25 0 1 0 846016869 48889856 11094 4294967295 134512640 134716908 3221224560 3221223304 134558544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11936 11094 1111 63 0 11873 0
vsize: 47744
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 11736 0 0 0 10958 41 0 0 25 0 1 0 846016869 51187712 11651 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12497 11651 1111 63 0 12434 0
vsize: 49988
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 12329 0 0 0 11956 44 0 0 25 0 1 0 846016869 53620736 12244 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13091 12244 1111 63 0 13028 0
vsize: 52364
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 12738 0 0 0 12954 46 0 0 25 0 1 0 846016869 55377920 12653 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13520 12653 1111 63 0 13457 0
vsize: 54080
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 13260 0 0 0 13952 48 0 0 25 0 1 0 846016869 57544704 13175 4294967295 134512640 134716908 3221224560 3221223324 134523848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14049 13175 1111 63 0 13986 0
vsize: 56196
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 13772 0 0 0 14950 50 0 0 25 0 1 0 846016869 59604992 13686 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14552 13686 1111 63 0 14489 0
vsize: 58208
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 14145 0 0 0 15948 52 0 0 25 0 1 0 846016869 61243392 14059 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14952 14059 1111 63 0 14889 0
vsize: 59808
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 14421 0 0 0 16947 53 0 0 25 0 1 0 846016869 62324736 14335 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15216 14335 1111 63 0 15153 0
vsize: 60864
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 14697 0 0 0 17946 54 0 0 25 0 1 0 846016869 63418368 14611 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15483 14611 1111 63 0 15420 0
vsize: 61932
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 15112 0 0 0 18945 56 0 0 25 0 1 0 846016869 65216512 15026 4294967295 134512640 134716908 3221224560 3221223184 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15922 15026 1111 63 0 15859 0
vsize: 63688
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 15678 0 0 0 19942 58 0 0 25 0 1 0 846016869 67514368 15592 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16483 15592 1111 63 0 16420 0
vsize: 65932
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 16105 0 0 0 20941 60 0 0 25 0 1 0 846016869 69271552 16019 4294967295 134512640 134716908 3221224560 3221223212 134536825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16912 16019 1111 63 0 16849 0
vsize: 67648
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 16692 0 0 0 21939 62 0 0 25 0 1 0 846016869 71708672 16604 4294967295 134512640 134716908 3221224560 3221223344 134529234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17507 16604 1111 63 0 17444 0
vsize: 70028
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 17226 0 0 0 22938 63 0 0 25 0 1 0 846016869 73879552 17138 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18037 17138 1111 63 0 17974 0
vsize: 72148
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 17969 0 0 0 23936 65 0 0 25 0 1 0 846016869 76857344 17881 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18764 17881 1111 63 0 18701 0
vsize: 75056
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 18692 0 0 0 24934 68 0 0 25 0 1 0 846016869 79831040 18604 4294967295 134512640 134716908 3221224560 3221223296 134594999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19490 18604 1111 63 0 19427 0
vsize: 77960
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 18935 0 0 0 25933 68 0 0 25 0 1 0 846016869 80920576 18847 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19756 18847 1111 63 0 19693 0
vsize: 79024
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 19211 0 0 0 26933 70 0 0 25 0 1 0 846016869 82001920 19123 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20020 19123 1111 63 0 19957 0
vsize: 80080
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 19631 0 0 0 27931 71 0 0 25 0 1 0 846016869 83759104 19543 4294967295 134512640 134716908 3221224560 3221223072 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20449 19543 1111 63 0 20386 0
vsize: 81796
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 20087 0 0 0 28930 73 0 0 25 0 1 0 846016869 85651456 19999 4294967295 134512640 134716908 3221224560 3221223188 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20911 19999 1111 63 0 20848 0
vsize: 83644
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 20281 0 0 0 29929 74 0 0 25 0 1 0 846016869 86351872 20193 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21082 20193 1111 63 0 21019 0
vsize: 84328
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24130
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 20634 0 0 0 30928 75 0 0 25 0 1 0 846016869 87851008 20545 4294967295 134512640 134716908 3221224560 3221223188 134698582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21448 20545 1111 63 0 21385 0
vsize: 85792
[startup+320.012 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 24183
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 21057 0 0 0 31926 77 0 0 25 0 1 0 846016869 89608192 20968 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21877 20968 1111 63 0 21814 0
vsize: 87508
[startup+330.013 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 24183
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 21782 0 0 0 32924 79 0 0 25 0 1 0 846016869 92659712 21689 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22622 21689 1111 63 0 22559 0
vsize: 90488
[startup+340.013 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 24183
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 22320 0 0 0 33922 81 0 0 25 0 1 0 846016869 94822400 22227 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23150 22227 1111 63 0 23087 0
vsize: 92600
[startup+350.013 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 24183
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 22959 0 0 0 34919 84 0 0 25 0 1 0 846016869 97390592 22865 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23777 22865 1111 63 0 23714 0
vsize: 95108
[startup+360.013 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 24183
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 23485 0 0 0 35916 87 0 0 25 0 1 0 846016869 99549184 23391 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24304 23391 1111 63 0 24241 0
vsize: 97216
[startup+370.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 24183
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 24143 0 0 0 36913 91 0 0 25 0 1 0 846016869 102252544 24049 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24964 24049 1111 63 0 24901 0
vsize: 99856
[startup+380.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 24185
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 24521 0 0 0 37911 93 0 0 25 0 1 0 846016869 103870464 24427 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25359 24427 1111 63 0 25296 0
vsize: 101436
[startup+390.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 24895 0 0 0 38908 95 0 0 25 0 1 0 846016869 105357312 24801 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25722 24801 1111 63 0 25659 0
vsize: 102888
[startup+400.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 25290 0 0 0 39906 97 0 0 25 0 1 0 846016869 106979328 25196 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26118 25196 1111 63 0 26055 0
vsize: 104472
[startup+410.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 25801 0 0 0 40904 99 0 0 25 0 1 0 846016869 109142016 25707 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26646 25707 1111 63 0 26583 0
vsize: 106584
[startup+420.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 26198 0 0 0 41903 101 0 0 25 0 1 0 846016869 110768128 26103 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27043 26103 1111 63 0 26980 0
vsize: 108172
[startup+430.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 26613 0 0 0 42902 102 0 0 25 0 1 0 846016869 112390144 26518 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27439 26518 1111 63 0 27376 0
vsize: 109756
[startup+440.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 27148 0 0 0 43900 104 0 0 25 0 1 0 846016869 114688000 27051 4294967295 134512640 134716908 3221224560 3221223324 134552548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28000 27051 1111 63 0 27937 0
vsize: 112000
[startup+450.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 27518 0 0 0 44898 106 0 0 25 0 1 0 846016869 116174848 27421 4294967295 134512640 134716908 3221224560 3221223232 134523869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28363 27421 1111 63 0 28300 0
vsize: 113452
[startup+460.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 27964 0 0 0 45897 108 0 0 25 0 1 0 846016869 117932032 27867 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28792 27867 1111 63 0 28729 0
vsize: 115168
[startup+470.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 28346 0 0 0 46896 109 0 0 25 0 1 0 846016869 119562240 28249 4294967295 134512640 134716908 3221224560 3221223320 134552570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29190 28249 1111 63 0 29127 0
vsize: 116760
[startup+480.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 28661 0 0 0 47894 111 0 0 25 0 1 0 846016869 120778752 28564 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29487 28564 1111 63 0 29424 0
vsize: 117948
[startup+490.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 29091 0 0 0 48892 113 0 0 25 0 1 0 846016869 122535936 28994 4294967295 134512640 134716908 3221224560 3221223256 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29916 28994 1111 63 0 29853 0
vsize: 119664
[startup+500.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 29622 0 0 0 49890 115 0 0 25 0 1 0 846016869 124698624 29525 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30444 29525 1111 63 0 30381 0
vsize: 121776
[startup+510.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 30071 0 0 0 50888 117 0 0 25 0 1 0 846016869 126607360 29974 4294967295 134512640 134716908 3221224560 3221223168 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30910 29974 1111 63 0 30847 0
vsize: 123640
[startup+520.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 30484 0 0 0 51887 119 0 0 25 0 1 0 846016869 128364544 30387 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31339 30387 1111 63 0 31276 0
vsize: 125356
[startup+530.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 31002 0 0 0 52885 121 0 0 25 0 1 0 846016869 130527232 30905 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31867 30905 1111 63 0 31804 0
vsize: 127468
[startup+540.018 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 31570 0 0 0 53883 124 0 0 25 0 1 0 846016869 132825088 31473 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32428 31473 1111 63 0 32365 0
vsize: 129712
[startup+550.018 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 32203 0 0 0 54880 126 0 0 25 0 1 0 846016869 135393280 32106 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33055 32106 1111 63 0 32992 0
vsize: 132220
[startup+560.018 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 32620 0 0 0 55879 128 0 0 25 0 1 0 846016869 137015296 32523 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33451 32523 1111 63 0 33388 0
vsize: 133804
[startup+570.019 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 32773 0 0 0 56879 128 0 0 25 0 1 0 846016869 137691136 32676 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33616 32676 1111 63 0 33553 0
vsize: 134464
[startup+580.018 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 32894 0 0 0 57878 129 0 0 25 0 1 0 846016869 138264576 32796 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33756 32796 1111 63 0 33693 0
vsize: 135024
[startup+590.019 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 33040 0 0 0 58878 129 0 0 25 0 1 0 846016869 138805248 32942 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33888 32942 1111 63 0 33825 0
vsize: 135552
[startup+600.019 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 33182 0 0 0 59878 130 0 0 25 0 1 0 846016869 139345920 33084 4294967295 134512640 134716908 3221224560 3221223328 134529376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34020 33084 1111 63 0 33957 0
vsize: 136080
[startup+610.02 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 33366 0 0 0 60877 130 0 0 25 0 1 0 846016869 140156928 33268 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34218 33268 1111 63 0 34155 0
vsize: 136872
[startup+620.021 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 33544 0 0 0 61876 131 0 0 25 0 1 0 846016869 140832768 33446 4294967295 134512640 134716908 3221224560 3221223220 134536850 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34383 33446 1111 63 0 34320 0
vsize: 137532
[startup+630.021 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 33707 0 0 0 62876 132 0 0 25 0 1 0 846016869 141512704 33609 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34549 33609 1111 63 0 34486 0
vsize: 138196
[startup+640.021 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 24187
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 33851 0 0 0 63876 132 0 0 25 0 1 0 846016869 142065664 33753 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34684 33753 1111 63 0 34621 0
vsize: 138736
[startup+650.022 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 33980 0 0 0 64875 133 0 0 25 0 1 0 846016869 142606336 33882 4294967295 134512640 134716908 3221224560 3221223184 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34816 33882 1111 63 0 34753 0
vsize: 139264
[startup+660.022 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 34155 0 0 0 65874 134 0 0 25 0 1 0 846016869 143282176 34057 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34981 34057 1111 63 0 34918 0
vsize: 139924
[startup+670.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 34356 0 0 0 66873 136 0 0 25 0 1 0 846016869 144224256 34256 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35211 34256 1111 63 0 35148 0
vsize: 140844
[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 34555 0 0 0 67872 137 0 0 25 0 1 0 846016869 145031168 34455 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35408 34455 1111 63 0 35345 0
vsize: 141632
[startup+690.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 34801 0 0 0 68871 138 0 0 25 0 1 0 846016869 145977344 34701 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35639 34701 1111 63 0 35576 0
vsize: 142556
[startup+700.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 35136 0 0 0 69869 140 0 0 25 0 1 0 846016869 147329024 35036 4294967295 134512640 134716908 3221224560 3221223152 134549676 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35969 35036 1111 63 0 35906 0
vsize: 143876
[startup+710.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 35518 0 0 0 70868 142 0 0 25 0 1 0 846016869 148951040 35418 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36365 35418 1111 63 0 36302 0
vsize: 145460
[startup+720.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 35875 0 0 0 71867 143 0 0 25 0 1 0 846016869 150351872 35771 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36707 35771 1111 63 0 36644 0
vsize: 146828
[startup+730.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 36183 0 0 0 72866 144 0 0 25 0 1 0 846016869 151707648 36077 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37038 36077 1111 63 0 36975 0
vsize: 148152
[startup+740.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 36411 0 0 0 73865 145 0 0 25 0 1 0 846016869 152657920 36305 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37270 36305 1111 63 0 37207 0
vsize: 149080
[startup+750.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 36675 0 0 0 74864 146 0 0 25 0 1 0 846016869 153743360 36567 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37535 36567 1111 63 0 37472 0
vsize: 150140
[startup+760.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 36985 0 0 0 75863 147 0 0 25 0 1 0 846016869 155095040 36877 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37865 36877 1111 63 0 37802 0
vsize: 151460
[startup+770.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 37310 0 0 0 76862 149 0 0 25 0 1 0 846016869 156311552 37202 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38162 37202 1111 63 0 38099 0
vsize: 152648
[startup+780.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 37530 0 0 0 77861 150 0 0 25 0 1 0 846016869 157257728 37422 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38393 37422 1111 63 0 38330 0
vsize: 153572
[startup+790.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 37708 0 0 0 78860 151 0 0 25 0 1 0 846016869 158081024 37600 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38594 37600 1111 63 0 38531 0
vsize: 154376
[startup+800.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 37917 0 0 0 79860 151 0 0 25 0 1 0 846016869 158892032 37809 4294967295 134512640 134716908 3221224560 3221223328 134529157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38792 37809 1111 63 0 38729 0
vsize: 155168
[startup+810.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 38132 0 0 0 80859 153 0 0 25 0 1 0 846016869 159711232 38024 4294967295 134512640 134716908 3221224560 3221223116 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38992 38024 1111 63 0 38929 0
vsize: 155968
[startup+820.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 38361 0 0 0 81858 154 0 0 25 0 1 0 846016869 160792576 38252 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39256 38252 1111 63 0 39193 0
vsize: 157024
[startup+830.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 38525 0 0 0 82857 154 0 0 25 0 1 0 846016869 161333248 38416 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39388 38416 1111 63 0 39325 0
vsize: 157552
[startup+840.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 38732 0 0 0 83857 155 0 0 25 0 1 0 846016869 162279424 38623 4294967295 134512640 134716908 3221224560 3221223328 134529276 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39619 38623 1111 63 0 39556 0
vsize: 158476
[startup+850.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 39096 0 0 0 84855 157 0 0 25 0 1 0 846016869 163840000 38983 4294967295 134512640 134716908 3221224560 3221223184 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40000 38983 1111 63 0 39937 0
vsize: 160000
[startup+860.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 39568 0 0 0 85853 160 0 0 25 0 1 0 846016869 165736448 39455 4294967295 134512640 134716908 3221224560 3221223216 134524117 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40463 39455 1111 63 0 40400 0
vsize: 161852
[startup+870.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 39923 0 0 0 86851 161 0 0 25 0 1 0 846016869 167223296 39810 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40826 39810 1111 63 0 40763 0
vsize: 163304
[startup+880.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 40225 0 0 0 87850 162 0 0 25 0 1 0 846016869 168439808 40112 4294967295 134512640 134716908 3221224560 3221223264 134528614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41123 40112 1111 63 0 41060 0
vsize: 164492
[startup+890.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 40427 0 0 0 88850 163 0 0 25 0 1 0 846016869 169250816 40312 4294967295 134512640 134716908 3221224560 3221223244 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41321 40312 1111 63 0 41258 0
vsize: 165284
[startup+900.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 40697 0 0 0 89849 165 0 0 25 0 1 0 846016869 170467328 40582 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41618 40582 1111 63 0 41555 0
vsize: 166472
[startup+910.026 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 41047 0 0 0 90847 166 0 0 25 0 1 0 846016869 171819008 40932 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41948 40932 1111 63 0 41885 0
vsize: 167792
[startup+920.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 41312 0 0 0 91846 168 0 0 25 0 1 0 846016869 172961792 41193 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42227 41193 1111 63 0 42164 0
vsize: 168908
[startup+930.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 41681 0 0 0 92845 169 0 0 25 0 1 0 846016869 174456832 41562 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42592 41562 1111 63 0 42529 0
vsize: 170368
[startup+940.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 41996 0 0 0 93844 170 0 0 25 0 1 0 846016869 175697920 41876 4294967295 134512640 134716908 3221224560 3221223264 134528662 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42895 41876 1111 63 0 42832 0
vsize: 171580
[startup+950.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 42181 0 0 0 94843 171 0 0 25 0 1 0 846016869 176525312 42061 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43097 42061 1111 63 0 43034 0
vsize: 172388
[startup+960.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 42375 0 0 0 95842 172 0 0 25 0 1 0 846016869 177344512 42255 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43297 42255 1111 63 0 43234 0
vsize: 173188
[startup+970.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 42673 0 0 0 96842 173 0 0 25 0 1 0 846016869 178569216 42553 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43596 42553 1111 63 0 43533 0
vsize: 174384
[startup+980.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 42960 0 0 0 97840 174 0 0 25 0 1 0 846016869 179802112 42839 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43897 42839 1111 63 0 43834 0
vsize: 175588
[startup+990.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 43263 0 0 0 98839 175 0 0 25 0 1 0 846016869 181022720 43142 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44195 43142 1111 63 0 44132 0
vsize: 176780
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 43460 0 0 0 99839 176 0 0 25 0 1 0 846016869 181833728 43339 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44393 43339 1111 63 0 44330 0
vsize: 177572
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 43727 0 0 0 100838 177 0 0 25 0 1 0 846016869 182923264 43606 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44659 43606 1111 63 0 44596 0
vsize: 178636
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 43905 0 0 0 101838 178 0 0 25 0 1 0 846016869 183644160 43780 4294967295 134512640 134716908 3221224560 3221223260 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44835 43780 1111 63 0 44772 0
vsize: 179340
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 44253 0 0 0 102837 179 0 0 25 0 1 0 846016869 184995840 44126 4294967295 134512640 134716908 3221224560 3221223144 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45165 44126 1111 63 0 45102 0
vsize: 180660
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 44417 0 0 0 103837 179 0 0 25 0 1 0 846016869 185671680 44290 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45330 44290 1111 63 0 45267 0
vsize: 181320
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 44597 0 0 0 104836 180 0 0 25 0 1 0 846016869 186482688 44470 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45528 44470 1111 63 0 45465 0
vsize: 182112
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 44813 0 0 0 105836 181 0 0 25 0 1 0 846016869 187359232 44682 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45742 44682 1111 63 0 45679 0
vsize: 182968
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 45042 0 0 0 106835 182 0 0 25 0 1 0 846016869 188317696 44911 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45976 44911 1111 63 0 45913 0
vsize: 183904
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 45247 0 0 0 107834 183 0 0 25 0 1 0 846016869 189202432 45113 4294967295 134512640 134716908 3221224560 3221223272 134551881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46192 45113 1111 63 0 46129 0
vsize: 184768
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 45681 0 0 0 108833 184 0 0 25 0 1 0 846016869 190959616 45547 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46621 45547 1111 63 0 46558 0
vsize: 186484
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 45918 0 0 0 109832 186 0 0 25 0 1 0 846016869 191934464 45783 4294967295 134512640 134716908 3221224560 3221223344 134584866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46859 45783 1111 63 0 46796 0
vsize: 187436
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 46269 0 0 0 110830 187 0 0 25 0 1 0 846016869 193421312 46134 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47222 46134 1111 63 0 47159 0
vsize: 188888
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 46494 0 0 0 111829 188 0 0 25 0 1 0 846016869 194367488 46359 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47453 46359 1111 63 0 47390 0
vsize: 189812
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 46756 0 0 0 112828 190 0 0 25 0 1 0 846016869 195448832 46621 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47717 46621 1111 63 0 47654 0
vsize: 190868
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 47112 0 0 0 113827 191 0 0 25 0 1 0 846016869 196800512 46977 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48047 46977 1111 63 0 47984 0
vsize: 192188
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 47372 0 0 0 114826 192 0 0 25 0 1 0 846016869 197898240 47237 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48315 47237 1111 63 0 48252 0
vsize: 193260
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 47593 0 0 0 115825 193 0 0 25 0 1 0 846016869 198795264 47454 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48534 47454 1111 63 0 48471 0
vsize: 194136
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 47850 0 0 0 116824 195 0 0 25 0 1 0 846016869 199876608 47711 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48798 47711 1111 63 0 48735 0
vsize: 195192
[startup+1174.94 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 24189
Raw data (stat): 24130 (bsolo_lpr_cuts-) R 24129 8378 8377 0 -1 0 47850 0 0 0 116824 195 0 0 25 0 1 0 846016869 199876608 47711 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48798 47711 1111 63 0 48735 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.1
CPU user time (s): 1173.06
CPU system time (s): 2.04569
CPU usage (%): 100.013
Max. virtual memory (Kb): 195192
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####